Examples with ContextSensitiveInfo soot.jimple.spark.ondemand.pautil.ContextSensitiveInfo used on opensource projects

Example 1 with ContextSensitiveInfo

use of soot.jimple.spark.ondemand.pautil.ContextSensitiveInfo in project soot by Sable.

the class DemandCSPointsTo method makeWithBudget.

public static DemandCSPointsTo makeWithBudget(int maxTraversal, int maxPasses, boolean lazy) {
    PAG pag = (PAG) Scene.v().getPointsToAnalysis();
    ContextSensitiveInfo csInfo = new ContextSensitiveInfo(pag);
    return new DemandCSPointsTo(csInfo, pag, maxTraversal, maxPasses, lazy);
}