| AbstractAssertDetector |
Abstract base class for finding assertions
|
| AnyMethodReturnValueStreamFactory |
Factory for stream objects of a particular base class type returned by any
method.
|
| BuildCheckReturnAnnotationDatabase |
Scan application classes for CheckReturnValue annotations.
|
| BuildNonNullAnnotationDatabase |
Deprecated.
|
| BuildNonnullReturnDatabase |
Build database of methods that return values guaranteed to be nonnull
|
| BuildStringPassthruGraph.MethodParameter |
|
| BuildStringPassthruGraph.StringPassthruDatabase |
|
| BuildUnconditionalParamDerefDatabase |
Build database of unconditionally dereferenced parameters.
|
| DeadLocalStoreProperty |
Warning property for FindDeadLocalStores.
|
| DefaultEncodingDetector.DefaultEncodingAnnotation |
This annotation is used to denote a method which relies on the default
platform encoding.
|
| DefaultEncodingDetector.DefaultEncodingAnnotationDatabase |
Sets up and stores DefaultEncodingAnnotations on JCL methods.
|
| DoomedCodeWarningProperty |
A WarningProperty for warnings that are reported at a "doomed" Location; one
that cannot return normally.
|
| DumbMethods.RandomNextIntState |
|
| DumbMethods.SubDetector |
|
| FindHEmismatch.PotentialBugKey |
|
| FindInconsistentSync2.FieldAccess |
|
| FindInconsistentSync2.FieldStats |
The access statistics for a field.
|
| FindMaskedFields.RememberedBug |
|
| FindNoSideEffectMethods.MethodCall |
|
| FindNoSideEffectMethods.MethodSideEffectStatus |
Public status of the method in NSE database
TODO: implement CHECK
|
| FindNoSideEffectMethods.NoSideEffectMethodsDatabase |
|
| FindNoSideEffectMethods.SideEffectStatus |
|
| FindOpenStream.PotentialOpenStream |
|
| FindOverridableMethodCall.CallerInfo |
|
| FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo |
|
| FindPotentialSecurityCheckBasedOnUntrustedSource.CallerInfo |
|
| FindPotentialSecurityCheckBasedOnUntrustedSource.CallPair |
|
| FindPotentialSecurityCheckBasedOnUntrustedSource.LambdaCallInfo |
|
| FindPotentialSecurityCheckBasedOnUntrustedSource.LambdaInfo |
|
| FindRefComparison.RefComparisonTypeFrameModelingVisitor |
|
| FindRefComparison.StaticStringType |
Type representing a static String.
|
| FindRefComparison.WarningDecorator |
|
| FindRefComparison.WarningWithProperties |
A BugInstance and its WarningPropertySet.
|
| FindReturnRef.CaptureKind |
|
| FindRoughConstants.BadConstant |
|
| FindSqlInjection.StringAppendState |
|
| FindUnrelatedTypesInGenericContainer.Info |
|
| FindUnreleasedLock.LockResourceTracker |
|
| FindUnsatisfiedObligation.PossibleObligationTransfer |
Helper class to keep track of possible obligation transfers observed
along paths where an obligation appears to be leaked.
|
| FindUselessObjects.GenLocation |
|
| FindUselessObjects.ValueInfo |
|
| FindUseOfNonSerializableValue.Use |
|
| FormatStringChecker.FormatState |
|
| InconsistentSyncWarningProperty |
Warning properties for inconsistent synchronization detector.
|
| InfiniteLoop.BackwardsBranch |
|
| InfiniteLoop.ForwardConditionalBranch |
|
| InfiniteLoop.Jump |
|
| InitializationChain.InvocationInfo |
|
| InstanceFieldLoadStreamFactory |
StreamFactory for stream objects loaded from instance fields.
|
| Lock |
|
| MethodReturnCheck.State |
|
| MutableStaticFields.AllowedParameter |
|
| Naming.NamingProperty |
|
| Noise.HashQueue |
|
| NonNullReturnProperty |
|
| NoteSuppressedWarnings.RecordComponentSuppressors |
|
| NullArgumentWarningProperty |
Warning property for a null argument being passed to a method which might
dereference it.
|
| NullDerefProperty |
Warning properties for null pointer dereference and redundant null comparison
warnings.
|
| NumberConstructor.Pair |
|
| RefComparisonWarningProperty |
Warning properties for FindRefComparison detector.
|
| ResourceInMultipleThreadsDetector.FieldData |
|
| RuntimeExceptionCapture.ExceptionCaught |
|
| RuntimeExceptionCapture.ExceptionThrown |
|
| Stream |
A Stream object marks the location in the code where a stream is created.
|
| StreamEquivalenceClass |
Set of streams that are in an equivalence class.
|
| StreamEscape |
A StreamEscape is an object representing the escape of a Stream to a called
method.
|
| StreamFactory |
An object that examines a Location and determines if a Stream is created
there.
|
| StreamResourceTracker |
Resource tracker which determines where streams are created, and how they are
used within the method.
|
| TrainLongInstantfParams.LongInstantParameterDatabase |
|
| TypeReturnNull |
Base class for simple type checking detectors which tests if the method
returns null references for specific types.
|
| UnreadFieldsData |
|
| UselessSubclassMethod.State |
|
| VolatileUsage.IncrementState |
|
| WrongMapIterator.LoadedVariable |
|
| WrongMapIterator.LoadedVariableState |
|