com.ibm.wala.cast.js.ipa.callgraph

Class JSSSAPropagationCallGraphBuilder

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.js.ipa.callgraph.JSSSAPropagationCallGraphBuilder

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

Direct Known Subclasses:

JSCFABuilder

public class JSSSAPropagationCallGraphBuilder
extends com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

Specialized pointer analysis constraint generation for JavaScript.

Global object handling

The global object is represented by a GlobalObjectKey stored in globalObject. AstGlobalRead and AstGlobalWrite instructions are treated as accessing properties of the global object; see JSSSAPropagationCallGraphBuilder.JSConstraintVisitor.visitAstGlobalRead(AstGlobalRead), JSSSAPropagationCallGraphBuilder.JSConstraintVisitor.visitAstGlobalWrite(AstGlobalWrite), and JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl.JSImplicitPointsToSetVisitor.visitAstGlobalRead(AstGlobalRead). Finally, we need to represent direct flow of the global object to handle receiver argument semantics (see org.mozilla.javascript.RhinoToAstTranslator). To do so, we create a reference to a global named GLOBAL_OBJ_VAR_NAME, which is handled specially in JSSSAPropagationCallGraphBuilder.JSConstraintVisitor.visitAstGlobalRead(AstGlobalRead).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	JSSSAPropagationCallGraphBuilder.JSConstraintVisitor
static class	JSSSAPropagationCallGraphBuilder.JSInterestingVisitor
static class	JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

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

com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstConstraintVisitor, com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstInterestingVisitor, com.ibm.wala.cast.ipa.callgraph.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

Modifier and Type	Field and Description
static boolean	DEBUG_LEXICAL
static boolean	DEBUG_TYPE_INFERENCE
static String	GLOBAL_OBJ_VAR_NAME name to be used internally to pass around the global object

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

DEBUG_PROPERTIES

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	JSSSAPropagationCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeyFactory)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addAssignmentsForCatchPointerKey(com.ibm.wala.ipa.callgraph.propagation.PointerKey exceptionVar, Set catchClasses, com.ibm.wala.ipa.callgraph.propagation.PointerKey e)
protected com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph	createEmptyCallGraph(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options)
protected com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey	fieldKeyForUnknownWrites(com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKey)
URL	getBaseURL()
com.ibm.wala.cast.ipa.callgraph.GlobalObjectKey	getGlobalObject(com.ibm.wala.util.strings.Atom language)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForGlobalVar(String varName)
static com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getSomePositionForMethod(com.ibm.wala.ssa.IR ir, com.ibm.wala.cast.loader.AstMethod method)
protected boolean	isConstantRef(com.ibm.wala.ssa.SymbolTable symbolTable, int valueNumber)
protected boolean	isUncataloguedField(com.ibm.wala.classLoader.IClass type, String fieldName)
protected com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.InterestingVisitor	makeInterestingVisitor(com.ibm.wala.ipa.callgraph.CGNode node, int vn)
protected com.ibm.wala.ipa.callgraph.propagation.PropagationSystem	makeSystem(com.ibm.wala.ipa.callgraph.AnalysisOptions options)
protected com.ibm.wala.analysis.typeInference.TypeInference	makeTypeInference(com.ibm.wala.ssa.IR ir, com.ibm.wala.ipa.cha.IClassHierarchy cha)
JSSSAPropagationCallGraphBuilder.JSConstraintVisitor	makeVisitor(com.ibm.wala.ipa.callgraph.CGNode node)
protected void	processCallingConstraints(com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.ssa.SSAAbstractInvokeInstruction instruction, com.ibm.wala.ipa.callgraph.CGNode target, com.ibm.wala.ipa.callgraph.propagation.InstanceKey[][] constParams, com.ibm.wala.ipa.callgraph.propagation.PointerKey uniqueCatchKey)
static void	processCallingConstraintsInternal(com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder builder, com.ibm.wala.ipa.callgraph.CGNode caller, com.ibm.wala.ssa.SSAAbstractInvokeInstruction instruction, com.ibm.wala.ipa.callgraph.CGNode target, com.ibm.wala.ipa.callgraph.propagation.InstanceKey[][] constParams, com.ibm.wala.ipa.callgraph.propagation.PointerKey uniqueCatchKey)
protected boolean	sameMethod(com.ibm.wala.ipa.callgraph.CGNode opNode, String definingMethod)
void	setBaseURL(URL url)
protected boolean	useObjectCatalog()

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

