svf-tools 1.0.317 → 1.0.321

package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html

@@ -235,33 +235,33 @@ Static Private Attributes</h2></td></tr>
 <p>Adds (creates new equivalents) all the nodes and edges of this extpag to the main <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a>. function is used as a key for future lookups. Returns true on success, false otherwise (incl. if it already exists). </p>
 
 <p class="definition">Definition at line <a class="el" href="ExternalPAG_8cpp_source.html#l00377">377</a> of file <a class="el" href="ExternalPAG_8cpp_source.html">ExternalPAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;{</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    <span class="comment">// The function does not exist in the module - bad arg?</span></div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    <span class="comment">// TODO: maybe some warning?</span></div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">function</span> == <span class="keyword">nullptr</span>) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">hasExternalPAG</a>(<span class="keyword">function</span>)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() &lt;&lt; <span class="stringliteral">&quot;Adding extpag &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33">getFunctionName</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    <span class="comment">// Temporarily trick SVF Module into thinking we are reading from</span></div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    <span class="comment">// file to avoid setting BBs/Values (as these nodes don&#39;t have any).</span></div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    std::string oldSVFModuleFileName = <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVFModule::pagFileName</a>();</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5">SVFModule::setPagFromTXT</a>(<span class="stringliteral">&quot;tmp&quot;</span>);</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    <span class="comment">// We need: the new nodes.</span></div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    <span class="comment">//        : the new edges.</span></div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="comment">//        : to map function names to the entry nodes.</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;    <span class="comment">//        : to map function names to the return node.</span></div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    <span class="comment">// To create the new edges.</span></div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, PAGNode *&gt;</a> extToNewNodes;</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    <span class="comment">// Add the value nodes.</span></div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">getValueNodes</a>().begin();</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;            extNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">getValueNodes</a>().end(); ++extNodeIt)</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;    {</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newNodeId = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">addDummyValNode</a>();</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        extToNewNodes[*extNodeIt] = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(newNodeId);</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    <span class="comment">// Add the object nodes.</span></div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">getObjectNodes</a>().begin();</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            extNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">getObjectNodes</a>().end(); ++extNodeIt)</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    {</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="comment">// TODO: fix obj node - there&#39;s more to it?</span></div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newNodeId = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">addDummyObjNode</a>();</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        extToNewNodes[*extNodeIt] = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(newNodeId);</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    }</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    <span class="comment">// Add the edges.</span></div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extEdgeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">getEdges</a>().begin();</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;            extEdgeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">getEdges</a>().end(); ++extEdgeIt)</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    {</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extSrcId = std::get&lt;0&gt;(*extEdgeIt);</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extDstId = std::get&lt;1&gt;(*extEdgeIt);</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        std::string extEdgeType = std::get&lt;2&gt;(*extEdgeIt);</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordtype">int</span> extOffsetOrCSId = std::get&lt;3&gt;(*extEdgeIt);</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *srcNode = extToNewNodes[extSrcId];</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *dstNode = extToNewNodes[extDstId];</div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcId = srcNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstId = dstNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;addr&quot;</span>)</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        {</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a247f006b6f168a7d853814339b0a6ed5">addAddrPE</a>(srcId, dstId);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;        }</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;copy&quot;</span>)</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;        {</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30">addCopyPE</a>(srcId, dstId);</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        }</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;load&quot;</span>)</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;        {</div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2">addLoadPE</a>(srcId, dstId);</div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;        }</div><div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;store&quot;</span>)</div><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        {</div><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2">addStorePE</a>(srcId, dstId, <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        }</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;gep&quot;</span>)</div><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;        {</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363">addNormalGepPE</a>(srcId, dstId, <a class="code" href="classSVF_1_1LocationSet.html">LocationSet</a>(extOffsetOrCSId));</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        }</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;variant-gep&quot;</span>)</div><div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        {</div><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e">addVariantGepPE</a>(srcId, dstId);</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        }</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;call&quot;</span>)</div><div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;        {</div><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">addEdge</a>(srcNode, dstNode, <span class="keyword">new</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>(srcNode, dstNode, <span class="keyword">nullptr</span>));</div><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;        }</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;ret&quot;</span>)</div><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;        {</div><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">addEdge</a>(srcNode, dstNode, <span class="keyword">new</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>(srcNode, dstNode, <span class="keyword">nullptr</span>));</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        }</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;cmp&quot;</span>)</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        {</div><div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ac655a9b115fb6a48a74d794847858aef">addCmpPE</a>(srcId, dstId);</div><div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;        }</div><div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;binary-op&quot;</span>)</div><div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;        {</div><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a1b04aece8eb719555982bd947840947d">addBinaryOPPE</a>(srcId, dstId);</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        }</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;unary-op&quot;</span>)</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        {</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">addUnaryOPPE</a>(srcId, dstId);</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;        }</div><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;        {</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() &lt;&lt; <span class="stringliteral">&quot;Bad edge type found during extpag addition\n&quot;</span>;</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;        }</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    }</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;    <span class="comment">// Record the arg nodes.</span></div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;int, PAGNode *&gt;</a> <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a>;</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> argNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">getArgNodes</a>().begin();</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;            argNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">getArgNodes</a>().end(); ++argNodeIt)</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    {</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;        <span class="keywordtype">int</span> index = argNodeIt-&gt;first;</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extNodeId = argNodeIt-&gt;second;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        argNodes[index] = extToNewNodes[extNodeId];</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    }</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    <a class="code" href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">functionToExternalPAGEntries</a>[<span class="keyword">function</span>] = <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a>;</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;    <span class="comment">// Record the return node.</span></div><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a419d2de51e3af016cf2cc3514ee0d735">hasReturnNode</a>())</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <a class="code" href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">functionToExternalPAGReturns</a>[<span class="keyword">function</span>] =</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;            extToNewNodes[this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6">getReturnNode</a>()];</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    }</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    <span class="comment">// Put it back as if nothing happened.</span></div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5">SVFModule::setPagFromTXT</a>(oldSVFModuleFileName);</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFIR_html_a147a1a57edd4d2eff937b28f677866d2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2">SVF::SVFIR::addStorePE</a></div><div class="ttdeci">StorePE * addStorePE(NodeID src, NodeID dst, const IntraBlockNode *val)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00155">SVFIR.cpp:155</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a0aefb9f6ac03251dd2893e8d5fa30c30"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30">SVF::SVFIR::addCopyPE</a></div><div class="ttdeci">CopyPE * addCopyPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00068">SVFIR.cpp:68</a></div></div>
+<div class="fragment"><div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;{</div><div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;    <span class="comment">// The function does not exist in the module - bad arg?</span></div><div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;    <span class="comment">// TODO: maybe some warning?</span></div><div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">function</span> == <span class="keyword">nullptr</span>) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;</div><div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div><div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">hasExternalPAG</a>(<span class="keyword">function</span>)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;</div><div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() &lt;&lt; <span class="stringliteral">&quot;Adding extpag &quot;</span> &lt;&lt; this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33">getFunctionName</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    <span class="comment">// Temporarily trick SVF Module into thinking we are reading from</span></div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    <span class="comment">// file to avoid setting BBs/Values (as these nodes don&#39;t have any).</span></div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    std::string oldSVFModuleFileName = <a class="code" href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVFModule::pagFileName</a>();</div><div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5">SVFModule::setPagFromTXT</a>(<span class="stringliteral">&quot;tmp&quot;</span>);</div><div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;</div><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;    <span class="comment">// We need: the new nodes.</span></div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    <span class="comment">//        : the new edges.</span></div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="comment">//        : to map function names to the entry nodes.</span></div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;    <span class="comment">//        : to map function names to the return node.</span></div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    <span class="comment">// To create the new edges.</span></div><div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;NodeID, PAGNode *&gt;</a> extToNewNodes;</div><div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;</div><div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;    <span class="comment">// Add the value nodes.</span></div><div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">getValueNodes</a>().begin();</div><div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;            extNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">getValueNodes</a>().end(); ++extNodeIt)</div><div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;    {</div><div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newNodeId = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">addDummyValNode</a>();</div><div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;        extToNewNodes[*extNodeIt] = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(newNodeId);</div><div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;    }</div><div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;</div><div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;    <span class="comment">// Add the object nodes.</span></div><div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">getObjectNodes</a>().begin();</div><div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            extNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">getObjectNodes</a>().end(); ++extNodeIt)</div><div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;    {</div><div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;        <span class="comment">// TODO: fix obj node - there&#39;s more to it?</span></div><div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> newNodeId = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">addDummyObjNode</a>();</div><div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        extToNewNodes[*extNodeIt] = pag-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(newNodeId);</div><div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;    }</div><div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;</div><div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;    <span class="comment">// Add the edges.</span></div><div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> extEdgeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">getEdges</a>().begin();</div><div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;            extEdgeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">getEdges</a>().end(); ++extEdgeIt)</div><div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;    {</div><div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extSrcId = std::get&lt;0&gt;(*extEdgeIt);</div><div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extDstId = std::get&lt;1&gt;(*extEdgeIt);</div><div class="line"><a name="l00423"></a><span class="lineno">  423</span>&#160;        std::string extEdgeType = std::get&lt;2&gt;(*extEdgeIt);</div><div class="line"><a name="l00424"></a><span class="lineno">  424</span>&#160;        <span class="keywordtype">int</span> extOffsetOrCSId = std::get&lt;3&gt;(*extEdgeIt);</div><div class="line"><a name="l00425"></a><span class="lineno">  425</span>&#160;</div><div class="line"><a name="l00426"></a><span class="lineno">  426</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *srcNode = extToNewNodes[extSrcId];</div><div class="line"><a name="l00427"></a><span class="lineno">  427</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *dstNode = extToNewNodes[extDstId];</div><div class="line"><a name="l00428"></a><span class="lineno">  428</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> srcId = srcNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00429"></a><span class="lineno">  429</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstId = dstNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00430"></a><span class="lineno">  430</span>&#160;</div><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;        <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;addr&quot;</span>)</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        {</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a247f006b6f168a7d853814339b0a6ed5">addAddrPE</a>(srcId, dstId);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;        }</div><div class="line"><a name="l00435"></a><span class="lineno">  435</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;copy&quot;</span>)</div><div class="line"><a name="l00436"></a><span class="lineno">  436</span>&#160;        {</div><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30">addCopyPE</a>(srcId, dstId);</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        }</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;load&quot;</span>)</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;        {</div><div class="line"><a name="l00441"></a><span class="lineno">  441</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2">addLoadPE</a>(srcId, dstId);</div><div class="line"><a name="l00442"></a><span class="lineno">  442</span>&#160;        }</div><div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;store&quot;</span>)</div><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        {</div><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2">addStorePE</a>(srcId, dstId, <span class="keyword">nullptr</span>);</div><div class="line"><a name="l00446"></a><span class="lineno">  446</span>&#160;        }</div><div class="line"><a name="l00447"></a><span class="lineno">  447</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;gep&quot;</span>)</div><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;        {</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363">addNormalGepPE</a>(srcId, dstId, <a class="code" href="classSVF_1_1LocationSet.html">LocationSet</a>(extOffsetOrCSId));</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;        }</div><div class="line"><a name="l00451"></a><span class="lineno">  451</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;variant-gep&quot;</span>)</div><div class="line"><a name="l00452"></a><span class="lineno">  452</span>&#160;        {</div><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e">addVariantGepPE</a>(srcId, dstId);</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        }</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;call&quot;</span>)</div><div class="line"><a name="l00456"></a><span class="lineno">  456</span>&#160;        {</div><div class="line"><a name="l00457"></a><span class="lineno">  457</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">addEdge</a>(srcNode, dstNode, <span class="keyword">new</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a>(srcNode, dstNode, <span class="keyword">nullptr</span>));</div><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;        }</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;ret&quot;</span>)</div><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;        {</div><div class="line"><a name="l00461"></a><span class="lineno">  461</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">addEdge</a>(srcNode, dstNode, <span class="keyword">new</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a>(srcNode, dstNode, <span class="keyword">nullptr</span>));</div><div class="line"><a name="l00462"></a><span class="lineno">  462</span>&#160;        }</div><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;cmp&quot;</span>)</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        {</div><div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#ab4b37c70a339d1c9f2bc3d22f14691dc">addCmpPE</a>(srcId, dstId, dstId);</div><div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;        }</div><div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;binary-op&quot;</span>)</div><div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;        {</div><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a15836bec47926fda4c2b2aa1b2930e04">addBinaryOPPE</a>(srcId, dstId,dstId);</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        }</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (extEdgeType == <span class="stringliteral">&quot;unary-op&quot;</span>)</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;        {</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">addUnaryOPPE</a>(srcId, dstId);</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;        }</div><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00476"></a><span class="lineno">  476</span>&#160;        {</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;            <a class="code" href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">outs</a>() &lt;&lt; <span class="stringliteral">&quot;Bad edge type found during extpag addition\n&quot;</span>;</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;        }</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;    }</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;    <span class="comment">// Record the arg nodes.</span></div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;int, PAGNode *&gt;</a> <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a>;</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;    <span class="keywordflow">for</span> (<span class="keyword">auto</span> argNodeIt = this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">getArgNodes</a>().begin();</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;            argNodeIt != this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">getArgNodes</a>().end(); ++argNodeIt)</div><div class="line"><a name="l00485"></a><span class="lineno">  485</span>&#160;    {</div><div class="line"><a name="l00486"></a><span class="lineno">  486</span>&#160;        <span class="keywordtype">int</span> index = argNodeIt-&gt;first;</div><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> extNodeId = argNodeIt-&gt;second;</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;        argNodes[index] = extToNewNodes[extNodeId];</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    }</div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    <a class="code" href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">functionToExternalPAGEntries</a>[<span class="keyword">function</span>] = <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a>;</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;    <span class="comment">// Record the return node.</span></div><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#a419d2de51e3af016cf2cc3514ee0d735">hasReturnNode</a>())</div><div class="line"><a name="l00495"></a><span class="lineno">  495</span>&#160;    {</div><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;        <a class="code" href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">functionToExternalPAGReturns</a>[<span class="keyword">function</span>] =</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;            extToNewNodes[this-&gt;<a class="code" href="classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6">getReturnNode</a>()];</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    }</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    <span class="comment">// Put it back as if nothing happened.</span></div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    <a class="code" href="classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5">SVFModule::setPagFromTXT</a>(oldSVFModuleFileName);</div><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFIR_html_a147a1a57edd4d2eff937b28f677866d2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a147a1a57edd4d2eff937b28f677866d2">SVF::SVFIR::addStorePE</a></div><div class="ttdeci">StorePE * addStorePE(NodeID src, NodeID dst, const IntraBlockNode *val)</div><div class="ttdoc">Add Store edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00185">SVFIR.cpp:185</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a0aefb9f6ac03251dd2893e8d5fa30c30"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a0aefb9f6ac03251dd2893e8d5fa30c30">SVF::SVFIR::addCopyPE</a></div><div class="ttdeci">CopyPE * addCopyPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00069">SVFIR.cpp:69</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a851dbb85d0b80c3942398732ba900e41"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">SVF::ExternalPAG::functionToExternalPAGEntries</a></div><div class="ttdeci">static Map&lt; const SVFFunction *, Map&lt; int, PAGNode * &gt; &gt; functionToExternalPAGEntries</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00028">ExternalPAG.h:28</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_ac655a9b115fb6a48a74d794847858aef"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ac655a9b115fb6a48a74d794847858aef">SVF::SVFIR::addCmpPE</a></div><div class="ttdeci">CmpPE * addCmpPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00085">SVFIR.cpp:85</a></div></div>
-<div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00613">SVFStatements.h:613</a></div></div>
+<div class="ttc" id="classSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00747">SVFStatements.h:747</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a1b04aece8eb719555982bd947840947d"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a1b04aece8eb719555982bd947840947d">SVF::SVFIR::addBinaryOPPE</a></div><div class="ttdeci">BinaryOPPE * addBinaryOPPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00103">SVFIR.cpp:103</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a3071c94ea72048d74a65a409a906af35"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">SVF::SVFIR::addDummyObjNode</a></div><div class="ttdeci">NodeID addDummyObjNode(NodeID i, const Type *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00631">SVFIR.h:631</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a3071c94ea72048d74a65a409a906af35"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3071c94ea72048d74a65a409a906af35">SVF::SVFIR::addDummyObjNode</a></div><div class="ttdeci">NodeID addDummyObjNode(NodeID i, const Type *type)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00562">SVFIR.h:562</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a419d2de51e3af016cf2cc3514ee0d735"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a419d2de51e3af016cf2cc3514ee0d735">SVF::ExternalPAG::hasReturnNode</a></div><div class="ttdeci">bool hasReturnNode() const</div><div class="ttdoc">Does this function have a return node? </div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00133">ExternalPAG.h:133</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_ae8d9064d781ed859cba85b99a69070ac"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">SVF::ExternalPAG::argNodes</a></div><div class="ttdeci">Map&lt; int, NodeID &gt; argNodes</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00048">ExternalPAG.h:48</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a3c167ee7cdf012306acef6149a874c3e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">SVF::SVFIR::addUnaryOPPE</a></div><div class="ttdeci">UnaryOPPE * addUnaryOPPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Unary edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00120">SVFIR.cpp:120</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a3c167ee7cdf012306acef6149a874c3e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3c167ee7cdf012306acef6149a874c3e">SVF::SVFIR::addUnaryOPPE</a></div><div class="ttdeci">UnaryOPPE * addUnaryOPPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Unary edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00148">SVFIR.cpp:148</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_ab32ce97e36e69379bc6b70c1657bbaa6"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#ab32ce97e36e69379bc6b70c1657bbaa6">SVF::ExternalPAG::getReturnNode</a></div><div class="ttdeci">NodeID getReturnNode() const</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00122">ExternalPAG.h:122</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00116">SVFIR.h:116</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a33d8fad47352f7ca8aac035eb2adb57e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e">SVF::SVFIR::addVariantGepPE</a></div><div class="ttdeci">VariantGepPE * addVariantGepPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Variant(Gep) edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00292">SVFIR.cpp:292</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00107">SVFIR.h:107</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a33d8fad47352f7ca8aac035eb2adb57e"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a33d8fad47352f7ca8aac035eb2adb57e">SVF::SVFIR::addVariantGepPE</a></div><div class="ttdeci">VariantGepPE * addVariantGepPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Variant(Gep) edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00328">SVFIR.cpp:328</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a1d35176325629ae64beb28d5474dd8d7"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a1d35176325629ae64beb28d5474dd8d7">SVF::ExternalPAG::getValueNodes</a></div><div class="ttdeci">NodeSet &amp; getValueNodes()</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00104">ExternalPAG.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a3a798aa788c5f1c200b7e2719660b5ec"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">SVF::ExternalPAG::hasExternalPAG</a></div><div class="ttdeci">static bool hasExternalPAG(const SVFFunction *function)</div><div class="ttdoc">Whether an external SVFIR implementing function exists. </div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8cpp_source.html#l00148">ExternalPAG.cpp:148</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_af88e42a31e396ee9df11146638f1efcd"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#af88e42a31e396ee9df11146638f1efcd">SVF::ExternalPAG::getArgNodes</a></div><div class="ttdeci">Map&lt; int, NodeID &gt; &amp; getArgNodes()</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00117">ExternalPAG.h:117</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00561">SVFStatements.h:561</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00695">SVFStatements.h:695</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFModule_html_a54c2bc2cb7cda0d74f4cadc676461b60"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a54c2bc2cb7cda0d74f4cadc676461b60">SVF::SVFModule::pagFileName</a></div><div class="ttdeci">static std::string pagFileName()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00093">SVFModule.h:93</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a6b1bb039f068ff2ab486214354df4684"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode(NodeID i)</div><div class="ttdoc">Add a dummy value/object node according to node ID (llvm value is null) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00627">SVFIR.h:627</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a6b1bb039f068ff2ab486214354df4684"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a6b1bb039f068ff2ab486214354df4684">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode(NodeID i)</div><div class="ttdoc">Add a dummy value/object node according to node ID (llvm value is null) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00558">SVFIR.h:558</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a722f32d0a0a3bafdd97fc74819d2621e"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a722f32d0a0a3bafdd97fc74819d2621e">SVF::IRGraph::addEdge</a></div><div class="ttdeci">bool addEdge(SVFVar *src, SVFVar *dst, SVFStmt *edge)</div><div class="ttdoc">Add an edge into the graph. </div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8cpp_source.html#l00042">IRGraph.cpp:42</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_ab4b37c70a339d1c9f2bc3d22f14691dc"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ab4b37c70a339d1c9f2bc3d22f14691dc">SVF::SVFIR::addCmpPE</a></div><div class="ttdeci">CmpPE * addCmpPE(NodeID op1, NodeID op2, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00107">SVFIR.cpp:107</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_aa478936bbf34d5cc23c6322a61a6885e"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">SVF::ExternalPAG::functionToExternalPAGReturns</a></div><div class="ttdeci">static Map&lt; const SVFFunction *, PAGNode * &gt; functionToExternalPAGReturns</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00029">ExternalPAG.h:29</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a5b89eb728f02a2d235f898dcf555d1a2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2">SVF::SVFIR::addLoadPE</a></div><div class="ttdeci">LoadPE * addLoadPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Load edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00137">SVFIR.cpp:137</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a5b89eb728f02a2d235f898dcf555d1a2"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5b89eb728f02a2d235f898dcf555d1a2">SVF::SVFIR::addLoadPE</a></div><div class="ttdeci">LoadPE * addLoadPE(NodeID src, NodeID dst)</div><div class="ttdoc">Add Load edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00166">SVFIR.cpp:166</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_acb3156be31f4dd45590d931b0f9279f5"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#acb3156be31f4dd45590d931b0f9279f5">SVF::ExternalPAG::getObjectNodes</a></div><div class="ttdeci">NodeSet &amp; getObjectNodes()</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00108">ExternalPAG.h:108</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a15836bec47926fda4c2b2aa1b2930e04"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a15836bec47926fda4c2b2aa1b2930e04">SVF::SVFIR::addBinaryOPPE</a></div><div class="ttdeci">BinaryOPPE * addBinaryOPPE(NodeID op1, NodeID op2, NodeID dst)</div><div class="ttdoc">Add Copy edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00128">SVFIR.cpp:128</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a25d59d95afaa5f548e09e6e625a14f33"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a25d59d95afaa5f548e09e6e625a14f33">SVF::ExternalPAG::getFunctionName</a></div><div class="ttdeci">std::string getFunctionName() const</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00099">ExternalPAG.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1LocationSet_html"><div class="ttname"><a href="classSVF_1_1LocationSet.html">SVF::LocationSet</a></div><div class="ttdef"><b>Definition:</b> <a href="LocationSet_8h_source.html#l00093">LocationSet.h:93</a></div></div>
@@ -269,7 +269,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFModule_html_ac630e9f18a239ac6b3b88d05e64140c5"><div class="ttname"><a href="classSVF_1_1SVFModule.html#ac630e9f18a239ac6b3b88d05e64140c5">SVF::SVFModule::setPagFromTXT</a></div><div class="ttdeci">static void setPagFromTXT(std::string txt)</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00088">SVFModule.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00387">GenericGraph.h:387</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_acd2ba7adf250f1a90b57e51a085b6363"><div class="ttname"><a href="classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363">SVF::SVFIR::addNormalGepPE</a></div><div class="ttdeci">NormalGepPE * addNormalGepPE(NodeID src, NodeID dst, const LocationSet &amp;ls)</div><div class="ttdoc">Add Offset(Gep) edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00273">SVFIR.cpp:273</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_acd2ba7adf250f1a90b57e51a085b6363"><div class="ttname"><a href="classSVF_1_1SVFIR.html#acd2ba7adf250f1a90b57e51a085b6363">SVF::SVFIR::addNormalGepPE</a></div><div class="ttdeci">NormalGepPE * addNormalGepPE(NodeID src, NodeID dst, const LocationSet &amp;ls)</div><div class="ttdoc">Add Offset(Gep) edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00308">SVFIR.cpp:308</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a68a53b3db6cdf02f49786492fc49c012"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a68a53b3db6cdf02f49786492fc49c012">SVF::ExternalPAG::getEdges</a></div><div class="ttdeci">OrderedSet&lt; std::tuple&lt; NodeID, NodeID, std::string, int &gt; &gt; &amp; getEdges()</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00112">ExternalPAG.h:112</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -300,7 +300,7 @@ Static Private Attributes</h2></td></tr>
 <p>Connects callsite if a external <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> implementing the relevant function has been added. Returns true on success, false otherwise. </p>
 
 <p class="definition">Definition at line <a class="el" href="ExternalPAG_8cpp_source.html#l00072">72</a> of file <a class="el" href="ExternalPAG_8cpp_source.html">ExternalPAG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* <span class="keyword">function</span> = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">getCalledFunction</a>();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    std::string <a class="code" href="classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890">functionName</a> = <span class="keyword">function</span>-&gt;getName().str();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFun = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a547b3bc62de65b9dbfc6dee55c063dd7">getSVFFunction</a>(<span class="keyword">function</span>);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">hasExternalPAG</a>(svfFun)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;int, PAGNode*&gt;</a> <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a> =</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">functionToExternalPAGEntries</a>[svfFun];</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *retNode = <a class="code" href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">functionToExternalPAGReturns</a>[svfFun];</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="comment">// Handle the return.</span></div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">if</span> (llvm::isa&lt;PointerType&gt;(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">getType</a>()))</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstrec = pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="comment">// Does it actually return a pointer?</span></div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;PointerType&gt;(function-&gt;getReturnType()))</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordflow">if</span> (retNode != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* icfgNode = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">addRetPE</a>(retNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), dstrec, icfgNode);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            <span class="comment">// This is a int2ptr cast during parameter passing</span></div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">addBlackHoleAddrPE</a>(dstrec);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        }</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    }</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="comment">// Handle the arguments;</span></div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <span class="comment">// Actual arguments.</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff">CallSite::arg_iterator</a> itA = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#aabc0054b7f4e06b7ca0b6072746984e6">arg_begin</a>(), ieA = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e">arg_end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    Function::const_arg_iterator itF = <span class="keyword">function</span>-&gt;arg_begin(),</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                                 ieF = <span class="keyword">function</span>-&gt;arg_end();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <span class="comment">// Formal arguments.</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="keywordtype">size_t</span> formalNodeIndex = 0;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <span class="keywordflow">for</span> (; itF != ieF ; ++itA, ++itF, ++formalNodeIndex)</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">if</span> (itA == ieA)</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            <span class="comment">// When unneeded args are left empty, e.g. Linux kernel.</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">break</span>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        }</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="comment">// Formal arg node is from the extpag, actual arg node would come from</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="comment">// the main pag.</span></div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *formalArgNode = argNodes[formalNodeIndex];</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> actualArgNodeId = pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(*itA);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">llvm::Value</a> *formalArg = &amp;*itF;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">if</span> (!SVFUtil::isa&lt;PointerType&gt;(formalArg-&gt;getType())) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;PointerType&gt;((*itA)-&gt;getType()))</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* icfgNode = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">addCallPE</a>(actualArgNodeId, formalArgNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), icfgNode);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            <span class="comment">// This is a int2ptr cast during parameter passing</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            <span class="comment">//addFormalParamBlackHoleAddrEdge(formalArgNode-&gt;getId(), &amp;*itF);</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;you need to set the current location of this PAGEdge&quot;</span>);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">addBlackHoleAddrPE</a>(formalArgNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="comment">// TODO proofread.</span></div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFIR_html_aba877353c0eb383bf5ce216e7cb605bc"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">SVF::SVFIR::addBlackHoleAddrPE</a></div><div class="ttdeci">SVFStmt * addBlackHoleAddrPE(NodeID node)</div><div class="ttdoc">Set a pointer points-to black hole (e.g. int2ptr) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00206">SVFIR.cpp:206</a></div></div>
+<div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;{</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a> *pag = <a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVFIR::getPAG</a>();</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;    <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>* <span class="keyword">function</span> = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">getCalledFunction</a>();</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    std::string <a class="code" href="classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890">functionName</a> = <span class="keyword">function</span>-&gt;getName().str();</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* svfFun = <a class="code" href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">LLVMModuleSet::getLLVMModuleSet</a>()-&gt;<a class="code" href="classSVF_1_1LLVMModuleSet.html#a547b3bc62de65b9dbfc6dee55c063dd7">getSVFFunction</a>(<span class="keyword">function</span>);</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">hasExternalPAG</a>(svfFun)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;int, PAGNode*&gt;</a> <a class="code" href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">argNodes</a> =</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;        <a class="code" href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">functionToExternalPAGEntries</a>[svfFun];</div><div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;    <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *retNode = <a class="code" href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">functionToExternalPAGReturns</a>[svfFun];</div><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    <span class="comment">// Handle the return.</span></div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    <span class="keywordflow">if</span> (llvm::isa&lt;PointerType&gt;(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">getType</a>()))</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;    {</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dstrec = pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="comment">// Does it actually return a pointer?</span></div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;PointerType&gt;(function-&gt;getReturnType()))</div><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;        {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keywordflow">if</span> (retNode != <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* icfgNode = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">addRetPE</a>(retNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), dstrec, icfgNode);</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;            }</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        }</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;            <span class="comment">// This is a int2ptr cast during parameter passing</span></div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">addBlackHoleAddrPE</a>(dstrec);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        }</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;    }</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    <span class="comment">// Handle the arguments;</span></div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    <span class="comment">// Actual arguments.</span></div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;    <a class="code" href="classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff">CallSite::arg_iterator</a> itA = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#aabc0054b7f4e06b7ca0b6072746984e6">arg_begin</a>(), ieA = cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e">arg_end</a>();</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;    Function::const_arg_iterator itF = <span class="keyword">function</span>-&gt;arg_begin(),</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;                                 ieF = <span class="keyword">function</span>-&gt;arg_end();</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    <span class="comment">// Formal arguments.</span></div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;    <span class="keywordtype">size_t</span> formalNodeIndex = 0;</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    <span class="keywordflow">for</span> (; itF != ieF ; ++itA, ++itF, ++formalNodeIndex)</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;    {</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">if</span> (itA == ieA)</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            <span class="comment">// When unneeded args are left empty, e.g. Linux kernel.</span></div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <span class="keywordflow">break</span>;</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        }</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="comment">// Formal arg node is from the extpag, actual arg node would come from</span></div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="comment">// the main pag.</span></div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a> *formalArgNode = argNodes[formalNodeIndex];</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> actualArgNodeId = pag-&gt;<a class="code" href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">getValueNode</a>(*itA);</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">llvm::Value</a> *formalArg = &amp;*itF;</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">if</span> (!SVFUtil::isa&lt;PointerType&gt;(formalArg-&gt;getType())) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">if</span> (SVFUtil::isa&lt;PointerType&gt;((*itA)-&gt;getType()))</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* icfgNode = pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>()-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(cs-&gt;<a class="code" href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">getInstruction</a>());</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">addCallPE</a>(actualArgNodeId, formalArgNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>(), icfgNode);</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        }</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;            <span class="comment">// This is a int2ptr cast during parameter passing</span></div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            <span class="comment">//addFormalParamBlackHoleAddrEdge(formalArgNode-&gt;getId(), &amp;*itF);</span></div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;you need to set the current location of this PAGEdge&quot;</span>);</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            pag-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">addBlackHoleAddrPE</a>(formalArgNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;        }</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <span class="comment">// TODO proofread.</span></div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    }</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;}</div><div class="ttc" id="classSVF_1_1SVFIR_html_aba877353c0eb383bf5ce216e7cb605bc"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aba877353c0eb383bf5ce216e7cb605bc">SVF::SVFIR::addBlackHoleAddrPE</a></div><div class="ttdeci">SVFStmt * addBlackHoleAddrPE(NodeID node)</div><div class="ttdoc">Set a pointer points-to black hole (e.g. int2ptr) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00239">SVFIR.cpp:239</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a851dbb85d0b80c3942398732ba900e41"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a851dbb85d0b80c3942398732ba900e41">SVF::ExternalPAG::functionToExternalPAGEntries</a></div><div class="ttdeci">static Map&lt; const SVFFunction *, Map&lt; int, PAGNode * &gt; &gt; functionToExternalPAGEntries</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00028">ExternalPAG.h:28</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a3afc6af562a7900d682394acc64d5890"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a3afc6af562a7900d682394acc64d5890">SVF::ExternalPAG::functionName</a></div><div class="ttdeci">std::string functionName</div><div class="ttdoc">Name of the function this external SVFIR represents. </div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00032">ExternalPAG.h:32</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00018">MTAResultValidator.h:18</a></div></div>
@@ -310,24 +310,24 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_ae8d9064d781ed859cba85b99a69070ac"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#ae8d9064d781ed859cba85b99a69070ac">SVF::ExternalPAG::argNodes</a></div><div class="ttdeci">Map&lt; int, NodeID &gt; argNodes</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00048">ExternalPAG.h:48</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_ab36a6a35eea673d4bdca615efc4336b1"><div class="ttname"><a href="classSVF_1_1CallSite.html#ab36a6a35eea673d4bdca615efc4336b1">SVF::CallSite::getInstruction</a></div><div class="ttdeci">CallBase * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00310">BasicTypes.h:310</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00116">SVFIR.h:116</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00107">SVFIR.h:107</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_a46e8ffe430bb2711abaafc9d7864909e"><div class="ttname"><a href="classSVF_1_1CallSite.html#a46e8ffe430bb2711abaafc9d7864909e">SVF::CallSite::arg_end</a></div><div class="ttdeci">User::const_op_iterator arg_end() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00315">BasicTypes.h:315</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_a3a798aa788c5f1c200b7e2719660b5ec"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#a3a798aa788c5f1c200b7e2719660b5ec">SVF::ExternalPAG::hasExternalPAG</a></div><div class="ttdeci">static bool hasExternalPAG(const SVFFunction *function)</div><div class="ttdoc">Whether an external SVFIR implementing function exists. </div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8cpp_source.html#l00148">ExternalPAG.cpp:148</a></div></div>
-<div class="ttc" id="classSVF_1_1IRGraph_html_abffddd41cc308b9b3bd5ad4a7f8f1624"><div class="ttname"><a href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00129">IRGraph.h:129</a></div></div>
+<div class="ttc" id="classSVF_1_1IRGraph_html_abffddd41cc308b9b3bd5ad4a7f8f1624"><div class="ttname"><a href="classSVF_1_1IRGraph.html#abffddd41cc308b9b3bd5ad4a7f8f1624">SVF::IRGraph::getValueNode</a></div><div class="ttdeci">NodeID getValueNode(const Value *V)</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00120">IRGraph.h:120</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a5faee14fa1dd41447bc73ac365fe33c1"><div class="ttname"><a href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">SVF::Function</a></div><div class="ttdeci">llvm::Function Function</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00076">BasicTypes.h:76</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_aabc0054b7f4e06b7ca0b6072746984e6"><div class="ttname"><a href="classSVF_1_1CallSite.html#aabc0054b7f4e06b7ca0b6072746984e6">SVF::CallSite::arg_begin</a></div><div class="ttdeci">User::const_op_iterator arg_begin() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00314">BasicTypes.h:314</a></div></div>
 <div class="ttc" id="classSVF_1_1ExternalPAG_html_aa478936bbf34d5cc23c6322a61a6885e"><div class="ttname"><a href="classSVF_1_1ExternalPAG.html#aa478936bbf34d5cc23c6322a61a6885e">SVF::ExternalPAG::functionToExternalPAGReturns</a></div><div class="ttdeci">static Map&lt; const SVFFunction *, PAGNode * &gt; functionToExternalPAGReturns</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8h_source.html#l00029">ExternalPAG.h:29</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_ae9b0172e29199f2a938d7cf9e42241cf"><div class="ttname"><a href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite::getCalledFunction</a></div><div class="ttdeci">Function * getCalledFunction() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00320">BasicTypes.h:320</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a9e99fcf29016ef401f53491ec54a4053"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">SVF::SVFIR::addCallPE</a></div><div class="ttdeci">CallPE * addCallPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Call edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00172">SVFIR.cpp:172</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a9e99fcf29016ef401f53491ec54a4053"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a9e99fcf29016ef401f53491ec54a4053">SVF::SVFIR::addCallPE</a></div><div class="ttdeci">CallPE * addCallPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Call edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00203">SVFIR.cpp:203</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00069">LLVMModule.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_a9b7d53a345875e4e6c72eb23ac6475de"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b7d53a345875e4e6c72eb23ac6475de">SVF::CallSite::getType</a></div><div class="ttdeci">Type * getType() const</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00313">BasicTypes.h:313</a></div></div>
 <div class="ttc" id="classSVF_1_1CallSite_html_ac1cdfe5e54026960a23142e26b3150ff"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac1cdfe5e54026960a23142e26b3150ff">SVF::CallSite::arg_iterator</a></div><div class="ttdeci">User::const_op_iterator arg_iterator</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00311">BasicTypes.h:311</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a12fef4ec0537b26947eb0ab10799f29f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">SVF::SVFIR::addRetPE</a></div><div class="ttdeci">RetPE * addRetPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Return edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00189">SVFIR.cpp:189</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a12fef4ec0537b26947eb0ab10799f29f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a12fef4ec0537b26947eb0ab10799f29f">SVF::SVFIR::addRetPE</a></div><div class="ttdeci">RetPE * addRetPE(NodeID src, NodeID dst, const CallBlockNode *cs)</div><div class="ttdoc">Add Return edge. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00221">SVFIR.cpp:221</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00142">SVFIR.h:142</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00133">SVFIR.h:133</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00078">BasicTypes.h:78</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_a547b3bc62de65b9dbfc6dee55c063dd7"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a547b3bc62de65b9dbfc6dee55c063dd7">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">const SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00112">LLVMModule.h:112</a></div></div>
 </div><!-- fragment -->
@@ -371,10 +371,10 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_adc8b60ca7d60cf6c81feae20e4a04c63"><div class="ttname"><a href="namespaceSVF.html#adc8b60ca7d60cf6c81feae20e4a04c63">SVF::CallInst</a></div><div class="ttdeci">llvm::CallInst CallInst</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00148">BasicTypes.h:148</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00046">SVFVariables.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFVar_html_adec782d2f9d055b0dbcb56f511e75c24"><div class="ttname"><a href="classSVF_1_1SVFVar.html#adec782d2f9d055b0dbcb56f511e75c24">SVF::SVFVar::getOutgoingEdgesEnd</a></div><div class="ttdeci">SVFStmt::PAGEdgeSetTy::iterator getOutgoingEdgesEnd(SVFStmt::PEDGEK kind) const</div><div class="ttdoc">Get outgoing SVFStmt iterator. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00228">SVFVariables.h:228</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00116">SVFIR.h:116</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00107">SVFIR.h:107</a></div></div>
 <div class="ttc" id="ExternalPAG_8cpp_html_a883ca6e5a9c61af716b49ba81adf4ca3"><div class="ttname"><a href="ExternalPAG_8cpp.html#a883ca6e5a9c61af716b49ba81adf4ca3">outputPAGEdge</a></div><div class="ttdeci">static void outputPAGEdge(raw_ostream &amp;o, PAGEdge *pagEdge)</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8cpp_source.html#l00196">ExternalPAG.cpp:196</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00561">SVFStatements.h:561</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00695">SVFStatements.h:695</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_a4bef15157423cef48dc7333a803cd27d"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a4bef15157423cef48dc7333a803cd27d">SVF::GenericGraph::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00365">GenericGraph.h:365</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericGraph_html_ac213302cf5c7cdf3b66f7b18649d0fbc"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#ac213302cf5c7cdf3b66f7b18649d0fbc">SVF::GenericGraph&lt; SVFVar, SVFStmt &gt;::iterator</a></div><div class="ttdeci">IDToNodeMapTy::iterator iterator</div><div class="ttdoc">Node Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00338">GenericGraph.h:338</a></div></div>
 <div class="ttc" id="classSVF_1_1RetPN_html_acedd9e576a077f96c0638065d4c70bcf"><div class="ttname"><a href="classSVF_1_1RetPN.html#acedd9e576a077f96c0638065d4c70bcf">SVF::RetPN::classof</a></div><div class="ttdeci">static bool classof(const RetPN *)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00580">SVFVariables.h:580</a></div></div>
@@ -384,7 +384,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00178">GenericGraph.h:178</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1CallPE_html_ac8f25219948d3a6ff205048e746338d5"><div class="ttname"><a href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">SVF::CallPE::getCallInst</a></div><div class="ttdeci">const CallBlockNode * getCallInst() const</div><div class="ttdoc">Get method for the call instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00596">SVFStatements.h:596</a></div></div>
+<div class="ttc" id="classSVF_1_1CallPE_html_ac8f25219948d3a6ff205048e746338d5"><div class="ttname"><a href="classSVF_1_1CallPE.html#ac8f25219948d3a6ff205048e746338d5">SVF::CallPE::getCallInst</a></div><div class="ttdeci">const CallBlockNode * getCallInst() const</div><div class="ttdoc">Get method for the call instruction. </div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00730">SVFStatements.h:730</a></div></div>
 <div class="ttc" id="ExternalPAG_8cpp_html_a84db1ce5293fc8c7b74a997a02675c38"><div class="ttname"><a href="ExternalPAG_8cpp.html#a84db1ce5293fc8c7b74a997a02675c38">outputPAGNode</a></div><div class="ttdeci">static void outputPAGNode(raw_ostream &amp;o, PAGNode *pagNode)</div><div class="ttdef"><b>Definition:</b> <a href="ExternalPAG_8cpp_source.html#l00175">ExternalPAG.cpp:175</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_acf40310917909e4234282c0695a43160"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#acf40310917909e4234282c0695a43160">SVF::LLVMModuleSet::getLLVMModuleSet</a></div><div class="ttdeci">static LLVMModuleSet * getLLVMModuleSet()</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00069">LLVMModule.h:69</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html_ad3d50024efcfa94b1246c982b43aff2f"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html#ad3d50024efcfa94b1246c982b43aff2f">SVF::CallBlockNode::getCallSite</a></div><div class="ttdeci">const Instruction * getCallSite() const</div><div class="ttdoc">Return callsite. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00381">ICFGNode.h:381</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html

@@ -1074,7 +1074,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1FSMPTA_html_aa8dcd130d4b9283fc6b903de8e4ad830"><div class="ttname"><a href="classSVF_1_1FSMPTA.html#aa8dcd130d4b9283fc6b903de8e4ad830">SVF::FSMPTA::mhp</a></div><div class="ttdeci">MHP * mhp</div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00218">FSMPTA.h:218</a></div></div>
 <div class="ttc" id="classSVF_1_1FlowSensitive_html_a5cfee013a1a5821ef0c449842dd8690d"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#a5cfee013a1a5821ef0c449842dd8690d">SVF::FlowSensitive::ander</a></div><div class="ttdeci">AndersenWaveDiff * ander</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00284">FlowSensitive.h:284</a></div></div>
 <div class="ttc" id="classSVF_1_1MTASVFGBuilder_html"><div class="ttname"><a href="classSVF_1_1MTASVFGBuilder.html">SVF::MTASVFGBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="FSMPTA_8h_source.html#l00063">FSMPTA.h:63</a></div></div>
-<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a431ec4f85eb0f029e5740b92fd9ceb32"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialization of a pointer analysis, including building symbol table and SVFIR etc. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00112">PointerAnalysis.cpp:112</a></div></div>
+<div class="ttc" id="classSVF_1_1PointerAnalysis_html_a431ec4f85eb0f029e5740b92fd9ceb32"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a431ec4f85eb0f029e5740b92fd9ceb32">SVF::PointerAnalysis::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialization of a pointer analysis, including building symbol table and SVFIR etc. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00111">PointerAnalysis.cpp:111</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>