Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool

Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool

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

10 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.


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