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