Constructor

constructor

Constructor

Constructor

! * Constructor */

Constructor

Constructor

Constructor

Constructor

* Is this virtual call inside its own constructor or destructor? */

! * Constructor * * Build VFG * 1) build VFG nodes * statements for top level pointers (SVFStmts) * 2) connect VFG edges * between two st

Constructor

Constructor

Constructor

Constructor

Constructor

Constructor needs TargetLibraryInfo to be passed to the AliasAnalysis

Constructor

Compute the weak topological order of the given graph

Default constructor

Default constructor

Constructor

Constructor

Constructor

::operator new[] (size (unsigned int))

::operator new[] (size (unsigned int), nothrow)

::operator new[] (size (unsigned int), aligned)

::operator new[] (size (unsigned int), aligned, nothrow)

::operator new[]

::operator new[] (nothrow)

::operator new[] (aligned)

::operator new[] (aligned, nothrow)

::operator new (size (unsigned int))

::operator new (size (unsigned int), nothrow)

::operator new (size (unsigned int), aligned)

::operator new (size (unsigned int), aligned, nothrow)

::operator new (size (size_t))

::operator new (size (size_t), nothrow)

::operator new (size (size_t), aligned)

::operator new (size (size_t), aligned, nothrow)

Accept the given visitor

Accept the given visitor

! * Decide whether the node and its points-to contains a global objects */

Check if actual-in/actual-out exist at indirect call site. @{

Add memory callsite mu SVFG node

Add memory callsite chi SVFG node

Add an actual parameter VFG node To be noted that multiple actual parameters may have same value (SVFVar) So we need to make a pair <SVFVarID,CallSite

Add ActualParmVFGNode

Add a callsite Receive VFG node

! * Add an address edge */