Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

How do I use it? #12

Open
wil3 opened this issue Mar 10, 2015 · 2 comments
Open

How do I use it? #12

wil3 opened this issue Mar 10, 2015 · 2 comments

Comments

@wil3
Copy link

wil3 commented Mar 10, 2015

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.

@wil3 wil3 closed this as completed Mar 10, 2015
@wil3 wil3 reopened this Mar 10, 2015
@StevenArzt
Copy link
Contributor

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.

@ZhengqiaoLi
Copy link

ZhengqiaoLi commented May 31, 2016

@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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants