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.npe | |
edu.umd.cs.findbugs.ba.vna | |
edu.umd.cs.findbugs.detect |
Modifier and Type | Method and Description |
---|---|
void |
ResourceTrackingDetector.analyzeMethod(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ResourceTrackerType resourceTracker,
ResourceCollection<Resource> resourceCollection) |
void |
SelfCalls.execute()
Find the self calls.
|
abstract ResourceTrackerType |
ResourceTrackingDetector.getResourceTracker(ClassContext classContext,
org.apache.bcel.classfile.Method method) |
abstract void |
ByteCodePatternDetector.reportMatch(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ByteCodePatternMatch match)
Called to report an instance of the ByteCodePattern.
|
Modifier and Type | Class and Description |
---|---|
class |
MethodUnprofitableException
Used to signal a method not analyzed because it seemed unprofitable to do so
|
Modifier and Type | Method and Description |
---|---|
void |
CFGBuilder.build()
Build the CFG.
|
void |
BetterCFGBuilder2.build() |
BlockTypeDataflow |
ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method)
Get BlockType dataflow for given method.
|
CallListDataflow |
ClassContext.getCallListDataflow(org.apache.bcel.classfile.Method method)
Get CallListDataflow for method.
|
CFG |
ClassContext.getCFG(org.apache.bcel.classfile.Method method)
Get a CFG for given method.
|
CompactLocationNumbering |
ClassContext.getCompactLocationNumbering(org.apache.bcel.classfile.Method method)
Get a CompactLocationNumbering for a method.
|
ConstantDataflow |
ClassContext.getConstantDataflow(org.apache.bcel.classfile.Method method)
Get ConstantDataflow for method.
|
DepthFirstSearch |
ClassContext.getDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a DepthFirstSearch for given method.
|
IsNullValueDataflow |
ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method)
Get an IsNullValueDataflow for given method.
|
LiveLocalStoreDataflow |
ClassContext.getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method)
Get LiveLocalStoreAnalysis dataflow for given method.
|
LoadDataflow |
ClassContext.getLoadDataflow(org.apache.bcel.classfile.Method method)
Get load dataflow.
|
LockChecker |
ClassContext.getLockChecker(org.apache.bcel.classfile.Method method)
Get LockChecker for method.
|
LockDataflow |
ClassContext.getLockDataflow(org.apache.bcel.classfile.Method method)
Get dataflow for LockAnalysis for given method.
|
DominatorsAnalysis |
ClassContext.getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where exception edges are
ignored.
|
PostDominatorsAnalysis |
ClassContext.getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get PostDominatorsAnalysis for given method, where exception edges are
ignored.
|
PostDominatorsAnalysis |
ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method)
Get DominatorsAnalysis for given method, where implicit exception edges
are ignored.
|
ReturnPathDataflow |
ClassContext.getReturnPathDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathDataflow for method.
|
ReturnPathTypeDataflow |
ClassContext.getReturnPathTypeDataflow(org.apache.bcel.classfile.Method method)
Get ReturnPathTypeDataflow for a method.
|
ReverseDepthFirstSearch |
ClassContext.getReverseDepthFirstSearch(org.apache.bcel.classfile.Method method)
Get a ReverseDepthFirstSearch for given method.
|
StoreDataflow |
ClassContext.getStoreDataflow(org.apache.bcel.classfile.Method method)
Get store dataflow.
|
TypeDataflow |
ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method)
Get a TypeDataflow for given method.
|
UnconditionalValueDerefDataflow |
ClassContext.getUnconditionalValueDerefDataflow(org.apache.bcel.classfile.Method method)
Get the UnconditionalValueDerefDataflow for a method.
|
UsagesRequiringNonNullValues |
ClassContext.getUsagesRequiringNonNullValues(org.apache.bcel.classfile.Method method)
Get a UsagesRequiringNonNullValues for given method.
|
ValueNumberDataflow |
ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method)
Get a ValueNumberDataflow for given method.
|
void |
BetterCFGBuilder2.inline(edu.umd.cs.findbugs.ba.BetterCFGBuilder2.Context context)
Inline a subroutine into a calling context.
|
Constructor and Description |
---|
PatternMatcher(ByteCodePattern pattern,
ClassContext classContext,
org.apache.bcel.classfile.Method method)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
NullDerefAndRedundantComparisonFinder.reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap,
java.util.HashSet<ValueNumber> npeIfStatementCovered,
java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap,
java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap) |
Modifier and Type | Method and Description |
---|---|
static BugAnnotation |
ValueNumberSourceInfo.getFromValueNumber(ClassContext classContext,
org.apache.bcel.classfile.Method method,
Location location,
int stackPos) |
Modifier and Type | Method and Description |
---|---|
void |
FindOpenStream.analyzeMethod(ClassContext classContext,
org.apache.bcel.classfile.Method method,
StreamResourceTracker resourceTracker,
ResourceCollection<Stream> resourceCollection) |
edu.umd.cs.findbugs.detect.FindUnreleasedLock.LockResourceTracker |
FindUnreleasedLock.getResourceTracker(ClassContext classContext,
org.apache.bcel.classfile.Method method) |
void |
LazyInit.reportMatch(ClassContext classContext,
org.apache.bcel.classfile.Method method,
ByteCodePatternMatch match) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.