Package soot.jimple.toolkits.thread

Examples of soot.jimple.toolkits.thread.ThreadLocalObjectsAnalysis.precompute()

134
135
136
137
138
139
140
141
142
143
144
          tlo = new ThreadLocalObjectsAnalysis(mhp);
      else
          tlo = new ThreadLocalObjectsAnalysis(new SynchObliviousMhpAnalysis());
        if(!optionOnFlyTLO)
        {
          tlo.precompute();
          G.v().out.println("[wjtp.tn] TLO totals (#analyzed/#encountered): " + SmartMethodInfoFlowAnalysis.counter + "/" + ClassInfoFlowAnalysis.methodCount);
        }
        else
          G.v().out.println("[wjtp.tn] TLO so far (#analyzed/#encountered): " + SmartMethodInfoFlowAnalysis.counter + "/" + ClassInfoFlowAnalysis.methodCount);
      }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.