Name
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 high-performance, (2) support for rapid program analysis development, and (3) customizability. Souffle incorporates the highly flexible Datalog-based program analysis paradigm while exhibiting performance results that are on-par with manually developed state-of-the-art tools. In this tool paper, we introduce the Souffle architecture, usage and demonstrate its applicability for large-scale code analysis on the OpenJDK7 library as a use case. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1007/978-3-319-41540-6_23 | COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II |
Field | DocType | Volume |
Domain-specific language,Static program analysis,Architecture,Programming language,Java security,Computer science,Oracle,Theoretical computer science,Program analysis,Datalog,Software framework | Conference | 9780 |
ISSN | Citations | PageRank |
0302-9743 | 13 | 0.71 |
References | Authors | |
9 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Herbert Jordan | 1 | 70 | 11.83 |
| Bernhard Scholz | 2 | 104 | 10.59 |
| Pavle Subotic | 3 | 47 | 5.93 |