State Of the Art in Java Program Analysis

A software product line for static analyses: the OPAL framework

Pub Date : 2014-06-12 DOI: 10.1145/2614628.2614630 Michael Eichberg, Ben Hermann

How to build the perfect Swiss army knife, and keep it sharp?: Challenges for the soot program-analysis framework in the light of past, current and future demands

Pub Date : 2014-06-12 DOI: 10.1145/2614628.2614634 E. Bodden

TS4J: a fluent interface for defining and computing typestate analyses

Pub Date : 2014-06-12 DOI: 10.1145/2614628.2614629 E. Bodden