|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Classes in soot.jimple.spark.pag used by soot | |
|---|---|
| ArrayElement
Represents an array element. |
|
| MethodPAG
Part of a pointer assignment graph for a single method. |
|
| 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.geom.geomE | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| Node
Represents every node in the pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.geomPA | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| Node
Represents every node in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| SparkField
Represents a field. |
|
| VarNode
Represents a simple variable node (Green) in the pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.heapinsE | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| Node
Represents every node in the pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.ptinsE | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| Node
Represents every node 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.ondemand | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| FieldRefNode
Represents a field reference node (Red) in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| SparkField
Represents a field. |
|
| VarNode
Represents a simple variable node (Green) in the pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.spark.ondemand.pautil | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| LocalVarNode
Represents a simple variable node (Green) in the pointer assignment graph that is specific to a particular method invocation. |
|
| 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.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. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.toolkits.thread.mhp | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
| Classes in soot.jimple.spark.pag used by soot.jimple.toolkits.thread.mhp.findobject | |
|---|---|
| AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph. |
|
| PAG
Pointer assignment graph. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||