|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag)
|
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)
|
|
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 | |
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)
|
Uses of PAG in soot.jimple.toolkits.thread.mhp |
Fields in soot.jimple.toolkits.thread.mhp declared as PAG | |
static PAG |
Arguments.pag
|
Methods in soot.jimple.toolkits.thread.mhp that return PAG | |
static PAG |
Arguments.getPag()
|
Methods in soot.jimple.toolkits.thread.mhp with parameters of type PAG | |
static void |
Arguments.setPag(PAG pa)
|
protected static PegGraph |
MhpTransformer.buildPeg(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List inlineSites,
Map synchObj,
Set multiRunAllocNodes,
Map allocNodeToObj,
Body body,
SootMethod sm)
|
Constructors in soot.jimple.toolkits.thread.mhp with parameters of type PAG | |
PegGraph(CallGraph callGraph,
Hierarchy hierarchy,
PAG pag,
Set methodsNeedingInlining,
Set allocNodes,
List inlineSites,
Map synchObj,
Set 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 inlineSites,
Map synchObj,
Set multiRunAllocNodes,
Map 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 | |
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |