Has a node

! * Whether we has an inter ICFG edge */

Has mu/chi methods @{

Get call graph edge via call instruction @{ whether this call instruction has a valid call graph edge

get hash id

Determine type based on infer site https://llvm.org/docs/OpaquePointers.html#migration-instructions

Result of cpts1 & ~cpts2 is stored into this bitmap.

Intersect our bitmap with the complement of the RHS and return true if ours changed.

* Return TRUE if this and RHS share common elements. */

! * Whether this is an callsite return SVFGNode (actual return, actual out) */

Return true if all offset values are constants

Check if V is derived from thisPtr Handles O0 pattern: %this1 = load ptr, ptr %this.addr

Return true if this call is a file close @{

! * Whether this is an function entry SVFGNode (formal parameter, formal In) */

! * An instruction i is in a recursion * (1) the function f where i resides in is in a recursion * (2) any caller function starting from the functi

Return true if this call is a memory deallocation @{

Whether it is a fork site

Does (F) reallocate a new object?

Defines a method to check if a BoundedInt object is true. A BoundedInt object is considered true if its internal integer value is non-zero.

domain meet with other, important! other widen this.

Current IntervalValue narrow with another IntervalValue

parse 4 digit hexadecimal number */

Parse the input text into an unescaped cinput, and populate item. */

Render the cstring provided to an escaped version that can be printed. */

Following methods are to be implemented in child class, in order to achieve a fully worked PTA @{ Process each node on the graph, to be implemented in

! * Load pointer analysis result form a file. * It populates BVDataPTAImpl with the points-to data, and updates SVFIR with * the SVFIR offset nodes

Delete a node

Return a handle to the stack of nodes in reverse topological order. This will be used to seed the initial solution and improve efficiency.

inloop, incycle attributes @{

Get max field offset limit

Set current IntervalValue as top

strip off brackets and namespace from classname e.g., for `namespace::A<...::...>::f', we get `A' by stripping off namespace and <>

! * strip off the whitespaces from the beginning and ending of str * @param str * @return */