com.ibm.wala.cast.ipa.callgraph

Class CrossLanguageSSAPropagationCallGraphBuilder

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.ipa.callgraph.CrossLanguageSSAPropagationCallGraphBuilder

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

public abstract class CrossLanguageSSAPropagationCallGraphBuilder
extends AstSSAPropagationCallGraphBuilder

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl

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

AstSSAPropagationCallGraphBuilder.AstConstraintVisitor, AstSSAPropagationCallGraphBuilder.AstInterestingVisitor, 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 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

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	CrossLanguageSSAPropagationCallGraphBuilder(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 void	customInit()
protected static com.ibm.wala.util.strings.Atom	getLanguage(com.ibm.wala.ipa.callgraph.CGNode node)
protected abstract TargetLanguageSelector<AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor,com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey>	makeImplicitVisitorSelector(CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl analysis)
protected com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor	makeInterestingVisitor(com.ibm.wala.ipa.callgraph.CGNode node, int vn)
protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor,java.lang.Integer>	makeInterestingVisitorSelector()
protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor,com.ibm.wala.ipa.callgraph.CGNode>	makeMainVisitorSelector()
protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.impl.AbstractRootMethod,CrossLanguageCallGraph>	makeRootNodeSelector()
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)

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

fieldKeyForUnknownWrites, getGlobalObject, hasNoInterestingUses, isUncataloguedField, makeDefaultContextInterpreters, sameMethod, useObjectCatalog

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

Constructor Detail

CrossLanguageSSAPropagationCallGraphBuilder

protected CrossLanguageSSAPropagationCallGraphBuilder(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

makeMainVisitorSelector

protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor,com.ibm.wala.ipa.callgraph.CGNode> makeMainVisitorSelector()

makeInterestingVisitorSelector

protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor,java.lang.Integer> makeInterestingVisitorSelector()

makeImplicitVisitorSelector

protected abstract TargetLanguageSelector<AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor,com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey> makeImplicitVisitorSelector(CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl analysis)

makeRootNodeSelector

protected abstract TargetLanguageSelector<com.ibm.wala.ipa.callgraph.impl.AbstractRootMethod,CrossLanguageCallGraph> makeRootNodeSelector()

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 AstSSAPropagationCallGraphBuilder

getLanguage

protected static com.ibm.wala.util.strings.Atom getLanguage(com.ibm.wala.ipa.callgraph.CGNode node)

makeInterestingVisitor

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

Overrides:

makeInterestingVisitor in class AstSSAPropagationCallGraphBuilder

makeVisitor

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

Overrides:

makeVisitor in class AstSSAPropagationCallGraphBuilder

makeSystem

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

Overrides:

makeSystem in class AstSSAPropagationCallGraphBuilder

customInit

protected void customInit()

Overrides:

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