Soufflé: On Synthesis of Program Analyzers
CAV, pp. 422-430, 2016.
Souffle is an open source programming framework that performs static program analysis expressed in Datalog on very large code bases, including points-to analysis on OpenJDK7 (1.4M program variables, 350K objects, 160K methods) in under a minute. Souffle is being successfully used for Java security analyses at Oracle Labs due to (1) its hi...More
PPT (Upload PPT)