com.ibm.wala.cast.java.ipa.callgraph
Class AstJavaSSAPropagationCallGraphBuilder

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder
      com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder
          com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder
              com.ibm.wala.cast.java.ipa.callgraph.AstJavaSSAPropagationCallGraphBuilder

All Implemented Interfaces:

CallGraphBuilder, HeapModel, InstanceKeyFactory, PointerKeyFactory

Direct Known Subclasses:

AstJavaCFABuilder

public class AstJavaSSAPropagationCallGraphBuilder
extends AstSSAPropagationCallGraphBuilder

Nested Class Summary

protected static class	AstJavaSSAPropagationCallGraphBuilder.AstJavaConstraintVisitor
protected class	AstJavaSSAPropagationCallGraphBuilder.AstJavaInterestingVisitor
protected static class	AstJavaSSAPropagationCallGraphBuilder.AstJavaPointerFlowGraph
static class	AstJavaSSAPropagationCallGraphBuilder.EnclosingObjectReferenceKey

Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor, AstSSAPropagationCallGraphBuilder.AstInterestingVisitor, AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl, AstSSAPropagationCallGraphBuilder.AstPointerFlowGraph

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

SSAPropagationCallGraphBuilder.ConstraintVisitor, SSAPropagationCallGraphBuilder.InterestingVisitor

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

PropagationCallGraphBuilder.ArrayLoadOperator, PropagationCallGraphBuilder.ArrayStoreOperator, PropagationCallGraphBuilder.FilterOperator, PropagationCallGraphBuilder.GetFieldOperator, PropagationCallGraphBuilder.InstanceArrayStoreOperator, PropagationCallGraphBuilder.InstancePutFieldOperator, PropagationCallGraphBuilder.InverseFilterOperator, PropagationCallGraphBuilder.MutableBoolean, PropagationCallGraphBuilder.PutFieldOperator, PropagationCallGraphBuilder.TypedPointerKey

Field Summary

Fields inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

DEBUG_PROPERTIES, DEBUG_TYPE_INFERENCE

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

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, THROWABLE_SET

Constructor Summary

protected

AstJavaSSAPropagationCallGraphBuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, PointerKeyFactory pointerKeyFactory)

Method Summary

PointerFlowGraphFactory	getPointerFlowGraphFactory()
protected SSAPropagationCallGraphBuilder.InterestingVisitor	makeInterestingVisitor(CGNode node, int vn)
protected TypeInference	makeTypeInference(IR ir, IClassHierarchy cha)
protected SSAPropagationCallGraphBuilder.ConstraintVisitor	makeVisitor(ExplicitCallGraph.ExplicitNode node)
protected boolean	useObjectCatalog()

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

createEmptyCallGraph, hasNoInterestingUses, makeDefaultContextInterpreters

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

addBlockInstructionConstraints, addConstraintsFromNode, addNodeInstructionConstraints, addNodePassthruExceptionConstraints, contentsAreInvariant, getCaughtExceptionTypes, getCFAContextInterpreter, getIncomingPEIs, getInstanceKeyForPEI, getInstanceKeyForPEI, getInvariantContents, getInvariantContents, getUniqueCatchKey, hasUniqueCatchBlock, isConstantRef, iteratePointerKeys, makeSolver, 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, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray, getInstanceKeys, getInstanceKeysForClass, getJavaLangObject, getJavaLangThrowable, getMutableInstanceKeysForClass, getOptions, getPointerAnalysis, getPointerKeyFactory, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getPropagationSystem, getSolver, getTargetForCall, haveAlreadyVisited, isJavaLangObject, makeCallGraph, makeSystem, markAlreadyVisited, markChanged, markDiscovered, representsNullType, setContextInterpreter, setContextSelector, setInstanceKeys, 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, getInstanceKeyForClassObject, getInstanceKeyForConstant, getInstanceKeyForMultiNewArray

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

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

Constructor Detail

AstJavaSSAPropagationCallGraphBuilder

protected AstJavaSSAPropagationCallGraphBuilder(IClassHierarchy cha,
                                                AnalysisOptions options,
                                                AnalysisCache cache,
                                                PointerKeyFactory pointerKeyFactory)

Method Detail

useObjectCatalog

protected boolean useObjectCatalog()

Specified by:

useObjectCatalog in class AstSSAPropagationCallGraphBuilder

makeTypeInference

protected TypeInference makeTypeInference(IR ir,
                                          IClassHierarchy cha)

makeInterestingVisitor

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

Overrides:

makeInterestingVisitor in class AstSSAPropagationCallGraphBuilder

getPointerFlowGraphFactory

public PointerFlowGraphFactory getPointerFlowGraphFactory()

Specified by:

getPointerFlowGraphFactory in interface CallGraphBuilder

Overrides:

getPointerFlowGraphFactory in class AstSSAPropagationCallGraphBuilder

makeVisitor

protected SSAPropagationCallGraphBuilder.ConstraintVisitor makeVisitor(ExplicitCallGraph.ExplicitNode node)

Overrides:

makeVisitor in class AstSSAPropagationCallGraphBuilder

Returns:

a visitor to examine instructions in the ir