Package soot.jimple.spark.pag

Spark pointer assignment graph implementation

See:
          Description

Interface Summary
SparkField Represents a field.
 

Class Summary
AbstractMethodPAG Part of a pointer assignment graph for a single method.
AbstractPAG Pointer assignment graph.
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.
BDDMethodPAG Part of a pointer assignment graph for a single method.
BDDPAG Pointer assignment graph.
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.
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.
 

Package soot.jimple.spark.pag Description

Spark pointer assignment graph implementation