hasNoInterestingUses, 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, iterateCrossProduct, iteratePointerKeys, makeSolver, unconditionallyAddConstraintsFromNode

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

addConstraintsFromChangedNode, addConstraintsFromNewNodes, assignInstanceToCatch, catches, customInit, 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

Field Detail

DEBUG_LEXICAL

public static final boolean DEBUG_LEXICAL

See Also:

Constant Field Values

DEBUG_TYPE_INFERENCE

public static final boolean DEBUG_TYPE_INFERENCE

See Also:

Constant Field Values

GLOBAL_OBJ_VAR_NAME

public static final String GLOBAL_OBJ_VAR_NAME

name to be used internally to pass around the global object

See Also:

Constant Field Values

Constructor Detail

JSSSAPropagationCallGraphBuilder

protected JSSSAPropagationCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                                com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                                com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory pointerKeyFactory)

Method Detail

getGlobalObject

public com.ibm.wala.cast.ipa.callgraph.GlobalObjectKey getGlobalObject(com.ibm.wala.util.strings.Atom language)

Specified by:

getGlobalObject in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

getBaseURL

public URL getBaseURL()

setBaseURL

public void setBaseURL(URL url)

isConstantRef

protected boolean isConstantRef(com.ibm.wala.ssa.SymbolTable symbolTable,
                    int valueNumber)

Overrides:

isConstantRef in class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

useObjectCatalog

protected boolean useObjectCatalog()

Specified by:

useObjectCatalog in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

isUncataloguedField

protected boolean isUncataloguedField(com.ibm.wala.classLoader.IClass type,
                          String fieldName)

Overrides:

isUncataloguedField in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

fieldKeyForUnknownWrites

protected com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKeyForUnknownWrites(com.ibm.wala.ipa.callgraph.propagation.AbstractFieldPointerKey fieldKey)

Specified by:

fieldKeyForUnknownWrites in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

getPointerKeyForGlobalVar

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForGlobalVar(String varName)

createEmptyCallGraph

protected com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph createEmptyCallGraph(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                                                                     com.ibm.wala.ipa.callgraph.AnalysisOptions options)

Overrides:

createEmptyCallGraph in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

makeTypeInference

protected com.ibm.wala.analysis.typeInference.TypeInference makeTypeInference(com.ibm.wala.ssa.IR ir,
                                                                  com.ibm.wala.ipa.cha.IClassHierarchy cha)

addAssignmentsForCatchPointerKey

protected void addAssignmentsForCatchPointerKey(com.ibm.wala.ipa.callgraph.propagation.PointerKey exceptionVar,
                                    Set catchClasses,
                                    com.ibm.wala.ipa.callgraph.propagation.PointerKey e)

Overrides:

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

makeInterestingVisitor

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

Overrides:

makeInterestingVisitor in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

makeSystem

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

Overrides:

makeSystem in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

makeVisitor

public JSSSAPropagationCallGraphBuilder.JSConstraintVisitor makeVisitor(com.ibm.wala.ipa.callgraph.CGNode node)

Overrides:

makeVisitor in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder

getSomePositionForMethod

public static com.ibm.wala.cast.tree.CAstSourcePositionMap.Position getSomePositionForMethod(com.ibm.wala.ssa.IR ir,
                                                                             com.ibm.wala.cast.loader.AstMethod method)

processCallingConstraints

protected void processCallingConstraints(com.ibm.wala.ipa.callgraph.CGNode caller,
                             com.ibm.wala.ssa.SSAAbstractInvokeInstruction instruction,
                             com.ibm.wala.ipa.callgraph.CGNode target,
                             com.ibm.wala.ipa.callgraph.propagation.InstanceKey[][] constParams,
                             com.ibm.wala.ipa.callgraph.propagation.PointerKey uniqueCatchKey)

Overrides:

processCallingConstraints in class com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

processCallingConstraintsInternal

public static void processCallingConstraintsInternal(com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder builder,
                                     com.ibm.wala.ipa.callgraph.CGNode caller,
                                     com.ibm.wala.ssa.SSAAbstractInvokeInstruction instruction,
                                     com.ibm.wala.ipa.callgraph.CGNode target,
                                     com.ibm.wala.ipa.callgraph.propagation.InstanceKey[][] constParams,
                                     com.ibm.wala.ipa.callgraph.propagation.PointerKey uniqueCatchKey)

sameMethod

protected boolean sameMethod(com.ibm.wala.ipa.callgraph.CGNode opNode,
                 String definingMethod)

Specified by:

sameMethod in class com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder