Uses of Class
edu.umd.cs.findbugs.ba.Edge
-
Packages that use Edge Package Description edu.umd.cs.findbugs Main package for the FindBugs application - contains the engine class (FindBugs
), the object model classes for bug instances (BugInstance
,BugAnnotation
), and other miscellany.edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.edu.umd.cs.findbugs.ba.bcp edu.umd.cs.findbugs.ba.ca edu.umd.cs.findbugs.ba.constant edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.heap edu.umd.cs.findbugs.ba.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations.edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.edu.umd.cs.findbugs.ba.type edu.umd.cs.findbugs.ba.vna edu.umd.cs.findbugs.classfile.engine.bcel Support for analyses based on the BCEL bytecode framework.edu.umd.cs.findbugs.detect -
-
Uses of Edge in edu.umd.cs.findbugs
Fields in edu.umd.cs.findbugs with type parameters of type Edge Modifier and Type Field Description private java.util.Iterator<Edge>
InstructionScannerDriver. edgeIter
Methods in edu.umd.cs.findbugs with parameters of type Edge Modifier and Type Method Description void
InstructionScanner. traverseEdge(Edge edge)
Traverse an edge.Constructor parameters in edu.umd.cs.findbugs with type arguments of type Edge Constructor Description InstructionScannerDriver(java.util.Iterator<Edge> edgeIter)
Constructor. -
Uses of Edge in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as Edge Modifier and Type Field Description private Edge
PruneInfeasibleExceptionEdges.MarkedEdge. edge
Fields in edu.umd.cs.findbugs.ba with type parameters of type Edge Modifier and Type Field Description private java.util.List<java.util.List<Edge>>
SimplePathEnumerator. pathList
private java.util.List<Edge>
CFG. removedEdgeList
Methods in edu.umd.cs.findbugs.ba that return Edge Modifier and Type Method Description protected Edge
CFG. allocateEdge(BasicBlock source, BasicBlock target)
Edge
CFG. createEdge(BasicBlock source, BasicBlock dest, int type)
Add a unique edge to the graph.private Edge
CFG. getEdgeWithType(java.util.Iterator<Edge> iter, int edgeType)
Edge
CFG. getIncomingEdgeWithType(BasicBlock basicBlock, int edgeType)
Get the first incoming edge in basic block with given type.Edge
CFG. getOutgoingEdgeWithType(BasicBlock basicBlock, int edgeType)
Get the first outgoing edge in basic block with given type.Edge
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 Edge Modifier and Type Method Description java.util.Iterator<java.util.List<Edge>>
SimplePathEnumerator. iterator()
Iterate over simple paths.private java.util.Iterator<Edge>
Dataflow. logicalPredecessorEdgeIterator(BasicBlock block)
Return an Iterator over edges that connect given block to its logical predecessors.java.util.Iterator<Edge>
CFG. removedEdgeIterator()
Get an Iterator over Edges removed from this CFG.Methods in edu.umd.cs.findbugs.ba with parameters of type Edge Modifier and Type Method Description boolean
EdgeChooser. choose(Edge edge)
Return whether or not given Edge should be chosen.int
Edge. compareTo(Edge other)
Compare with other edge.private static void
Dataflow. debug(BasicBlock bb, BasicBlock pred, Edge edge, java.lang.String msg)
java.lang.String
CFGPrinter. edgeAnnotate(Edge edge)
java.lang.String
DataflowCFGPrinter. edgeAnnotate(Edge edge)
java.lang.String
DFSCFGPrinter. edgeAnnotate(Edge edge)
void
BasicAbstractDataflowAnalysis. edgeTransfer(Edge edge, Fact fact)
void
DataflowAnalysis. edgeTransfer(Edge edge, Fact fact)
Edge transfer function.Location
CFG. getExceptionThrowerLocation(Edge exceptionEdge)
Get the Location where exception(s) thrown on given exception edge are thrown.Fact
AbstractDataflow. getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.Fact
BasicAbstractDataflowAnalysis. getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge, after applying the edge transfer function (if any).Fact
Dataflow. getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.Fact
DataflowAnalysis. getFactOnEdge(Edge edge)
Get the fact that is true on the given control edge.boolean
ResourceTracker. ignoreExceptionEdge(Edge edge, Resource resource, org.apache.bcel.generic.ConstantPoolGen cpg)
Determine whether the analysis should ignore given exception edge.void
AbstractDominatorsAnalysis. meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
void
BlockTypeAnalysis. meetInto(BlockType fact, Edge edge, BlockType result)
void
DataflowAnalysis. meetInto(Fact fact, Edge edge, Fact result)
Meet a dataflow fact associated with an incoming edge into another fact.void
LiveLocalStoreAnalysis. meetInto(java.util.BitSet fact, Edge edge, java.util.BitSet result)
void
LockAnalysis. meetInto(LockSet fact, Edge edge, LockSet result)
void
ResourceValueAnalysis. meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)
void
ReturnPathAnalysis. meetInto(ReturnPath fact, Edge edge, ReturnPath result)
void
StackDepthAnalysis. meetInto(StackDepth fact, Edge edge, StackDepth result)
void
CFG. removeEdge(Edge edge)
void
PathVisitor. visitEdge(Edge edge)
Visit an Edge connecting two BasicBlocks in the Path being visited.Method parameters in edu.umd.cs.findbugs.ba with type arguments of type Edge Modifier and Type Method Description private Edge
CFG. getEdgeWithType(java.util.Iterator<Edge> iter, int edgeType)
private void
SimplePathEnumerator. work(java.util.LinkedList<Edge> partialPath)
Constructors in edu.umd.cs.findbugs.ba with parameters of type Edge Constructor Description MarkedEdge(Edge edge, int flag)
-
Uses of Edge in edu.umd.cs.findbugs.ba.bcp
Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type Edge Modifier and Type Method Description boolean
IfNull. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean
Invoke. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean
MatchAny. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean
Opcode. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
abstract boolean
PatternElement. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
Return whether or not it is acceptable to take the given branch.boolean
SingleInstruction. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
boolean
Wild. acceptBranch(Edge edge, org.apache.bcel.generic.InstructionHandle source)
PatternMatcher.State
PatternMatcher.State. advanceToSuccessor(Edge edge, MatchResult matchResult)
Return a new State for continuing the overall pattern match in a successor basic block. -
Uses of Edge in edu.umd.cs.findbugs.ba.ca
Methods in edu.umd.cs.findbugs.ba.ca with parameters of type Edge Modifier and Type Method Description void
CallListAnalysis. meetInto(CallList start, Edge edge, CallList result)
-
Uses of Edge in edu.umd.cs.findbugs.ba.constant
Methods in edu.umd.cs.findbugs.ba.constant with parameters of type Edge Modifier and Type Method Description void
ConstantAnalysis. 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 Edge Modifier and Type Method Description private ValueNumber
UnconditionalValueDerefAnalysis. findValueKnownNonnullOnBranch(UnconditionalValueDerefSet fact, Edge edge)
Clear deref sets of values if this edge is the non-null branch of an if comparison.private boolean
UnconditionalValueDerefAnalysis. isExceptionEdge(Edge edge)
Determine whether dataflow should be propagated on given edge.void
UnconditionalValueDerefAnalysis. meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result)
void
UnconditionalValueDerefAnalysis. meetInto(UnconditionalValueDerefSet fact, Edge edge, UnconditionalValueDerefSet result, boolean onlyEdge)
private UnconditionalValueDerefSet
UnconditionalValueDerefAnalysis. propagateDerefSetsToMergeInputValues(UnconditionalValueDerefSet fact, Edge edge)
Find out if any VNs in the source block contribute to unconditionally dereferenced VNs in the target block. -
Uses of Edge in edu.umd.cs.findbugs.ba.heap
Methods in edu.umd.cs.findbugs.ba.heap with parameters of type Edge Modifier and Type Method Description void
FieldSetAnalysis. meetInto(FieldSet fact, Edge edge, FieldSet result)
-
Uses of Edge in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type Edge Modifier and Type Method Description void
BackwardTypeQualifierDataflowAnalysis. edgeTransfer(Edge edge, TypeQualifierValueSet fact)
void
TypeQualifierDataflowAnalysis. edgeTransfer(Edge edge, TypeQualifierValueSet fact)
void
TypeQualifierDataflowAnalysis. 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 Edge Modifier and Type Field Description Edge
RedundantBranch. infeasibleEdge
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type Edge Modifier and Type Method Description void
ReturnPathTypeAnalysis. edgeTransfer(Edge edge, ReturnPathType fact)
IsNullValueFrame
IsNullValueAnalysis. getFactAtMidEdge(Edge edge)
IsNullValueFrame
IsNullValueDataflow. getFactAtMidEdge(Edge edge)
void
IsNullValueAnalysis. meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result)
void
IsNullValueAnalysis. meetInto(IsNullValueFrame fact, Edge edge, IsNullValueFrame result, boolean propagatePhiNodeInformation)
void
ReturnPathTypeAnalysis. meetInto(ReturnPathType fact, Edge edge, ReturnPathType result)
void
RedundantBranch. 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 Modifier and Type Method Description private org.apache.bcel.generic.Type
ObligationAnalysis. acmpNullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)
private Obligation
ObligationAnalysis. comparesObligationTypeToNull(Edge edge)
void
ObligationAnalysis. edgeTransfer(Edge edge, StateSet fact)
private boolean
ObligationAnalysis. isPossibleIfComparison(Edge edge)
void
ObligationAnalysis. meetInto(StateSet fact, Edge edge, StateSet result)
private org.apache.bcel.generic.Type
ObligationAnalysis. nullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)
-
Uses of Edge in edu.umd.cs.findbugs.ba.type
Fields in edu.umd.cs.findbugs.ba.type with type parameters of type Edge Modifier and Type Field Description private java.util.Map<Edge,ExceptionSet>
TypeAnalysis.CachedExceptionSet. edgeExceptionMap
Methods in edu.umd.cs.findbugs.ba.type with parameters of type Edge Modifier and Type Method Description private ExceptionSet
TypeAnalysis. computeEdgeExceptionSet(Edge edge, ExceptionSet thrownExceptionSet)
Based on the set of exceptions that can be thrown from the source basic block, compute the set of exceptions that can propagate along given exception edge.ExceptionSet
TypeAnalysis.CachedExceptionSet. getEdgeExceptionSet(Edge edge)
ExceptionSet
TypeAnalysis. getEdgeExceptionSet(Edge edge)
Get the set of exceptions that can be thrown on given edge.ExceptionSet
TypeDataflow. getEdgeExceptionSet(Edge edge)
private TypeFrame
TypeAnalysis. handleInstanceOfBranch(TypeFrame fact, TypeFrame tmpFact, Edge edge)
void
TypeAnalysis. meetInto(TypeFrame fact, Edge edge, TypeFrame result)
void
TypeAnalysis.CachedExceptionSet. setEdgeExceptionSet(Edge edge, ExceptionSet exceptionSet)
-
Uses of Edge in edu.umd.cs.findbugs.ba.vna
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type Edge Modifier and Type Method Description void
ValueNumberAnalysis. meetInto(ValueNumberFrame fact, Edge edge, ValueNumberFrame result)
-
Uses of Edge in edu.umd.cs.findbugs.classfile.engine.bcel
Fields in edu.umd.cs.findbugs.classfile.engine.bcel with type parameters of type Edge Modifier and Type Field Description (package private) java.util.Map<Edge,ValueRangeAnalysisFactory.Branch>
ValueRangeAnalysisFactory.VariableData. edges
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that return types with arguments of type Edge Modifier and Type Method Description java.util.List<Edge>
FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo. getDuplicates(CFG cfg, Edge edge)
Methods in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type Edge Modifier and Type Method Description void
ValueRangeAnalysisFactory.VariableData. addBranch(Edge edge, ValueRangeAnalysisFactory.Branch branch)
java.util.List<Edge>
FinallyDuplicatesInfoFactory.FinallyDuplicatesInfo. getDuplicates(CFG cfg, Edge edge)
Method parameters in edu.umd.cs.findbugs.classfile.engine.bcel with type arguments of type Edge Modifier and Type Method Description private static void
ValueRangeAnalysisFactory. walkCFG(CFG cfg, ValueRangeAnalysisFactory.LongRangeSet subRange, java.util.Map<Edge,ValueRangeAnalysisFactory.Branch> edges, java.util.BitSet reachedBlocks)
-
Uses of Edge in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect with parameters of type Edge Modifier and Type Method Description private Location
CheckTypeQualifiers. getEdgeSourceLocation(CFG cfg, Edge edge)
private Location
CheckTypeQualifiers. getEdgeTargetLocation(CFG cfg, Edge edge)
boolean
FindUnreleasedLock.LockResourceTracker. ignoreExceptionEdge(Edge edge, Lock resource, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean
StreamResourceTracker. ignoreExceptionEdge(Edge edge, Stream resource, org.apache.bcel.generic.ConstantPoolGen cpg)
void
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor. visitEdge(Edge edge)
-