Package | Description |
---|---|
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.ca | |
edu.umd.cs.findbugs.ba.jsr305 |
Support for analyzing code containing JSR-305 type qualifier annotations.
|
edu.umd.cs.findbugs.ba.npe |
Modifier and Type | Class and Description |
---|---|
class |
AbstractBlockOrder
Abstract base class for BlockOrder variants.
|
class |
ReverseDFSOrder
A BlockOrder for visiting the blocks of a CFG in the order they would be
visited in a depth first search of the reversed CFG.
|
class |
ReversePostOrder
A BlockOrder for visiting the blocks of a CFG in the reverse of the order in
which they are finished in a depth first search.
|
Modifier and Type | Method and Description |
---|---|
BlockOrder |
PostDominatorsAnalysis.getBlockOrder(CFG cfg) |
BlockOrder |
ForwardDataflowAnalysis.getBlockOrder(CFG cfg) |
BlockOrder |
DominatorsAnalysis.getBlockOrder(CFG cfg) |
BlockOrder |
DataflowAnalysis.getBlockOrder(CFG cfg)
Return the BlockOrder specifying the order in which BasicBlocks should be
visited in the main dataflow loop.
|
BlockOrder |
BlockTypeAnalysis.getBlockOrder(CFG cfg) |
BlockOrder |
BackwardDataflowAnalysis.getBlockOrder(CFG cfg) |
Modifier and Type | Method and Description |
---|---|
BlockOrder |
CallListAnalysis.getBlockOrder(CFG cfg) |
Modifier and Type | Method and Description |
---|---|
BlockOrder |
ForwardTypeQualifierDataflowAnalysis.getBlockOrder(CFG cfg1) |
BlockOrder |
BackwardTypeQualifierDataflowAnalysis.getBlockOrder(CFG cfg1) |
Modifier and Type | Method and Description |
---|---|
BlockOrder |
ReturnPathTypeAnalysis.getBlockOrder(CFG cfg) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.