svf-tools 1.0.424 → 1.0.427

package/SVF-doxygen/html/html/classSVF_1_1MemSSADF.html

@@ -116,7 +116,7 @@ Public Member Functions</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="SVFGBuilder_8h_source.html#l00045">45</a> of file <a class="el" href="SVFGBuilder_8h_source.html">SVFGBuilder.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;               : <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">DominanceFrontier</a>()</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {}</div><div class="ttc" id="namespaceSVF_html_ab44d20f806be99699895260b14a942d7"><div class="ttname"><a href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF::DominanceFrontier</a></div><div class="ttdeci">llvm::DominanceFrontier DominanceFrontier</div><div class="ttdoc">LLVM Dominators. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00182">BasicTypes.h:182</a></div></div>
+<div class="fragment"><div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;               : <a class="code" href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">DominanceFrontier</a>()</div><div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;    {}</div><div class="ttc" id="namespaceSVF_html_ab44d20f806be99699895260b14a942d7"><div class="ttname"><a href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF::DominanceFrontier</a></div><div class="ttdeci">llvm::DominanceFrontier DominanceFrontier</div><div class="ttdoc">LLVM Dominators. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00147">BasicTypes.h:147</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html

@@ -464,7 +464,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a74c36654b7452aa94aa241881f0a83c5"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5">SVF::MemSSAStat::TimeOfGeneratingMemRegions</a></div><div class="ttdeci">static const char * TimeOfGeneratingMemRegions</div><div class="ttdoc">Time for allocating regions. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00053">SVFGStat.h:53</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a1f69924c587c4e68a029fd4e86cffacf"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1f69924c587c4e68a029fd4e86cffacf">SVF::MRGenerator::getMRSet</a></div><div class="ttdeci">MRSet &amp; getMRSet()</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00176">MemRegion.h:176</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_ab29515f4e5b1f090c06a6e39761d3394"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ab29515f4e5b1f090c06a6e39761d3394">SVF::MemSSAStat::mssa</a></div><div class="ttdeci">MemSSA * mssa</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00088">SVFGStat.h:88</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00077">SVFBasicTypes.h:77</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00081">SVFBasicTypes.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a3bc14307bd0f986cbd8ba5970f1abf0f"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f">SVF::MemSSAStat::NumOfStoreHasChi</a></div><div class="ttdeci">static const char * NumOfStoreHasChi</div><div class="ttdoc">Number of stores which have chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00074">SVFGStat.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator. </div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00320">MemSSA.h:320</a></div></div>
 <div class="ttc" id="classSVF_1_1MemSSAStat_html_a7dd7e6af850b9d724ea580450bfd3afd"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#a7dd7e6af850b9d724ea580450bfd3afd">SVF::MemSSAStat::TotalTimeOfConstructMemSSA</a></div><div class="ttdeci">static const char * TotalTimeOfConstructMemSSA</div><div class="ttdoc">Total time for constructing memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00052">SVFGStat.h:52</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1MergeFunctionRets.html

