Class AllocationSiteInNodeFactory

java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.AllocationSiteInNodeFactory
All Implemented Interfaces:
InstanceKeyFactory

public class AllocationSiteInNodeFactory extends Object implements InstanceKeyFactory
A factory which tries by default to create InstanceKeys which are AllocationSiteInNodes.

Notes:

  • This class checks to avoid creating recursive contexts when CGNodes are based on ReceiverInstanceContext, as in object-sensitivity.
  • Up till recursion, this class will happily create unlimited object sensitivity, so be careful.
  • This class resorts to ClassBasedInstanceKeys for exceptions from PEIs and class objects.
  • This class consults the AnalysisOptions to determine whether to disambiguate individual constants.