com.ibm.wala.cast.ipa.callgraph

Class AstSSAPropagationCallGraphBuilder

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.CallGraphBuilder<com.ibm.wala.ipa.callgraph.propagation.InstanceKey>, com.ibm.wala.ipa.callgraph.propagation.HeapModel, com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory, com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

Direct Known Subclasses:

CrossLanguageSSAPropagationCallGraphBuilder

public abstract class AstSSAPropagationCallGraphBuilder
extends com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AstSSAPropagationCallGraphBuilder.AstConstraintVisitor
static class	AstSSAPropagationCallGraphBuilder.AstInterestingVisitor
static class	AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor, com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.ArrayLoadOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.ArrayStoreOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.FilterOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.GetFieldOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstanceArrayStoreOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstancePutFieldOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InverseFilterOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.MutableBoolean, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.PutFieldOperator, com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.TypedPointerKey

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG_PROPERTIES
static boolean	DEBUG_TYPE_INFERENCE

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

monitor, PERIODIC_WIPE_SOFT_CACHES, SHORT_CIRCUIT_SINGLE_USES, WIPE_SOFT_CACHE_INTERVAL

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

assignOperator, callGraph, cha, contextSelector, DEBUG_GENERAL, entrypointCallSites, filterOperator, instanceKeyFactory, inverseFilterOperator, options, pointerKeyFactory, system

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AstSSAPropagationCallGraphBuilder(com.ibm.wala.classLoader.IMethod fakeRootClass, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeyFactory)

Method Summary

Modifier and Type	Method and Description
protected com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph	createEmptyCallGraph(com.ibm.wala.classLoader.IMethod fakeRootClass, com.ibm.wala.ipa.callgraph.AnalysisOptions options)
protected abstract com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey	fieldKeyForUnknownWrites(com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKey) If the given fieldKey represents a concrete field, return the corresponding field key that represents all writes to unknown fields that could potentially alias fieldKey
abstract GlobalObjectKey	getGlobalObject(com.ibm.wala.util.strings.Atom language)
boolean	hasNoInterestingUses(com.ibm.wala.ipa.callgraph.CGNode node, int vn, com.ibm.wala.ssa.DefUse du)
protected boolean	isUncataloguedField(com.ibm.wala.classLoader.IClass type, java.lang.String fieldName) each language can specify whether a particular field name should be stored in object catalogs or not.
com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter	makeDefaultContextInterpreters(com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter appContextInterpreter, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.cha.IClassHierarchy cha)
protected com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor	makeInterestingVisitor(com.ibm.wala.ipa.callgraph.CGNode node, int vn)
protected com.ibm.wala.ipa.callgraph.propagation.PropagationSystem	makeSystem(com.ibm.wala.ipa.callgraph.AnalysisOptions options)
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor	makeVisitor(com.ibm.wala.ipa.callgraph.CGNode node)
protected abstract boolean	sameMethod(com.ibm.wala.ipa.callgraph.CGNode opNode, java.lang.String definingMethod) Is definingMethod the same as the method represented by opNode? We need this since the names for methods in some languages don't map in the straightforward way to the CGNode
protected abstract boolean	useObjectCatalog() should we maintain an object catalog for each instance key, storing the names of all known properties of the instance key? required to handle EachElementGetInstructions.

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

addBlockInstructionConstraints, addConstraintsFromNode, addNodeInstructionConstraints, addNodePassthruExceptionConstraints, addNodeValueConstraints, contentsAreInvariant, contentsAreInvariant, getCaughtExceptionTypes, getCFAContextInterpreter, getIncomingPEIs, getInstanceKeyForPEI, getInstanceKeyForPEI, getInvariantContents, getInvariantContents, getTargetPointerKey, getTargetsForCall, getUniqueCatchKey, hasUniqueCatchBlock, isConstantRef, iterateCrossProduct, iteratePointerKeys, makeSolver, processCallingConstraints, unconditionallyAddConstraintsFromNode

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

