| 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) |
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
ContextInsensitiveBuilder.pag |
protected PAG |
MethodNodeFactory.pag |
protected PAG |
GlobalNodeFactory.pag |
| Modifier and Type | Method and Description |
|---|---|
PAG |
ContextInsensitiveBuilder.setup(SparkOptions opts)
Creates an empty pointer assignment graph.
|
| Constructor and Description |
|---|
GlobalNodeFactory(PAG pag) |
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 |
| Constructor and Description |
|---|
SparkLibraryHelper(PAG pag,
Node node,
SootMethod method)
The constructor for this
TypeSwitch. |
SparkNativeHelper(PAG pag) |
TypeManager(PAG pag) |
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
DemandCSPointsTo.pag |
| Modifier and Type | Method and Description |
|---|---|
PAG |
DemandCSPointsTo.getPAG() |
| Constructor and Description |
|---|
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag) |
DemandCSPointsTo(ContextSensitiveInfo csInfo,
PAG pag,
int maxTraversal,
int maxPasses,
boolean lazy) |
| Modifier and Type | Field and Description |
|---|---|
PAG |
AllocationSiteHandler.VirtualCallHandler.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) |
| Constructor and Description |
|---|
ContextSensitiveInfo(PAG pag) |
ValidMatches(PAG pag,
SootUtil.FieldToEdgesMap fieldToStores) |
VirtualCallHandler(PAG pag,
Type receiverType,
NumberedString methodStr) |
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
Node.pag |
protected PAG |
PAGDumper.pag |
protected PAG |
PAG2HTML.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() |
| Modifier and Type | Method and Description |
|---|---|
static MethodPAG |
MethodPAG.v(PAG pag,
SootMethod m) |
| 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) |
| Modifier and Type | Field and Description |
|---|---|
protected PAG |
HybridPointsToSet.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.
|
| 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) |
| 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 |
| 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) |
| 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) |
| Constructor and Description |
|---|
AllocNodesFinder(PegCallGraph pcg,
CallGraph cg,
PAG pag) |
Copyright © 2020 Soot OSS. All rights reserved.