Java 类soot.jimple.toolkits.ide.icfg.BackwardsInterproceduralCFG 实例源码

项目:FlowTwist    文件:TabulationProblem.java   
private static BiDiInterproceduralCFG<Unit, SootMethod> makeICFG(AnalysisDirection direction) {
    JimpleBasedInterproceduralCFG fwdIcfg = new JimpleBasedInterproceduralCFG();
    if (direction == AnalysisDirection.FORWARDS)
        return fwdIcfg;
    else
        return new BackwardsInterproceduralCFG(fwdIcfg);
}
项目:boomerang    文件:BackwardsInfoflowCFG.java   
public BackwardsInfoflowCFG(IInfoflowCFG baseCFG) {
    super(new BackwardsInterproceduralCFG(baseCFG));
    this.baseCFG = baseCFG;
}
项目:JAADAS    文件:BackwardsInfoflowCFG.java   
public BackwardsInfoflowCFG(IInfoflowCFG baseCFG) {
    super(new BackwardsInterproceduralCFG(baseCFG));
    this.baseCFG = baseCFG;
}