@return {@code true} if this multimap contains at least one key-value pair with the value {@code value}. Note that this operation may be slow compared

@return the {@link Annotation} of type {@code annotationType} if it is present in this annotated; otherwise, {@code null} is returned.

@return the constant object for given value.

@return the {@link FieldRef} pointing to this field.

@return the i-th {@link Stmt} in this IR. The indexes start from 0.

@return the context with one element.

Performs a logical <b>OR</b> of this bit set with the bit set argument. This bit set is modified so that a bit in it has the value {@code true} if and

Associates a data-flow fact with a node as its flowing-in fact.

Associates a data-flow fact with a node as its flowing-out fact.

Starts an analysis for a specific test case. Do not require a main method in the given class. @param inputClass the input class to be analyzed @param

Test resolveMethod() with specified class and name. The declaring class of the resolved method should be the same as the given expected class. @param

Builds an IR with given {@link Stmt}s. This method sets the indexes of given {@link Stmt}s, so client code does not need to set the indexes. @param s

For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 &le; i &le; n) changes, this convenient method returns points-to sets

@return the corresponding ArrayIndex pointer for given array object.

@return the flowing-in fact of given node.

Convenient method to obtain Invokes in this IR. @param includeIndy whether include invokedynamic in the result. @return a stream of Invokes in this I

@return true if this variable is a (temporary) variable generated for holding constant value, otherwise false.

@return true if this value is NAC, otherwise false.

Extracts level 1 index (i.e., area index) from {@code wordIndex}.

@return a new return statement of the IR being built.

Selects contexts for static methods. @param callSite the (context-sensitive) call site. @param callee the callee. @return the context for the calle

Combines level 1/2/3 indexes to compute the corresponding word index.

Adds an entry point. Notes that the method in entry point will be set as an entry in {@link CallGraph}

Returns all subclasses of the given class (including itself). If the given class is an interface, then return all its direct/indirect subinterfaces an

If this value represents a (integer) constant, then returns the integer. The client code should call {@link #isConstant()} to check if this Value is c

@return outgoing edges of the given node.

@return all variables (without contexts).

@return {@code true} if this annotated object has an annotation of {@code annotationType}.

@return {@code true} if this graph has an edge from given source to target, otherwise {@code false}.

Extracts level 2 index (i.e., block index) from {@code wordIndex}.

Extracts level 3 index (i.e., word index in the block) from {@code wordIndex}.

Makes a constant value. @return the constant for given value.

@return all reachable methods in this call graph.

Maps each element in given collection to an integer and computes the sum of the integers.

Converts a CSObj of class to corresponding JClass. If the object is not a class constant, then return null.

Clears all of the bits in this {@code BitSet} whose corresponding bit is set in the specified {@code BitSet}. @param set the {@code BitSet} with whic

Transfer function on a pointer flow edge. @param edge the pointer flow edge being transferred. @param input set of objects pointed to by the "source

Converts an iterable object to a list.

@return the constant value held by this variable. @throws AnalysisException if this variable does not hold const value

@return incoming edges of the given node.

@return the index of the given object.

@return all annotations attached on the {@code i}-th parameter. If the parameter does not have annotation, an empty collection is returned.

Returns {@code true} if the specified {@code BitSet} has any bits set to {@code true} that are also set to {@code true} in this {@code BitSet}. @para

@return type of the taint object generated by this source.

Given a bit index, return word index containing it.

Combines level 1/2/3 indexes to compute the corresponding bit index. @return index of the first bit in the word specified by the combined word index

Copies the content from given fact to this fact. @return true if this fact changed as a result of the call, otherwise false.

@return the condition expression of the if-statement.

@return the NAC.

@return the operator.

@return the receiver objects of given method.

{@link NodeResult} is designed to be compatible with CFGs of both stmt nodes and block nodes. When the node result instance represent results of stmt

@return the UNDEF.

@return true if this value is UNDEF, otherwise false.