addAssignmentsForCatchPointerKey, addConstraintsFromChangedNode, addConstraintsFromNewNodes, assignInstanceToCatch, catches, customInit, filterForClass, getAnalysisCache, getCallGraph, getClassHierarchy, getContextInterpreter, getContextSelector, getFilteredPointerKeyForLocal, getFilteredPointerKeyForLocal, getFilteredPointerKeyForLocal, getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeys, getInstanceKeysForClass, getJavaLangObject, getMutableInstanceKeysForClass, getOptions, getPointerAnalysis, getPointerKeyFactory, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getPropagationSystem, getSolver, getSystem, getTargetForCall, haveAlreadyVisited, isJavaLangObject, makeCallGraph, makeCallGraph, markAlreadyVisited, markChanged, markDiscovered, representsNullType, setContextInterpreter, setContextSelector, setInstanceKeys, setPointerKeyFactory, wasChanged

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.HeapModel

getClassHierarchy

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getFilteredPointerKeyForLocal, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField

Field Detail

DEBUG_TYPE_INFERENCE

public static final boolean DEBUG_TYPE_INFERENCE

See Also:

Constant Field Values

DEBUG_PROPERTIES

public static final boolean DEBUG_PROPERTIES

See Also:

Constant Field Values

Constructor Detail

AstSSAPropagationCallGraphBuilder

protected AstSSAPropagationCallGraphBuilder(com.ibm.wala.classLoader.IMethod fakeRootClass,
                                            com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                            com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                                            com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeyFactory)

Method Detail

useObjectCatalog

protected abstract boolean useObjectCatalog()

should we maintain an object catalog for each instance key, storing the names of all known properties of the instance key? required to handle EachElementGetInstructions.

See Also:

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.visitPut(SSAPutInstruction), AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.visitEachElementGet(EachElementGetInstruction)

isUncataloguedField

protected boolean isUncataloguedField(com.ibm.wala.classLoader.IClass type,
                                      java.lang.String fieldName)

each language can specify whether a particular field name should be stored in object catalogs or not. By default, always return false.

getGlobalObject

public abstract GlobalObjectKey getGlobalObject(com.ibm.wala.util.strings.Atom language)

makeDefaultContextInterpreters

public com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter makeDefaultContextInterpreters(com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter appContextInterpreter,
                                                                                                   com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                                                                                   com.ibm.wala.ipa.cha.IClassHierarchy cha)

makeSystem

protected com.ibm.wala.ipa.callgraph.propagation.PropagationSystem makeSystem(com.ibm.wala.ipa.callgraph.AnalysisOptions options)

Overrides:

makeSystem in class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

createEmptyCallGraph

protected com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph createEmptyCallGraph(com.ibm.wala.classLoader.IMethod fakeRootClass,
                                                                                 com.ibm.wala.ipa.callgraph.AnalysisOptions options)

Overrides:

createEmptyCallGraph in class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

makeInterestingVisitor

protected com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor makeInterestingVisitor(com.ibm.wala.ipa.callgraph.CGNode node,
                                                                                                                          int vn)

Overrides:

makeInterestingVisitor in class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

hasNoInterestingUses

public boolean hasNoInterestingUses(com.ibm.wala.ipa.callgraph.CGNode node,
                                    int vn,
                                    com.ibm.wala.ssa.DefUse du)

Overrides:

hasNoInterestingUses in class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

makeVisitor

public com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor makeVisitor(com.ibm.wala.ipa.callgraph.CGNode node)

Overrides:

makeVisitor in class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

fieldKeyForUnknownWrites

protected abstract com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKeyForUnknownWrites(com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKey)

If the given fieldKey represents a concrete field, return the corresponding field key that represents all writes to unknown fields that could potentially alias fieldKey

sameMethod

protected abstract boolean sameMethod(com.ibm.wala.ipa.callgraph.CGNode opNode,
                                      java.lang.String definingMethod)

Is definingMethod the same as the method represented by opNode? We need this since the names for methods in some languages don't map in the straightforward way to the CGNode