VisuFlow is a debugging environment designed to support static analysis writers understand and debug an analysis. It is written as an Eclipse plugin, and supports static data-flow analyses written on top of the Soot analysis framework.

In more recent research, we have looked into how to make incremental static analysis for changes on the analysis code rather than the analysed code. Stay tuned for more!