|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BasicBlock | |
---|---|
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.npe2 | This package is a rewrite of the null-pointer analysis to use sets of value numbers rather than frames. |
edu.umd.cs.findbugs.ba.obl | Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. |
edu.umd.cs.findbugs.ba.type | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Uses of BasicBlock in edu.umd.cs.findbugs |
---|
Methods in edu.umd.cs.findbugs that return BasicBlock | |
---|---|
BasicBlock |
CallSite.getBasicBlock()
Get the basic block where the call site is located. |
Constructors in edu.umd.cs.findbugs with parameters of type BasicBlock | |
---|---|
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 |
---|
Methods in edu.umd.cs.findbugs.ba that return BasicBlock | |
---|---|
BasicBlock |
CFG.allocate()
Allocate a new BasicBlock. |
BasicBlock |
Location.getBasicBlock()
Get the basic block. |
BasicBlock |
CFG.getEntry()
Get the entry node. |
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 |
CFG.getSuccessorWithEdgeType(BasicBlock source,
int edgeType)
Get the first successor reachable from given edge type. |
BasicBlock |
CFG.lookupBlockByLabel(int blockLabel)
Look up a BasicBlock by its unique label. |
Methods in edu.umd.cs.findbugs.ba that return types with arguments of type BasicBlock | |
---|---|
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.util.Iterator<BasicBlock> |
AbstractBlockOrder.blockIterator()
|
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 | |
---|---|
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. |
protected Edge |
CFG.allocateEdge(BasicBlock source,
BasicBlock target)
|
java.lang.String |
CFGPrinter.blockAnnotate(BasicBlock block)
|
java.lang.String |
DataflowCFGPrinter.blockAnnotate(BasicBlock bb)
|
java.lang.String |
CFGPrinter.blockStartAnnotate(BasicBlock block)
|
java.lang.String |
DataflowCFGPrinter.blockStartAnnotate(BasicBlock bb)
|
Edge |
CFG.createEdge(BasicBlock source,
BasicBlock dest,
int type)
Add a unique edge to the graph. |
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. |
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 |
DataflowAnalysis.getResultFact(BasicBlock block)
Get the result fact for given basic block. |
Fact |
Dataflow.getResultFact(BasicBlock block)
Get dataflow facts for end of given block. |
Fact |
BasicAbstractDataflowAnalysis.getStartFact(BasicBlock block)
|
Fact |
DataflowAnalysis.getStartFact(BasicBlock block)
Get the start fact for given basic block. |
Fact |
Dataflow.getStartFact(BasicBlock block)
Get dataflow facts for start of given block. |
BasicBlock |
CFG.getSuccessorWithEdgeType(BasicBlock source,
int edgeType)
Get the first successor reachable from given edge type. |
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 |
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 |
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 |
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 |
AbstractDataflowAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
Fact start,
Fact result)
|
void |
DataflowAnalysis.transfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
Fact start,
Fact result)
Transfer function for the analysis. |
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 |
LiveLocalStoreAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
java.util.BitSet fact)
|
abstract void |
AbstractDataflowAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
Fact fact)
Transfer function for a single instruction. |
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)
|
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. |
Constructors in edu.umd.cs.findbugs.ba with parameters of type BasicBlock | |
---|---|
Edge(BasicBlock source,
BasicBlock dest)
Constructor. |
|
Location(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock)
Constructor. |
Constructor parameters in edu.umd.cs.findbugs.ba with type arguments of type BasicBlock | |
---|---|
AbstractBlockOrder(CFG cfg,
java.util.Comparator<BasicBlock> comparator)
|
Uses of BasicBlock in edu.umd.cs.findbugs.ba.bcp |
---|
Methods in edu.umd.cs.findbugs.ba.bcp that return BasicBlock | |
---|---|
BasicBlock |
PatternElementMatch.getBasicBlock()
Get the basic block containing the matched instruction. |
Constructors in edu.umd.cs.findbugs.ba.bcp with parameters of type BasicBlock | |
---|---|
PatternElementMatch(PatternElement patternElement,
org.apache.bcel.generic.InstructionHandle matchedInstruction,
BasicBlock basicBlock,
int matchCount,
PatternElementMatch prev)
Constructor. |
Uses of BasicBlock in edu.umd.cs.findbugs.ba.ca |
---|
Methods in edu.umd.cs.findbugs.ba.ca with parameters of type BasicBlock | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
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 | |
---|---|
void |
IsNullValueAnalysis.endTransfer(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle end,
IsNullValueFrame result)
|
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.npe2 |
---|
Methods in edu.umd.cs.findbugs.ba.npe2 with parameters of type BasicBlock | |
---|---|
void |
DefinitelyNullSetAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
DefinitelyNullSet fact)
|
Uses of BasicBlock in edu.umd.cs.findbugs.ba.obl |
---|
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type BasicBlock | |
---|---|
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 |
---|
Methods in edu.umd.cs.findbugs.ba.type with parameters of type BasicBlock | |
---|---|
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 |
---|
Methods in edu.umd.cs.findbugs.ba.vna with parameters of type BasicBlock | |
---|---|
void |
ValueNumberAnalysis.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock,
ValueNumberFrame fact)
|
Uses of BasicBlock in edu.umd.cs.findbugs.detect |
---|
Methods in edu.umd.cs.findbugs.detect with parameters of type BasicBlock | |
---|---|
boolean |
StreamResourceTracker.isResourceClose(BasicBlock basicBlock,
org.apache.bcel.generic.InstructionHandle handle,
org.apache.bcel.generic.ConstantPoolGen cpg,
Stream resource,
ResourceValueFrame frame)
|
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 |
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 |
StreamFrameModelingVisitor.transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
BasicBlock basicBlock)
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |