Software

Sawja: Static Analysis Workshop for Java

Download Now Free registration required

Executive Summary

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