Package soot.jimple.toolkits.thread.mhp

Examples of soot.jimple.toolkits.thread.mhp.MhpTester


    optionPrintDebug = PhaseOptions.getBoolean( options, "print-debug" );
   
//    optionIncludeEmptyPossibleEdges = PhaseOptions.getBoolean( options, "include-empty-edges" ); // not a real option yet
   
    // *** Build May Happen In Parallel Info ***
    MhpTester mhp = null;
    if(optionDoMHP && Scene.v().getPointsToAnalysis() instanceof PAG)
    {
        G.v().out.println("[wjtp.tn] *** Build May-Happen-in-Parallel Info *** " + (new Date()));
      mhp = new SynchObliviousMhpAnalysis();
      if(optionPrintMhpSummary)
      {
        mhp.printMhpSummary();
      }
    }
   


View Full Code Here

TOP

Related Classes of soot.jimple.toolkits.thread.mhp.MhpTester

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.