Package soot.jimple.spark.pag

Interface Summary

SparkField

Represents a field.

Class Summary

AllocDotField	Represents an alloc-site-dot-field node (Yellow) in the pointer assignment graph.
AllocNode	Represents an allocation site node (Blue) in the pointer assignment graph.
ArrayElement	Represents an array element.
ClassConstantNode	Represents an allocation site node the represents a known java.lang.Class object.
ContextVarNode	Represents a simple variable node with context.
FieldRefNode	Represents a field reference node (Red) in the pointer assignment graph.
GlobalVarNode	Represents a simple variable node (Green) in the pointer assignment graph that is not associated with any particular method invocation.
LocalVarNode	Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation.
MethodPAG	Part of a pointer assignment graph for a single method.
Node	Represents every node in the pointer assignment graph.
PAG	Pointer assignment graph.
PAG2HTML	Dumps a pointer assignment graph to a html files.
PAGDumper	Dumps a pointer assignment graph to a file.
PagToDotDumper	Utilities for dumping dot representations of parts of a PAG.
Parm	Represents a method parameter.
StringConstantNode	Represents an allocation site node the represents a constant string.
ValNode	Represents a simple of field ref node (Green or Red) in the pointer assignment graph.
VarNode	Represents a simple variable node (Green) in the pointer assignment graph.