Examples with PurityOptions soot.options.PurityOptions used on opensource projects

Example 1 with PurityOptions

use of soot.options.PurityOptions in project soot by Sable.

the class PurityAnalysis method internalTransform.

@Override
protected void internalTransform(String phaseName, Map<String, String> options) {
    PurityOptions opts = new PurityOptions(options);
    logger.debug("[AM] Analysing purity");
    CallGraph cg = Scene.v().getCallGraph();
    // launch the analysis
    new PurityInterproceduralAnalysis(cg, Scene.v().getEntryPoints().iterator(), opts);
}