accrue.analysis.defuse

Class DefUseAnalysisFactory

java.lang.Object

accrue.analysis.interprocanalysis.AnalysisFactory<VarContext<T>>

accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext<DefUseAbsVal>

accrue.analysis.defuse.DefUseAnalysisFactory

public class DefUseAnalysisFactory
extends AnalysisFactoryVarContext<DefUseAbsVal>

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	ANALYSIS_NAME
static java.lang.String	DATA_DEPENDENCIES This analysis result stores a Set pointing to definitions of locations used.
static java.lang.String	INTRA_DATA_DEPENDENCIES This analysis result stores a Set pointing to definitions of locations used.
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 of modified heap locations.
static java.lang.String	OBSERVED_LOCATIONS

Fields inherited from class accrue.analysis.interprocanalysis.AnalysisFactory

extInfo

Constructor Summary

Constructors

Constructor and Description
DefUseAnalysisFactory(AccrueExtensionInfo extInfo, DefUseAnalysisUtil.Mode mode, boolean trackStrings)

Method Summary

Methods

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

Methods inherited from class accrue.analysis.interprocvarcontext.AnalysisFactoryVarContext

emptyExitMap, restoreCallingFrame

Methods inherited from class accrue.analysis.interprocanalysis.AnalysisFactory

createAnalysisContext, reportTopics, startProcAnalysisContext

Methods inherited from class java.lang.Object

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

Field Detail

ANALYSIS_NAME

public static final java.lang.String ANALYSIS_NAME

See Also:

Constant Field Values

OBSERVED_LOCATIONS

public static final java.lang.String OBSERVED_LOCATIONS

See Also:

Constant Field Values

INTRA_OUTPUT_DEPENDENCIES

public static final java.lang.String INTRA_OUTPUT_DEPENDENCIES

Stores the set of output dependencies

See Also:

Constant Field Values

DATA_DEPENDENCIES

public static final java.lang.String DATA_DEPENDENCIES

This analysis result stores a Set pointing to definitions of locations used.

See Also:

Constant Field Values

INTRA_DATA_DEPENDENCIES

public static final java.lang.String INTRA_DATA_DEPENDENCIES

This analysis result stores a Set pointing to definitions of locations used. Inter-procedural dependencies are summarized at call sites.

See Also:

Constant Field Values

MODIFIED_LOCATIONS

public static final java.lang.String MODIFIED_LOCATIONS

This analysis result stores a Set of modified heap locations.

See Also:

Constant Field Values

Constructor Detail

DefUseAnalysisFactory

public DefUseAnalysisFactory(AccrueExtensionInfo extInfo,
                     DefUseAnalysisUtil.Mode mode,
                     boolean trackStrings)

Method Detail

analysisName

public java.lang.String analysisName()

Description copied from class: AnalysisFactory

Get the name of the analysis

Specified by:

analysisName in class AnalysisFactory<VarContext<DefUseAbsVal>>

analysisReportName

public java.lang.String analysisReportName()

Description copied from class: AnalysisFactory

Get the name of the analysis report

Specified by:

analysisReportName in class AnalysisFactory<VarContext<DefUseAbsVal>>

bottomAbstractValue

public DefUseAbsVal bottomAbstractValue()

Specified by:

bottomAbstractValue in class AnalysisFactoryVarContext<DefUseAbsVal>

analysisUtil

public AnalysisUtil<VarContext<DefUseAbsVal>> analysisUtil(WorkQueue<VarContext<DefUseAbsVal>> wq,
                                                  AnalysisUnit aunit)

Description copied from class: AnalysisFactory

Get the object sensitive analysis utility class.

Specified by:

analysisUtil in class AnalysisFactory<VarContext<DefUseAbsVal>>

Parameters:

wq - Analysis work queue of CodeInstance

aunit - Analysis unit that we are constructing the AnalysisUtil for.

startItem

public VarContext<DefUseAbsVal> startItem(AnalysisUtil<VarContext<DefUseAbsVal>> autil,
                                 polyglot.ast.ProcedureDecl startProc)
                                   throws polyglot.types.SemanticException

Description copied from class: AnalysisFactory

Get the start item for the analysis

Specified by:

startItem in class AnalysisFactory<VarContext<DefUseAbsVal>>

Parameters:

autil - Object sensitive analysis utility

startProc - Entry procedure for the analysis

Returns:

The start analysis result item

Throws:

polyglot.types.SemanticException - thrown if the start item cannot be computed due to a semantic error