Uses of Class
soot.jimple.spark.pag.PAG

Packages that use PAG

Package	Description
soot.jimple.spark
soot.jimple.spark.builder
soot.jimple.spark.geom.geomPA
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

Uses of PAG in soot.jimple.spark

Methods in soot.jimple.spark with parameters of type PAG

Modifier and Type	Method and Description
protected void	SparkTransformer.addTags(PAG pag)
protected void	SparkTransformer.findSetMass(PAG pag)
protected void	SparkTransformer.propagatePAG(SparkOptions opts, PAG pag)

Uses of PAG in soot.jimple.spark.builder

Fields in soot.jimple.spark.builder declared as PAG

Modifier and Type	Field and Description
protected PAG	ContextInsensitiveBuilder.pag
protected PAG	MethodNodeFactory.pag
protected PAG	GlobalNodeFactory.pag

Methods in soot.jimple.spark.builder that return PAG

Modifier and Type	Method and Description
PAG	ContextInsensitiveBuilder.setup(SparkOptions opts) Creates an empty pointer assignment graph.

Constructors in soot.jimple.spark.builder with parameters of type PAG

Constructor and Description
GlobalNodeFactory(PAG pag)
MethodNodeFactory(PAG pag, MethodPAG mpag)

Uses of PAG in soot.jimple.spark.geom.geomPA

Subclasses of PAG in soot.jimple.spark.geom.geomPA

Modifier and Type	Class and Description
class	GeomPointsTo The main interface for the points-to analysis with geometric encodings.

Uses of PAG in soot.jimple.spark.internal

Fields in soot.jimple.spark.internal declared as PAG

Modifier and Type	Field and Description
protected PAG	SparkNativeHelper.pag
protected PAG	TypeManager.pag

Constructors in soot.jimple.spark.internal with parameters of type PAG

Constructor and Description
SparkLibraryHelper(PAG pag, Node node, SootMethod method) The constructor for this TypeSwitch.
SparkNativeHelper(PAG pag)
TypeManager(PAG pag)

Uses of PAG in soot.jimple.spark.ondemand

Fields in soot.jimple.spark.ondemand declared as PAG

Modifier and Type	Field and Description
protected PAG	DemandCSPointsTo.pag

Methods in soot.jimple.spark.ondemand that return PAG

Modifier and Type	Method and Description
PAG	DemandCSPointsTo.getPAG()

Constructors in soot.jimple.spark.ondemand with parameters of type PAG

Constructor and Description
DemandCSPointsTo(ContextSensitiveInfo csInfo, PAG pag)
DemandCSPointsTo(ContextSensitiveInfo csInfo, PAG pag, int maxTraversal, int maxPasses, boolean lazy)

Uses of PAG in soot.jimple.spark.ondemand.pautil

Fields in soot.jimple.spark.ondemand.pautil declared as PAG

Modifier and Type	Field and Description
PAG	AllocationSiteHandler.VirtualCallHandler.pag

Methods in soot.jimple.spark.ondemand.pautil with parameters of type PAG

Modifier and Type	Method and Description
static SootUtil.FieldAccessMap	SootUtil.buildStoreMap(PAG pag)
static PointsToSetInternal	SootUtil.constructIntersection(PointsToSetInternal set1, PointsToSetInternal set2, PAG pag)
static void	SootUtil.dumpVarNodeInfo(PAG pag)
static SootUtil.FieldToEdgesMap	SootUtil.loadsOnField(PAG pag)
static void	SootUtil.printNodeNumberMapping(String fileName, PAG pag)
static SootUtil.FieldToEdgesMap	SootUtil.storesOnField(PAG pag)

Constructors in soot.jimple.spark.ondemand.pautil with parameters of type PAG

Constructor and Description
ContextSensitiveInfo(PAG pag)
ValidMatches(PAG pag, SootUtil.FieldToEdgesMap fieldToStores)
VirtualCallHandler(PAG pag, Type receiverType, NumberedString methodStr)

Uses of PAG in soot.jimple.spark.pag

Fields in soot.jimple.spark.pag declared as PAG

Modifier and Type	Field and Description
protected PAG	Node.pag
protected PAG	PAGDumper.pag
protected PAG	PAG2HTML.pag

