com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa

Class DexSSAPropagationCallGraphBuilder

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder

com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa.DexSSAPropagationCallGraphBuilder

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

Deprecated.

Building the AndroidLivecycle works with a "normal" CGB

@Deprecated
public class DexSSAPropagationCallGraphBuilder
extends com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder

Nested Class Summary

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.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 and Description

DexSSAPropagationCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.AnalysisCache cache, com.ibm.wala.ipa.callgraph.ContextSelector appContextSelector, com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter appContextInterpreter, com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory instanceKeys) Deprecated.

Method Summary

Methods

Modifier and Type	Method and Description
protected com.ibm.wala.ipa.callgraph.impl.ExplicitCallGraph	createEmptyCallGraph(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options) Deprecated.

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, hasNoInterestingUses, hasUniqueCatchBlock, isConstantRef, iterateCrossProduct, iteratePointerKeys, makeInterestingVisitor, makeSolver, makeVisitor, processCallingConstraints, 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, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeys, getInstanceKeysForClass, getJavaLangObject, getMutableInstanceKeysForClass, getOptions, getPointerAnalysis, getPointerKeyFactory, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField, getPropagationSystem, getSolver, getSystem, getTargetForCall, haveAlreadyVisited, isJavaLangObject, makeCallGraph, makeCallGraph, makeSystem, 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

DexSSAPropagationCallGraphBuilder

public DexSSAPropagationCallGraphBuilder(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                                 com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                                 com.ibm.wala.ipa.callgraph.AnalysisCache cache,
                                 com.ibm.wala.ipa.callgraph.ContextSelector appContextSelector,
                                 com.ibm.wala.ipa.callgraph.propagation.SSAContextInterpreter appContextInterpreter,
                                 com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory instanceKeys)

Deprecated.

Method Detail

createEmptyCallGraph

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

Deprecated.

Overrides:

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