Package edu.umd.cs.findbugs.detect
Class BuildUnconditionalParamDerefDatabase
java.lang.Object
edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase
- All Implemented Interfaces:
Detector
,Priorities
- Direct Known Subclasses:
NoteUnconditionalParamDerefs
,TrainUnconditionalDerefParams
Build database of unconditionally dereferenced parameters.
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate static final boolean
final TypeQualifierValue
<javax.annotation.Nonnull> static final boolean
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
considerMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) boolean
isCaught
(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN) protected abstract void
reportBug
(BugInstance bug) void
visitClassContext
(ClassContext classContext) Visit the ClassContext for a class which should be analyzed for instances of bug patterns.
-
Field Details
-
VERBOSE_DEBUG
public static final boolean VERBOSE_DEBUG -
DEBUG
private static final boolean DEBUG -
nonnullTypeQualifierValue
-
-
Constructor Details
-
BuildUnconditionalParamDerefDatabase
public BuildUnconditionalParamDerefDatabase()
-
-
Method Details
-
reportBug
-
visitClassContext
Description copied from interface:Detector
Visit the ClassContext for a class which should be analyzed for instances of bug patterns.- Specified by:
visitClassContext
in interfaceDetector
- Parameters:
classContext
- the ClassContext
-
considerMethod
-
analyzeMethod
-
isCaught
public boolean isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)
-