|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
ControlFlowGraph implementations.InstanceFieldPointerKey implementations.IFixedPointStatements to be solved by a IFixedPointSolverIFlowLabels.IFlowLabel.IFlowLabelVisitor that does nothing.Graph that delegates node and edge management.PointerKey representing a local variable must carry at least a CGNode.PointerAnalysis implementations.PointerKey implementations to implement equals() and hashCode()s.RefinementPolicy implementation, delegating to some provided FieldRefinePolicy and
CallGraphRefinePolicySSAContextInterpreters that deal with reflection methods.SerializableFakeRootClassInstanceKey which represents at least some IClass in some CGNodeInstanceKey which represents a NewSiteReference in some IMethod.InstanceKey which represents a NewSiteReference in some CGNode.InstanceKeys which are AllocationSiteInNodes.AnalysisScope from a text file.TabulationResult
ApplicationClient module.IClass for array classes.PointerKey which represents the contents of an array instance.PointerKey that represents an array length locationContextInsensitiveSSAInterpreter that uses the IR for
AstContextInsensitiveSSAContextInterpreter.iterateNewSites(CGNode) and AstContextInsensitiveSSAContextInterpreter.iterateCallSites(CGNode) when
we have an AstMethod.AstTranslator.IncipientCFGHeapGraphNodeManager.BeanMetaData interface.Map chooses between one of two implementations, depending on the size of the map.MutableIntSet that delegates to either a MutableSparseIntSet or a BitVectorIntSetBitVector implementation of MutableIntSet.DataflowSolver specialized for BitVectorVariablesDataflowSolver specialized for BooleanVariablesTabulationSolver that gives up after a finite bound.TabulationSolver that gives up after a finite bound.ClassTargetSelector that looks up the declared type of a NewSiteReference based on bypass rules.Context which is defined by a pair consisting of CGNodeLocalPointerKey -> Set<SSAInvokeInstruction>.
Modules.CAstRewriters that do no cloning of nodesSSAContextInterpreter specialized to interpret reflective class factories (e.g.ClassTargetSelector that simply looks up the declared type of a NewSiteReference in the appropriate class hierarchy.ClassHierarchy.MethodTargetSelector that simply looks up the declared type, name and descriptor of a CallSiteReference in the
appropriate class hierarchy.SSAContextInterpreter specialized to interpret Class.newInstance in a JavaTypeContext which represents the
point-type of the class object created by the call.CLONE
cloneAtom
IMethods to gather information without building an IR.ClassWriter.
Entrypoints.SSAPiNodePolicys.InstanceKey of the receiver if
receiver is a container, or
was allocated in a node whose context was a ReceiverInstanceContext, and the type is interesting according to a delegate
ZeroXInstanceKeys
Additionally, we add one level of call string context to a few well-known static factory methods from the standard libraries.Context irrelevant as to structure of the IR for a particular IMethod?
tabulation.FileOutputStream corresponding to a particular file name.
IRFactory.PointerKeyFactoryIRExtendedHeapModel based on a
normal HeapModelINodeWithNumberedEdgesSSAContextInterpreter that first checks with A, then defaults to B.DemandRefinementPointsTo.FlowsToComputer)
DeploymentMetaData interfaceNumberedGraph, return an enumeration of the nodes of the graph in order of
increasing discover time.Graph, return an enumeration of the nodes of the graph in order of increasing
finishing time.AssignInstruction to context.cfg() that copies rval to the
value number of local nm.
EclipseProjectAnalysisEngine specialized for source code analysis with CAstBitSet.
Statement representing the exceptional return value in a callee,
immediately before returning to the caller.Statement representing the exceptional return value in a caller,
immediately after returning to the caller.