FindBugs™ 1.3.9

Uses of Class
edu.umd.cs.findbugs.ba.BasicBlock

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.