Uses of Class
soot.jimple.toolkits.callgraph.Edge

Packages that use Edge

Package	Description
soot.jimple.spark.geom.dataRep
soot.jimple.spark.geom.geomPA
soot.jimple.spark.pag
soot.jimple.toolkits.callgraph
soot.jimple.toolkits.infoflow
soot.jimple.toolkits.thread.mhp
soot.jimple.toolkits.thread.synchronization

Uses of Edge in soot.jimple.spark.geom.dataRep

Fields in soot.jimple.spark.geom.dataRep declared as Edge

Modifier and Type	Field and Description
Edge	CgEdge.sootEdge
Edge	CgEdge.sootEdge

Fields in soot.jimple.spark.geom.dataRep with type parameters of type Edge

Modifier and Type	Field and Description
java.util.Set<Edge>	PlainConstraint.interCallEdges If this constraint represents a parameter passing or function return, the corresponding call edge is identified here
java.util.Set<Edge>	PlainConstraint.interCallEdges If this constraint represents a parameter passing or function return, the corresponding call edge is identified here

Constructors in soot.jimple.spark.geom.dataRep with parameters of type Edge

Constructor and Description
CgEdge(int ss, int tt, Edge se, CgEdge ne)
CgEdge(int ss, int tt, Edge se, CgEdge ne)

Uses of Edge in soot.jimple.spark.geom.geomPA

Fields in soot.jimple.spark.geom.geomPA with type parameters of type Edge

Modifier and Type	Field and Description
protected java.util.Map<Edge,CgEdge>	GeomPointsTo.edgeMapping
protected java.util.Map<Edge,CgEdge>	GeomPointsTo.edgeMapping

Methods in soot.jimple.spark.geom.geomPA with parameters of type Edge

Modifier and Type	Method and Description
boolean	GeomQueries.contexsByAnyCallEdge(Edge sootEdge, Local l, PtSensVisitor visitor) Usually, users specify the last K paths as the context.
boolean	GeomQueries.contexsByAnyCallEdge(Edge sootEdge, Local l, PtSensVisitor visitor) Usually, users specify the last K paths as the context.
boolean	GeomQueries.contextByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.
boolean	GeomQueries.contextByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor) Standard K-CFA querying for field expression.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
boolean	GeomQueries.contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor) Searching the points-to results for field expression such as p.f.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Standard K-CFA querying for arbitrary K.
boolean	GeomQueries.contextsByCallChain(Edge[] callEdgeChain, Local l, PtSensVisitor visitor) Standard K-CFA querying for arbitrary K.
CgEdge	GeomPointsTo.getInternalEdgeFromSootEdge(Edge e) Obtain the edge representation internal to geomPTA.
CgEdge	GeomPointsTo.getInternalEdgeFromSootEdge(Edge e) Obtain the edge representation internal to geomPTA.

Uses of Edge in soot.jimple.spark.pag

Fields in soot.jimple.spark.pag with type parameters of type Edge

Modifier and Type	Field and Description
protected java.util.Map<Pair,java.util.Set<Edge>>	PAG.assign2edges
protected java.util.Map<Pair,java.util.Set<Edge>>	PAG.assign2edges

Methods in soot.jimple.spark.pag that return types with arguments of type Edge

Modifier and Type	Method and Description
java.util.Set<Edge>	PAG.lookupEdgesForAssignment(Pair<Node,Node> val)
java.util.Set<Edge>	PAG.lookupEdgesForAssignment(Pair<Node,Node> val)

Methods in soot.jimple.spark.pag with parameters of type Edge

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)

Uses of Edge in soot.jimple.toolkits.callgraph

Fields in soot.jimple.toolkits.callgraph declared as Edge

Modifier and Type	Field and Description
protected Edge	CallGraph.dummy
protected Edge	CallGraph.dummy

Fields in soot.jimple.toolkits.callgraph with type parameters of type Edge

