Class PropagationCallGraphBuilder

java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
All Implemented Interfaces:
CallGraphBuilder<InstanceKey>
Direct Known Subclasses:
AbstractRTABuilder, SSAPropagationCallGraphBuilder

public abstract class PropagationCallGraphBuilder extends Object implements CallGraphBuilder<InstanceKey>
This abstract base class provides the general algorithm for a call graph builder that relies on propagation through an iterative dataflow solver

TODO: This implementation currently keeps all points to sets live ... even those for local variables that do not span interprocedural boundaries. This may be too space-inefficient .. we can consider recomputing local sets on demand.

  • Field Details

    • DEBUG_GENERAL

      protected static final boolean DEBUG_GENERAL
      See Also:
    • pointerKeyFactory

      protected PointerKeyFactory pointerKeyFactory
      Meta-data regarding how pointers are modeled
    • cha

      public final IClassHierarchy cha
      Governing class hierarchy
    • options

      protected final AnalysisOptions options
      Special rules for bypassing Java calls
    • entrypointCallSites

      protected final Set<CallSiteReference> entrypointCallSites
      Set of calls (CallSiteReferences) that are created by entrypoints
    • system

      protected PropagationSystem system
      The system of constraints used to build this graph
    • callGraph

      protected final ExplicitCallGraph callGraph
      The call graph under construction
    • assignOperator

      public static final com.ibm.wala.ipa.callgraph.propagation.AssignOperator assignOperator
      Singleton operator for assignments
    • filterOperator

      public final PropagationCallGraphBuilder.FilterOperator filterOperator
      singleton operator for filter
    • inverseFilterOperator

      protected final PropagationCallGraphBuilder.InverseFilterOperator inverseFilterOperator
      singleton operator for inverse filter
    • contextSelector

      protected ContextSelector contextSelector
      A context selector which may use information derived from the propagation-based dataflow.
    • instanceKeyFactory

      protected InstanceKeyFactory instanceKeyFactory
      An object that abstracts how to model instances in the heap.
  • Constructor Details

    • PropagationCallGraphBuilder

      protected PropagationCallGraphBuilder(IMethod abstractRootMethod, AnalysisOptions options, IAnalysisCacheView cache, PointerKeyFactory pointerKeyFactory)
      Parameters:
      options - governing call graph construction options
      pointerKeyFactory - factory which embodies pointer abstraction policy
  • Method Details

    • getSystem

      public PropagationSystem getSystem()
    • createEmptyCallGraph

      protected ExplicitCallGraph createEmptyCallGraph(IMethod abstractRootMethod, AnalysisOptions options)
    • isJavaLangObject

      protected boolean isJavaLangObject(IClass klass)
      Returns:
      true iff the klass represents java.lang.Object
    • makeCallGraph

    • makeCallGraph

      Description copied from interface: CallGraphBuilder
      Build a call graph.
      Specified by:
      makeCallGraph in interface CallGraphBuilder<InstanceKey>
      Parameters:
      options - an object representing controlling options that the call graph building algorithm needs to know.
      Returns:
      the built call graph
      Throws:
      IllegalArgumentException
      CallGraphBuilderCancelException
    • makeSystem

      protected PropagationSystem makeSystem(AnalysisOptions options)
    • makeSolver

      protected abstract IPointsToSolver makeSolver()
    • customInit

      protected void customInit()
    • addConstraintsFromNode

      protected abstract boolean addConstraintsFromNode(CGNode n, MonitorUtil.IProgressMonitor monitor) throws CancelException
      Add constraints for a node.
      Returns:
      true iff any new constraints are added.
      Throws:
      CancelException
    • addConstraintsFromNewNodes

      protected boolean addConstraintsFromNewNodes(MonitorUtil.IProgressMonitor monitor) throws CancelException
      Add constraints from newly discovered nodes. Note: the act of adding constraints may discover new nodes, so this routine is iterative.
      Returns:
      true iff any new constraints are added.
      Throws:
      CancelException
    • getPointerKeyForLocal

      public PointerKey getPointerKeyForLocal(CGNode node, int valueNumber)
      Returns:
      the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
    • getFilteredPointerKeyForLocal

      public FilteredPointerKey getFilteredPointerKeyForLocal(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter)
      Returns:
      the PointerKey that acts as a representative for the class of pointers that includes the local variable identified by the value number parameter.
    • getFilteredPointerKeyForLocal

      public FilteredPointerKey getFilteredPointerKeyForLocal(CGNode node, int valueNumber, IClass filter)
    • getFilteredPointerKeyForLocal

      public FilteredPointerKey getFilteredPointerKeyForLocal(CGNode node, int valueNumber, InstanceKey filter)
    • getPointerKeyForReturnValue

      public PointerKey getPointerKeyForReturnValue(CGNode node)
      Returns:
      the PointerKey that acts as a representative for the class of pointers that includes the return value for a node
    • getPointerKeyForExceptionalReturnValue

      public PointerKey getPointerKeyForExceptionalReturnValue(CGNode node)
      Returns:
      the PointerKey that acts as a representative for the class of pointers that includes the exceptional return value
    • getPointerKeyForStaticField

      public PointerKey getPointerKeyForStaticField(IField f)
      Returns:
      the PointerKey that acts as a representative for the class of pointers that includes the contents of the static field
    • getPointerKeyForInstanceField

      public PointerKey getPointerKeyForInstanceField(InstanceKey I, IField field)
      Returns:
      the PointerKey that acts as a representation for the class of pointers that includes the given instance field. null if there's some problem.
      Throws:
      IllegalArgumentException - if I is null
      IllegalArgumentException - if field is null
    • getPointerKeyForArrayContents

      public PointerKey getPointerKeyForArrayContents(InstanceKey I)
      TODO: expand this API to differentiate between different array indices
      Parameters:
      I - an InstanceKey representing an abstract array
      Returns:
      the PointerKey that acts as a representation for the class of pointers that includes the given array contents, or null if none found.
      Throws:
      IllegalArgumentException - if I is null
    • assignInstanceToCatch

      protected void assignInstanceToCatch(PointerKey exceptionVar, Set<IClass> catchClasses, InstanceKey e)
      Handle assign of a particular exception instance into an exception variable
      Parameters:
      exceptionVar - points-to set for a variable representing a caught exception
      catchClasses - set of TypeReferences that the exceptionVar may catch
      e - a particular exception instance
    • addAssignmentsForCatchPointerKey

      protected void addAssignmentsForCatchPointerKey(PointerKey exceptionVar, Set<IClass> catchClasses, PointerKey e)
      Generate a set of constraints to represent assignment to an exception variable in a catch clause. Note that we use FilterOperator to filter out types that the exception handler doesn't catch.
      Parameters:
      exceptionVar - points-to set for a variable representing a caught exception
      catchClasses - set of TypeReferences that the exceptionVar may catch
      e - points-to-set representing a thrown exception that might be caught.
    • catches

      public static boolean catches(Set<IClass> catchClasses, IClass klass, IClassHierarchy cha)
      Parameters:
      catchClasses - Set of TypeReference
      klass - an Exception Class
      Returns:
      true iff klass is a subclass of some element of the Set
      Throws:
      IllegalArgumentException - if catchClasses is null
    • representsNullType

      public static boolean representsNullType(InstanceKey key) throws IllegalArgumentException
      Throws:
      IllegalArgumentException
    • getClassHierarchy

      public IClassHierarchy getClassHierarchy()
      Specified by:
      getClassHierarchy in interface CallGraphBuilder<InstanceKey>
    • getOptions

      public AnalysisOptions getOptions()
    • getJavaLangObject

      public IClass getJavaLangObject()
    • getCallGraph

      public ExplicitCallGraph getCallGraph()
    • setContextInterpreter

      public void setContextInterpreter(SSAContextInterpreter interpreter)
      Subclasses must register the context interpreter before building a call graph.
    • getPointerAnalysis

      public PointerAnalysis<InstanceKey> getPointerAnalysis()
      Specified by:
      getPointerAnalysis in interface CallGraphBuilder<InstanceKey>
      Returns:
      the Pointer Analysis information computed as a side-effect of call graph construction.
    • getPropagationSystem

      public PropagationSystem getPropagationSystem()
    • getPointerKeyFactory

      public PointerKeyFactory getPointerKeyFactory()
    • setPointerKeyFactory

      public void setPointerKeyFactory(PointerKeyFactory pkFact)
    • getContextInterpreter

      public RTAContextInterpreter getContextInterpreter()
    • getTargetForCall

      protected CGNode getTargetForCall(CGNode caller, CallSiteReference site, IClass recv, InstanceKey[] iKey)
      Parameters:
      caller - the caller node
      iKey - an abstraction of the receiver of the call (or null if not applicable)
      Returns:
      the CGNode to which this particular call should dispatch.
    • getContextSelector

      public ContextSelector getContextSelector()
      Returns:
      the context selector for this call graph builder
    • setContextSelector

      public void setContextSelector(ContextSelector selector)
    • getInstanceKeys

      public InstanceKeyFactory getInstanceKeys()
    • setInstanceKeys

      public void setInstanceKeys(InstanceKeyFactory keys)
    • getInstanceKeyForAllocation

      public InstanceKey getInstanceKeyForAllocation(CGNode node, NewSiteReference allocation)
      Returns:
      the InstanceKey that acts as a representative for the class of objects that includes objects allocated at the given new instruction in the given node
    • getInstanceKeyForMultiNewArray

      public InstanceKey getInstanceKeyForMultiNewArray(CGNode node, NewSiteReference allocation, int dim)
      Parameters:
      dim - the dimension of the array whose instance we would like to model. dim == 0 represents the first dimension, e.g., the [Object; instances in [[Object; e.g., the [[Object; instances in [[[Object; dim == 1 represents the second dimension, e.g., the [Object instances in [[[Object;
      Returns:
      the InstanceKey that acts as a representative for the class of array contents objects that includes objects allocated at the given new instruction in the given node
    • getInstanceKeyForConstant

      public <T> InstanceKey getInstanceKeyForConstant(TypeReference type, T S)
    • getInstanceKeyForMetadataObject

      public InstanceKey getInstanceKeyForMetadataObject(Object obj, TypeReference objType)
    • haveAlreadyVisited

      public boolean haveAlreadyVisited(CGNode node)
    • markAlreadyVisited

      protected void markAlreadyVisited(CGNode node)
    • markDiscovered

      public void markDiscovered(CGNode node)
      record that we've discovered a node
    • markChanged

      protected void markChanged(CGNode node)
    • wasChanged

      protected boolean wasChanged(CGNode node)
    • getMutableInstanceKeysForClass

      protected MutableIntSet getMutableInstanceKeysForClass(IClass klass)
    • getInstanceKeysForClass

      protected IntSet getInstanceKeysForClass(IClass klass)
    • filterForClass

      protected IntSet filterForClass(IntSet S, IClass klass)
      Parameters:
      klass - a class
      Returns:
      an int set which represents the subset of S that correspond to subtypes of klass
    • getSolver

      protected IPointsToSolver getSolver()
    • addConstraintsFromChangedNode

      public void addConstraintsFromChangedNode(CGNode node, MonitorUtil.IProgressMonitor monitor) throws CancelException
      Add constraints when the interpretation of a node changes (e.g. reflection)
      Throws:
      CancelException
    • unconditionallyAddConstraintsFromNode

      protected abstract boolean unconditionallyAddConstraintsFromNode(CGNode node, MonitorUtil.IProgressMonitor monitor) throws CancelException
      Throws:
      CancelException
    • getAnalysisCache

      public IAnalysisCacheView getAnalysisCache()
      Specified by:
      getAnalysisCache in interface CallGraphBuilder<InstanceKey>
      Returns:
      A cache of various analysis artifacts used during call graph construction.