com.oracle.graal.pointsto.typestate

Class DefaultAnalysisPolicy

java.lang.Object

com.oracle.graal.pointsto.AnalysisPolicy

com.oracle.graal.pointsto.typestate.DefaultAnalysisPolicy

public class DefaultAnalysisPolicy
extends AnalysisPolicy

Field Summary

Fields inherited from class com.oracle.graal.pointsto.AnalysisPolicy

aliasArrayTypeFlows, options, relaxTypeFlowConstraints, removeSaturatedTypeFlows, typeFlowSaturationCutoff

Constructor Summary

Constructors

Constructor and Description
DefaultAnalysisPolicy(org.graalvm.compiler.options.OptionValues options)

Method Summary

Modifier and Type	Method and Description
boolean	addOriginalObserver(PointsToAnalysis bb, TypeFlow<?> flow, TypeFlow<?> observer)
boolean	addOriginalUse(PointsToAnalysis bb, TypeFlow<?> flow, TypeFlow<?> use)
AnalysisContext	allocationContext(PointsToAnalysis bb, MethodFlowsGraph callerGraph)
TypeState	cloneState(PointsToAnalysis bb, TypeState currentState, TypeState inputState, BytecodePosition cloneSite, AnalysisContext allocationContext) Create type state for clone.
ArrayElementsTypeStore	createArrayElementsTypeStore(AnalysisObject object, AnalysisUniverse universe)
AnalysisObject	createConstantObject(PointsToAnalysis bb, JavaConstant constant, AnalysisType exactType) Create a constant object abstraction.
FieldTypeStore	createFieldTypeStore(AnalysisObject object, AnalysisField field, AnalysisUniverse universe)
AnalysisObject	createHeapObject(PointsToAnalysis bb, AnalysisType type, BytecodePosition allocationSite, AnalysisContext allocationContext) Create a heap allocated object abstraction.
MethodTypeFlow	createMethodTypeFlow(PointsToAnalysisMethod method)
AbstractSpecialInvokeTypeFlow	createSpecialInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn) Provides implementation for the special invoke type flow.
AbstractStaticInvokeTypeFlow	createStaticInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn) Provides implementation for the static invoke type flow.
AbstractVirtualInvokeTypeFlow	createVirtualInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn) Provides implementation for the virtual invoke type flow.
TypeState	doIntersection(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
TypeState	doIntersection(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
TypeState	doSubtraction(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
TypeState	doSubtraction(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
TypeState	doUnion(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
TypeState	doUnion(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
TypeState	doUnion(PointsToAnalysis bb, SingleTypeState s1, SingleTypeState s2)
TypeState	dynamicNewInstanceState(PointsToAnalysis bb, TypeState currentState, TypeState newState, BytecodePosition allocationSite, AnalysisContext allocationContext) Create type state for dynamic new instance.
TypeState	forContextInsensitiveTypeState(PointsToAnalysis bb, TypeState state) Simplifies a type state by replacing all context sensitive objects with context insensitive objects.
boolean	isContextSensitiveAllocation(PointsToAnalysis bb, AnalysisType type, AnalysisContext allocationContext) Specifies if an allocation site should be modeled context sensitively.
boolean	isContextSensitiveAnalysis()
boolean	isMergingEnabled() Check if merging is enabled.
boolean	isSummaryObject(AnalysisObject object) In some analysis policies some objects can summarize others.
void	linkActualReturn(PointsToAnalysis bb, boolean isStatic, InvokeTypeFlow invoke)
void	linkClonedObjects(PointsToAnalysis bb, TypeFlow<?> inputFlow, CloneTypeFlow cloneFlow, BytecodePosition source) Link the elements of the cloned objects (array flows or field flows) to the elements of the source objects.
MultiTypeState	multiTypeState(PointsToAnalysis bb, boolean canBeNull, int properties, BitSet typesBitSet, AnalysisObject... objects)
boolean	needsConstantCache() Specifies if this policy models constants objects context sensitively, i.e., by creating a different abstraction for each JavaConstant of the same type, and thus needs a constants cache.
void	noteMerge(PointsToAnalysis bb, AnalysisObject... a) Note analysis object state merge.
void	noteMerge(PointsToAnalysis bb, AnalysisObject a) Note analysis object state merge.
void	noteMerge(PointsToAnalysis bb, TypeState t) Note type state merge.
TypeFlow<?>	proxy(BytecodePosition source, TypeFlow<?> input)
void	registerAsImplementationInvoked(InvokeTypeFlow invoke, MethodFlowsGraph calleeFlows)
SingleTypeState	singleTypeState(PointsToAnalysis bb, boolean canBeNull, int properties, AnalysisType type, AnalysisObject... objects)
MethodFlowsGraph	staticRootMethodGraph(PointsToAnalysis bb, PointsToAnalysisMethod pointsToMethod)

Methods inherited from class com.oracle.graal.pointsto.AnalysisPolicy

aliasArrayTypeFlows, doIntersection, doIntersection, doSubtraction, doSubtraction, makeProperties, makePropertiesForUnion, relaxTypeFlowConstraints, removeSaturatedTypeFlows, typeFlowSaturationCutoff

Methods inherited from class java.lang.Object

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

Constructor Detail

DefaultAnalysisPolicy

public DefaultAnalysisPolicy(org.graalvm.compiler.options.OptionValues options)

Method Detail

isContextSensitiveAnalysis

public boolean isContextSensitiveAnalysis()

Specified by:

isContextSensitiveAnalysis in class AnalysisPolicy

createMethodTypeFlow

public MethodTypeFlow createMethodTypeFlow(PointsToAnalysisMethod method)

Specified by:

createMethodTypeFlow in class AnalysisPolicy

needsConstantCache

public boolean needsConstantCache()

Description copied from class: AnalysisPolicy

Specifies if this policy models constants objects context sensitively, i.e., by creating a different abstraction for each JavaConstant of the same type, and thus needs a constants cache.

Specified by:

needsConstantCache in class AnalysisPolicy

isSummaryObject

public boolean isSummaryObject(AnalysisObject object)

Description copied from class: AnalysisPolicy

In some analysis policies some objects can summarize others.

Specified by:

isSummaryObject in class AnalysisPolicy

isMergingEnabled

public boolean isMergingEnabled()

Description copied from class: AnalysisPolicy

Check if merging is enabled. Used for assertions.

Specified by:

isMergingEnabled in class AnalysisPolicy

noteMerge

public void noteMerge(PointsToAnalysis bb,
                      TypeState t)

Description copied from class: AnalysisPolicy

Note type state merge.

Specified by:

noteMerge in class AnalysisPolicy

noteMerge

public void noteMerge(PointsToAnalysis bb,
                      AnalysisObject... a)

Description copied from class: AnalysisPolicy

Note analysis object state merge.

Specified by:

noteMerge in class AnalysisPolicy

noteMerge

public void noteMerge(PointsToAnalysis bb,
                      AnalysisObject a)

Description copied from class: AnalysisPolicy

Note analysis object state merge.

Specified by:

noteMerge in class AnalysisPolicy

isContextSensitiveAllocation

public boolean isContextSensitiveAllocation(PointsToAnalysis bb,
                                            AnalysisType type,
                                            AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Specifies if an allocation site should be modeled context sensitively.

Specified by:

isContextSensitiveAllocation in class AnalysisPolicy

createHeapObject

public AnalysisObject createHeapObject(PointsToAnalysis bb,
                                       AnalysisType type,
                                       BytecodePosition allocationSite,
                                       AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Create a heap allocated object abstraction.

Specified by:

createHeapObject in class AnalysisPolicy

createConstantObject

public AnalysisObject createConstantObject(PointsToAnalysis bb,
                                           JavaConstant constant,
                                           AnalysisType exactType)

Description copied from class: AnalysisPolicy

Create a constant object abstraction.

Specified by:

createConstantObject in class AnalysisPolicy

dynamicNewInstanceState

public TypeState dynamicNewInstanceState(PointsToAnalysis bb,
                                         TypeState currentState,
                                         TypeState newState,
                                         BytecodePosition allocationSite,
                                         AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Create type state for dynamic new instance.

Specified by:

dynamicNewInstanceState in class AnalysisPolicy

cloneState

public TypeState cloneState(PointsToAnalysis bb,
                            TypeState currentState,
                            TypeState inputState,
                            BytecodePosition cloneSite,
                            AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Create type state for clone.

Specified by:

cloneState in class AnalysisPolicy

linkClonedObjects

public void linkClonedObjects(PointsToAnalysis bb,
                              TypeFlow<?> inputFlow,
                              CloneTypeFlow cloneFlow,
                              BytecodePosition source)

Description copied from class: AnalysisPolicy

Link the elements of the cloned objects (array flows or field flows) to the elements of the source objects.

Specified by:

linkClonedObjects in class AnalysisPolicy

createFieldTypeStore

public FieldTypeStore createFieldTypeStore(AnalysisObject object,
                                           AnalysisField field,
                                           AnalysisUniverse universe)

Specified by:

createFieldTypeStore in class AnalysisPolicy

createArrayElementsTypeStore

public ArrayElementsTypeStore createArrayElementsTypeStore(AnalysisObject object,
                                                           AnalysisUniverse universe)

Specified by:

createArrayElementsTypeStore in class AnalysisPolicy

createVirtualInvokeTypeFlow

public AbstractVirtualInvokeTypeFlow createVirtualInvokeTypeFlow(BytecodePosition invokeLocation,
                                                                 AnalysisType receiverType,
                                                                 PointsToAnalysisMethod targetMethod,
                                                                 TypeFlow<?>[] actualParameters,
                                                                 ActualReturnTypeFlow actualReturn)

Description copied from class: AnalysisPolicy

Provides implementation for the virtual invoke type flow.

Specified by:

createVirtualInvokeTypeFlow in class AnalysisPolicy

createSpecialInvokeTypeFlow

public AbstractSpecialInvokeTypeFlow createSpecialInvokeTypeFlow(BytecodePosition invokeLocation,
                                                                 AnalysisType receiverType,
                                                                 PointsToAnalysisMethod targetMethod,
                                                                 TypeFlow<?>[] actualParameters,
                                                                 ActualReturnTypeFlow actualReturn)

Description copied from class: AnalysisPolicy

Provides implementation for the special invoke type flow.

Specified by:

createSpecialInvokeTypeFlow in class AnalysisPolicy

createStaticInvokeTypeFlow

public AbstractStaticInvokeTypeFlow createStaticInvokeTypeFlow(BytecodePosition invokeLocation,
                                                               AnalysisType receiverType,
                                                               PointsToAnalysisMethod targetMethod,
                                                               TypeFlow<?>[] actualParameters,
                                                               ActualReturnTypeFlow actualReturn)

Description copied from class: AnalysisPolicy

Provides implementation for the static invoke type flow.

Specified by:

createStaticInvokeTypeFlow in class AnalysisPolicy

staticRootMethodGraph

public MethodFlowsGraph staticRootMethodGraph(PointsToAnalysis bb,
                                              PointsToAnalysisMethod pointsToMethod)

Specified by:

staticRootMethodGraph in class AnalysisPolicy

allocationContext

public AnalysisContext allocationContext(PointsToAnalysis bb,
                                         MethodFlowsGraph callerGraph)

Specified by:

allocationContext in class AnalysisPolicy

proxy

public TypeFlow<?> proxy(BytecodePosition source,
                         TypeFlow<?> input)

Specified by:

proxy in class AnalysisPolicy

addOriginalUse

public boolean addOriginalUse(PointsToAnalysis bb,
                              TypeFlow<?> flow,
                              TypeFlow<?> use)

Specified by:

addOriginalUse in class AnalysisPolicy

addOriginalObserver

public boolean addOriginalObserver(PointsToAnalysis bb,
                                   TypeFlow<?> flow,
                                   TypeFlow<?> observer)

Specified by:

addOriginalObserver in class AnalysisPolicy

linkActualReturn

public void linkActualReturn(PointsToAnalysis bb,
                             boolean isStatic,
                             InvokeTypeFlow invoke)

Specified by:

linkActualReturn in class AnalysisPolicy

registerAsImplementationInvoked

public void registerAsImplementationInvoked(InvokeTypeFlow invoke,
                                            MethodFlowsGraph calleeFlows)

Specified by:

registerAsImplementationInvoked in class AnalysisPolicy

forContextInsensitiveTypeState

public TypeState forContextInsensitiveTypeState(PointsToAnalysis bb,
                                                TypeState state)

Description copied from class: AnalysisPolicy

Simplifies a type state by replacing all context sensitive objects with context insensitive objects.

Specified by:

forContextInsensitiveTypeState in class AnalysisPolicy

singleTypeState

public SingleTypeState singleTypeState(PointsToAnalysis bb,
                                       boolean canBeNull,
                                       int properties,
                                       AnalysisType type,
                                       AnalysisObject... objects)

Specified by:

singleTypeState in class AnalysisPolicy

multiTypeState

public MultiTypeState multiTypeState(PointsToAnalysis bb,
                                     boolean canBeNull,
                                     int properties,
                                     BitSet typesBitSet,
                                     AnalysisObject... objects)

Specified by:

multiTypeState in class AnalysisPolicy

doUnion

public TypeState doUnion(PointsToAnalysis bb,
                         SingleTypeState s1,
                         SingleTypeState s2)

Specified by:

doUnion in class AnalysisPolicy

doUnion

public TypeState doUnion(PointsToAnalysis bb,
                         MultiTypeState s1,
                         SingleTypeState s2)

Specified by:

doUnion in class AnalysisPolicy

doUnion

public TypeState doUnion(PointsToAnalysis bb,
                         MultiTypeState s1,
                         MultiTypeState s2)

Specified by:

doUnion in class AnalysisPolicy

doIntersection

public TypeState doIntersection(PointsToAnalysis bb,
                                MultiTypeState s1,
                                SingleTypeState s2)

Specified by:

doIntersection in class AnalysisPolicy

doIntersection

public TypeState doIntersection(PointsToAnalysis bb,
                                MultiTypeState s1,
                                MultiTypeState s2)

Specified by:

doIntersection in class AnalysisPolicy

doSubtraction

public TypeState doSubtraction(PointsToAnalysis bb,
                               MultiTypeState s1,
                               SingleTypeState s2)

Specified by:

doSubtraction in class AnalysisPolicy

doSubtraction

public TypeState doSubtraction(PointsToAnalysis bb,
                               MultiTypeState s1,
                               MultiTypeState s2)

Specified by:

doSubtraction in class AnalysisPolicy