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

! * Add Load edge */

! * Add normal (Gep) edge */

! * Add Store edge * Note that two store instructions may share the same Store SVFStmt */

! * Add Unary edge */

! * Add variant(Gep) edge * Find the base node id of src and connect base node to dst node */

Return true if two locksets has at least one alias lock

! * Clear all the data */

securely comparison of floating-point variables */

Relatively complements lhs and rhs (lhs \ rhs) and returns it's ID.

* Connect actual params/return to formal params/return for top-level variables. * Also connect indirect actual in/out and formal in/out. */

Whether contains callstring cxt

Function: convertExpression() Description: Convert a constant expression into an instruction. This routine does *not perform any recursion, so the r

* Initial the memory object here */

Utility for handling references. */

Dump location set

Dump modules to files

! * Dump points-to of top-level pointers (ValVar) */

Iterator every element of the condition

Return the forth argument of the call, Note that, it is the sole argument of start routine ( a void* pointer )

Get all ancestor threads

Return basic block

Get the CallPE for a formal parameter (phi-like, nullptr if not found)

Get/Set instruction based on Z3 expression id {@

Get context var

Get constraint graph

GetDefinition SVFG

Get a field-insensitive obj SVFIR node according to a mem obj @{

! * Get all fields object nodes of an object * If this object is collapsed into one field insensitive object * Then only return this field insensit

Return thread fork function @{

Add a function exit node

Return function

! * Return the corresponding ICFGEdge */

Return implementation type of the pointer analysis.

! * Get indirect callsite invoking this callee */

Return LLVM callsite given a value

Get the number of elements of this object

Get/set SVFIR @{

Get PTA

Get program entry function from module.

* Get virtual functions "vfns" from PoninsTo set "target" for callsite "cs" */

get the decimal point character of the current locale */

Call back used by DDAVFSolver.

find src -> find src[ty] -> find dst in set

hasEdgeDestLabels - If this function returns true, the graph is able to provide labels for edge destinations.