soot-oss / heros

IFDS/IDE Solver for Soot and other frameworks

I want to use heros implement inter-procedural analysis,but I didn't how to use it.

ZhengqiaoLi opened this issue 8 years ago · comments

ZhengqiaoLi commented 8 years ago

Is there some complete engineering examples?

ZhengqiaoLi commented 8 years ago

I found this link http://www.bodden.de/tools/heros/ pointing to examples here https://github.com/Sable/soot/tree/master/src/soot/jimple/toolkits/ide/exampleproblems.

But I didn't use soot to debug the example code.

Eric Bodden commented 5 years ago

Please see here: https://github.com/Sable/heros/wiki/Example%3A-Using-Heros-with-Soot