Download Now Free registration required
Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-edged analyzer for a realistic language such as Java. Efficiency and precision of such a tool rely partly on low level components which only depend on the syntactic structure of the language and therefore should not be redesigned for each implementation of a new static analysis. This paper describes the Sawja library: a static analysis workshop fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs.
- Format: PDF
- Size: 745.3 KB