Uses of Class
edu.umd.cs.findbugs.classfile.CheckedAnalysisException
Packages that use CheckedAnalysisException
Package
Description
Main package for the FindBugs application - contains the engine class
(
FindBugs
), the object model classes for bug
instances (BugInstance
,
BugAnnotation
), and other miscellany.A bytecode analysis framework for BCEL, providing CFG construction, generic
dataflow analysis, and a variety of specific dataflow analyses.
Support for analyzing code containing JSR-305 type qualifier annotations.
Implementation of dataflow analysis for checking whether obligations to close streams and other resources
(e.g., database objects) are satisfied.
A high-level abstraction layer for codebases, classes, and components of
classes (methods, fields, instructions, etc.).
Analysis engine classes to produce the analyses defined
in the edu.umd.cs.findbugs.classfile.analysis package.
Support for analyses based on the ASM bytecode framework.
Support for analyses based on the BCEL bytecode framework.
Implementations of the interfaces in the edu.umd.cs.findbugs.classfile
package: the core classes of the FindBugs classfile/classpath support
layer.
-
Uses of CheckedAnalysisException in edu.umd.cs.findbugs
Methods in edu.umd.cs.findbugs that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionOpcodeStack.JumpInfoFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) private IClassPath
DiscoverSourceDirectories.buildClassPath
(IClassPathBuilder builder, IClassFactory factory) private void
FindBugs2.buildClassPath()
Build the classpath from project codebases and system codebases.void
DiscoverSourceDirectories.execute()
Execute the search for source directories.private String
DiscoverSourceDirectories.findFullyQualifiedSourceFileName
(IClassPath classPath, ClassDescriptor classDesc) static XClass
Lookup.findImplementor
(XClass clazz, String name, String signature, boolean isStatic) static XClass
Lookup.findSuperImplementor
(XClass clazz, String name, String signature, boolean isStatic) static XClass
Lookup.getXClass
(ClassDescriptor c) static XClass
static void
Just for testing.void
Detector2.visitClass
(ClassDescriptor classDescriptor) Visit a class.void
DetectorToDetector2Adapter.visitClass
(ClassDescriptor classDescriptor) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.asm
Methods in edu.umd.cs.findbugs.asm that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionvoid
ClassNodeDetector.visitClass
(ClassDescriptor classDescriptor) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.ba
Subclasses of CheckedAnalysisException in edu.umd.cs.findbugs.baModifier and TypeClassDescriptionclass
class
Exception type to indicate a dataflow analysis failure.class
Used to signal a method not analyzed because it seemed unprofitable to do soclass
DataflowAnalysisException variant to report a class lookup failure that caused dataflow analysis to abort.Methods in edu.umd.cs.findbugs.ba that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionvoid
LockChecker.execute()
Execute dataflow analyses (only if required).private <Analysis> Analysis
ClassContext.getClassAnalysis
(Class<Analysis> analysisClass) (package private) static XMethod
IncompatibleTypes.getInvokedMethod
(XClass xClass, String name, String sig, boolean isStatic) static IncompatibleTypes
IncompatibleTypes.getPriorityForAssumingCompatible
(boolean pointerEquality, ClassDescriptor lhsDescriptor, ClassDescriptor rhsDescriptor) (package private) static XClass
Hierarchy2.getXClass
(ClassDescriptor c) (package private) static XClass
(package private) static XClass
Hierarchy2.getXClassFromDottedClassName
(String c) private boolean
XFactory.isCalledDirectlyOrIndirectly
(ClassDescriptor clazzDescriptor, XMethod m) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as CheckedAnalysisExceptionModifier and TypeFieldDescription(package private) CheckedAnalysisException
TypeQualifierDataflowFactory.DataflowResult.checkedException
Methods in edu.umd.cs.findbugs.ba.jsr305 that throw CheckedAnalysisExceptionModifier and TypeMethodDescription(package private) DataflowType
TypeQualifierDataflowFactory.DataflowResult.get()
protected BackwardTypeQualifierDataflow
BackwardTypeQualifierDataflowFactory.getDataflow
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue) protected abstract DataflowType
TypeQualifierDataflowFactory.getDataflow
(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue) TypeQualifierDataflowFactory.getDataflow
(TypeQualifierValue<?> typeQualifierValue) static Collection
<TypeQualifierValue<?>> Analysis.getRelevantTypeQualifiers
(MethodDescriptor methodDescriptor, CFG cfg) Find relevant type qualifiers needing to be checked for a given method.(package private) static byte[]
TypeQualifierValue.loadClassData
(String name) protected void
BackwardTypeQualifierDataflowFactory.populateDatabase
(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) protected void
ForwardTypeQualifierDataflowFactory.populateDatabase
(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) protected abstract void
TypeQualifierDataflowFactory.populateDatabase
(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.ba.obl
Subclasses of CheckedAnalysisException in edu.umd.cs.findbugs.ba.oblModifier and TypeClassDescriptionclass
Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop. -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.bcel
Methods in edu.umd.cs.findbugs.bcel that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionvoid
CFGDetector.visitClass
(ClassDescriptor classDescriptor) protected abstract void
CFGDetector.visitMethodCFG
(MethodDescriptor methodDescriptor, CFG cfg) Visit the CFG (control flow graph) of a method to be analyzed. -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.classfile
Subclasses of CheckedAnalysisException in edu.umd.cs.findbugs.classfileModifier and TypeClassDescriptionclass
Exception to indicate that the class name defined in a class file does not match its expected class name (as indicated by its resource name).class
class
CheckedAnalysisException subtype to indicate that a required class was missing.class
Exception to indicate that a resource was not found.Methods in edu.umd.cs.findbugs.classfile that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionIAnalysisEngine.analyze
(IAnalysisCache analysisCache, DescriptorType descriptor) Perform an analysis on class or method named by given descriptor.void
IClassPathBuilder.build
(IClassPath classPath, IClassPathBuilderProgress progress) Build the classpath.IDatabaseFactory.createDatabase()
ReflectionDatabaseFactory.createDatabase()
private E
ReflectionDatabaseFactory.createUsingConstructor()
Try to create the database using a no-arg constructor.private E
ReflectionDatabaseFactory.createUsingStaticCreateMethod()
Try to create the database using a static create() method.<E> E
IAnalysisCache.getClassAnalysis
(Class<E> analysisClass, ClassDescriptor classDescriptor) Get an analysis of the given class.<E> E
IAnalysisCache.getMethodAnalysis
(Class<E> analysisClass, MethodDescriptor methodDescriptor) Get an analysis of the given method.ClassDescriptor.getXClass()
Constructors in edu.umd.cs.findbugs.classfile with parameters of type CheckedAnalysisException -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.classfile.engine
Methods in edu.umd.cs.findbugs.classfile.engine that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionClassDataAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) ClassInfoAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) ClassNameAndSuperclassInfoAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.classfile.engine.asm
Methods in edu.umd.cs.findbugs.classfile.engine.asm that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionorg.objectweb.asm.tree.ClassNode
ClassNodeAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) ClassReaderAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.classfile.engine.bcel
Methods in edu.umd.cs.findbugs.classfile.engine.bcel that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionAssertionMethodsFactory.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) AssignedFieldMapFactory.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) BackwardTypeQualifierDataflowFactoryFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) BlockTypeAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) CallListDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) CFGFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ClassContextClassAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) CompactLocationNumberingFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ConstantDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) org.apache.bcel.generic.ConstantPoolGen
ConstantPoolGenFactory.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) DepthFirstSearchFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ExceptionSetFactoryFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) FinallyDuplicatesInfoFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ForwardTypeQualifierDataflowFactoryFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) IsNullValueDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) org.apache.bcel.classfile.JavaClass
JavaClassAnalysisEngine.analyze
(IAnalysisCache analysisCache, ClassDescriptor descriptor) LiveLocalStoreDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) LoadDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) LoadedFieldSetFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) LockCheckerFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) LockDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) MethodBytecodeSetFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) org.apache.bcel.classfile.Method
MethodFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) org.apache.bcel.generic.MethodGen
MethodGenFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) NonExceptionDominatorsAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) NonExceptionPostDominatorsAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) NonImplicitExceptionDominatorsAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) NonImplicitExceptionPostDominatorsAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ObligationDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) String[]
ParameterSignatureListFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ReturnPathDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ReturnPathTypeDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ReverseDepthFirstSearchFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) StoreDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) TypeDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) UnconditionalValueDerefDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) UnpackedCodeFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) UsagesRequiringNonNullValuesFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ValueNumberDataflowFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) ValueRangeAnalysisFactory.analyze
(IAnalysisCache analysisCache, MethodDescriptor descriptor) protected AssertionMethods
AnalysisFactory.getAssertionMethods
(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) protected CFG
AnalysisFactory.getCFG
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected CompactLocationNumbering
AnalysisFactory.getCompactLocationNumbering
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected org.apache.bcel.generic.ConstantPoolGen
AnalysisFactory.getConstantPoolGen
(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) protected DepthFirstSearch
AnalysisFactory.getDepthFirstSearch
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected ExceptionSetFactory
AnalysisFactory.getExceptionSetFactory
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected IsNullValueDataflow
AnalysisFactory.getIsNullValueDataflow
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected org.apache.bcel.classfile.JavaClass
AnalysisFactory.getJavaClass
(IAnalysisCache analysisCache, ClassDescriptor classDescriptor) protected LoadedFieldSet
AnalysisFactory.getLoadedFieldSet
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected org.apache.bcel.classfile.Method
AnalysisFactory.getMethod
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected org.apache.bcel.generic.MethodGen
AnalysisFactory.getMethodGen
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected ReverseDepthFirstSearch
AnalysisFactory.getReverseDepthFirstSearch
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected TypeDataflow
AnalysisFactory.getTypeDataflow
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) protected ValueNumberDataflow
AnalysisFactory.getValueNumberDataflow
(IAnalysisCache analysisCache, MethodDescriptor methodDescriptor) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.classfile.impl
Fields in edu.umd.cs.findbugs.classfile.impl declared as CheckedAnalysisExceptionModifier and TypeFieldDescription(package private) final CheckedAnalysisException
AnalysisCache.AbnormalAnalysisResult.checkedAnalysisException
Methods in edu.umd.cs.findbugs.classfile.impl that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionprivate <E> E
AnalysisCache.analyzeMethod
(ClassContext classContext, Class<E> analysisClass, MethodDescriptor methodDescriptor) Analyze a method.void
ClassPathBuilder.build
(IClassPath classPath, IClassPathBuilderProgress progress) <E> E
AnalysisCache.getClassAnalysis
(Class<E> analysisClass, ClassDescriptor classDescriptor) <E> E
AnalysisCache.getMethodAnalysis
(Class<E> analysisClass, MethodDescriptor methodDescriptor) AnalysisCache.AbnormalAnalysisResult.returnOrThrow()
Constructors in edu.umd.cs.findbugs.classfile.impl with parameters of type CheckedAnalysisExceptionModifierConstructorDescription(package private)
AbnormalAnalysisResult
(CheckedAnalysisException checkedAnalysisException) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.detect
Methods in edu.umd.cs.findbugs.detect that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionvoid
FindUnsatisfiedObligation.MethodChecker.analyzeMethod()
private void
FindUselessObjects.analyzeMethod
(ClassContext classContext, org.apache.bcel.classfile.Method method) private void
CheckTypeQualifiers.checkDataflow
(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow) private void
CheckTypeQualifiers.checkForConflictingValues
(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame) private void
CheckTypeQualifiers.checkQualifier
(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow) Check a specific TypeQualifierValue on a method.private void
CheckTypeQualifiers.checkValueSources
(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow) private void
ResourceInMultipleThreadsDetector.collectFieldsUsedInThreads
(int seen) private void
CheckTypeQualifiers.emitDataflowWarning
(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame) void
BuildObligationPolicyDatabase.visitClass
(ClassDescriptor classDescriptor) void
CheckExpectedWarnings.visitClass
(ClassDescriptor classDescriptor) Deprecated.void
CheckRelaxingNullnessAnnotation.visitClass
(ClassDescriptor classDescriptor) void
CheckTypeQualifiers.visitClass
(ClassDescriptor classDescriptor) void
FindUnsatisfiedObligation.visitClass
(ClassDescriptor classDescriptor) void
TestDataflowAnalysis.visitClass
(ClassDescriptor classDescriptor) void
UselessSuppressionDetector.visitClass
(ClassDescriptor classDescriptor) protected void
CheckTypeQualifiers.visitMethodCFG
(MethodDescriptor methodDescriptor, CFG cfg) protected void
FindUnsatisfiedObligation.visitMethodCFG
(MethodDescriptor methodDescriptor, CFG cfg) Constructors in edu.umd.cs.findbugs.detect that throw CheckedAnalysisExceptionModifierConstructorDescription(package private)
UselessValuesContext
(ClassContext classContext, org.apache.bcel.classfile.Method method) -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.plan
Subclasses of CheckedAnalysisException in edu.umd.cs.findbugs.planModifier and TypeClassDescriptionclass
An exception indicating that the detector ordering constraints specified by a plugin are invalid. -
Uses of CheckedAnalysisException in edu.umd.cs.findbugs.util
Methods in edu.umd.cs.findbugs.util that throw CheckedAnalysisExceptionModifier and TypeMethodDescriptionstatic boolean
MethodAnalysis.isDuplicatedLocation
(MethodDescriptor methodDescriptor, int pc) Check if the location is duplicated in the method.