Uses of Package
soot.jimple.spark.pag

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.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.thread.mhp   
soot.jimple.toolkits.thread.mhp.findobject   
 

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.