|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PAG | |
soot.jimple.spark | |
soot.jimple.spark.builder | |
soot.jimple.spark.internal | |
soot.jimple.spark.pag | |
soot.jimple.spark.sets | |
soot.jimple.spark.solver |
Uses of PAG in soot.jimple.spark |
Methods in soot.jimple.spark with parameters of type PAG | |
protected void |
SparkTransformer.addTags(PAG pag)
|
protected void |
SparkTransformer.findSetMass(PAG pag)
|
Uses of PAG in soot.jimple.spark.builder |
Fields in soot.jimple.spark.builder declared as PAG | |
protected PAG |
GlobalNodeFactory.pag
|
protected PAG |
MethodNodeFactory.pag
|
Methods in soot.jimple.spark.builder that return PAG | |
PAG |
ContextInsensitiveBuilder.setup(soot.options.SparkOptions opts)
Creates an empty pointer assignment graph. |
Constructors in soot.jimple.spark.builder with parameters of type PAG | |
GlobalNodeFactory(PAG pag)
|
|
MethodNodeFactory(PAG pag,
MethodPAG mpag)
|
Uses of PAG in soot.jimple.spark.internal |
Fields in soot.jimple.spark.internal declared as PAG | |
protected PAG |
SparkNativeHelper.pag
|
protected PAG |
TypeManager.pag
|
Constructors in soot.jimple.spark.internal with parameters of type PAG | |
SparkNativeHelper(PAG pag)
|
|
TypeManager(PAG pag)
|
Uses of PAG in soot.jimple.spark.pag |
Fields in soot.jimple.spark.pag declared as PAG | |
protected PAG |
Node.pag
|
protected PAG |
PAG2HTML.pag
|
protected PAG |
PAGDumper.pag
|
Methods in soot.jimple.spark.pag that return PAG | |
PAG |
MethodPAG.pag()
|
PAG |
Node.getPag()
Returns the pointer assignment graph that this node is a part of. |
Methods in soot.jimple.spark.pag with parameters of type PAG | |
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m)
|
Constructors in soot.jimple.spark.pag with parameters of type PAG | |
MethodPAG(PAG pag,
SootMethod m)
|
|
PAG2HTML(PAG pag,
String output_dir)
|
|
PAGDumper(PAG pag,
String output_dir)
|
|
ValNode(PAG pag,
Type t)
|
Uses of PAG in soot.jimple.spark.sets |
Methods in soot.jimple.spark.sets with parameters of type PAG | |
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set. |
Constructors in soot.jimple.spark.sets with parameters of type PAG | |
BitPointsToSet(Type type,
PAG pag)
|
|
DoublePointsToSet(Type type,
PAG pag)
|
|
HashPointsToSet(Type type,
PAG pag)
|
|
HybridPointsToSet(Type type,
PAG pag)
|
|
SharedPointsToSet(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 | |
protected PAG |
Checker.pag
|
protected PAG |
EBBCollapser.pag
|
protected PAG |
MergeChecker.pag
|
protected PAG |
PropAlias.pag
|
protected PAG |
PropIter.pag
|
protected PAG |
PropMerge.pag
|
protected PAG |
PropWorklist.pag
|
protected PAG |
SCCCollapser.pag
|
protected PAG |
TopoSorter.pag
|
Constructors in soot.jimple.spark.solver with parameters of type PAG | |
Checker(PAG pag)
|
|
EBBCollapser(PAG pag)
|
|
MergeChecker(PAG pag)
|
|
OnFlyCallGraph(PAG pag)
|
|
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |