Towards a Complete Static Analyser for Java: an Abstract Interpretation Framework and its Implementation

The paper contains an overview of the work. We describe parts of the standard and abstract semantics; then, we briefly explain the fixpoint algorithms used by our implementation; lastly, we provide experimental results for small programs.