Get an Iterator over all registered bug patterns.

Build a constraint graph. This represents ordering constraints between Detectors. A topological sort of the constraint graph will yield a correct orde

Check that a constant pool index is valid. @param index the index to check @throws InvalidClassFileFormatException if the inde

Check that a constant has the expected tag. @param constant the constant to check @param expectedTag the expected constant tag

@param classContext @param location @param method @param methodGen @param sourceFile @throws DataflowAnalysisException

Clear all bug categories from the hidden list. So the effect is to enable all bug categories.

Resolve a raw AnnotationValue into a TypeQualifierAnnotation. @param v a raw AnnotationValue @return a constructed TypeQualifierAnnotation

Return whether or not the basic block contains the given instruction. @param handle the instruction @return true if the block contains the

Rewrite a FieldAnnotation to update the class name and field signature, if needed. @param classNameRewriter a ClassNameRewriter @param ann

Rewrite a MethodAnnotation to update the class name, and any class names mentioned in the method signature. @param classNameRewriter a Cla

Checks if the method could be a lambda. Notice this is a best-check, since once compiled lambda methods are not univocally distinguishable. @param m

Create the FindBugs engine (the Java process that will run whatever FindBugs-related program this task is going to execute).

Factory method to create an unknown source line annotation. This doesn't use the analysis context. @param className the class name @return

Create a new scanner.

Unmodifiable set constructed from list to avoid rehashing.

Remove an Obligation from every State in the StateSet. @param obligation the obligation to remove @param basicBlockId the id of

Determine whether forward substitution should be performed for the heap location referenced by the current instruction. @return true if we should do

Determine whether redundant load elimination should be performed for the heap location referenced by the current instruction. @return true if we shou

Subclasses must override this. It will be called only for bugs which meet the priority threshold. @param bugInstance the bug to report

replace the dots in a fully-qualified class/package name to a regular expression fragment that will match file names. @param dotsName such

Edge transfer function. Modify the given fact that is true on the (logical) edge source to modify it so that it is true at the (logical) edge target.

Get string representing given edge type.

Downcall method to emit literal text, in which any occurrences of the metacharacters are quoted. @param s the literal text to emit

Extract an int from bytes at the given offset in the array. @param arr the array @param offset the offset in the array

extract the package name from a dotted class name. Package names are always in dotted format. @param className a dotted class name @return