Methods in soot.jimple.spark.pag that return PAG

Modifier and Type	Method and Description
PAG	Node.getPag() Returns the pointer assignment graph that this node is a part of.
PAG	MethodPAG.pag()

Methods in soot.jimple.spark.pag with parameters of type PAG

Modifier and Type	Method and Description
static MethodPAG	MethodPAG.v(PAG pag, SootMethod m)

Constructors in soot.jimple.spark.pag with parameters of type PAG

Constructor and Description
MethodPAG(PAG pag, SootMethod m)
PAG2HTML(PAG pag, String output_dir)
PAGDumper(PAG pag, String output_dir)
PagToDotDumper(PAG pag)
ValNode(PAG pag, Type t)

Uses of PAG in soot.jimple.spark.sets

Fields in soot.jimple.spark.sets declared as PAG

Modifier and Type	Field and Description
protected PAG	HybridPointsToSet.pag

Methods in soot.jimple.spark.sets with parameters of type PAG

Modifier and Type	Method and Description
protected BitVector	PointsToSetInternal.getBitMask(PointsToSetInternal other, PAG pag)
static HybridPointsToSet	HybridPointsToSet.intersection(HybridPointsToSet set1, HybridPointsToSet set2, PAG pag)
abstract T	P2SetFactory.newSet(Type type, PAG pag) Returns a newly-created set.

Constructors in soot.jimple.spark.sets with parameters of type PAG

Constructor and Description
BitPointsToSet(Type type, PAG pag)
DoublePointsToSet(Type type, PAG pag)
HashPointsToSet(Type type, PAG pag)
HybridPointsToSet(Type type, PAG pag)
SharedHybridSet(Type type, PAG pag)
SharedListSet(Type type, PAG pag)
SortedArraySet(Type type, PAG pag)

Uses of PAG in soot.jimple.spark.solver

Fields in soot.jimple.spark.solver declared as PAG

Modifier and Type	Field and Description
protected PAG	EBBCollapser.pag
protected PAG	TopoSorter.pag
protected PAG	PropAlias.pag
protected PAG	SCCCollapser.pag
protected PAG	PropIter.pag
protected PAG	Checker.pag
protected PAG	PropMerge.pag
protected PAG	MergeChecker.pag
protected PAG	PropWorklist.pag

Constructors in soot.jimple.spark.solver with parameters of type PAG

Constructor and Description
Checker(PAG pag)
EBBCollapser(PAG pag)
MergeChecker(PAG pag)
OnFlyCallGraph(PAG pag, boolean appOnly)
PropAlias(PAG pag)
PropCycle(PAG pag)
PropIter(PAG pag)
PropMerge(PAG pag)
PropWorklist(PAG pag)
SCCCollapser(PAG pag, boolean ignoreTypes)
TopoSorter(PAG pag, boolean ignoreTypes)

Uses of PAG in soot.jimple.toolkits.thread.mhp

Constructors in soot.jimple.toolkits.thread.mhp with parameters of type PAG

Constructor and Description
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set<Object> methodsNeedingInlining, Set<AllocNode> allocNodes, List inlineSites, Map synchObj, Set<AllocNode> multiRunAllocNodes, Map allocNodeToObj, Body unitBody, SootMethod sm, boolean addExceptionEdges, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
PegGraph(CallGraph callGraph, Hierarchy hierarchy, PAG pag, Set methodsNeedingInlining, Set allocNodes, List<List> inlineSites, Map<SootMethod,String> synchObj, Set multiRunAllocNodes, Map<AllocNode,String> allocNodeToObj, Body unitBody, String threadName, SootMethod sm, boolean addExceEdge, boolean dontAddEdgeFromStmtBeforeAreaOfProtectionToCatchBlock) Constructs a graph for the units found in the provided Body instance.
StartJoinAnalysis(UnitGraph g, SootMethod sm, CallGraph callGraph, PAG pag)
StartJoinFinder(CallGraph callGraph, PAG pag)

Uses of PAG in soot.jimple.toolkits.thread.mhp.findobject

Constructors in soot.jimple.toolkits.thread.mhp.findobject with parameters of type PAG

Constructor and Description
AllocNodesFinder(PegCallGraph pcg, CallGraph cg, PAG pag)