|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use soot.jimple.spark.pag | |
| soot | Base Soot classes, shared by different intermediate representations. |
| soot.jimple.spark | |
| soot.jimple.spark.builder | |
| soot.jimple.spark.internal | |
| soot.jimple.spark.pag | |
| soot.jimple.spark.sets | |
| soot.jimple.spark.solver | |
| Classes in soot.jimple.spark.pag used by soot | |
| SparkField
Represents a field. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark | |
| Node
Represents every node in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.builder | |
| MethodPAG
Part of a pointer assignment graph for a single method. |
|
| Node
Represents every node in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| VarNode
Represents a simple variable node (Green) in the pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.internal | |
| PAG
Pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.pag | |
| 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. |
|
| 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. |
|
| Parm
Represents a method parameter. |
|
| SparkField
Represents a field. |
|
| 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. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.sets | |
| Node
Represents every node in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.solver | |
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| 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. |
|
| VarNode
Represents a simple variable node (Green) in the pointer assignment graph. |
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||