Modifier and Type | Field and Description |
---|---|
Edge |
CgEdge.sootEdge |
Edge |
CgEdge.sootEdge |
Modifier and Type | Field and Description |
---|---|
Set<Edge> |
PlainConstraint.interCallEdges
If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
|
Set<Edge> |
PlainConstraint.interCallEdges
If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
|
Constructor and Description |
---|
CgEdge(int ss,
int tt,
Edge se,
CgEdge ne) |
CgEdge(int ss,
int tt,
Edge se,
CgEdge ne) |
Modifier and Type | Field and Description |
---|---|
protected Map<Edge,CgEdge> |
GeomPointsTo.edgeMapping |
protected Map<Edge,CgEdge> |
GeomPointsTo.edgeMapping |
Modifier and Type | Method and Description |
---|---|
boolean |
GeomQueries.contexsByAnyCallEdge(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contexsByAnyCallEdge(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByAnyCallEdge(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsByCallChain(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Deprecated.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Answer contexts-go-by query.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
PtSensVisitor visitor)
Answer contexts-go-by query.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Searching the points-to results for field expression such as p.f.
|
boolean |
GeomQueries.contextsGoBy(Edge sootEdge,
Local l,
SparkField field,
PtSensVisitor visitor)
Searching the points-to results for field expression such as p.f.
|
CgEdge |
GeomPointsTo.getInternalEdgeFromSootEdge(Edge e)
Obtain the edge representation internal to geomPTA.
|
CgEdge |
GeomPointsTo.getInternalEdgeFromSootEdge(Edge e)
Obtain the edge representation internal to geomPTA.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Standard K-CFA querying for arbitrary K.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
PtSensVisitor visitor)
Standard K-CFA querying for arbitrary K.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
boolean |
GeomQueries.kCFA(Edge[] callEdgeChain,
Local l,
SparkField field,
PtSensVisitor visitor)
Standard K-CFA querying for field expression.
|
Modifier and Type | Field and Description |
---|---|
protected Map<Pair<Node,Node>,Set<Edge>> |
PAG.assign2edges |
protected Map<Pair<Node,Node>,Set<Edge>> |
PAG.assign2edges |
Modifier and Type | Method and Description |
---|---|
Set<Edge> |
PAG.lookupEdgesForAssignment(Pair<Node,Node> val) |
Set<Edge> |
PAG.lookupEdgesForAssignment(Pair<Node,Node> val) |
Modifier and Type | Method and Description |
---|---|
void |
PAG.addCallTarget(Edge e) |
void |
PAG.addCallTarget(Edge e) |
void |
PAG.addCallTarget(MethodPAG srcmpag,
MethodPAG tgtmpag,
Stmt s,
Context srcContext,
Context tgtContext,
Edge e)
Adds method target as a possible target of the invoke expression in s.
|
void |
PAG.addCallTarget(MethodPAG srcmpag,
MethodPAG tgtmpag,
Stmt s,
Context srcContext,
Context tgtContext,
Edge e)
Adds method target as a possible target of the invoke expression in s.
|
Pair<Node,Node> |
PAG.addInterproceduralAssignment(Node from,
Node to,
Edge e) |
Pair<Node,Node> |
PAG.addInterproceduralAssignment(Node from,
Node to,
Edge e) |
Modifier and Type | Field and Description |
---|---|
protected Edge |
CallGraph.dummy |
protected Edge |
CallGraph.dummy |
Modifier and Type | Field and Description |
---|---|
protected Set<Edge> |
CallGraph.edges |
protected Set<Edge> |
CallGraph.edges |
protected QueueReader<Edge> |
CallGraph.reader |
protected QueueReader<Edge> |
CallGraph.reader |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.srcMethodToEdge |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.srcMethodToEdge |
protected Map<Unit,Edge> |
CallGraph.srcUnitToEdge |
protected Map<Unit,Edge> |
CallGraph.srcUnitToEdge |
protected ChunkedQueue<Edge> |
CallGraph.stream |
protected ChunkedQueue<Edge> |
CallGraph.stream |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.tgtToEdge |
protected Map<MethodOrMethodContext,Edge> |
CallGraph.tgtToEdge |
Modifier and Type | Method and Description |
---|---|
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee.
|
Edge |
CallGraph.findEdge(Unit u,
SootMethod callee)
Find the specific call edge that is going out from the callsite u and the call target is callee.
|
Edge |
Filter.next() |
Edge |
Filter.next() |
Modifier and Type | Method and Description |
---|---|
Iterator<Edge> |
CallGraph.edgesInto(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their target method.
|
Iterator<Edge> |
CallGraph.edgesInto(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their target method.
|
Iterator<Edge> |
CallGraph.edgesOutOf(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their source method.
|
Iterator<Edge> |
CallGraph.edgesOutOf(MethodOrMethodContext m)
Returns an iterator over all edges that have m as their source method.
|
Iterator<Edge> |
CallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit.
|
Iterator<Edge> |
CallGraph.edgesOutOf(Unit u)
Returns an iterator over all edges that have u as their source unit.
|
Iterator<Edge> |
CallGraph.iterator() |
Iterator<Edge> |
CallGraph.iterator() |
QueueReader<Edge> |
CallGraph.listener()
Returns a QueueReader object containing all edges added so far, and
which will be informed of any new edges that are later added to
the graph.
|
QueueReader<Edge> |
CallGraph.listener()
Returns a QueueReader object containing all edges added so far, and
which will be informed of any new edges that are later added to
the graph.
|
QueueReader<Edge> |
CallGraph.newListener()
Returns a QueueReader object which will contain ONLY NEW edges
which will be added to the graph.
|
QueueReader<Edge> |
CallGraph.newListener()
Returns a QueueReader object which will contain ONLY NEW edges
which will be added to the graph.
|
Iterator<Edge> |
Filter.wrap(Iterator<Edge> source) |
Iterator<Edge> |
Filter.wrap(Iterator<Edge> source) |
Modifier and Type | Method and Description |
---|---|
boolean |
CallGraph.addEdge(Edge e)
Used to add an edge to the call graph.
|
boolean |
SlowCallGraph.addEdge(Edge e)
Used to add an edge to the call graph.
|
boolean |
CallGraph.addEdge(Edge e)
Used to add an edge to the call graph.
|
boolean |
SlowCallGraph.addEdge(Edge e)
Used to add an edge to the call graph.
|
boolean |
CallGraph.removeEdge(Edge e)
Removes the edge e from the call graph.
|
boolean |
SlowCallGraph.removeEdge(Edge e)
Removes the edge e from the call graph.
|
boolean |
CallGraph.removeEdge(Edge e)
Removes the edge e from the call graph.
|
boolean |
SlowCallGraph.removeEdge(Edge e)
Removes the edge e from the call graph.
|
boolean |
EdgePredicate.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
ExplicitEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
InstanceInvokeEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
EdgePredicate.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
InstanceInvokeEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
ExplicitEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|
Modifier and Type | Method and Description |
---|---|
Iterator<Edge> |
Filter.wrap(Iterator<Edge> source) |
Iterator<Edge> |
Filter.wrap(Iterator<Edge> source) |
Constructor and Description |
---|
Sources(Iterator<Edge> edges) |
Sources(Iterator<Edge> edges) |
Targets(Iterator<Edge> edges) |
Targets(Iterator<Edge> edges) |
Modifier and Type | Method and Description |
---|---|
List<Edge> |
CallChain.getEdges() |
List<Edge> |
CallChain.getEdges() |
Iterator<Edge> |
CallChain.iterator() |
Iterator<Edge> |
CallChain.iterator() |
Modifier and Type | Method and Description |
---|---|
boolean |
CallChain.contains(Edge e) |
boolean |
CallChain.contains(Edge e) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound) |
CallChain |
LocalObjectsAnalysis.getNextCallChainBetween(ReachableMethods rm,
SootMethod start,
SootMethod end,
Edge endToPath,
CallChain path,
List previouslyFound) |
Constructor and Description |
---|
CallChain(Edge edge,
CallChain next) |
CallChain(Edge edge,
CallChain next) |
Modifier and Type | Method and Description |
---|---|
boolean |
RunMethodsPred.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
RunMethodsPred.want(Edge e)
Returns true iff the edge e is wanted.
|
Modifier and Type | Method and Description |
---|---|
boolean |
CriticalSectionVisibleEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|
boolean |
CriticalSectionVisibleEdgesPred.want(Edge e)
Returns true iff the edge e is wanted.
|