Uses of Class
edu.umd.cs.findbugs.ba.Edge
Packages that use Edge
Package
Description
Main package for the FindBugs application - contains the
engine class (FindBugs), the object model classes for bug instances
(BugInstance, BugAnnotation), and other miscellany.
Support for analyzing code containing JSR-305 type qualifier annotations.
Support for analyses based on the BCEL bytecode framework.
-
Uses of Edge in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs with parameters of type EdgeModifier and TypeMethodDescriptionvoidInstructionScanner.traverseEdge(Edge edge) Traverse an edge.Constructor parameters in edu.umd.cs.findbugs with type arguments of type Edge -
Uses of Edge in edu.umd.cs.findbugs.ba
Methods in edu.umd.cs.findbugs.ba that return EdgeModifier and TypeMethodDescriptionprotected EdgeCFG.allocateEdge(BasicBlock source, BasicBlock target) CFG.createEdge(BasicBlock source, BasicBlock dest, int type) Add a unique edge to the graph.CFG.getIncomingEdgeWithType(BasicBlock basicBlock, int edgeType) Get the first incoming edge in basic block with given type.CFG.getOutgoingEdgeWithType(BasicBlock basicBlock, int edgeType) Get the first outgoing edge in basic block with given type.CFG.lookupEdgeById(int id) Look up an Edge by its id.Methods in edu.umd.cs.findbugs.ba that return types with arguments of type EdgeModifier and TypeMethodDescriptionSimplePathEnumerator.iterator()Iterate over simple paths.CFG.removedEdgeIterator()Get an Iterator over Edges removed from this CFG.Methods in edu.umd.cs.findbugs.ba with parameters of type EdgeModifier and TypeMethodDescriptionbooleanReturn whether or not given Edge should be chosen.intCompare with other edge.CFGPrinter.edgeAnnotate(Edge edge) DataflowCFGPrinter.edgeAnnotate(Edge edge) DFSCFGPrinter.edgeAnnotate(Edge edge) voidBasicAbstractDataflowAnalysis.edgeTransfer(Edge edge, Fact fact) voidDataflowAnalysis.edgeTransfer(Edge edge, Fact fact) Edge transfer function.CFG.getExceptionThrowerLocation(Edge exceptionEdge) Get the Location where exception(s) thrown on given exception edge are thrown.AbstractDataflow.getFactOnEdge(Edge edge) Get the fact that is true on the given control edge.BasicAbstractDataflowAnalysis.getFactOnEdge(Edge edge) Get the fact that is true on the given control edge, after applying the edge transfer function (if any).Dataflow.getFactOnEdge(Edge edge) Get the fact that is true on the given control edge.DataflowAnalysis.getFactOnEdge(Edge edge) Get the fact that is true on the given control edge.booleanResourceTracker.ignoreExceptionEdge(Edge edge, Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg) Determine whether the analysis should ignore given exception edge.voidvoidvoidMeet a dataflow fact associated with an incoming edge into another fact.voidvoidvoidResourceValueAnalysis.meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result) voidReturnPathAnalysis.meetInto(ReturnPath fact, Edge edge, ReturnPath result) voidStackDepthAnalysis.meetInto(StackDepth fact, Edge edge, StackDepth result) voidCFG.removeEdge(Edge edge) voidVisit an Edge connecting two BasicBlocks in the Path being visited. -
Uses of Edge in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type EdgeModifier and TypeMethodDescriptionbooleanIfNull.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) booleanInvoke.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) booleanMatchAny.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) booleanOpcode.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) abstract booleanPatternElement.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) Return whether or not it is acceptable to take the given branch.booleanSingleInstruction.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) booleanWild.acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source) -
Uses of Edge in edu.umd.cs.findbugs.ba.ca
Methods in edu.umd.cs.findbugs.ba.ca with parameters of type Edge -
Uses of Edge in edu.umd.cs.findbugs.ba.constant
Methods in edu.umd.cs.findbugs.ba.constant with parameters of type EdgeModifier and TypeMethodDescriptionvoidConstantAnalysis.meetInto(ConstantFrame fact, Edge edge, ConstantFrame result) -
Uses of Edge in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type EdgeModifier and TypeMethodDescriptionvoidUnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result) voidUnconditionalValueDerefAnalysis.meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result, boolean onlyEdge) -
Uses of Edge in edu.umd.cs.findbugs.ba.heap
Methods in edu.umd.cs.findbugs.ba.heap with parameters of type Edge -
Uses of Edge in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type EdgeModifier and TypeMethodDescriptionvoidBackwardTypeQualifierDataflowAnalysis.edgeTransfer(Edge edge, TypeQualifierValueSet fact) voidTypeQualifierDataflowAnalysis.edgeTransfer(Edge edge, TypeQualifierValueSet fact) voidTypeQualifierDataflowAnalysis.meetInto(TypeQualifierValueSet fact, Edge edge, TypeQualifierValueSet result) -
Uses of Edge in edu.umd.cs.findbugs.ba.npe
Fields in edu.umd.cs.findbugs.ba.npe declared as EdgeMethods in edu.umd.cs.findbugs.ba.npe with parameters of type EdgeModifier and TypeMethodDescriptionvoidReturnPathTypeAnalysis.edgeTransfer(Edge edge, ReturnPathType fact) IsNullValueAnalysis.getFactAtMidEdge(Edge edge) IsNullValueDataflow.getFactAtMidEdge(Edge edge) voidIsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result) voidIsNullValueAnalysis.meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation) voidReturnPathTypeAnalysis.meetInto(ReturnPathType fact, Edge edge, ReturnPathType result) voidRedundantBranch.setInfeasibleEdge(Edge infeasibleEdge) Set the edge which has been determined to be infeasible. -
Uses of Edge in edu.umd.cs.findbugs.ba.obl
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type Edge -
Uses of Edge in edu.umd.cs.findbugs.ba.type
Methods in edu.umd.cs.findbugs.ba.type with parameters of type EdgeModifier and TypeMethodDescriptionTypeAnalysis.getEdgeExceptionSet(Edge edge) Get the set of exceptions that can be thrown on given edge.TypeDataflow.getEdgeExceptionSet(Edge edge) void -
Uses of Edge in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type EdgeModifier and TypeMethodDescriptionvoidValueNumberAnalysis.meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result) -
Uses of Edge in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return types with arguments of type EdgeModifier and TypeMethodDescriptionFinallyDuplicatesInfoFactory.FinallyDuplicatesInfo.getDuplicates(CFG cfg, Edge edge) Methods in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type EdgeModifier and TypeMethodDescriptionFinallyDuplicatesInfoFactory.FinallyDuplicatesInfo.getDuplicates(CFG cfg, Edge edge) -
Uses of Edge in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type EdgeModifier and TypeMethodDescriptionbooleanStreamResourceTracker.ignoreExceptionEdge(Edge edge, Stream resource, org.apache.bcel.generic.ConstantPoolGen cpg)