Sawja: Static Analysis Workshop for Java

TL;DR

Sawja is a comprehensive static analysis framework for Java 6, offering efficient manipulation of bytecode through OCaml modules, with innovative data structures and representations to facilitate program analysis.

Contribution

The paper introduces Sawja, a novel static analysis library for Java 6 that features efficient data structures, lazy parsing, and a stack-less program representation.

Findings

Supports efficient bytecode manipulation

Provides a stack-less intermediate representation

Enables fast program analysis operations

Abstract

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs.