Add Address edge

Add an Address VFG node

Add Address edge from ext call with args like "%5 = call i8* @malloc(i64 noundef 5)"

Add Address edge from allocinst with arraysize like "%4 = alloca i8, i64 3"

Add attribute to kindToAttribute Map

Add Copy edge

Add a BinaryOperator VFG node

* Add BranchStmt */

Add Branch statement

Add a BranchVFGNode

* @brief Adds a bug to the reporter based on an exception. * @param e The exception that was thrown. * @param node Pointer to the ICFG node

* @brief Adds a bug to the reporter based on an exception. * @param e The exception that was thrown. * @param node Pointer to the ICFG node wh

Add CDG edge

Add a CDG node

Add CDG nodes from nodeid vector

Add cpts to store/load @{

! * Add interprocedural call edges between two nodes */

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

! * */

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

Add call parameter edge to this CallCFGEdge

Add CallSiteID

Add callsites

Add Copy edge

Add a Compare VFG node

! * Add the load/store constraints and temp. nodes for the complex constraint * *D = *S (where D/S may point to structs). */

Add intra-procedural lock

! * If one copy edge is successful added, the src node should be added into SCC detection */

Add copy edge on constraint graph

Add copy edge on constraint graph

Add copy edge on constraint graph

Add copy edge on constraint graph

Add a Copy VFG node

Context-sensitive locks @{ Add inter-procedural context-sensitive lock

Add context for a thread at its spawning site (fork site)

Add context-sensitive statement

Add pts

! * Add direct fork edges * As join edge is a special return which is back to join site(s) rather than its fork site * A ThreadJoinEdge is created

maps a context-sensitive join site to a thread id

! * Add a SVFIR edge into edge map */

! * Add SVFIR edge according to a file format */

Add call graph edge

Alias data operations @{

add edges and return the set of added edges (dst) for src

Add memory Function entry chi SVFG node

Add memory Function return mu SVFG node

Add a formal parameter VFG node

Add a callee Return VFG node To be noted that here we assume returns of a procedure have already been unified into one Otherwise, we need to handle fo

Add a Node

Add Gep edge

Add a Gep VFG node

Add global black hole Address edge

map call instruction to its PTACallGraphEdge map

! * Create edges between ICFG nodes across functions */

* Add a call site Instruction to label mapping, this is used when loading statements from DB */

! * (1) Add and get CallBlockICFGNode * (2) Handle call instruction by creating interprocedural edges */

Add inter VF edge from actual to formal parameters

Add inter VF edge from callee return to callsite receive parameter

! * */

! * Add inter VF edge from function exit mu to callsite chi */

Add inter PHI SVFG node for actual return

Add inter PHI SVFG node for formal parameter

Add/Remove interleaving thread for statement inst @{

Only MSSAPHI node which satisfy following conditions will be removed: 1. it's not def-site of actual-in/formal-out; 2. it doesn't have incoming and ou