|
|||||||||||
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 |