VisuFlow

Debugging static analysis

VisuFlow is a debugging environment designed for static data- flow analyses written on top of the Soot analysis framework. It is integrated in the Eclipse IDE.