Register the "built-in" analysis engines with given IAnalysisCache. @param analysisCache an IAnalysisCache

Register the given method analysis engine as producing the analysis result type whose Class is given. @param <E> analysis result type @par

Report any accumulated error messages.

Resolve possible method call targets. This works for both static and instance method calls. @param invokeInstruction the InvokeInstruction

Search list of codebases for named resource. @param codeBaseList list of codebases to search @param resourceName name of resour

Set whether or not it is possible to return normally. @param canReturnNormally true if the method can return normally at this location, fa

Set the stack depth.

Set the failOnError flag @param flag {@code true} to enable

Set the frame and Location for the instruction about to be modeled. @param frame the Frame @param location the Location

@param isInterface The isInterface to set.

Set whether or not a parameter might be non-null. @param param the parameter index @param hasProperty true if the parameter mig

Set the Frame to be valid (neither TOP nor BOTTOM).

@return a compact string of the form "bb:xx", where "bb" is the basic block number and "xx" is the bytecode offset

Transfer function for the analysis. Taking dataflow facts at start (which might be either the entry or exit of the block, depending on whether the ana

Unescape XML entities and illegal characters in the given string. This enhances the functionality of org.apache.commons.lang.StringEscapeUtils.unescap

is the visitor currently visiting a method?

Add an exception. @param type the exception type @param explicit true if the exception is explicitly declared or thrown, false

Add the name of a package to be matched by the screener. All class files that appear to be in the package should be matched. @param packageName

@param sorter @param column

Add a control flow edge to the subroutine. If the control target has not yet been added to the subroutine, a new work list item is added. If the contr

Add a missing class message. @param message the missing class message

Add an observer. @param observer the observer

Add a variable definition to the given BindingSet, or if there is an existing definition, make sure it is consistent with the new definition. @param

Add a source line annotation describing the source line numbers for a range of instructions in the method being visited by the given visitor. Note tha

Add a worklist item to the worklist. This method maintains the invariant that all of the worklist items representing application codebases appear <em>

Creates a new empty array (if needed) with given size. @param size array size @return if size is zero, returns {@link #EMPTY_INPUT_VALUE_L

Asserts that there are exactly zero bug instances with the given bug type in the given class at the given field. The match is checked according to {@l

Build the classpath. @param classPath IClassPath object to build @param progress IClassPathBuilderProgress callback @throws Res

Make this StateSet an exact copy of the given StateSet. @param other a StateSet; this StateSet will be made identical to it

Create a class descriptor from a field signature

@param currentColumnIdx @param factoriesTable

Output an appropriate error when a BCEL class looks wrong. @param cname name of the BCEL class

Escape XML entities and illegal characters in the given string. This enhances the functionality of org.apache.commons.lang.StringEscapeUtils.escapeXml

Run the algorithm. Afterwards, caller can use the getStartFact() and getResultFact() methods to to get dataflow facts at start and result points of ea