Utility to jump whitespace and cr/lf */

Check the lower bound of this Interval is greater than or equal to the upper bound e.g. [3, 5] > [1, 3] return true, lhs.lb >= rhs.ub

Return condition

Return parameter

Return forksite

Return the head of the cycle

Return true if the element is in the set

@}

Add incoming and outgoing edges @{

! * Allocate path condition for each branch */

Iterators @{

Iterators for direct and indirect callsites @{

Get callsite return

Return the successors of node

whether the node is in a cycle

Check whether a function is an entry function (i.e., main)

Operand ver iterators @{

Handle memory region @{

Dump graph into dot file

Dump string

Checks if the BoundedInt is equal to another BoundedInt.

get a function entry node

Get TCG

Whether it is a candidate function for indirect call

Check if this variable represents a pointer

Checks if the BoundedInt represents zero.

Checks if the BoundedInt is less than or equal to another BoundedInt.

! * Add intraprocedural edges between two nodes */

Clear set

Returns number of elements.

output Z3 expression as a string

! * Expand all fields of an aggregate in all points-to sets */

Returns the FunctionType

Get a ICFG node

Get VFG kind

Successors of this branch statement @{

Get operand ver

Get SCC detector

Gep statement with a variant field index (pointer arithmetic) for struct field access

Return true if the element is added

dummy analyze method

TODO: dummy to use for PointsTo in the various PTData.