IFDS/IDE Solver for Soot and other frameworks - View it on GitHub