Modifier and Type | Method and Description |
---|---|
protected void |
SparkTransformer.addTags(PAG pag) |
protected void |
SparkTransformer.addTags(PAG pag) |
protected void |
SparkTransformer.findSetMass(PAG pag) |
protected void |
SparkTransformer.findSetMass(PAG pag) |
Modifier and Type | Field and Description |
---|---|
protected PAG |
GlobalNodeFactory.pag |
protected PAG |
MethodNodeFactory.pag |
protected PAG |
GlobalNodeFactory.pag |
protected PAG |
MethodNodeFactory.pag |
Modifier and Type | Method and Description |
---|---|
PAG |
ContextInsensitiveBuilder.setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
PAG |
ContextInsensitiveBuilder.setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
Constructor and Description |
---|
GlobalNodeFactory(PAG pag) |
GlobalNodeFactory(PAG pag) |
MethodNodeFactory(PAG pag,
MethodPAG mpag) |
MethodNodeFactory(PAG pag,
MethodPAG mpag) |
Modifier and Type | Class and Description |
---|---|
class |
GeomPointsTo
The main interface for the points-to analysis with geometric encodings.
|
Modifier and Type | Field and Description |
---|---|
protected PAG |
SparkNativeHelper.pag |
protected PAG |
TypeManager.pag |
protected PAG |
SparkNativeHelper.pag |
protected PAG |
TypeManager.pag |
Constructor and Description |
---|
SparkLibraryHelper(PAG pag,
Node node,
SootMethod method)
The constructor for this
TypeSwitch . |
SparkLibraryHelper(PAG pag,
Node node,
SootMethod method)
The constructor for this
TypeSwitch . |
SparkNativeHelper(PAG pag) |
SparkNativeHelper(PAG pag) |
TypeManager(PAG pag) |
TypeManager(PAG pag) |
Modifier and Type | Field and Description |
---|---|
protected PAG |
DemandCSPointsTo.pag |
protected PAG |
DemandCSPointsTo.pag |
Modifier and Type | Method and Description |
---|---|
PAG |
DemandCSPointsTo.getPAG() |
PAG |
DemandCSPointsTo.getPAG() |
Constructor and Description |
---|
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag) |
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag) |
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag,
int maxTraversal,
int maxPasses,
boolean lazy) |
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag,
int maxTraversal,
int maxPasses,
boolean lazy) |
Modifier and Type | Field and Description |
---|---|
PAG |
AllocationSiteHandler.VirtualCallHandler.pag |
PAG |
AllocationSiteHandler.VirtualCallHandler.pag |
Modifier and Type | Method and Description |
---|---|
static SootUtil.FieldAccessMap |
SootUtil.buildStoreMap(PAG pag) |
static SootUtil.FieldAccessMap |
SootUtil.buildStoreMap(PAG pag) |
static PointsToSetInternal |
SootUtil.constructIntersection(PointsToSetInternal set1,
PointsToSetInternal set2,
PAG pag) |
static PointsToSetInternal |
SootUtil.constructIntersection(PointsToSetInternal set1,
PointsToSetInternal set2,
PAG pag) |
static void |
SootUtil.dumpVarNodeInfo(PAG pag) |
static void |
SootUtil.dumpVarNodeInfo(PAG pag) |
static SootUtil.FieldToEdgesMap |
SootUtil.loadsOnField(PAG pag) |
static SootUtil.FieldToEdgesMap |
SootUtil.loadsOnField(PAG pag) |
static void |
SootUtil.printNodeNumberMapping(String fileName,
PAG pag) |
static void |
SootUtil.printNodeNumberMapping(String fileName,
PAG pag) |
static SootUtil.FieldToEdgesMap |
SootUtil.storesOnField(PAG pag) |
static SootUtil.FieldToEdgesMap |
SootUtil.storesOnField(PAG pag) |
Constructor and Description |
---|
ContextSensitiveInfo(PAG pag) |
ContextSensitiveInfo(PAG pag) |
ValidMatches(PAG pag,
SootUtil.FieldToEdgesMap fieldToStores) |
ValidMatches(PAG pag,
SootUtil.FieldToEdgesMap fieldToStores) |
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
Modifier and Type | Field and Description |
---|---|
protected PAG |
Node.pag |
protected PAG |
PAG2HTML.pag |
protected PAG |
PAGDumper.pag |
protected PAG |
PAG2HTML.pag |
protected PAG |
Node.pag |
protected PAG |
PAGDumper.pag |
Modifier and Type | Method and Description |
---|---|
PAG |
Node.getPag()
Returns the pointer assignment graph that this node is a part of.
|
PAG |
Node.getPag()
Returns the pointer assignment graph that this node is a part of.
|
PAG |
MethodPAG.pag() |
PAG |
MethodPAG.pag() |
Modifier and Type | Method and Description |
---|---|
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m) |
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m) |
Constructor and Description |
---|
MethodPAG(PAG pag,
SootMethod m) |
MethodPAG(PAG pag,
SootMethod m) |
PAG2HTML(PAG pag,
String output_dir) |
PAG2HTML(PAG pag,
String output_dir) |
PAGDumper(PAG pag,
String output_dir) |
PAGDumper(PAG pag,
String output_dir) |
PagToDotDumper(PAG pag) |
PagToDotDumper(PAG pag) |
ValNode(PAG pag,
Type t) |
ValNode(PAG pag,
Type t) |
Modifier and Type | Method and Description |
---|---|
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag) |
protected BitVector |
PointsToSetInternal.getBitMask(PointsToSetInternal other,
PAG pag) |
static HybridPointsToSet |
HybridPointsToSet.intersection(HybridPointsToSet set1,
HybridPointsToSet set2,
PAG pag) |
static HybridPointsToSet |
HybridPointsToSet.intersection(HybridPointsToSet set1,
HybridPointsToSet set2,
PAG pag) |
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set.
|
abstract PointsToSetInternal |
P2SetFactory.newSet(Type type,
PAG pag)
Returns a newly-created set.
|
Constructor and Description |
---|
BitPointsToSet(Type type,
PAG pag) |
BitPointsToSet(Type type,
PAG pag) |
DoublePointsToSet(Type type,
PAG pag) |
DoublePointsToSet(Type type,
PAG pag) |
HashPointsToSet(Type type,
PAG pag) |
HashPointsToSet(Type type,
PAG pag) |
HybridPointsToSet(Type type,
PAG pag) |
HybridPointsToSet(Type type,
PAG pag) |
SharedHybridSet(Type type,
PAG pag) |
SharedHybridSet(Type type,
PAG pag) |
SharedListSet(Type type,
PAG pag) |
SharedListSet(Type type,
PAG pag) |
SortedArraySet(Type type,
PAG pag) |
SortedArraySet(Type type,
PAG pag) |
Modifier and Type | Field and Description |
---|---|
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 |
protected PAG |
PropWorklist.pag |
protected PAG |
EBBCollapser.pag |
protected PAG |
TopoSorter.pag |
protected PAG |
PropIter.pag |
protected PAG |
PropMerge.pag |
protected PAG |
Checker.pag |
protected PAG |
SCCCollapser.pag |
protected PAG |
MergeChecker.pag |
protected PAG |
PropAlias.pag |
Constructor and Description |
---|
Checker(PAG pag) |
Checker(PAG pag) |
EBBCollapser(PAG pag) |
EBBCollapser(PAG pag) |
MergeChecker(PAG pag) |
MergeChecker(PAG pag) |
OnFlyCallGraph(PAG pag,
boolean appOnly) |
OnFlyCallGraph(PAG pag,
boolean appOnly) |
PropAlias(PAG pag) |
PropAlias(PAG pag) |
PropCycle(PAG pag) |
PropCycle(PAG pag) |
PropIter(PAG pag) |
PropIter(PAG pag) |
PropMerge(PAG pag) |
PropMerge(PAG pag) |
PropWorklist(PAG pag) |
PropWorklist(PAG pag) |
SCCCollapser(PAG pag,
boolean ignoreTypes) |
SCCCollapser(PAG pag,
boolean ignoreTypes) |
TopoSorter(PAG pag,
boolean ignoreTypes) |
TopoSorter(PAG pag,
boolean ignoreTypes) |
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<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.
|
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) |
StartJoinAnalysis(UnitGraph g,
SootMethod sm,
CallGraph callGraph,
PAG pag) |
StartJoinFinder(CallGraph callGraph,
PAG pag) |
StartJoinFinder(CallGraph callGraph,
PAG pag) |
Constructor and Description |
---|
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |