Adds a new call graph edge to this call graph. @param edge the call edge to be added @return true if the call graph changed as a result of the call,

Adds stmts to the analyzed program. Solver will process given stmts. @param csMethod the container method of the stmts @param stmts the added stmt

Creates an IR which allocates a new object, invokes its specified constructor, and returns it.

Builds an emtpy IR which contains only a {@link Return} statement.

@return {@code true} if o1 and o2 can be merged.

The objects passed to this set should preserve this invariant.

Clears result of the analysis specified by given key.

Clears out a part of the set array with nulls, from the given fromAreaIndex to the end of the array. If the given parameter is beyond the end of the b

Computes the methods invoked on all objects in the program. For a static method, say m, we trace back its caller chain until we find the first instanc

@return an annotation holder that contains all annotations in {@code host}. @see AbstractHost

The valid automaton states for ending a {@link #visitTypeArgument(char)} method call are: <ul> <li>{@link #visitTypeArgument(char)}</li> <li>{

@return entry methods of the ICFG.

Evaluates the {@link Value} of given expression. @param exp the expression to be evaluated @param in IN fact of the statement @return the resulting

Extracts names of all classes in given path.

@return Set of all states (including dead state).

@return a list of arguments of the invocation.

@return the call sites that invoke the given method.

If this edge is a switch-case edge, then returns the case value. The client code should call {@link #isSwitchCase()} to check if this edge is switch-c

@return the i-th element of this context. Starts from 0.

@return the signature attribute for dealing with generics starting from Java 1.5. @see ClassGSignature

Merges given object given by its type. @param allocSite the allocation site of the object @return the merged object

@return the method (without context).

@return the method reference at the invocation.

@return the abstract object for given new statement.

@return the resulting object flow graph.

@return types of all reachable objects in pointer analysis.

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

@return the list of the strongly-connected components, but only those that are true components, i.e. components which have more than one element or co

Shortcut: obtains Jimple Value's Type and convert to Tai-e Type.

Shortcut: obtains Jimple Value's Type and convert to Tai-e Type.

@return the weight of given method when analyzed using the context sensitivity variant that corresponds to given ContextComputer.

@return {@code true} if {@code csObj} is {@link MockObj} and it has descriptor {@code desc}.

@return {@code true} if two sets have at least one overlapped element.

@return {@code true} if {@code exp} can hold long values.

@return a new fact which is the intersection of this and other facts.