Get the byte size of this object

! * Get direct callsite invoking this callee */

Get extapi.bc path

Get extapi.bc file path in npm

Return the function entry node

get a function exit node

Get function return list

Number of flattened elements of an array or struct

Return Basic Block

* This function, getRangeLimitFromType, calculates the lower and upper bounds of * a numeric range for a given SVFType. It is used to determine the p

Returns the FunctionType

Receive parameter at callsite

Calculate the length of a null-terminated string in abstract state. Scans memory from the base of strValue looking for a '\0' byte. Returns an Interva

The branch is conditional if cond is not a null value

Check if byte size is a const value

object attributes methods @{

Return true if this is an indirect call

Check/Set PWC (positive weight cycle) flag @{

Return a intersected IntervalValue

Worklist operations @{

Set location and pointer id

Set number of fields and elements of an aggregate

Set current IntervalValue as bottom

Split into two substrings around the first occurrence of a separator string.

Dump context condition

calculate the new length of the string in a printbuffer and update the offset */

Return accumulated constant offset (when accessing array or struct) if this offset is a constant.

! * Add Address edge */

! * Add indirect call edge to update call graph */

! * Add offset value to vector offsetVarAndGepTypePairs */

Add an operand (actual param) from a call site

! * Add Return edge */

Build grammarbase from textfile

! * Compute all possible locations according to offset and number-stride pairs. */

! * Compute points-to set for queries */

Test blk node for cpts

Test constant node for cpts

Get context size

Return the first set bit in the bitmap. Return -1 if no bits are set.

Fork sites iterators @{

Node and edge statistics @{