* Add def-use edges of a memory region between two statements */

Add intra-procedural lock

Add memory SSA PHI SVFG node

Add an llvm PHI VFG node

! * Add Load edge */

Note that simply use "dpmToloadDpmMap[dpm]=loadDpm", requires DPIm have a default constructor

LoadDpm for must-alias analysis @{

Add Load edge

Add a Load VFG node

Simple add/remove meta data information @{

! * Add indirect def an memory object in the function */

! * Add indirect def an memory object in the function */

! * Add new SVFG edge from src to dst. * The edge's kind depends on preEdge and succEdge. Self-cycle edges may be added here. */

Add a node into the graph

! * Add Gep edge */

Add Offset(Gep) edge

Add NullPtr PAGNode

Add a Dummy VFG node for null pointer definition To be noted for black hole pointer it has already has address edge connected

Add a memory obj node

! * Add Phi statement */

Add Copy edge

union/add data @{

Override the methods defined in PTData. Union/add points-to without adding reverse points-to, used internally @{

! * Add indirect uses an memory object in the function */

! * Add indirect uses an memory object in the function */

! * Add interprocedural return edges between two nodes */

! * Add interprocedural return edges for top level pointers */

! * */

* Add def-use return edges of a memory region between two statements */

RetPE

stat strong updates num

Add SVFG edge

Add SVFG node

* Create SVFG nodes for address-taken variables */

! * Add Phi statement */

Add SelectStmt

Record a source to its callsite @{

Add start routine function of a cxt thread

Add a VFG node for program statement

! * Add Store edge */

Add Store edge

Add a Store VFG node, To be noted store does not create a new pointer, we do not set def for any SVFIR node

Add inloop join

Add TCT edge

Add TCT node

Add Thread fork edge for parameter passing

Add Thread join edge for parameter passing

map call instruction to its PTACallGraphEdge map

! * Add def-use edges of a memory region between two may-happen-in-parallel statements for multithreaded program */

full join and partial join @{

* @brief Adds an offset to a GEP object. * @param obj Pointer to the GEP object. * @param offset The interval value of the offset. */

happen-in-parallel pair happens-before pair @{

Map a SVFStatement type to a set of corresponding SVF statements

Add a base SVFType* and all its field location sets to an arg NodeId

Add Unary edge

Add a UnaryOperator VFG node

Add VFG edge

Add a VFG node

Set/Get methods of VFGNodes @{

! * Create VFG nodes for top level pointers */

add node into SVFIR @{ Add a value (pointer) node

! * Add variant gep edge */

Add Variant(Gep) edge

Interface expose to users of our pointer analysis, given Value infos

Interface expose to users of our pointer analysis, given Value infos

Interface expose to users of our pointer analysis, given Value infos