@return the i-th parameter in this IR. The indexes start from 0.

@return kind of the call edge.

Retrieves the points-to set associated with this pointer. <p> This method may return {@code null}. We recommend use {@link #getObjects()} and {@link #

Returns the index of the nearest bit that is set to {@code false} that occurs on or before the specified starting index. If no such bit exists, or if

Returns the index of the nearest bit that is set to {@code true} that occurs on or before the specified starting index. If no such bit exists, or if {

@return {@code true} if the given string is a valid Java identifier.

@return analysis result of given stmt.

Returns the number of bits set to {@code true} in this {@code BitSet}. @return the number of bits set to {@code true} in this {@code BitSet}

Iterates the elements in the specific collection, in the order they are returned by the collection's iterator, and finds the first element of given co

@return the method that defines the content of this IR.

@return the number of the nodes in this graph.

@return a list of Stmts in this IR.

Applies a mapper function on a given collection and returns the results as a list. The resulting list is unmodifiable.

@return a context-sensitive method for given context and method.

@return the callee method (i.e., the target) of the call edge.

@return the empty context.

Obtains a field by its signature. @param fieldSig signature of the field @return the {@link JField} for signature if found; otherwise, null. @throws

@return the k2-value map to which the specified key is mapped, or {@code defaultValue} if this map contains no mapping for the key.

@return the subsignature of the method reference.

Shortcut: converts Jimple Local to Var.

Deep copy an object by serialization.

Converts a collection to a set.

Convenient method for building the world from String arguments.

Given a mapper function, creates an immutable view set for given collection. <p> WARNING: the uniqueness of elements in the resulting set view is guar

@return a context-sensitive object for given context and object.

Converts a Jimple Local or Constant to Var. If <code>value</code> is Local, then directly return the corresponding Var. If <code>value</code> is Const

@return all nodes of this graph.

@return the parameters in this IR ("this" variable is excluded). The order of the parameters in the resulting list is the same as the order they are d

@return a context-sensitive call site for given context and call site.

@return all objects in this set.

@return the flowing-out fact of given node.

@return {@code true} if {@code exp} can hold int values. Note that expressions of some primitive types other than int, whose computational type is int

@return a new temporary variable of given type.

Runs a task, log the elapsed time, and return the result. @param task task to be executed @param taskName name of the task

@return the successors of given node in this graph.

@return true if this value represents a constant, otherwise false.

Parses arguments and return the parsed and post-processed Options.

Every public method must preserve these invariants.

@return the corresponding InstanceField pointer for given object and instance field.

@return the "this" variable in this IR. If the method is static, then returns null.

@return hash code of two objects. @throws NullPointerException if any parameter is null

@return true if this class is application class, otherwise false.

@return {@code true} if the given string is a valid fully-qualified name of a Java class.

@return the i-th argument of the invocation. @throws IndexOutOfBoundsException if the index is out of range (index &

@return the empty context that does not contain any context elements.

@return the index of this Stmt in the container IR.

Obtains a method declared in a JRE class by its signature. @param methodSig of the method @return the {@link JMethod} for signature if found; otherwi

@return the length (i.e., the number of elements) of this context.

@return the line number of this Stmt in the original source file. If the line number is unavailable, return -1.

@return an arbitrary element of the given collection.

Returns the points-to set of given pointer. If the pointer has not been associated with a points-to set, this method will create a new set and associa

@return all returned variables. If the method return type is void, then returns empty list.

Meets two Values. This method computes the greatest lower bound of two Values.

Adds a call edge. @param edge the added edge.