You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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?
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.
The text was updated successfully, but these errors were encountered: