@return new fact in boundary conditions, i.e., the fact for entry node in forward analysis or exit node in backward analysis.

Invoked when a new call graph edge is discovered. @param edge new call graph edge

Invoked when a new reachable stmt is discovered. @param stmt new reachable stmt @param container container method of {@code stmt}

Invoked when pointer analysis failed to resolve callee (i.e., resolve to null) on a receiver object. Some plugins take over such cases to do their ana

ClassPattern -> NamePattern[^]

@return all pointers managed by this manager.

Read a list of PlanConfig from given file.

Removes all the elements of this fact that satisfy the given predicate. @return true if any elements were removed as a result of the call, otherwise

Parses Scaler argument and runs Scaler.

@return hash code of two objects, with null check.

Starts this solver.

Creates an IR which contains a store statement to the specified static field.

Converts given pointer to a node in this OFG.

Converts type descriptor in bytecode to Tai-e's type descriptor. For example: <ul> <li>{@code [I} to {@code int[]}.</li> <li>{@code [[I} to {@

Unions the sets which e1 and e2 belong to, respectively. @return {@code true} if this union-find set changed as a result of this call.

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

Updates the key-value mapping in this fact. @return if the update changes this fact.

@return a new {@link DotAttributes} with attributed updated by given input.

Adds all elements in collection {@code c}, and returns the difference set between {@code c} and this set (before the call). @return a set of elements

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,

Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.