本文介绍了Heros框架中用于过程间数据流分析的相关API，包括JimpleIFDSSolver、JimpleIDESolver和DefaultJimpleIDETabulationProblem等类的构造方法与核心方法，如solve()和dumpResults()。这些类在Soot库中用于实现IDE求解器和IFDS问题的求解，涉及InterproceduralCFG、Unit、SootMethod等概念。此外，还提到了ReachingDefinitions问题及其在数据流分析中的应用。
https://ssebuild.cased.de/nightly/soot/javadoc/
soot.jimple.toolkits.ide
ClassMain:
public classMain extends Object.
构造方法：public Main()
其他方法：public staticvoid main(String[] args)
ClassJimpleIFDSSolver<D,I extendsheros.InterproceduralCFG<Unit,SootMethod>>
public classJimpleIFDSSolver<D,I extendsheros.InterproceduralCFG<Unit,SootMethod>> extendsheros.solver.IFDSSolver<Unit,D,SootMethod,I>
构造方法：JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I>problem)
JimpleIFDSSolver(heros.IFDSTabulationProblem<Unit,D,SootMethod,I>problem,Boolean dumpResults)
其他方法：
最低0.47元/天 解锁文章
扫一扫
1423
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
