Union/add points-to, and add the reverse points-to for node collapse purpose To be noted that adding reverse pts might incur 10% total overhead during

Internal unionPts since other methods follow the same pattern. Renamed because PointsToID and Key may be the same type...

Visit the given node Algorithm to build a weak topological order of a graph

* @brief Provides the error message. * @return The error message as a C-string. */

Current IntervalValue widen with another IntervalValue

! * Compute path conditions for nodes on the backward slice * path condition of each node is calculated starting from root node (source) * Given a

Get environment variables $SVF_DIR and "npm root" through popen() method

Get node ID

Return accumulated constant offset (when accessing array or struct) if this offset is a constant. elemBytesize is the element byte size of an static a

Add actual parameters

Add actual return parameter

create a SVFBasicBlock according to LLVM BasicBlock, then add it to SVFFunction's BasicBlockGraph

! * Add blackhole/constant edge */

Add Call edge

! * Add call graph node */

Add callsite arguments

Add callsite returns

! * Add direct call edges */

! * Add direct fork edges */

Used *only* for Versioned FSPTA to encode propagation of versions in the worklist (allowing for breadth-first propagation). Returns the created node.

Add a field-insensitive node, this method can only invoked by getFIGepObjNode

Add fork sites which directly or indirectly create a thread @{

Add formal parameters

Add formal return parameter

Get/set method for function/callsite arguments and returns @{ Add function arguments

Add function returns

add src and dst node from file

! * Add Offset(Gep) edge * Find the base node id of src and connect base node to dst node * Create gep offset: (offset + baseOff <nested struct ge

! * Add a temp field value node, this method can only invoked by getGepValVar * due to constraint expression, curInst is used to distinguish differe

Add global PAGEdges (not in a procedure)

* Creates and adds a heap object node to the SVFIR */

Add ICFG edge, only used by addIntraEdge, addCallEdge, addRetEdge etc.

Edge management methods @{

Add constraint graph edges @{

Add indirect callsites

! * Add def-use edges for top level pointers */

Insert (node, loop) to icfgNodeToSVFLoopVec

Add Return edge

Add a unique return node for a procedure

Add call parameter edge to this CallCFGEdge

Set/Get methods of VFGNodes @{

* Creates and adds a stack object node to the SVFIR */

map call instruction to its PTACallGraphEdge map

! * Add Thread fork edge for parameter passing from a spawner to its spawnees */

! * Add Thread fork edge for parameter passing from a spawnee back to its spawners */