Redesigning Soot's data-flow analysis framework for abstract interpretation.

Elena Sherman

Browse the full ISSTA paper archive.