envgen.analysis.stat
Class CFGAnalysis

java.lang.Object
  |
  +--envgen.analysis.stat.CFGAnalysis

public class CFGAnalysis

extends java.lang.Object

Field Summary

protected CFGAnalysisMain	analysis
protected EnvCallGraph	callGraph
(package private) boolean	debug

Constructor Summary

CFGAnalysis(EnvCallGraph callGraph, CFGAnalysisMain analysis)

Method Summary

soot.jimple.Stmt	getAssignStmt(soot.jimple.Stmt unit, PointsToAnalysis aliases)
protected soot.jimple.Stmt	getCallSite(soot.jimple.Stmt unit, PointsToAnalysis aliases)
protected soot.Body	getCFG(soot.SootMethod externalMethod, PointsToAnalysis aliases)
protected soot.jimple.Stmt	getCFGStmt(soot.jimple.Stmt unit, PointsToAnalysis aliases)
SymLoc	getExtendedLoc(SymLocPath symLoc, Accessor accessor) Appends a modified accessor to temp.
protected MultiSet	getExtendedLocs(soot.Value base, soot.Type baseType, soot.Type modType, Accessor accessor, DataFlowSet aliasSet) Extends locations pointed to by base with accessor.
MultiSet	getLocsOfArrayRef(soot.Value lhs, DataFlowSet aliasSet)
MultiSet	getLocsOfInstanceFieldRef(soot.Value lhs, DataFlowSet aliasSet)
MultiSet	getLocsOfStaticFieldRef(soot.Value lhs, DataFlowSet aliasSet)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

callGraph

protected EnvCallGraph callGraph

analysis

protected CFGAnalysisMain analysis

debug

boolean debug

Constructor Detail

CFGAnalysis

public CFGAnalysis(EnvCallGraph callGraph,
                   CFGAnalysisMain analysis)

Method Detail

getCFG

protected soot.Body getCFG(soot.SootMethod externalMethod,
                           PointsToAnalysis aliases)

getCallSite

protected soot.jimple.Stmt getCallSite(soot.jimple.Stmt unit,
                                       PointsToAnalysis aliases)

getAssignStmt

public soot.jimple.Stmt getAssignStmt(soot.jimple.Stmt unit,
                                      PointsToAnalysis aliases)

getLocsOfInstanceFieldRef

public MultiSet getLocsOfInstanceFieldRef(soot.Value lhs,
                                          DataFlowSet aliasSet)

getLocsOfArrayRef

public MultiSet getLocsOfArrayRef(soot.Value lhs,
                                  DataFlowSet aliasSet)

getLocsOfStaticFieldRef

public MultiSet getLocsOfStaticFieldRef(soot.Value lhs,
                                        DataFlowSet aliasSet)

getExtendedLocs

protected MultiSet getExtendedLocs(soot.Value base,
                                   soot.Type baseType,
                                   soot.Type modType,
                                   Accessor accessor,
                                   DataFlowSet aliasSet)

Extends locations pointed to by base with accessor.

getExtendedLoc

public SymLoc getExtendedLoc(SymLocPath symLoc,
                             Accessor accessor)

Appends a modified accessor to temp.

getCFGStmt

protected soot.jimple.Stmt getCFGStmt(soot.jimple.Stmt unit,
                                      PointsToAnalysis aliases)