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