Get points-to data

Get parent threads

Return memory object number inside a region

Get/Add a return node

Get sibling threads

! * Get the meta data (line number and file name) info of a LLVM value */

Get an VFGNode @{

! * Get StoreCHI numbers */

Return byte offset from the beginning of the structure to the field where it is located for struct type e.g. idxOperandVar: i32 2 idxOperandType: %s

Get Statistics @{

Get ThreadCallGraph

Statistics @{

* Get virtual functions for callsite "cs" based on vtbls (calculated * based on pointsto set) */

Get the position of argument which holds the new object

Get the position of argument which holds the new object

* @brief Handles stub functions within the ICFG node. * * This function is a placeholder for handling stub functions within the ICFG node. * * @pa

Description: This function determines whether the given value is a constant expression that has a constant binary or unary operator expression embedde

Function: hasConstantGEP() Description: This function determines whether the given value is a constant expression that has a constant GEP expression

Given a valVar, return whether it has definition site

Global to rep

Check for incoming variable field GEP edges

Add/get nodes to be collapsed @{

Hierarchical clustering with one of Daniel Muellner's fast algorithms Input arguments: n = number of observables distmat = condensed distance m

whether the memory address stores memory addresses

whether the variable is in varToVal table

Increase number of node/edge

! * initialize the map */

initObjVar

Initialize candidate pointers

! * Analysis initialization */

int8 type

Intersects lhs and rhs (lhs AND rhs) and returns the intersection's ID.

Intersect this Element with RHS and return true if this one changed. BecameZero is set to true if this element became all-zero bits.

Return true if the intersection of two locksets is not empty

Whether it is all path reachable from a source

Return true if the argument in a function does not have a caller

Check whether this value is a black hole

Whether this SVFIR built from a txt file

If lhs is a suffix of rhs, including equal

For field-sensitivity @{

Return true if this call is a file open @{

Whether t1 fully joins t2

Whether this object is heap or array @{

Whether node is in a loop

Whether a join site is in recursion