Modifier and Type	Field and Description
protected java.util.Set<Edge>	CallGraph.edges
protected java.util.Set<Edge>	CallGraph.edges
protected QueueReader<Edge>	CallGraph.reader
protected QueueReader<Edge>	CallGraph.reader
protected java.util.Map<MethodOrMethodContext,Edge>	CallGraph.srcMethodToEdge
protected java.util.Map<MethodOrMethodContext,Edge>	CallGraph.srcMethodToEdge
protected java.util.Map<Unit,Edge>	CallGraph.srcUnitToEdge
protected java.util.Map<Unit,Edge>	CallGraph.srcUnitToEdge
protected ChunkedQueue<Edge>	CallGraph.stream
protected ChunkedQueue<Edge>	CallGraph.stream
protected java.util.Map<MethodOrMethodContext,Edge>	CallGraph.tgtToEdge
protected java.util.Map<MethodOrMethodContext,Edge>	CallGraph.tgtToEdge

Methods in soot.jimple.toolkits.callgraph that return Edge

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()

Methods in soot.jimple.toolkits.callgraph that return types with arguments of type Edge

Modifier and Type	Method and Description
java.util.Iterator<Edge>	CallGraph.edgesInto(MethodOrMethodContext m) Returns an iterator over all edges that have m as their target method.
java.util.Iterator<Edge>	CallGraph.edgesInto(MethodOrMethodContext m) Returns an iterator over all edges that have m as their target method.
java.util.Iterator<Edge>	CallGraph.edgesOutOf(MethodOrMethodContext m) Returns an iterator over all edges that have m as their source method.
java.util.Iterator<Edge>	CallGraph.edgesOutOf(MethodOrMethodContext m) Returns an iterator over all edges that have m as their source method.
java.util.Iterator<Edge>	CallGraph.edgesOutOf(Unit u) Returns an iterator over all edges that have u as their source unit.
java.util.Iterator<Edge>	CallGraph.edgesOutOf(Unit u) Returns an iterator over all edges that have u as their source unit.
java.util.Iterator<Edge>	CallGraph.iterator()
java.util.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.
java.util.Iterator<Edge>	Filter.wrap(java.util.Iterator<Edge> source)
java.util.Iterator<Edge>	Filter.wrap(java.util.Iterator<Edge> source)

Methods in soot.jimple.toolkits.callgraph with parameters of type Edge

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.

Method parameters in soot.jimple.toolkits.callgraph with type arguments of type Edge

Modifier and Type	Method and Description
java.util.Iterator<Edge>	Filter.wrap(java.util.Iterator<Edge> source)
java.util.Iterator<Edge>	Filter.wrap(java.util.Iterator<Edge> source)

Constructor parameters in soot.jimple.toolkits.callgraph with type arguments of type Edge

Constructor and Description
Sources(java.util.Iterator<Edge> edges)
Sources(java.util.Iterator<Edge> edges)
Targets(java.util.Iterator<Edge> edges)
Targets(java.util.Iterator<Edge> edges)

Uses of Edge in soot.jimple.toolkits.infoflow

Methods in soot.jimple.toolkits.infoflow that return types with arguments of type Edge

Modifier and Type	Method and Description
java.util.List<Edge>	CallChain.getEdges()
java.util.List<Edge>	CallChain.getEdges()
java.util.Iterator<Edge>	CallChain.iterator()
java.util.Iterator<Edge>	CallChain.iterator()

Methods in soot.jimple.toolkits.infoflow with parameters of type Edge

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, java.util.List previouslyFound)
CallChain	LocalObjectsAnalysis.getNextCallChainBetween(ReachableMethods rm, SootMethod start, SootMethod end, Edge endToPath, CallChain path, java.util.List previouslyFound)

Constructors in soot.jimple.toolkits.infoflow with parameters of type Edge

Constructor and Description
CallChain(Edge edge, CallChain next)
CallChain(Edge edge, CallChain next)

Uses of Edge in soot.jimple.toolkits.thread.mhp

Methods in soot.jimple.toolkits.thread.mhp with parameters of type Edge

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.

Uses of Edge in soot.jimple.toolkits.thread.synchronization

Methods in soot.jimple.toolkits.thread.synchronization with parameters of type Edge

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.