Soufflé: On Synthesis of Program Analyzers

CAV, pp. 422-430, 2016.

Cited by: 67|Bibtex|Views11|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments