Accrue Documentation

Accrue Version 0.3

The Accrue Object Analysis Framework (Accrue) is a framework for interprocedural analysis of Java programs, implemented as a Polyglot compiler extension (see http://www.cs.cornell.edu/projects/polyglot/). Accrue contains some common and useful analses, such as a non-null analysis and a precise exception tracker. More importantly, it contains sufficient building blocks to make it easy to write new interprocedural analyses.

Accrue is part of the Accrue project at Harvard University, which aims to provide security guarantees that are proportional to programmer effort. Accrue uses the Accrue framework to implement novel program analyses to infer information security guarantees that Java programs offer.

Contents