Heros

IFDS/IDE Solver for Soot and other frameworks