Package com.ibm.wala.ipa.callgraph.propagation.cfa
package com.ibm.wala.ipa.callgraph.propagation.cfa
-
ClassesClassDescriptionThis is a
ContextItemthat records n allocation sites, the 0th element represents the most recently used receiver obj, which is anAllocationSiteInNodeThisContextconsists of anAllocationStringthat records n allocation sitesThis is a context which is defined by the caller node.This is aContextwhich is defined by a pair consisting of <caller node, base context>.A context which is a <CGNode, CallSiteReference> pair.This is a context which is defined by a pair consisting of <caller node, base context>.This context selector returns a context customized for theInstanceKeyof the receiver if receiver is a container, or was allocated in a node whose context was aReceiverInstanceContext, and the type is interesting according to a delegateZeroXInstanceKeysAdditionally, we add one level of call string context to a few well-known static factory methods from the standard libraries.Default implementation of SSAContextInterpreter for context-insensitive analysis.Default implementation ofPointerKeyFactoryBasic analysis; context-insensitive except for newInstance and cloneAnSSAContextInterpreterthat first checks with A, then defaults to B.A key which represents the return value for a node.This ContextInterpreter can be used when using another WALA frontend than the shrike frontend.nCFA Call graph builder.call graph builder based on object sensitivityk-limited object sensitive context selector for static method : For a few well-known static factory methods from the standard libraries, useCallerSiteContext.Otherwise, directly copy the context of the last non-static method for virtual method : TheContextconsists of n allocation sites for an object(fixed at allocation) : The heap context consists of n allocation sites inherited fromCGNodeThis is a context selector that adds one level of calling context to a base context selector.0-1-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types.0-X-CFA Call graph builder which analyzes calls to "container methods" in a context which is defined by the receiver instance.Flexible class to createInstanceKeys depending on various policies ranging from class-based (i.e.