Set size @{

Create the IntervalValue [-inf, +inf]

Return the basic block of this ICFGNode

Return call ICFGNode at the callsite

Return true if the IntervalValue is a number [num, num]

Return callsite

Get Ver

Return a static reference

Checks if the BoundedInt represents negative infinity.

Return the condition

Get total number of node/edge

Checks if the BoundedInt represents positive infinity.

Current AddressValue joins with another AddressValue

Internal constructor. */

Get the corresponding Function based on its name

Get a basic block ICFGNode

Return

Has incoming/outgoing edge set @{

get the rep node if not found return itself

Return true if the SparseBitVector is empty

Field index of the gep statement if it access the field of a struct

Return the internal index if addr is an address otherwise return the value of idx

Return type

Return a intersected AddressValue

realloc printbuffer if necessary to have at least "needed" bytes more */

if Type is not sized, byteSize is 0 if Type is sized, byteSize is the LLVM Byte Size.

Get/add/remove constraint node @{

Dump the order, for debugging purpose

! * Add Copy edge */

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

SVFVar and SVFStmt @{

Whether an instruction is a call or invoke instruction

Check if this variable represents constant data/metadata but not null pointer

Return true if its field limit is 0

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

Begin iterators

Return current procedure

get id

Whether an instruction is a callsite in the application code, excluding llvm intrinsic calls

! * Store value to location * @param loc location, e.g., int_val(0x7f..01) * @param value */

Iterators @{

! * Extract sub SVFVar IDs of a Z3Expr * * e.g., Given an expr "a+b", return {a.id, b.id} * @param expr * @param res */

GenericBug(const GenericBug &) = delete; returns bug type

Return the kind of the copy statement

Returns the node for type (nullptr if it doesn't exist).

Get TCT node

Flags @{

Copy some values and return a new IntervalExeState

Return the index of this formal argument in its containing function. For example in "void foo(int a, float b)" a is 0 and b is 1.

Base and Offset methods for Value and Object node @{ Get a base pointer node given a field pointer

offset of the base value variable

* @brief Retrieves the numeral value of the BoundedInt object. * * This method returns the numeral representation of the BoundedInt object.

Set operand vers

root and sink operations @{

Return statistics

Add a cycle head in the cycleDepth