Heros IFDS/IDE Solver Heros is a generic implementation of an IFDS/IDE Solver that can be plugged into existing, Java-based program analysis frameworks. A reference connector exists for the Soot framework. Heros... supports solving both IFDS and IDE problems, is multi-threaded and thus highly scala