Package com.ibm.wala.cast.js.examples.hybrid

Class JavaJavaScriptHybridCallGraphBuilder

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

com.ibm.wala.cast.js.examples.hybrid.JavaJavaScriptHybridCallGraphBuilder

All Implemented Interfaces:

CallGraphBuilder<InstanceKey>, HeapModel, InstanceKeyFactory, PointerKeyFactory

public class JavaJavaScriptHybridCallGraphBuilder
extends CrossLanguageSSAPropagationCallGraphBuilder

Nested Class Summary

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

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

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

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

Constructor	Description
JavaJavaScriptHybridCallGraphBuilder(IMethod fakeRootClass, AnalysisOptions options, IAnalysisCacheView cache)

Method Summary

Modifier and Type	Method	Description
protected 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
GlobalObjectKey	getGlobalObject(Atom language)
protected TargetLanguageSelector<AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor,LocalPointerKey>	makeImplicitVisitorSelector(CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl analysis)
protected TargetLanguageSelector<SSAPropagationCallGraphBuilder.InterestingVisitor,Integer>	makeInterestingVisitorSelector()
protected TargetLanguageSelector<SSAPropagationCallGraphBuilder.ConstraintVisitor,CGNode>	makeMainVisitorSelector()
protected TargetLanguageSelector<AbstractRootMethod,CrossLanguageCallGraph>	makeRootNodeSelector()
protected void	processCallingConstraints(CGNode caller, SSAAbstractInvokeInstruction instruction, CGNode target, InstanceKey[][] constParams, PointerKey uniqueCatchKey)
protected 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
protected 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.

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

createEmptyCallGraph, customInit, getLanguage, makeInterestingVisitor, makeSystem, makeVisitor

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

hasNoInterestingUses, isUncataloguedField, makeDefaultContextInterpreters

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

JavaJavaScriptHybridCallGraphBuilder

public JavaJavaScriptHybridCallGraphBuilder(IMethod fakeRootClass,
 AnalysisOptions options,
 IAnalysisCacheView cache)

Method Details

getGlobalObject

public GlobalObjectKey getGlobalObject(Atom language)

Specified by:

getGlobalObject in class AstSSAPropagationCallGraphBuilder

makeMainVisitorSelector

protected TargetLanguageSelector<SSAPropagationCallGraphBuilder.ConstraintVisitor,CGNode> makeMainVisitorSelector()

Specified by:

makeMainVisitorSelector in class CrossLanguageSSAPropagationCallGraphBuilder

makeInterestingVisitorSelector

protected TargetLanguageSelector<SSAPropagationCallGraphBuilder.InterestingVisitor,Integer> makeInterestingVisitorSelector()

Specified by:

makeInterestingVisitorSelector in class CrossLanguageSSAPropagationCallGraphBuilder

makeImplicitVisitorSelector

protected TargetLanguageSelector<AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor,LocalPointerKey> makeImplicitVisitorSelector(CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl analysis)

Specified by:

makeImplicitVisitorSelector in class CrossLanguageSSAPropagationCallGraphBuilder

makeRootNodeSelector

protected TargetLanguageSelector<AbstractRootMethod,CrossLanguageCallGraph> makeRootNodeSelector()

Specified by:

makeRootNodeSelector in class CrossLanguageSSAPropagationCallGraphBuilder

useObjectCatalog

protected boolean useObjectCatalog()

Description copied from class: AstSSAPropagationCallGraphBuilder

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.

Specified by:

useObjectCatalog in class AstSSAPropagationCallGraphBuilder

See Also:

• AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.visitPut(SSAPutInstruction)
• AstSSAPropagationCallGraphBuilder.AstConstraintVisitor.visitEachElementGet(EachElementGetInstruction)

fieldKeyForUnknownWrites

protected AbstractFieldPointerKey fieldKeyForUnknownWrites(AbstractFieldPointerKey fieldKey)

Description copied from class: AstSSAPropagationCallGraphBuilder

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

Specified by:

fieldKeyForUnknownWrites in class AstSSAPropagationCallGraphBuilder

sameMethod

protected boolean sameMethod(CGNode opNode,
 String definingMethod)

Description copied from class: AstSSAPropagationCallGraphBuilder

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

Specified by:

sameMethod in class AstSSAPropagationCallGraphBuilder

processCallingConstraints

protected void processCallingConstraints(CGNode caller,
 SSAAbstractInvokeInstruction instruction,
 CGNode target,
 InstanceKey[][] constParams,
 PointerKey uniqueCatchKey)

Overrides:

processCallingConstraints in class SSAPropagationCallGraphBuilder