soot-oss / heros

IFDS/IDE Solver for Soot and other frameworks

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

How do I use it?

wil3 opened this issue · comments

It would be helpful to have a link or a wiki with instructions on how to use the software.

Edit: 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

As someone looking at this for the first time this is quiet confusing that examples are bundled into the library. It would help to have examples in a separate repo linked to the readme.

You can look into the packages "soot.jimple.toolkits.ide" and "soot.jimple.toolkits.ide.exampleproblems" in Soot for examples on how to use Heros with Soot.

@wil3
Hi,
I want to try to the demo the link you refer to.Although I can understand the example,I didn't debug the demo. I didn't know where the code was placed.I made a little attempt.
protected void internalTransform(String arg0,Map<String, String> arg1) { // TODO Auto-generated method stub JimpleBasedInterproceduralCFG jbicfg = new JimpleBasedInterproceduralCFG(); LiveVaiable lv = new LiveVaiable(jbicfg); IFDSSolver ifds = new IFDSSolver(lv); ifds.solve(); }
But it is wrong.
Can you help me?