Given a cmp operand, walk its SSA def edge to find the LoadStmt that produced it. This lets us trace back to the ObjVar in memory so that branch narro

! * find the innermost brackets, * e.g., return "int const, A" for "__gnu_cxx::__aligned_membuf<std::pair<int const, A> >::_M_ptr() const" * @para

Return the last set bit in the bitmap. Return -1 if no bits are set.

find_next - Returns the index of the next set bit starting from the "Curr" bit. Returns -1 if the next set bit is not found.

! * Generate memory regions according to pointer analysis results * Attach regions on loads/stores */

Return sole argument of the thread routine @{

! * Get PHI numbers */

Given a conditional pts return its bit vector points-to

Return the branch statement

Get/Add a call node

Return call graph

Return call graph SCC

Return the CallPE (phi-like, merges all actual params)

Callsite

! * Get CallCHI numbers */

! * Get CallMU numbers */

Get callee function: directly for direct calls, via pointer analysis for indirect calls

Receive parameter at callsite

Get children and parent nodes @{

Get location set of the gep edge

Get methods @{

This function returns the absolute path of the current module: - If SVF is built and loaded as a dynamic library (e.g., libSVFCore.so or .dylib), it r

Look up the ValVar id set of a WTO cycle. Returns nullptr if the cycle is unknown (e.g. dense mode, where the map is never built).

Get an edge via its src and dst nodes and kind

getEdgeDestLabel - If hasEdgeDestLabels, this function returns the incoming edge label with the given index in the given node.

Return element number of a type (1) StructType or Array, return flattened number elements. (2) Pointer type, return max field limit (3) Non-pointer Si

Return the function of this ICFGNode

! * Get EntryCHI numbers */

! * Get RetMU numbers */

! * get PTACallGraph edge via nodes */

Return graph name

Get MRVERID

Get the memory object id

! * Given a VFG node, return its left hand side top level pointer */

! * Get loadMU numbers */

Return MR

Returns the total number of memory objects.

Num of fork/join sites @{

Return the corresponding ICFGNode of this operand

Return SVFIR

Return SVFIR