public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl extends PointerAnalysisImpl
Modifier and Type | Class and Description |
---|---|
static class |
AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor |
PointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitor
builder, pointerKeys
instanceKeys
Constructor and Description |
---|
AstPointerAnalysisImpl(PropagationCallGraphBuilder builder,
CallGraph cg,
PointsToMap pointsToMap,
MutableMapping<InstanceKey> instanceKeys,
PointerKeyFactory pointerKeys,
InstanceKeyFactory iKeyFactory) |
Modifier and Type | Method and Description |
---|---|
protected HeapModel |
makeHeapModel() |
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor |
makeImplicitPointsToVisitor(LocalPointerKey lpk) |
computeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toString
getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys
public AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
protected HeapModel makeHeapModel()
makeHeapModel
in class PointerAnalysisImpl
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)
makeImplicitPointsToVisitor
in class PointerAnalysisImpl