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.