Uses of Class
edu.umd.cs.findbugs.ba.BasicBlock
-
Packages that use BasicBlock 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 BasicBlock in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that return BasicBlock Modifier and Type Method Description BasicBlock
CallSite. getBasicBlock()
Get the basic block where the call site is located.Constructors in edu.umd.cs.findbugs with parameters of type BasicBlock Constructor Description CallSite(org.apache.bcel.classfile.Method method, BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle)
Constructor. -
Uses of BasicBlock in edu.umd.cs.findbugs.ba
Fields in edu.umd.cs.findbugs.ba declared as BasicBlock Modifier and Type Field Description private BasicBlock
BetterCFGBuilder2.WorkListItem. basicBlock
private BasicBlock
Location. basicBlock
private BasicBlock
CFG.LocationIterator. curBlock
private BasicBlock
CFG. entry
private BasicBlock
CFG. exit
private BasicBlock
DepthFirstSearch. firstRoot
private BasicBlock
ReverseDepthFirstSearch. firstRoot
Fields in edu.umd.cs.findbugs.ba with type parameters of type BasicBlock Modifier and Type Field Description private java.util.Iterator<BasicBlock>
CFG.LocationIterator. blockIter
private java.util.ArrayList<BasicBlock>
AbstractBlockOrder. blockList
private java.util.IdentityHashMap<BasicBlock,BasicBlock>
BetterCFGBuilder2.Context. blockMap
private java.util.IdentityHashMap<BasicBlock,BasicBlock>
BetterCFGBuilder2.Context. blockMap
private java.util.IdentityHashMap<org.apache.bcel.generic.InstructionHandle,BasicBlock>
BetterCFGBuilder2.Subroutine. blockMap
private java.util.Comparator<BasicBlock>
AbstractBlockOrder. comparator
private java.util.IdentityHashMap<BasicBlock,java.util.List<BetterCFGBuilder2.EscapeTarget>>
BetterCFGBuilder2.Subroutine. escapeTargetListMap
private java.util.IdentityHashMap<BasicBlock,Fact>
BasicAbstractDataflowAnalysis. resultFactMap
private java.util.IdentityHashMap<BasicBlock,Fact>
BasicAbstractDataflowAnalysis. startFactMap
private java.util.LinkedList<BasicBlock>
BetterCFGBuilder2.Context. workList
Methods in edu.umd.cs.findbugs.ba that return BasicBlock Modifier and Type Method Description BasicBlock
CFG. allocate()
Allocate a new BasicBlock.BasicBlock
BetterCFGBuilder2.Subroutine. allocateBasicBlock()
Allocate a new basic block in the subroutine.private BasicBlock
BasicBlock.InstructionIterator. getBasicBlock()
BasicBlock
BetterCFGBuilder2.WorkListItem. getBasicBlock()
Get the basic block.BasicBlock
Location. getBasicBlock()
Get the basic block.BasicBlock
BetterCFGBuilder2.Context. getBlock(BasicBlock subBlock)
Get the block in the result CFG corresponding to the given subroutine block.BasicBlock
BetterCFGBuilder2.Subroutine. getBlock(org.apache.bcel.generic.InstructionHandle start)
Get the basic block in the subroutine for the given instruction.BasicBlock
BetterCFGBuilder2.Subroutine. getEntry()
Get the entry block for the subroutine's CFG.BasicBlock
CFG. getEntry()
Get the entry node.BasicBlock
BetterCFGBuilder2.Subroutine. getExit()
Get the exit block for the subroutine's CFG.BasicBlock
CFG. getExit()
Get the exit node.protected BasicBlock
DepthFirstSearch. getNextSearchTreeRoot()
protected BasicBlock
ReverseDepthFirstSearch. getNextSearchTreeRoot()
BasicBlock
CFG. getPredecessorWithEdgeType(BasicBlock target, int edgeType)
Get the first predecessor reachable from given edge type.BasicBlock
BetterCFGBuilder2.Subroutine. getStartBlock()
Get the start block for the subroutine's CFG.BasicBlock
CFG. getSuccessorWithEdgeType(BasicBlock source, int edgeType)
Get the first successor reachable from given edge type.private BasicBlock
Dataflow. logicalEntryBlock()
Get the "logical" entry block of the CFG.BasicBlock
CFG. lookupBlockByLabel(int blockLabel)
Look up a BasicBlock by its unique label.BasicBlock
BetterCFGBuilder2.Context. nextItem()
Get the next work list item (basic block to be inlined).Methods in edu.umd.cs.findbugs.ba that return types with arguments of type BasicBlock Modifier and Type Method Description java.util.Iterator<BasicBlock>
AbstractBlockOrder. blockIterator()
java.util.Iterator<BasicBlock>
BlockOrder. blockIterator()
Return an Iterator which visits the basic blocks in order.java.util.Iterator<BasicBlock>
CFG. blockIterator()
Get an Iterator over the nodes (BasicBlocks) of the control flow graph.java.lang.Iterable<BasicBlock>
CFG. blocks()
java.util.Collection<BasicBlock>
CFG. getBlocks(java.util.BitSet labelSet)
Get Collection of basic blocks whose IDs are specified by given BitSet.java.util.Collection<BasicBlock>
CFG. getBlocksContainingInstructionWithOffset(int offset)
Get a Collection of basic blocks which contain the bytecode instruction with given offset.Methods in edu.umd.cs.findbugs.ba with parameters of type BasicBlock Modifier and Type Method Description void
Path. acceptVisitorStartingFromLocation(CFG cfg, PathVisitor visitor, BasicBlock startBlock, org.apache.bcel.generic.InstructionHandle startHandle)
Accept a PathVisitor, starting from a given BasicBlock and InstructionHandle.void
BetterCFGBuilder2.Subroutine. addEdge(BasicBlock sourceBlock, BasicBlock destBlock, int edgeType)
Add an edge to the subroutine's CFG.void
BetterCFGBuilder2.Subroutine. addEdgeAndExplore(BasicBlock sourceBlock, org.apache.bcel.generic.InstructionHandle target, int edgeType)
Add a control flow edge to the subroutine.protected Edge
CFG. allocateEdge(BasicBlock source, BasicBlock target)
java.lang.String
CFGPrinter. blockAnnotate(BasicBlock block)
java.lang.String
DataflowCFGPrinter. blockAnnotate(BasicBlock bb)
private static java.lang.String
Dataflow. blockId(BasicBlock bb)
java.lang.String
CFGPrinter. blockStartAnnotate(BasicBlock block)
java.lang.String
DataflowCFGPrinter. blockStartAnnotate(BasicBlock bb)
int
AbstractBlockOrder. compare(BasicBlock b1, BasicBlock b2)
int
BlockOrder. compare(BasicBlock b1, BasicBlock b2)
Return relative order of blocks.int
Dataflow.BackwardProgramOrder. compare(BasicBlock o1, BasicBlock o2)
int
Dataflow.ForwardProgramOrder. compare(BasicBlock o1, BasicBlock o2)
int
ReverseDFSOrder.ReverseDFSComparator. compare(BasicBlock a, BasicBlock b)
int
ReversePostOrder.ReversePostfixComparator. compare(BasicBlock aa, BasicBlock bb)
Edge
CFG. createEdge(BasicBlock source, BasicBlock dest, int type)
Add a unique edge to the graph.private static void
Dataflow. debug(BasicBlock bb, BasicBlock pred, Edge edge, java.lang.String msg)
private static void
Dataflow. debug(BasicBlock bb, java.lang.String msg)
java.util.Iterator<BetterCFGBuilder2.EscapeTarget>
BetterCFGBuilder2.Subroutine. escapeTargetIterator(BasicBlock sourceBlock)
Get an Iterator over the EscapeTargets of given basic block.java.util.BitSet
AbstractDominatorsAnalysis. getAllDominatedBy(BasicBlock dominator)
Get a bitset containing the unique IDs of all blocks in CFG dominated (or postdominated, depending on how the analysis was done) by given block.java.util.BitSet
AbstractDominatorsAnalysis. getAllDominatorsOf(BasicBlock block)
Get a bitset containing the unique IDs of all blocks which dominate (or postdominate) the given block.BasicBlock
BetterCFGBuilder2.Context. getBlock(BasicBlock subBlock)
Get the block in the result CFG corresponding to the given subroutine block.static Location
Location. getFirstLocation(BasicBlock basicBlock)
Edge
CFG. getIncomingEdgeWithType(BasicBlock basicBlock, int edgeType)
Get the first incoming edge in basic block with given type.static Location
Location. getLastLocation(BasicBlock basicBlock)
int
CFG. getNumNonExceptionSucessors(BasicBlock block)
Get number of non-exception control successors of given basic block.Edge
CFG. getOutgoingEdgeWithType(BasicBlock basicBlock, int edgeType)
Get the first outgoing edge in basic block with given type.BasicBlock
CFG. getPredecessorWithEdgeType(BasicBlock target, int edgeType)
Get the first predecessor reachable from given edge type.Fact
BasicAbstractDataflowAnalysis. getResultFact(BasicBlock block)
Fact
Dataflow. getResultFact(BasicBlock block)
Get dataflow facts for end of given block.Fact
DataflowAnalysis. getResultFact(BasicBlock block)
Get the result fact for given basic block.Fact
BasicAbstractDataflowAnalysis. getStartFact(BasicBlock block)
Fact
Dataflow. getStartFact(BasicBlock block)
Get dataflow facts for start of given block.Fact
DataflowAnalysis. getStartFact(BasicBlock block)
Get the start fact for given basic block.BasicBlock
CFG. getSuccessorWithEdgeType(BasicBlock source, int edgeType)
Get the first successor reachable from given edge type.private void
BetterCFGBuilder2. handleExceptions(BetterCFGBuilder2.Subroutine subroutine, org.apache.bcel.generic.InstructionHandle pei, BasicBlock etb)
Add exception edges for given instruction.java.lang.String
CFGPrinter. instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
java.lang.String
DataflowCFGPrinter. instructionAnnotate(org.apache.bcel.generic.InstructionHandle handle, BasicBlock bb)
protected java.util.Iterator<org.apache.bcel.generic.InstructionHandle>
CFGPrinter. instructionIterator(BasicBlock bb)
boolean
BetterCFGBuilder2.Subroutine. isExitBlock(BasicBlock block)
Is System.exit() called at the end of this block?boolean
ResourceTracker. isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Resource resource, ResourceValueFrame frame)
Determine if the given instruction is the site where a resource is closed.Resource
ResourceTracker. isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
Determine if the given instruction is the site where a resource is created.boolean
BetterCFGBuilder2.Subroutine. isReturnBlock(BasicBlock block)
Does the method return at the end of this block?boolean
BetterCFGBuilder2.Subroutine. isUnhandledExceptionBlock(BasicBlock block)
Does this block throw an unhandled exception?private java.util.Iterator<Edge>
Dataflow. logicalPredecessorEdgeIterator(BasicBlock block)
Return an Iterator over edges that connect given block to its logical predecessors.private Fact
BasicAbstractDataflowAnalysis. lookupOrCreateFact(java.util.Map<BasicBlock,Fact> map, BasicBlock block)
void
BetterCFGBuilder2.Context. mapBlock(BasicBlock subBlock, BasicBlock resultBlock)
Map a basic block in a subroutine to the corresponding block in the resulting CFG.boolean
ResourceTracker. mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
Determine if the given instruction is the site where a resource is closed.void
BetterCFGBuilder2.Subroutine. setExitBlock(BasicBlock block)
Indicate that System.exit() is called at the end of the given block.void
BetterCFGBuilder2.Subroutine. setReturnBlock(BasicBlock block)
Indicate that the method returns at the end of the given block.void
BetterCFGBuilder2.Subroutine. setUnhandledExceptionBlock(BasicBlock block)
Indicate that an unhandled exception may be thrown by the given block.void
AbstractDataflowAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)
void
AbstractDominatorsAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, java.util.BitSet start, java.util.BitSet result)
void
BlockTypeAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, BlockType start, BlockType result)
void
DataflowAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, Fact start, Fact result)
Transfer function for the analysis.abstract void
AbstractDataflowAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, Fact fact)
Transfer function for a single instruction.void
LiveLocalStoreAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, java.util.BitSet fact)
void
LockAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, LockSet fact)
void
ResourceValueAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact)
abstract void
ResourceValueFrameModelingVisitor. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
Subclasses must override this to model the effect of the given instruction on the current frame.void
ReturnPathAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ReturnPath fact)
void
StackDepthAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StackDepth fact)
void
PathVisitor. visitBasicBlock(BasicBlock basicBlock)
Start to visit the given BasicBlock.Method parameters in edu.umd.cs.findbugs.ba with type arguments of type BasicBlock Modifier and Type Method Description private Fact
BasicAbstractDataflowAnalysis. lookupOrCreateFact(java.util.Map<BasicBlock,Fact> map, BasicBlock block)
Constructors in edu.umd.cs.findbugs.ba with parameters of type BasicBlock Constructor Description Edge(BasicBlock source, BasicBlock dest)
Constructor.Location(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
Constructor.WorkListItem(org.apache.bcel.generic.InstructionHandle start, BasicBlock basicBlock)
Constructor.Constructor parameters in edu.umd.cs.findbugs.ba with type arguments of type BasicBlock Constructor Description AbstractBlockOrder(CFG cfg, java.util.Comparator<BasicBlock> comparator)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.bcp
Fields in edu.umd.cs.findbugs.ba.bcp declared as BasicBlock Modifier and Type Field Description private BasicBlock
PatternElementMatch. basicBlock
private BasicBlock
PatternMatcher.State. basicBlock
Fields in edu.umd.cs.findbugs.ba.bcp with type parameters of type BasicBlock Modifier and Type Field Description private java.util.IdentityHashMap<BasicBlock,BasicBlock>
PatternMatcher. visitedBlockMap
private java.util.IdentityHashMap<BasicBlock,BasicBlock>
PatternMatcher. visitedBlockMap
private java.util.LinkedList<BasicBlock>
PatternMatcher. workList
Methods in edu.umd.cs.findbugs.ba.bcp that return BasicBlock Modifier and Type Method Description BasicBlock
PatternElementMatch. getBasicBlock()
Get the basic block containing the matched instruction.BasicBlock
PatternMatcher.State. getBasicBlock()
Get basic block.Methods in edu.umd.cs.findbugs.ba.bcp with parameters of type BasicBlock Modifier and Type Method Description private void
PatternMatcher. attemptMatch(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator)
Attempt to begin a match.Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type BasicBlock Constructor Description PatternElementMatch(PatternElement patternElement, org.apache.bcel.generic.InstructionHandle matchedInstruction, BasicBlock basicBlock, int matchCount, PatternElementMatch prev)
Constructor.State(BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator, PatternElement patternElement)
Constructor.State(PatternMatcher.State parent, BasicBlock basicBlock, BasicBlock.InstructionIterator instructionIterator, PatternElement patternElement, int matchCount, PatternElementMatch currentMatch, BindingSet bindingSet, boolean canFork)
Constructor. -
Uses of BasicBlock in edu.umd.cs.findbugs.ba.ca
Methods in edu.umd.cs.findbugs.ba.ca with parameters of type BasicBlock Modifier and Type Method Description void
CallListAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, CallList fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.constant
Methods in edu.umd.cs.findbugs.ba.constant with parameters of type BasicBlock Modifier and Type Method Description void
ConstantAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ConstantFrame frame)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type BasicBlock Modifier and Type Method Description void
UnconditionalValueDerefAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, UnconditionalValueDerefSet fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.heap
Methods in edu.umd.cs.findbugs.ba.heap with parameters of type BasicBlock Modifier and Type Method Description private void
FieldSetAnalysis. handleInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)
void
FieldSetAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, FieldSet fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.jsr305
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type BasicBlock Modifier and Type Method Description void
BackwardTypeQualifierDataflowAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact)
void
TypeQualifierDataflowAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type BasicBlock Modifier and Type Method Description private void
NullDerefAndRedundantComparisonFinder. analyzeIfNullBranch(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle)
This is called for both IFNULL and IFNONNULL instructions.private void
NullDerefAndRedundantComparisonFinder. analyzeNullCheck(IsNullValueDataflow invDataflow, BasicBlock basicBlock)
private void
NullDerefAndRedundantComparisonFinder. analyzeRefComparisonBranch(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle lastHandle)
void
IsNullValueAnalysis. endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame result)
private IsNullConditionDecision
IsNullValueAnalysis. getDecision(BasicBlock basicBlock, IsNullValueFrame lastFrame)
Determine if the given basic block ends in a redundant null comparison.void
IsNullValueAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, IsNullValueFrame start, IsNullValueFrame result)
void
ReturnPathTypeAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ReturnPathType start, ReturnPathType result)
void
IsNullValueAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, IsNullValueFrame fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.obl
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type BasicBlock 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)
boolean
InstructionActionCache. addsObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
boolean
InstructionActionCache. deletesObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
private void
ObligationAnalysis. endTransfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet result)
java.util.Collection<ObligationPolicyDatabaseAction>
InstructionActionCache. getActions(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle)
private boolean
InstructionActionCache. hasAction(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation, ObligationPolicyDatabaseActionType actionType)
private org.apache.bcel.generic.Type
ObligationAnalysis. nullCheck(short opcode, Edge edge, org.apache.bcel.generic.InstructionHandle last, BasicBlock sourceBlock)
void
ObligationAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, StateSet start, StateSet result)
void
ObligationAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, StateSet fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.type
Fields in edu.umd.cs.findbugs.ba.type with type parameters of type BasicBlock Modifier and Type Field Description private java.util.Map<BasicBlock,TypeAnalysis.InstanceOfCheck>
TypeAnalysis. instanceOfCheckMap
private java.util.Map<BasicBlock,TypeAnalysis.CachedExceptionSet>
TypeAnalysis. thrownExceptionSetMap
Methods in edu.umd.cs.findbugs.ba.type with parameters of type BasicBlock Modifier and Type Method Description private TypeAnalysis.CachedExceptionSet
TypeAnalysis. computeBlockExceptionSet(BasicBlock basicBlock, TypeFrame result)
Compute the set of exceptions that can be thrown from the given basic block.private ExceptionSet
TypeAnalysis. computeThrownExceptionTypes(BasicBlock basicBlock)
Compute the set of exception types that can be thrown by given basic block.private void
TypeAnalysis. computeThrownExceptionTypes(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame result)
private TypeAnalysis.CachedExceptionSet
TypeAnalysis. getCachedExceptionSet(BasicBlock basicBlock)
Get the cached set of exceptions that can be thrown from given basic block.void
TypeAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, TypeFrame start, TypeFrame result)
void
TypeAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeFrame fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.ba.vna
Fields in edu.umd.cs.findbugs.ba.vna with type parameters of type BasicBlock Modifier and Type Field Description private java.util.IdentityHashMap<BasicBlock,ValueNumber>
ValueNumberAnalysis. exceptionHandlerValueNumberMap
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type BasicBlock Modifier and Type Method Description private ValueNumber
ValueNumberAnalysis. getExceptionValueNumber(BasicBlock handlerBlock)
Mark value numbers in a value number frame for compaction.void
ValueNumberAnalysis. transfer(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle end, ValueNumberFrame start, ValueNumberFrame result)
void
ValueNumberAnalysis. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ValueNumberFrame fact)
-
Uses of BasicBlock in edu.umd.cs.findbugs.classfile.engine.bcel
Fields in edu.umd.cs.findbugs.classfile.engine.bcel declared as BasicBlock Modifier and Type Field Description private BasicBlock
ValueRangeAnalysisFactory.BackIterator. block
Methods in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type BasicBlock Modifier and Type Method Description private static Location
ValueRangeAnalysisFactory. getLocation(BasicBlock block)
Constructors in edu.umd.cs.findbugs.classfile.engine.bcel with parameters of type BasicBlock Constructor Description BackIterator(CFG cfg, BasicBlock block)
-
Uses of BasicBlock in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as BasicBlock Modifier and Type Field Description (package private) BasicBlock
FindUselessObjects.ExceptionLocation. b
(package private) BasicBlock
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor. curBlock
Methods in edu.umd.cs.findbugs.detect with parameters of type BasicBlock Modifier and Type Method Description private void
DuplicateBranches. findIfElseDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
private void
DuplicateBranches. findSwitchDuplicates(CFG cfg, org.apache.bcel.classfile.Method method, BasicBlock bb)
private org.apache.bcel.generic.InstructionHandle
DuplicateBranches. findThenFinish(CFG cfg, BasicBlock thenBB, int elsePos)
private static org.apache.bcel.generic.InstructionHandle
DuplicateBranches. getDeepFirstInstruction(CFG cfg, BasicBlock bb)
Like bb.getFirstInstruction() except that if null is returned it will follow the FALL_THROUGH_EDGE (if any)boolean
FindUnreleasedLock.LockResourceTracker. isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Lock resource, ResourceValueFrame frame)
boolean
StreamResourceTracker. isResourceClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
Lock
FindUnreleasedLock.LockResourceTracker. isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
Stream
StreamResourceTracker. isResourceCreation(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean
StreamResourceTracker. isResourceOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, Stream resource, ResourceValueFrame frame)
boolean
Stream. isStreamClose(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame, RepositoryLookupFailureCallback lookupFailureCallback)
boolean
Stream. isStreamOpen(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg, ResourceValueFrame frame)
static boolean
FindNullDeref. isThrower(BasicBlock target)
static boolean
NoiseNullDeref. isThrower(BasicBlock target)
boolean
FindUnreleasedLock.LockResourceTracker. mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
boolean
StreamResourceTracker. mightCloseResource(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
static boolean
Stream. mightCloseStream(BasicBlock basicBlock, org.apache.bcel.generic.InstructionHandle handle, org.apache.bcel.generic.ConstantPoolGen cpg)
void
FindUnreleasedLock.LockFrameModelingVisitor. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
void
StreamFrameModelingVisitor. transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock)
void
FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor. visitBasicBlock(BasicBlock basicBlock)
Constructors in edu.umd.cs.findbugs.detect with parameters of type BasicBlock Constructor Description ExceptionLocation(TypeAnalysis ta, ValueNumberAnalysis vna, BasicBlock block)
-