Package | Description |
---|---|
soot |
Base Soot classes, shared by different intermediate representations.
|
soot.jimple.spark | |
soot.jimple.spark.builder | |
soot.jimple.spark.geom.dataMgr | |
soot.jimple.spark.geom.dataRep | |
soot.jimple.spark.geom.geomE | |
soot.jimple.spark.geom.geomPA | |
soot.jimple.spark.geom.heapinsE | |
soot.jimple.spark.geom.ptinsE | |
soot.jimple.spark.internal | |
soot.jimple.spark.ondemand | |
soot.jimple.spark.ondemand.pautil | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.spark.solver | |
soot.jimple.toolkits.callgraph | |
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject |
Class and Description |
---|
ArrayElement
Represents an array element.
|
MethodPAG
Part of a pointer assignment graph for a single method.
|
Parm
Represents a method parameter.
|
SparkField
Represents a field.
|
Class and Description |
---|
Node
Represents every node in the pointer assignment graph.
|
PAG
Pointer assignment graph.
|
Class and Description |
---|
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.
|
Class and Description |
---|
Node
Represents every node in the pointer assignment graph.
|
VarNode
Represents a simple variable node (Green) in the pointer assignment graph.
|
Class and Description |
---|
Node
Represents every node in the pointer assignment graph.
|
SparkField
Represents a field.
|
VarNode
Represents a simple variable node (Green) in the pointer assignment graph.
|
Class and Description |
---|
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
Node
Represents every node in the pointer assignment graph.
|
Class and Description |
---|
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.
|
Class and Description |
---|
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
Node
Represents every node in the pointer assignment graph.
|
Class and Description |
---|
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
Node
Represents every node in the pointer assignment graph.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
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.
|
NewInstanceNode
Node that represents a call to newInstance()
|
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.
|
Class and Description |
---|
Node
Represents every node in the pointer assignment graph.
|
PAG
Pointer assignment graph.
|
Class and Description |
---|
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.
|
FieldRefNode
Represents a field reference node (Red) in the pointer assignment graph.
|
NewInstanceNode
Node that represents a call to newInstance()
|
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.
|
Class and Description |
---|
AllocDotField
Represents an alloc-site-dot-field node (Yellow) in the pointer
assignment graph.
|
Class and Description |
---|
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
PAG
Pointer assignment graph.
|
Class and Description |
---|
AllocNode
Represents an allocation site node (Blue) in the pointer assignment graph.
|
PAG
Pointer assignment graph.
|