Uses of Package
soot.jimple.spark.pag

Packages that use soot.jimple.spark.pag

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

Classes in soot.jimple.spark.pag used by soot

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark

Class and Description
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

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.dataMgr

Class and Description
Node Represents every node 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.geom.dataRep

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.geomE

Class and Description
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

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.geom.heapinsE

Class and Description
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

Class and Description
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

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.ondemand

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.ondemand.pautil

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.pag

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.

Classes in soot.jimple.spark.pag used by soot.jimple.spark.sets

Class and Description
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

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.

Classes in soot.jimple.spark.pag used by soot.jimple.toolkits.callgraph

Class and Description
AllocDotField Represents an alloc-site-dot-field node (Yellow) in the pointer assignment graph.

Classes in soot.jimple.spark.pag used by soot.jimple.toolkits.thread.mhp

Class and Description
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

Class and Description
AllocNode Represents an allocation site node (Blue) in the pointer assignment graph.
PAG Pointer assignment graph.