public class DefUseAnalysisFactory extends AnalysisFactoryVarContext<DefUseAbsVal>
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ANALYSIS_NAME |
static java.lang.String |
DATA_DEPENDENCIES
This analysis result stores a Set
|
static java.lang.String |
INTRA_DATA_DEPENDENCIES
This analysis result stores a Set
|
static java.lang.String |
INTRA_OUTPUT_DEPENDENCIES
Stores the set of output dependencies
|
static java.lang.String |
MODIFIED_LOCATIONS
This analysis result stores a Set
|
static java.lang.String |
OBSERVED_LOCATIONS |
extInfo
Constructor and Description |
---|
DefUseAnalysisFactory(AccrueExtensionInfo extInfo,
DefUseAnalysisUtil.Mode mode,
boolean trackStrings) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
analysisName()
Get the name of the analysis
|
java.lang.String |
analysisReportName()
Get the name of the analysis report
|
AnalysisUtil<VarContext<DefUseAbsVal>> |
analysisUtil(WorkQueue<VarContext<DefUseAbsVal>> wq,
AnalysisUnit aunit)
Get the object sensitive analysis utility class.
|
DefUseAbsVal |
bottomAbstractValue() |
VarContext<DefUseAbsVal> |
startItem(AnalysisUtil<VarContext<DefUseAbsVal>> autil,
polyglot.ast.ProcedureDecl startProc)
Get the start item for the analysis
|
emptyExitMap, restoreCallingFrame
createAnalysisContext, reportTopics, startProcAnalysisContext
public static final java.lang.String ANALYSIS_NAME
public static final java.lang.String OBSERVED_LOCATIONS
public static final java.lang.String INTRA_OUTPUT_DEPENDENCIES
public static final java.lang.String DATA_DEPENDENCIES
public static final java.lang.String INTRA_DATA_DEPENDENCIES
public static final java.lang.String MODIFIED_LOCATIONS
public DefUseAnalysisFactory(AccrueExtensionInfo extInfo, DefUseAnalysisUtil.Mode mode, boolean trackStrings)
public java.lang.String analysisName()
AnalysisFactory
analysisName
in class AnalysisFactory<VarContext<DefUseAbsVal>>
public java.lang.String analysisReportName()
AnalysisFactory
analysisReportName
in class AnalysisFactory<VarContext<DefUseAbsVal>>
public DefUseAbsVal bottomAbstractValue()
bottomAbstractValue
in class AnalysisFactoryVarContext<DefUseAbsVal>
public AnalysisUtil<VarContext<DefUseAbsVal>> analysisUtil(WorkQueue<VarContext<DefUseAbsVal>> wq, AnalysisUnit aunit)
AnalysisFactory
analysisUtil
in class AnalysisFactory<VarContext<DefUseAbsVal>>
wq
- Analysis work queue of CodeInstance
aunit
- Analysis unit that we are constructing the AnalysisUtil for.public VarContext<DefUseAbsVal> startItem(AnalysisUtil<VarContext<DefUseAbsVal>> autil, polyglot.ast.ProcedureDecl startProc) throws polyglot.types.SemanticException
AnalysisFactory
startItem
in class AnalysisFactory<VarContext<DefUseAbsVal>>
autil
- Object sensitive analysis utilitystartProc
- Entry procedure for the analysispolyglot.types.SemanticException
- thrown if the start item cannot be computed due to a semantic
error