Misc

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