envgen.analysis.stat
Class AnalysisResults

java.lang.Object
  |
  +--envgen.Assumptions
        |
        +--envgen.analysis.stat.AnalysisResults

public class AnalysisResults

extends Assumptions

Mappings from methods to their points-to and side-effects summaries.

Field Summary

(package private) java.util.HashMap	methodToAliases
(package private) java.util.HashMap	methodToCFGs
(package private) java.util.HashMap	methodToMustSideEffects
(package private) java.util.HashMap	methodToNewLocations
(package private) java.util.HashMap	methodToReturnLocations Mapping between mathod signatures and return locations.
(package private) java.util.HashMap	methodToReturnSideEffects
(package private) java.util.HashMap	methodToSafeLocks
(package private) java.util.HashMap	methodToSideEffects Mapping between method signatures and side-effects info.

Constructor Summary

AnalysisResults()

Method Summary

boolean	containsAliases(soot.SootMethod sm)
boolean	containsCFG(java.lang.String sm)
boolean	containsMustSideEffects(java.lang.String sm)
boolean	containsNewLocations(java.lang.String sm)
boolean	containsReturnLocations(java.lang.String sm)
boolean	containsReturnSideEffects(java.lang.String sm)
boolean	containsSafeLocks(java.lang.String sm)
boolean	containsSideEffects(java.lang.String sm)
PointsToAnalysis	getAliasesOf(soot.SootMethod sm)
soot.Body	getCFGOf(java.lang.String sm)
java.util.HashMap	getMethodToAliases()
java.util.HashMap	getMethodToMustSideEffects()
java.util.HashMap	getMethodToSafeLocks()
java.util.HashMap	getMethodToSideEffects()
DataFlowSet	getMustSideEffectsOf(java.lang.String sm)
MultiSet	getNewLocationsOf(java.lang.String sm)
MultiSet	getReturnLocationsOf(java.lang.String sm)
MultiSet	getReturnSideEffectsOf(java.lang.String sm)
MultiSet	getSafeLocks(java.lang.String sm)
DataFlowSet	getSideEffectsOf(java.lang.String sm)
void	printAnalysisResults()
void	putAliases(soot.SootMethod sm, PointsToAnalysis alias)
void	putCFG(java.lang.String sm, soot.Body body)
void	putMustSideEffects(java.lang.String sm, DataFlowSet summary)
void	putNewLocations(java.lang.String sm, MultiSet locations)
void	putReturnLocations(java.lang.String sm, MultiSet locations)
void	putReturnSideEffects(java.lang.String sm, MultiSet summary)
void	putSafeLocks(java.lang.String sm, MultiSet locks)
void	putSideEffects(java.lang.String sm, DataFlowSet summary)

Methods inherited from class java.lang.Object

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

Field Detail

methodToAliases

java.util.HashMap methodToAliases

methodToReturnLocations

java.util.HashMap methodToReturnLocations

Mapping between mathod signatures and return locations.

methodToSideEffects

java.util.HashMap methodToSideEffects

Mapping between method signatures and side-effects info. Used to pull out info on a method based on its signature rather than method's object, that might be different in other points of the program.

methodToReturnSideEffects

java.util.HashMap methodToReturnSideEffects

methodToMustSideEffects

java.util.HashMap methodToMustSideEffects

methodToNewLocations

java.util.HashMap methodToNewLocations

methodToCFGs

java.util.HashMap methodToCFGs

methodToSafeLocks

java.util.HashMap methodToSafeLocks

Constructor Detail

AnalysisResults

public AnalysisResults()

Method Detail

getMethodToAliases

public java.util.HashMap getMethodToAliases()

getMethodToSideEffects

public java.util.HashMap getMethodToSideEffects()

getMethodToMustSideEffects

public java.util.HashMap getMethodToMustSideEffects()

getMethodToSafeLocks

public java.util.HashMap getMethodToSafeLocks()

getAliasesOf

public PointsToAnalysis getAliasesOf(soot.SootMethod sm)

getSideEffectsOf

public DataFlowSet getSideEffectsOf(java.lang.String sm)

getMustSideEffectsOf

public DataFlowSet getMustSideEffectsOf(java.lang.String sm)

getReturnSideEffectsOf

public MultiSet getReturnSideEffectsOf(java.lang.String sm)

getNewLocationsOf

public MultiSet getNewLocationsOf(java.lang.String sm)

getReturnLocationsOf

public MultiSet getReturnLocationsOf(java.lang.String sm)

getCFGOf

public soot.Body getCFGOf(java.lang.String sm)

getSafeLocks

public MultiSet getSafeLocks(java.lang.String sm)

putAliases

public void putAliases(soot.SootMethod sm,
                       PointsToAnalysis alias)

putSideEffects

public void putSideEffects(java.lang.String sm,
                           DataFlowSet summary)

putMustSideEffects

public void putMustSideEffects(java.lang.String sm,
                               DataFlowSet summary)

putReturnSideEffects

public void putReturnSideEffects(java.lang.String sm,
                                 MultiSet summary)

putNewLocations

public void putNewLocations(java.lang.String sm,
                            MultiSet locations)

putReturnLocations

public void putReturnLocations(java.lang.String sm,
                               MultiSet locations)

putCFG

public void putCFG(java.lang.String sm,
                   soot.Body body)

putSafeLocks

public void putSafeLocks(java.lang.String sm,
                         MultiSet locks)

containsAliases

public boolean containsAliases(soot.SootMethod sm)

containsSideEffects

public boolean containsSideEffects(java.lang.String sm)

containsMustSideEffects

public boolean containsMustSideEffects(java.lang.String sm)

containsReturnSideEffects

public boolean containsReturnSideEffects(java.lang.String sm)

containsNewLocations

public boolean containsNewLocations(java.lang.String sm)

containsReturnLocations

public boolean containsReturnLocations(java.lang.String sm)

containsCFG

public boolean containsCFG(java.lang.String sm)

containsSafeLocks

public boolean containsSafeLocks(java.lang.String sm)

printAnalysisResults

public void printAnalysisResults()