Abstract | ||
---|---|---|
This paper presents the design of SAFE (Scalable and Flexible Error Detection), a static analysis tool targeting lightweight program verification and bug finding for Java. The tool utilizes two types of analysis: a simple "structural" checker based on pattern-matching, and an interprocedural flow-sensitive dataflow solver which integrates typestate checking and alias analysis. We describe how the tool integrates into a team development platform for analysis of batch builds, and user interface support built on the Eclipse platform. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1145/1111542.1111567 | PEPM |
Keywords | Field | DocType |
team development platform,user interface support,bug finding,typestate checking,lightweight program verification,continuous code-quality assurance,static analysis tool,eclipse platform,alias analysis,flexible error detection,interprocedural flow-sensitive dataflow solver,pattern matching,static analysis tools,user interface,security,quality assurance,code obfuscation | Programming language,Computer science,Static analysis,Dataflow,Alias analysis,Obfuscation (software),Solver,User interface,Software quality,Java | Conference |
ISBN | Citations | PageRank |
1-59593-196-1 | 4 | 0.52 |
References | Authors | |
12 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Emmanuel Geay | 1 | 103 | 5.16 |
Eran Yahav | 2 | 1706 | 79.49 |
Stephen Fink | 3 | 276 | 25.08 |