Examples with SymbolicPointsTo com.jopdesign.dfa.analyses.SymbolicPointsTo used on opensource projects

Example 1 with SymbolicPointsTo

use of com.jopdesign.dfa.analyses.SymbolicPointsTo in project jop by jop-devel.

the class ObjectCacheAnalysis method getUsedRefs.

/**
	 * Get DFA results on symbolic reference names for the given scope
	 * XXX: proper segment support
	 * @param scope
	 * @return
	 */
public LocalPointsToResult getUsedRefs(ExecutionContext scope) {
    ExecuteOnceAnalysis eoAna = new ExecuteOnceAnalysis(project);
    DFATool dfa = project.getDfaTool();
    SymbolicPointsTo spt = new SymbolicPointsTo(maxSetSize, project.getCallstringLength(), new ExecOnceQuery(eoAna, scope));
    dfa.runLocalAnalysis(spt, scope);
    LocalPointsToResult lpt = new LocalPointsToResult(spt.getResult());
    return lpt;
}