@return iterator of Stmts in this IR.

Makes a taint object for given source point and type. @param sourcePoint where the taint is generated @param type type of the taint object @re

@return new initial fact for non-boundary nodes.

@return all objects in this set.

Performs a logical <b>OR</b> of this bit set with the bit set argument, computes and returns the difference set between given bit set and this set (be

Removes contexts of a context-sensitive points-to set and returns a new resulting set.

Converts index to string.

The entirety of the bit set is examined, and the various statistics of the bit set (size, length, cardinality, hashCode, etc.) are computed. Level arr

Checks if the set to operate on has equivalent context as this bit set. @param set the set to operate on

Leverages {@link Stream#concat(Stream, Stream)} to create a lazily concatenated stream whose elements are all the elements of multiple given streams.

Dispatches a method reference on a receiver type. @return the target method. If the target cannot be found, returns null. @throws pascal.taie.util.An

Performs the given action for key-(value-set) pairs contained in this multimap.

@return the control-flow graph that this analysis works on.

@return all context-sensitive variables.

@return the resulting call graph (without contexts).

This method is useful for type sensitivity. @return the type containing the allocation site of this object. For special objects, the return values of

Attempts to retrieve the field with the given name. @throws AmbiguousMemberException if this class has multiple fields

@return the exit node of this CFG.

@return the first operand.

@return the second operand.

@return the predecessors of given node in this graph.

@return the corresponding StaticField pointer for given static field.

@return true if this edge is an exceptional edge, otherwise false.

@return true if given obj represents a taint object, otherwise false.

Core method for set operations. This method operates on two sets, a self set and an iterated set. Note that it ONLY iterates non-null blocks in the it

Sets the content of this bit set to the same as specified bit set. @param set a bit set

Test resolveField() with specified class and field names. The declaring class of the resolved field should be the same as the given expected class. @

Converts an object to string representation. Here we specially handle Stmt by calling IRPrint.toString().

Adds an object to this set. @return true if this points-to set changed as a result of the call, otherwise false.

@return all entries (key-value mappings) in this fact.

@return value for given option key. @throws ConfigException if this AnalysisOptions do not contain the key.

@return the number of the arguments of the invocation.

@return all array index pointers.

@return the declaring class of the class member.

@return the (optional) left-value expression defined in this Stmt. In Tai-e IR, each Stmt can define at most one expression.

@return the entry node of this CFG.

@return the exception entries in this IR. @see ExceptionEntry

@return all instance field pointers.

@return {@link Invoke}s whose base variable is this Var.

Obtains a JRE class by it name. @param name the class name @return the {@link JClass} for name if found; otherwise, null.

Retrieves the block of specified position in the table of this set. If the block is absent (i.e., {@code null}), this method will create the block, an

@return all static field pointers.

@return the jump target (when the condition expression is evaluated to true) of the if-statement.

Creates an IR which contains a invoke statement to the specific virtual method.

If a reflective invocation {@code invoke} is annotated by the log, and the given {@code metaObj} is not generated by the log, then we treat {@code met

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