Uses of Class
soot.jimple.toolkits.callgraph.Edge
-
-
Uses of Edge in soot.jimple.spark.geom.dataRep
Fields in soot.jimple.spark.geom.dataRep declared as Edge Modifier and Type Field Description EdgeCgEdge. sootEdgeFields in soot.jimple.spark.geom.dataRep with type parameters of type Edge Modifier and Type Field Description Set<Edge>PlainConstraint. interCallEdgesIf this constraint represents a parameter passing or function return, the corresponding call edge is identified hereConstructors in soot.jimple.spark.geom.dataRep with parameters of type Edge Constructor Description 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 Description protected Map<Edge,CgEdge>GeomPointsTo. edgeMappingMethods in soot.jimple.spark.geom.geomPA with parameters of type Edge Modifier and Type Method Description booleanGeomQueries. contexsByAnyCallEdge(Edge sootEdge, Local l, PtSensVisitor visitor)Deprecated.booleanGeomQueries. contextsByAnyCallEdge(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor)Deprecated.booleanGeomQueries. contextsByCallChain(Edge[] callEdgeChain, Local l, PtSensVisitor visitor)Deprecated.booleanGeomQueries. contextsByCallChain(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor)Deprecated.booleanGeomQueries. contextsGoBy(Edge sootEdge, Local l, PtSensVisitor visitor)Answer contexts-go-by query.booleanGeomQueries. contextsGoBy(Edge sootEdge, Local l, SparkField field, PtSensVisitor visitor)Searching the points-to results for field expression such as p.f.CgEdgeGeomPointsTo. getInternalEdgeFromSootEdge(Edge e)Obtain the edge representation internal to geomPTA.booleanGeomQueries. kCFA(Edge[] callEdgeChain, Local l, PtSensVisitor visitor)Standard K-CFA querying for arbitrary K.booleanGeomQueries. kCFA(Edge[] callEdgeChain, Local l, SparkField field, PtSensVisitor visitor)Standard K-CFA querying for field expression. -
Uses of Edge in soot.jimple.spark.pag
Fields in soot.jimple.spark.pag with type parameters of type Edge Modifier and Type Field Description protected MultiMap<Pair<Node,Node>,Edge>PAG. assign2edgesMethods in soot.jimple.spark.pag that return types with arguments of type Edge Modifier and Type Method Description Set<Edge>PAG. lookupEdgesForAssignment(Pair<Node,Node> val)Methods in soot.jimple.spark.pag with parameters of type Edge Modifier and Type Method Description voidPAG. 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.voidPAG. addCallTarget(MethodPAG srcmpag, MethodPAG tgtmpag, Stmt s, Context srcContext, Context tgtContext, Edge e, boolean propagateReturn)Adds method target as a possible target of the invoke expression in s.voidPAG. addCallTarget(Edge e)Pair<Node,Node>PAG. addInterproceduralAssignment(Node from, Node to, Edge e) -
Uses of Edge in soot.jimple.spark.solver
Fields in soot.jimple.spark.solver with type parameters of type Edge Modifier and Type Field Description protected QueueReader<Edge>OnFlyCallGraph. callEdges -
Uses of Edge in soot.jimple.toolkits.callgraph
Fields in soot.jimple.toolkits.callgraph declared as Edge Modifier and Type Field Description protected EdgeCallGraph. dummyFields in soot.jimple.toolkits.callgraph with type parameters of type Edge Modifier and Type Field Description protected Set<Edge>CallGraph. edgesprotected Iterator<Edge>ReachableMethods. edgeSourceprotected QueueReader<Edge>CallGraph. readerprotected Map<MethodOrMethodContext,Edge>CallGraph. srcMethodToEdgeprotected Map<Unit,Edge>CallGraph. srcUnitToEdgeprotected ChunkedQueue<Edge>CallGraph. streamprotected Map<MethodOrMethodContext,Edge>CallGraph. tgtToEdgeMethods in soot.jimple.toolkits.callgraph that return Edge Modifier and Type Method Description EdgeCallGraph. findEdge(Unit u, SootMethod callee)Find the specific call edge that is going out from the callsite u and the call target is callee.EdgeFilter. next()Methods in soot.jimple.toolkits.callgraph that return types with arguments of type Edge Modifier and Type Method Description Iterator<Edge>CallGraph. edgesInto(MethodOrMethodContext m)Returns an iterator over all edges that have m as their target method.Iterator<Edge>SlowCallGraph. 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(Unit u)Returns an iterator over all edges that have u as their source unit.Iterator<Edge>SlowCallGraph. edgesOutOf(MethodOrMethodContext m)Returns an iterator over all edges that have m as their source method.Iterator<Edge>SlowCallGraph. edgesOutOf(Unit u)Returns an iterator over all edges that have u as their source unit.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>SlowCallGraph. 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>SlowCallGraph. 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)Methods in soot.jimple.toolkits.callgraph with parameters of type Edge Modifier and Type Method Description booleanCallGraph. addEdge(Edge e)Used to add an edge to the call graph.booleanSlowCallGraph. addEdge(Edge e)Used to add an edge to the call graph.booleanCallGraph. removeEdge(Edge e)Removes the edge e from the call graph.booleanCallGraph. removeEdge(Edge e, boolean removeInEdgeList)Removes the edge e from the call graph.booleanSlowCallGraph. removeEdge(Edge e)Removes the edge e from the call graph.booleanEdgePredicate. want(Edge e)Returns true iff the edge e is wanted.booleanExplicitEdgesPred. want(Edge e)Returns true iff the edge e is wanted.booleanInstanceInvokeEdgesPred. 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 Description booleanCallGraph. removeEdges(Collection<Edge> edges)Removes the edges from the call graph.Iterator<Edge>Filter. wrap(Iterator<Edge> source)Constructor parameters in soot.jimple.toolkits.callgraph with type arguments of type Edge Constructor Description Sources(Iterator<Edge> edges)Targets(Iterator<Edge> edges)Units(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 Description List<Edge>CallChain. getEdges()Iterator<Edge>CallChain. iterator()Methods in soot.jimple.toolkits.infoflow with parameters of type Edge Modifier and Type Method Description booleanCallChain. contains(Edge e)CallChainLocalObjectsAnalysis. getNextCallChainBetween(ReachableMethods rm, SootMethod start, SootMethod end, Edge endToPath, CallChain path, List previouslyFound)Constructors in soot.jimple.toolkits.infoflow with parameters of type Edge Constructor Description 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 Description booleanRunMethodsPred. 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 Description booleanCriticalSectionVisibleEdgesPred. want(Edge e)Returns true iff the edge e is wanted.
-