Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool

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.