Package soot.jimple.spark.pag

Spark pointer assignment graph implementation

See:
          Description

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.
FieldRefNode Represents a field reference node (Red) in the pointer assignment graph.
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