}
// *** Find Thread-Local Objects ***
ThreadLocalObjectsAnalysis tlo = null;
if(optionDoTLO)
{
G.v().out.println("[wjtp.tn] *** Find Thread-Local Objects *** " + (new Date()));
if(mhp != null)
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);
}