Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool
December 2013

Poster describing the aims of the Java Vulnerability Detection project, as well as the initial components of it -- a translator of Java source code onto the LLVM intermediate representation (Jaffa) and analyses in the Parfait infrastructure to support vulnerability-detection of interest.

Authors: Andrew Gross, Cristina Cifuentes, Diane Corney, John Gough, Lin Gao, Manuel Valdiviezo, Nathan Keynes

Venue: Asian Symposium on Programming Languages and Systems (APLAS) 2013.

Hardware and Software, Engineered to Work Together