@@ -128,7 +128,7 @@ Static Public Attributes</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8h_source.html#l00063">63</a> of file <a class="el" href="BreakConstantExpr_8h_source.html">BreakConstantExpr.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;: <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>(<a class="code" href="classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458">ID</a>) {}</div><div class="ttc" id="namespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00092">BasicTypes.h:92</a></div></div>
+<div class="fragment"><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;: <a class="code" href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">ModulePass</a>(<a class="code" href="classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458">ID</a>) {}</div><div class="ttc" id="namespaceSVF_html_ac226d84f86637126d17f6814632c8a90"><div class="ttname"><a href="namespaceSVF.html#ac226d84f86637126d17f6814632c8a90">SVF::ModulePass</a></div><div class="ttdeci">llvm::ModulePass ModulePass</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00091">BasicTypes.h:91</a></div></div>
 <div class="ttc" id="classSVF_1_1MergeFunctionRets_html_a7a763ae6c9d3c72345495f01b0b4b458"><div class="ttname"><a href="classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458">SVF::MergeFunctionRets::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8h_source.html#l00062">BreakConstantExpr.h:62</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -189,7 +189,7 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8h_source.html#l00085">85</a> of file <a class="el" href="BreakConstantExpr_8h_source.html">BreakConstantExpr.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    {</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(!fn.isDeclaration() &amp;&amp; <span class="stringliteral">&quot;external function does not have DF&quot;</span>);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <span class="keywordflow">return</span> &amp;getAnalysis&lt;UnifyFunctionExitNodes&gt;(<span class="keyword">const_cast&lt;</span><a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&amp;<span class="keyword">&gt;</span>(fn));</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</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="Util_2BasicTypes_8h_source.html#l00074">BasicTypes.h:74</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="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -248,7 +248,7 @@ Static Public Attributes</h2></td></tr>
 
 <p class="definition">Definition at line <a class="el" href="BreakConstantExpr_8h_source.html#l00073">73</a> of file <a class="el" href="BreakConstantExpr_8h_source.html">BreakConstantExpr.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    {</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <span class="keywordflow">for</span> (Module::const_iterator iter = module.begin(), eiter = module.end();</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                iter != eiter; ++iter)</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;        {</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a5faee14fa1dd41447bc73ac365fe33c1">Function</a>&amp; fun = *iter;</div><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;            <span class="keywordflow">if</span>(fun.isDeclaration())</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;                <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;            <a class="code" href="classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca">getUnifyExit</a>(fun)-&gt;runOnFunction(const_cast&lt;Function&amp;&gt;(fun));</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;        }</div><div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;    }</div><div class="ttc" id="classSVF_1_1MergeFunctionRets_html_a0644ac0f560911632855d9129f3d71ca"><div class="ttname"><a href="classSVF_1_1MergeFunctionRets.html#a0644ac0f560911632855d9129f3d71ca">SVF::MergeFunctionRets::getUnifyExit</a></div><div class="ttdeci">UnifyFunctionExitNodes * getUnifyExit(const Function &amp;fn)</div><div class="ttdoc">Get Unified Exit basic block node. </div><div class="ttdef"><b>Definition:</b> <a href="BreakConstantExpr_8h_source.html#l00085">BreakConstantExpr.h:85</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="Util_2BasicTypes_8h_source.html#l00074">BasicTypes.h:74</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="Util_2BasicTypes_8h_source.html#l00073">BasicTypes.h:73</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html

@@ -883,7 +883,7 @@ template<typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_ac6d487a4af529ecb30366be54b29260a"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#ac6d487a4af529ecb30366be54b29260a">SVF::MutableDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00377">MutablePointsToDS.h:377</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::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_1MutableDFPTData_html_a034c1bf20ab8a73a97863073e08dcd4e"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#a034c1bf20ab8a73a97863073e08dcd4e">SVF::MutableDFPTData::getDFOutPtsMap</a></div><div class="ttdeci">const PtsMap &amp; getDFOutPtsMap(LocID loc)</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00418">MutablePointsToDS.h:418</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 <div class="ttc" id="classSVF_1_1MutableDFPTData_html_adb30678f5bbdea0f196d3b0ab67d2bad"><div class="ttname"><a href="classSVF_1_1MutableDFPTData.html#adb30678f5bbdea0f196d3b0ab67d2bad">SVF::MutableDFPTData::DFPtsMapconstIter</a></div><div class="ttdeci">DFPtsMap::const_iterator DFPtsMapconstIter</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00344">MutablePointsToDS.h:344</a></div></div>
 </div><!-- fragment -->
 </div>

package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html

@@ -431,7 +431,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1NodeIDAllocator_1_1Clusterer_html_a639b887e30115c2a6cd108c65f18fcc1"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1">SVF::NodeIDAllocator::Clusterer::OriginalSbvNumWords</a></div><div class="ttdeci">static const std::string OriginalSbvNumWords</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00123">NodeIDAllocator.h:123</a></div></div>
 <div class="ttc" id="classSVF_1_1NodeIDAllocator_1_1Clusterer_html_af3fe4b4098898ee38928c9db30ea0fe9"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9">SVF::NodeIDAllocator::Clusterer::NewBvNumWords</a></div><div class="ttdeci">static const std::string NewBvNumWords</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00124">NodeIDAllocator.h:124</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_ab8ca0fd9d0caa6817d305cae0f1cf022"><div class="ttname"><a href="SVFBasicTypes_8h.html#ab8ca0fd9d0caa6817d305cae0f1cf022">NATIVE_INT_SIZE</a></div><div class="ttdeci">#define NATIVE_INT_SIZE</div><div class="ttdoc">Size of native integer that we&amp;#39;ll use for bit vectors, in bits. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00182">SVFBasicTypes.h:182</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00079">SVFBasicTypes.h:79</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a366625858f450a1ea5f985a3c83e0f14"><div class="ttname"><a href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">SVF::u64_t</a></div><div class="ttdeci">unsigned long long u64_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00083">SVFBasicTypes.h:83</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -626,7 +626,7 @@ points-to set" is encoded by graph which is an adjacency list ensuring that x in
 <div class="fragment"><div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;    {</div><div class="line"><a name="l00535"></a><span class="lineno">  535</span>&#160;        <span class="keywordtype">unsigned</span> label = UINT_MAX;</div><div class="line"><a name="l00536"></a><span class="lineno">  536</span>&#160;        std::vector&lt;NodeID&gt; labels(<a class="code" href="classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f">numObjects</a>, UINT_MAX);</div><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;        Set&lt;NodeID&gt; labelled;</div><div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>, Set&lt;NodeID&gt;&gt;::value_type &amp;oos : graph)</div><div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;        {</div><div class="line"><a name="l00540"></a><span class="lineno">  540</span>&#160;            <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> o = oos.first;</div><div class="line"><a name="l00541"></a><span class="lineno">  541</span>&#160;            <span class="keywordflow">if</span> (labels[o] != UINT_MAX) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;            std::queue&lt;NodeID&gt; bfsQueue;</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;            bfsQueue.push(o);</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;            ++label;</div><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;            <span class="keywordflow">while</span> (!bfsQueue.empty())</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;            {</div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;                <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> o = bfsQueue.front();</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;                bfsQueue.pop();</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;                <span class="keywordflow">if</span> (labels[o] != UINT_MAX)</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;                {</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;                    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(labels[o] == label);</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;                    <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;                }</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;</div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;                labels[o] = label;</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;                Map&lt;NodeID, Set&lt;NodeID&gt;&gt;::const_iterator neighboursIt = graph.find(o);</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;                <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(neighboursIt != graph.end());</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> neighbour : neighboursIt-&gt;second) bfsQueue.push(neighbour);</div><div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;            }</div><div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;        }</div><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;        <span class="comment">// The remaining objects have no relation with others: they get their own label.</span></div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;        <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> o = 0; o &lt; <a class="code" href="classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f">numObjects</a>; ++o)</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;        {</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;            <span class="keywordflow">if</span> (labels[o] == UINT_MAX) labels[o] = ++label;</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        }</div><div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;</div><div class="line"><a name="l00568"></a><span class="lineno">  568</span>&#160;        numLabels = label + 1;</div><div class="line"><a name="l00569"></a><span class="lineno">  569</span>&#160;</div><div class="line"><a name="l00570"></a><span class="lineno">  570</span>&#160;        <span class="keywordflow">return</span> labels;</div><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    }</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="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1NodeIDAllocator_html_a190c729a3f3f622f82cee4917946b50f"><div class="ttname"><a href="classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f">SVF::NodeIDAllocator::numObjects</a></div><div class="ttdeci">NodeID numObjects</div><div class="ttdef"><b>Definition:</b> <a href="NodeIDAllocator_8h_source.html#l00087">NodeIDAllocator.h:87</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#l00102">SVFBasicTypes.h:102</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#l00106">SVFBasicTypes.h:106</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html

@@ -270,7 +270,7 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Dummy Definition for undef and null pointers </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01164">1164</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01150">1150</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a5bbcd7ba5ac40efefbd1ef99bea86639"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a5bbcd7ba5ac40efefbd1ef99bea86639">&#9670;&nbsp;</a></span>NullPtrVFGNode()</h2>
@@ -308,9 +308,9 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01170">1170</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160;                                                : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>), <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>(n)</div><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160;    {</div><div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160;</div><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00066">VFGNode.h:66</a></div></div>
-<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01156">1156</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01156"></a><span class="lineno"> 1156</span>&#160;                                                : <a class="code" href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">VFGNode</a>(<span class="keywordtype">id</span>,<a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>), <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>(n)</div><div class="line"><a name="l01157"></a><span class="lineno"> 1157</span>&#160;    {</div><div class="line"><a name="l01158"></a><span class="lineno"> 1158</span>&#160;</div><div class="line"><a name="l01159"></a><span class="lineno"> 1159</span>&#160;    }</div><div class="ttc" id="classSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00066">VFGNode.h:66</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode::NPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -342,8 +342,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01186">1186</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01187"></a><span class="lineno"> 1187</span>&#160;    {</div><div class="line"><a name="l01188"></a><span class="lineno"> 1188</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01189"></a><span class="lineno"> 1189</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01172">1172</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160;    {</div><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="a79b84b61e6e2c967fc3c1b8d9dad41c5"></a>
@@ -370,9 +370,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01190">1190</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01191"></a><span class="lineno"> 1191</span>&#160;    {</div><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>;</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
-<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01176">1176</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;    {</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>;</div><div class="line"><a name="l01179"></a><span class="lineno"> 1179</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode::NPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -401,9 +401,9 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01194">1194</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160;    {</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>;</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
-<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01180">1180</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160;    {</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">getNodeKind</a>() == <a class="code" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">NPtr</a>;</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a391e996d695b114530120723da1d003e"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e">SVF::GenericNode::getNodeKind</a></div><div class="ttdeci">GNodeK getNodeKind() const</div><div class="ttdoc">Get node kind. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00171">GenericGraph.h:171</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a6df3eccb26b5d699c8adbd563b31f2ff">SVF::VFGNode::NPtr</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -436,9 +436,9 @@ Additional Inherited Members</h2></td></tr>
 <p>Implements <a class="el" href="classSVF_1_1VFGNode.html#ac2161154777d5bedfdb541658efdc651">SVF::VFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00322">322</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                                                 {</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    nb.set(<a class="code" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">getPAGNode</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;}</div><div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_a116af5e66665c56b9ca1e734bc3719c5"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode::getPAGNode</a></div><div class="ttdeci">const PAGNode * getPAGNode() const</div><div class="ttdoc">Return corresponding PAGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01180">VFGNode.h:1180</a></div></div>
+<div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                                                 {</div><div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;    <a class="code" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">NodeBS</a> nb;</div><div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;    nb.set(<a class="code" href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">getPAGNode</a>()-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;    <span class="keywordflow">return</span> nb;</div><div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;}</div><div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_a116af5e66665c56b9ca1e734bc3719c5"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#a116af5e66665c56b9ca1e734bc3719c5">SVF::NullPtrVFGNode::getPAGNode</a></div><div class="ttdeci">const PAGNode * getPAGNode() const</div><div class="ttdoc">Return corresponding PAGNode. </div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01166">VFGNode.h:1166</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="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00092">SVFBasicTypes.h:92</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -467,8 +467,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Return corresponding PAGNode. </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01180">1180</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01181"></a><span class="lineno"> 1181</span>&#160;    {</div><div class="line"><a name="l01182"></a><span class="lineno"> 1182</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>;</div><div class="line"><a name="l01183"></a><span class="lineno"> 1183</span>&#160;    }</div><div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01166">1166</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160;    {</div><div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>;</div><div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160;    }</div><div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -497,9 +497,9 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Whether this node is of pointer type (used for pointer analysis). </p>
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01175">1175</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160;    {</div><div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>();</div><div class="line"><a name="l01178"></a><span class="lineno"> 1178</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
-<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01161">1161</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160;    {</div><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">isPointer</a>();</div><div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160;    }</div><div class="ttc" id="classSVF_1_1SVFVar_html_a3b61042079a6c9dc395f38925c6a1271"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a3b61042079a6c9dc395f38925c6a1271">SVF::SVFVar::isPointer</a></div><div class="ttdeci">virtual bool isPointer() const</div><div class="ttdoc">Whether it is a pointer. </div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00117">SVFVariables.h:117</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -529,8 +529,8 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1VFGNode.html#a0342b5a6f270f4ff0e8e2a9b0082c6c5">SVF::VFGNode</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00328">328</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;                                               {</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    std::string str;</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;NullPtrVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00095">BasicTypes.h:95</a></div></div>
-<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01167">VFGNode.h:1167</a></div></div>
+<div class="fragment"><div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;                                               {</div><div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;    std::string str;</div><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot;NullPtrVFGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    rawstr &lt;&lt; <span class="stringliteral">&quot; PAGNode ID: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">node</a>-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00094">BasicTypes.h:94</a></div></div>
+<div class="ttc" id="classSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01153">VFGNode.h:1153</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><!-- fragment -->
 </div>
@@ -556,7 +556,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01167">1167</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="VFGNode_8h_source.html#l01153">1153</a> of file <a class="el" href="VFGNode_8h_source.html">VFGNode.h</a>.</p>
 
 </div>
 </div>