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​(IClassHierarchy cha,
                                              AnalysisOptions options,
                                              AnalysisCache cache,
                                              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​(IClass type,
                                        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​(Atom language)

• makeDefaultContextInterpreters

  public SSAContextInterpreter makeDefaultContextInterpreters​(SSAContextInterpreter appContextInterpreter,
                                                              AnalysisOptions options,
                                                              IClassHierarchy cha)

• makeSystem

  protected PropagationSystem makeSystem​(AnalysisOptions options)

  Overrides:

  makeSystem in class PropagationCallGraphBuilder

• createEmptyCallGraph

  protected ExplicitCallGraph createEmptyCallGraph​(IClassHierarchy cha,
                                                   AnalysisOptions options)

  Overrides:

  createEmptyCallGraph in class PropagationCallGraphBuilder

• makeInterestingVisitor

  protected SSAPropagationCallGraphBuilder.InterestingVisitor makeInterestingVisitor​(CGNode node,
                                                                                     int vn)

  Overrides:

  makeInterestingVisitor in class SSAPropagationCallGraphBuilder

• hasNoInterestingUses

  public boolean hasNoInterestingUses​(CGNode node,
                                      int vn,
                                      DefUse du)

  Overrides:

  hasNoInterestingUses in class SSAPropagationCallGraphBuilder

• makeVisitor

  public SSAPropagationCallGraphBuilder.ConstraintVisitor makeVisitor​(CGNode node)

  Overrides:

  makeVisitor in class SSAPropagationCallGraphBuilder

  Returns:

  a visitor to examine instructions in the ir

• fieldKeyForUnknownWrites

  protected abstract AbstractFieldPointerKey fieldKeyForUnknownWrites​(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​(CGNode opNode,
                                        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