Add a BugInstance to this BugCollection. This just calls add(bugInstance, true). @param bugInstance the BugInstance @return true if the Bu

Get the name of the field/method.

Asserts that there are exactly the given number of bug instances with the given bug type. The match is checked according to {@link BugInstanceMatcher}

Get the full (dotted) name of the class (if the object represents a class) or the class the entity is defined in (if a field or method).

Append given BasicBlock id to the path. @param id a BasicBlock id (label)

Get the signature representing the field/method's type.

Get the ICodeBaseEntry representing the next resource in the code base. @return the ICodeBaseEntry representing the next resource in the code

Return true if there is another resource to be scanned, false otherwise. @return true if there is another resource to be scanned, false otherwise

Asserts that there is a bug instance with the given bug type in the given class in the given method at the given line. The match is checked according

Report a bug. The implementation may report the bug immediately, or queue it for later. @param bugInstance object describing the bug insta

Close the underlying resource.

Creates a new immutable instance of a weakness @param cweid @param name @param description @param severity @return Weakness

Convert the codebase locator to a string representation. If possible two codebase locators that refer to the same codebase should produce the same str

Is the entity static?

Get the AnalysisContext associated with this thread

Returns a constant value for this Item, if known. NOTE: if the value is a constant Class object, the constant value returned is the name of the class.

If the current opcode has a reference constant operand, get its name

Asserts that there is a bug instance with the given bug type in the given class in the given method at the given field. The match is checked according

Asserts that there are exactly zero bug instances with the given bug type. The match is checked according to {@link BugInstanceMatcher}. @param bugTy

Get boolean property, returning false if a security manager prevents us from accessing system properties <p> (incomplete) list of known system propert

Get the ClassDescriptor representing the class (if entity is a class) or the class containing the entity (if a field or method).

Clear all entries out of this LockSet.

Get the JavaClass.

@param m method to check @param statuses allowed statuses @return true if method status is one of the statuses

creates individual bug instance on match

@return Returns the methodName.

Get the constant pool for the current or most recently visited class

Returns the shared instance.

Add a source line annotation. @param sourceLine the source line annotation @return this object

If the current opcode has a class constant operand, get the classname, slash-formatted.

Report an error

Get the analysis cache for the current thread. @return the analysis cache for the current thread

Add a method annotation to the database. @param cName dotted class name @param mName method name @param mSig method

Add a description to the most recently added bug annotation. @param description the description to add @return this object

If the current opcode has a reference constant operand, get its signature, slash-formatted

This is called to handle any instruction which does not simply copy values between stack slots. The default value is pushed (if the instruction is a s

Return the current Code attribute; assuming one is being visited @return current code attribute

Format the annotation as a String. The given key specifies additional information about how the annotation should be formatted. If the key is empty, t

Return whether or not this lock set is empty, meaning that no locks have a positive lock count. @return true if no locks are held, false if at least

Get the name of the class in dotted format. @return the name of the class in dotted format

Get dataflow fact at (just before) given Location. Note "before" is meant in the logical sense, so for backward analyses, before means after the locat

Add a warning property to the set. The warning implicitly has the boolean value "true" as its attribute. @param prop the WarningProperty @

Add a class or interface, and its transitive supertypes, to the inheritance graph. @param xclass XClass to add to the inheritance graph

Get the value at the <i>n</i>th slot. @param n the slot to get the value of @return the value in the slot

Get the single instance of DetectorFactoryCollection, which knows each and every loaded plugin, independently of it's enablement

Called to report a class lookup failure. @param ex a ClassNotFoundException resulting from the class lookup failure

Add an attribute to a started tag. Must follow a call to startTag. @param name the attribute name. @param value the attribute v

Get an analysis of the given class. @param <E> the type of the analysis (e.g., FoobarAnalysis) @param analysisClass the analysi

Add a method parameter annotation to the database. @param cName dotted class name @param mName method name @param mSig

Add a method annotation. If this is the first method annotation added, it becomes the primary method annotation. @param className name of

Returns Integer corresponding to s, or null if s is null. @throws NumberFormatException if s is nonnull and doesn't represent a valid int

Consume stack. This is a convenience method for instructions where the types of popped operands can be ignored.

Get the integer label.

Log an error that occurs while performing analysis. @param message the error message

Factory method for creating a source line annotation describing the source line number for the instruction being visited by given visitor. @param vis

Get the depth of the Java operand stack.