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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	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	Description
AllocNode	Represents an allocation site node (Blue) in the pointer assignment graph.
PAG	Pointer assignment graph.