Package sootup.spark

package sootup.spark

Related Packages

Package	Description
sootup.spark.node

Class	Description
Engine
IncrementalPointsToAnalysis	Worklist-based incremental Andersen-style points-to propagation.
IncrementalPointsToAnalysis.HeapKey
MethodPAGBuilder	Builds PAG for an individual method
MethodPAGStmtVisitor
MethodPAGStmtVisitor.OtfContext	Bag of OTF-only collaborators; null in CHA mode.
MethodPAGStmtVisitor.PendingVirtualCall	Captured invoke site whose targets are decided by the OTF builder via points-to.
NodeFactory	It is responsible for creating a SPARK representative nodes (nodes present in SPARK, AllocNode, FieldRef Node, and VarNode)
PAG	Pointer assigment graph
PAGEdge
PAGEdge.EdgeType
PointsToAnalysis	Client-facing pointer analysis API over a SPARK PAG.
Spark	Main access point to SPARK's functionality.
SparkOptions