Search in sources :

Example 1 with InterproceduralCFG

use of heros.InterproceduralCFG in project soot by Sable.

the class Main method main.

/**
 * @param args
 */
public static void main(String[] args) {
    PackManager.v().getPack("wjtp").add(new Transform("wjtp.ifds", new SceneTransformer() {

        protected void internalTransform(String phaseName, @SuppressWarnings("rawtypes") Map options) {
            IFDSTabulationProblem<Unit, ?, SootMethod, InterproceduralCFG<Unit, SootMethod>> problem = new IFDSPossibleTypes(new JimpleBasedInterproceduralCFG());
            @SuppressWarnings({ "rawtypes", "unchecked" }) JimpleIFDSSolver<?, InterproceduralCFG<Unit, SootMethod>> solver = new JimpleIFDSSolver(problem);
            solver.solve();
        }
    }));
    soot.Main.main(args);
}
Also used : JimpleBasedInterproceduralCFG(soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG) InterproceduralCFG(heros.InterproceduralCFG) JimpleBasedInterproceduralCFG(soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG) Unit(soot.Unit) SceneTransformer(soot.SceneTransformer) IFDSPossibleTypes(soot.jimple.toolkits.ide.exampleproblems.IFDSPossibleTypes) SootMethod(soot.SootMethod) Transform(soot.Transform) Map(java.util.Map)

Aggregations

InterproceduralCFG (heros.InterproceduralCFG)1 Map (java.util.Map)1 SceneTransformer (soot.SceneTransformer)1 SootMethod (soot.SootMethod)1 Transform (soot.Transform)1 Unit (soot.Unit)1 IFDSPossibleTypes (soot.jimple.toolkits.ide.exampleproblems.IFDSPossibleTypes)1 JimpleBasedInterproceduralCFG (soot.jimple.toolkits.ide.icfg.JimpleBasedInterproceduralCFG)1