svf-tools 1.0.786 → 1.0.788

package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html

@@ -421,19 +421,21 @@ Friends</h2></td></tr>
 <div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="comment">// continue going up til we arrive at the same node.</span></div>
 <div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;    <span class="keywordflow">while</span> (A != B)</div>
 <div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;    {</div>
-<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keyword">const</span> <span class="keyword">auto</span> lvA = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().find(A);</div>
-<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keyword">const</span> <span class="keyword">auto</span> lvB = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().find(B);</div>
-<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        assert(lvA != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().end() &amp;&amp; lvB != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().end());</div>
-<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160; </div>
-<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        <span class="keywordflow">if</span> (lvA-&gt;second &lt; lvB-&gt;second) std::swap(A, B);</div>
+<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="comment">// no common PDominator</span></div>
+<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">if</span>(A == <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>) <span class="keywordflow">return</span> <a class="code" href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a>;</div>
+<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;        <span class="keyword">const</span> <span class="keyword">auto</span> lvA = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().find(A);</div>
+<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keyword">const</span> <span class="keyword">auto</span> lvB = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().find(B);</div>
+<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;        assert(lvA != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().end() &amp;&amp; lvB != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ac285502846c993f149b6bcc3e04f767e">getBBPDomLevel</a>().end());</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="keyword">const</span> <span class="keyword">auto</span> lvAIdom = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae8a308d5ee34c0eb4a6c1278565e5907">getBB2PIdom</a>().find(A);</div>
-<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        assert(lvAIdom != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae8a308d5ee34c0eb4a6c1278565e5907">getBB2PIdom</a>().end());</div>
-<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;        A = lvAIdom-&gt;second;</div>
-<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    }</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">return</span> A;</div>
-<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;}</div>
+<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">if</span> (lvA-&gt;second &lt; lvB-&gt;second) std::swap(A, B);</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;        <span class="keyword">const</span> <span class="keyword">auto</span> lvAIdom = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae8a308d5ee34c0eb4a6c1278565e5907">getBB2PIdom</a>().find(A);</div>
+<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        assert(lvAIdom != <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae8a308d5ee34c0eb4a6c1278565e5907">getBB2PIdom</a>().end());</div>
+<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        A = lvAIdom-&gt;second;</div>
+<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    }</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="keywordflow">return</span> A;</div>
+<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -918,16 +920,16 @@ Friends</h2></td></tr>
       </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00138">138</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;{</div>
-<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb))</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="keyword">const</span> <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">LoopBBs</a>&amp; blocks = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
-<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        assert(!blocks.empty() &amp;&amp; <span class="stringliteral">&quot;no available loop info?&quot;</span>);</div>
-<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <span class="keywordflow">return</span> blocks.front() == bb;</div>
-<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;    }</div>
-<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;}</div>
+<p class="definition">Definition at line <a class="el" href="SVFValue_8cpp_source.html#l00140">140</a> of file <a class="el" href="SVFValue_8cpp_source.html">SVFValue.cpp</a>.</p>
+<div class="fragment"><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="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#abe37f8896e2491a7a60be3fbfde8123c">hasLoopInfo</a>(bb))</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;        <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#ae5e2b154313b4330bb015050aec72a1f">LoopBBs</a>&amp; blocks = <a class="code" href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">getLoopInfo</a>(bb);</div>
+<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        assert(!blocks.empty() &amp;&amp; <span class="stringliteral">&quot;no available loop info?&quot;</span>);</div>
+<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <span class="keywordflow">return</span> blocks.front() == bb;</div>
+<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;    }</div>
+<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
+<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;}</div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -1345,6 +1347,7 @@ Friends</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_a0fb893485fc3df088d921762514faf66"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#a0fb893485fc3df088d921762514faf66">SVF::SVFLoopAndDomInfo::getLoopInfo</a></div><div class="ttdeci">const LoopBBs &amp; getLoopInfo(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00027">SVFValue.cpp:27</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_aac4d533d1c7abfefbd54507357e240f4"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#aac4d533d1c7abfefbd54507357e240f4">SVF::SVFLoopAndDomInfo::isUnreachable</a></div><div class="ttdeci">bool isUnreachable(const SVFBasicBlock *bb) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00149">SVFValue.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_af3eeabc8b81b2aff27ae3577195a1eff"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#af3eeabc8b81b2aff27ae3577195a1eff">SVF::SVFLoopAndDomInfo::reachableBBs</a></div><div class="ttdeci">BBList reachableBBs</div><div class="ttdoc">reachable BasicBlocks from the function entry.</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00060">SVFValue.h:60</a></div></div>
+<div class="ttc" id="acJSON_8cpp_html_a1a05ede2ad100bf5de5dfa7ccdfa4397"><div class="ttname"><a href="cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397">NULL</a></div><div class="ttdeci">return NULL</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l01173">cJSON.cpp:1173</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ad07f95e790b5c3a50c864155aa20a083"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ad07f95e790b5c3a50c864155aa20a083">SVF::SVFLoopAndDomInfo::getPostDomTreeMap</a></div><div class="ttdeci">const Map&lt; const SVFBasicBlock *, BBSet &gt; &amp; getPostDomTreeMap() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00108">SVFValue.h:108</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ad478ac88bc07cf4d6d0ad3517b2c4ab3"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ad478ac88bc07cf4d6d0ad3517b2c4ab3">SVF::SVFLoopAndDomInfo::BBSet</a></div><div class="ttdeci">Set&lt; const SVFBasicBlock * &gt; BBSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00055">SVFValue.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFLoopAndDomInfo_html_ae191915ae746e30c8370ebf8fe733723"><div class="ttname"><a href="classSVF_1_1SVFLoopAndDomInfo.html#ae191915ae746e30c8370ebf8fe733723">SVF::SVFLoopAndDomInfo::dfBBsMap</a></div><div class="ttdeci">Map&lt; const SVFBasicBlock *, BBSet &gt; dfBBsMap</div><div class="ttdoc">map a BasicBlock to its Dominate Frontier BasicBlocks</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00063">SVFValue.h:63</a></div></div>

package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html

@@ -2858,7 +2858,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html_af2fe5ef8f31ae675a7a32b45aa34a597"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#af2fe5ef8f31ae675a7a32b45aa34a597">SVF::SaberCondAllocator::dominate</a></div><div class="ttdeci">bool dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00156">SaberCondAllocator.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html_a2401b022638769f59f86ab424a189b6e"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a2401b022638769f59f86ab424a189b6e">SVF::SVFValue::getName</a></div><div class="ttdeci">const std::string &amp; getName() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00243">SVFValue.h:243</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ab8a735b5d183f5190c4c45b313f1b174"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVF::SVFBasicBlock::getBBSuccessorPos</a></div><div class="ttdeci">u32_t getBBSuccessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00197">SVFValue.cpp:197</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_ab8a735b5d183f5190c4c45b313f1b174"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#ab8a735b5d183f5190c4c45b313f1b174">SVF::SVFBasicBlock::getBBSuccessorPos</a></div><div class="ttdeci">u32_t getBBSuccessorPos(const SVFBasicBlock *succbb)</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00199">SVFValue.cpp:199</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html_a9b52da69d79746765d0c12a5ce1b08f4"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a9b52da69d79746765d0c12a5ce1b08f4">SVF::SaberCondAllocator::getFalseCond</a></div><div class="ttdeci">Condition getFalseCond() const</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8h_source.html#l00102">SaberCondAllocator.h:102</a></div></div>
 <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html_ab1e0f5cb65f7a50da2700fd1f959ea78"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#ab1e0f5cb65f7a50da2700fd1f959ea78">SVF::SaberCondAllocator::evaluateBranchCond</a></div><div class="ttdeci">Condition evaluateBranchCond(const SVFBasicBlock *bb, const SVFBasicBlock *succ)</div><div class="ttdoc">Evaluate branch conditions.</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00293">SaberCondAllocator.cpp:293</a></div></div>
@@ -2904,7 +2904,7 @@ Static Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Z3Expr_html_af541505af93ccebf57543793658cf495"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#af541505af93ccebf57543793658cf495">SVF::Z3Expr::getFalseCond</a></div><div class="ttdeci">static Z3Expr getFalseCond()</div><div class="ttdoc">Return the unique false condition.</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00288">Z3Expr.h:288</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html_a9c55829ba737d6100a0a39c32929a56a"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#a9c55829ba737d6100a0a39c32929a56a">SVF::SaberCondAllocator::collectBBCallingProgExit</a></div><div class="ttdeci">void collectBBCallingProgExit(const SVFBasicBlock &amp;bb)</div><div class="ttdoc">Collect basic block contains program exit function call.</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00425">SaberCondAllocator.cpp:425</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html_aaec097379a345ab0e80b6a9c50508f48"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#aaec097379a345ab0e80b6a9c50508f48">SVF::SVFFunction::const_iterator</a></div><div class="ttdeci">std::vector&lt; const SVFBasicBlock * &gt;::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00305">SVFValue.h:305</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a10707086ce21999f415c479706abbd38"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVF::SVFBasicBlock::getTerminator</a></div><div class="ttdeci">const SVFInstruction * getTerminator() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00223">SVFValue.cpp:223</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html_a10707086ce21999f415c479706abbd38"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html#a10707086ce21999f415c479706abbd38">SVF::SVFBasicBlock::getTerminator</a></div><div class="ttdeci">const SVFInstruction * getTerminator() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00225">SVFValue.cpp:225</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SaberCondAllocator_html_aa9027574586fd4fbb12039f595ecec71"><div class="ttname"><a href="classSVF_1_1SaberCondAllocator.html#aa9027574586fd4fbb12039f595ecec71">SVF::SaberCondAllocator::isEquivalentBranchCond</a></div><div class="ttdeci">bool isEquivalentBranchCond(const Condition &amp;lhs, const Condition &amp;rhs) const</div><div class="ttdoc">Whether lhs and rhs are equivalent branch conditions.</div><div class="ttdef"><b>Definition:</b> <a href="SaberCondAllocator_8cpp_source.html#l00610">SaberCondAllocator.cpp:610</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a630ff9c47f58f9b8df7c8a2b3711477c"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVF::SVFUtil::getMemoryUsageKB</a></div><div class="ttdeci">bool getMemoryUsageKB(u32_t *vmrss_kb, u32_t *vmsize_kb)</div><div class="ttdoc">Get memory usage from system file. Return TRUE if succeed.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00177">SVFUtil.cpp:177</a></div></div>

package/SVF-doxygen/html/classSVF_1_1VFG.html

@@ -4900,7 +4900,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a6c3daf2777cc5f76ce07241f803720f3"><div class="ttname"><a href="classSVF_1_1VFG.html#a6c3daf2777cc5f76ce07241f803720f3">SVF::VFG::globalVFGNodes</a></div><div class="ttdeci">GlobalVFGNodeSet globalVFGNodes</div><div class="ttdoc">set of global store VFG nodes</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00102">VFG.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_af8c8d0eb778a2a94a33c0b97ee3704c1"><div class="ttname"><a href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">SVF::VFG::PAGNodeToBranchVFGNodeMap</a></div><div class="ttdeci">PAGNodeToBranchVFGNodeMapTy PAGNodeToBranchVFGNodeMap</div><div class="ttdoc">map a PAGNode to its BranchVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00097">VFG.h:97</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abd1bb12776dc9a17863a52ce2cd31958"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abd1bb12776dc9a17863a52ce2cd31958">SVF::SVFIR::getFunRets</a></div><div class="ttdeci">FunToRetMap &amp; getFunRets()</div><div class="ttdoc">Get function return list.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00302">SVFIR.h:302</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00178">SVFValue.cpp:178</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFFunction_html_ae578002917b4ccbf28f172dba30d1d58"><div class="ttname"><a href="classSVF_1_1SVFFunction.html#ae578002917b4ccbf28f172dba30d1d58">SVF::SVFFunction::isVarArg</a></div><div class="ttdeci">bool isVarArg() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8cpp_source.html#l00180">SVFValue.cpp:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad9397ec243a61992dc2b5681bea587fa">SVF::SVFStmt::Select</a></div><div class="ttdeci">@ Select</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00071">SVFStatements.h:71</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFG_html_a462fe6eefc55a436f90f91adeb34726f"><div class="ttname"><a href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">SVF::VFG::PAGEdgeToStmtVFGNodeMap</a></div><div class="ttdeci">PAGEdgeToStmtVFGNodeMapTy PAGEdgeToStmtVFGNodeMap</div><div class="ttdoc">map a PAGEdge to its StmtVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00099">VFG.h:99</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a8777555f00696706de250159b920d14b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a8777555f00696706de250159b920d14b">SVF::VFGEdge::isDirectVFGEdge</a></div><div class="ttdeci">bool isDirectVFGEdge() const</div><div class="ttdoc">Get methods of the components.</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00076">VFGEdge.h:76</a></div></div>

package/SVF-doxygen/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html

@@ -82,6 +82,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CDGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDGBuilder_8h.html">CDGBuilder.h</a> <a href="CDGBuilder_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFBasicBlockGBuilder_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFBasicBlockGBuilder_8h.html">CFBasicBlockGBuilder.h</a> <a href="CFBasicBlockGBuilder_8h_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:cJSON_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8h.html">cJSON.h</a> <a href="cJSON_8h_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CommandLine_8h"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CommandLine_8h.html">CommandLine.h</a> <a href="CommandLine_8h_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/dir_fee120689dee99ef16f8bfcaa7a76083.html

@@ -78,6 +78,8 @@ Files</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CDGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CDGBuilder_8cpp.html">CDGBuilder.cpp</a> <a href="CDGBuilder_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:CFBasicBlockGBuilder_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFBasicBlockGBuilder_8cpp.html">CFBasicBlockGBuilder.cpp</a> <a href="CFBasicBlockGBuilder_8cpp_source.html">[code]</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:cJSON_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="cJSON_8cpp.html">cJSON.cpp</a> <a href="cJSON_8cpp_source.html">[code]</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:CoreBitVector_8cpp"><td class="memItemLeft" align="right" valign="top">file &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CoreBitVector_8cpp.html">CoreBitVector.cpp</a> <a href="CoreBitVector_8cpp_source.html">[code]</a></td></tr>

package/SVF-doxygen/html/files.html

@@ -186,27 +186,28 @@ $(function() {
 <tr id="row_0_0_10_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CallGraphBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8h.html" target="_self">CallGraphBuilder.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_10_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Casting_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Casting_8h.html" target="_self">Casting.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_10_4_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CDGBuilder_8h.html" target="_self">CDGBuilder.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CommandLine_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommandLine_8h.html" target="_self">CommandLine.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8h.html" target="_self">CppUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
-<tr id="row_0_0_10_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_5_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockGBuilder_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockGBuilder_8h.html" target="_self">CFBasicBlockGBuilder.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_6_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8h_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8h.html" target="_self">cJSON.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_7_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CommandLine_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CommandLine_8h.html" target="_self">CommandLine.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_8_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8h.html" target="_self">CoreBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_9_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8h.html" target="_self">CppUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_10_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CxtStmt_8h_source.html"><span class="icondoc"></span></a><a class="el" href="CxtStmt_8h.html" target="_self">CxtStmt.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_11_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="DPItem_8h_source.html"><span class="icondoc"></span></a><a class="el" href="DPItem_8h.html" target="_self">DPItem.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_12_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8h.html" target="_self">ExtAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_13_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="GraphReachSolver_8h_source.html"><span class="icondoc"></span></a><a class="el" href="GraphReachSolver_8h.html" target="_self">GraphReachSolver.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_14_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator_8h.html" target="_self">iterator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_15_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="iterator__range_8h_source.html"><span class="icondoc"></span></a><a class="el" href="iterator__range_8h.html" target="_self">iterator_range.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_16_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8h_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8h.html" target="_self">NodeIDAllocator.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_17_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8h.html" target="_self">Options.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_18_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8h.html" target="_self">PTAStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_19_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SCC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SCC_8h.html" target="_self">SCC.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_20_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SparseBitVector_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SparseBitVector_8h.html" target="_self">SparseBitVector.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_21_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8h.html" target="_self">SVFBugReport.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_22_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8h.html" target="_self">SVFStat.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_23_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8h_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8h.html" target="_self">SVFUtil.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_24_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8h_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8h.html" target="_self">ThreadAPI.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_25_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="WorkList_8h_source.html"><span class="icondoc"></span></a><a class="el" href="WorkList_8h.html" target="_self">WorkList.h</a></td><td class="desc"></td></tr>
+<tr id="row_0_0_10_26_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8h.html" target="_self">Z3Expr.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_0_11_" class="arrow" onclick="toggleFolder('0_0_11_')">&#9658;</span><span id="img_0_0_11_" class="iconfclosed" onclick="toggleFolder('0_0_11_')">&#160;</span><a class="el" href="dir_44b8a8a7d90ce8b5d86cad1dadeedb05.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8h_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8h.html" target="_self">Andersen.h</a></td><td class="desc"></td></tr>
 <tr id="row_0_0_11_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenPWC_8h_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenPWC_8h.html" target="_self">AndersenPWC.h</a></td><td class="desc"></td></tr>
@@ -308,18 +309,19 @@ $(function() {
 <tr id="row_0_1_10_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="BitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="BitVector_8cpp.html" target="_self">BitVector.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CallGraphBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CallGraphBuilder_8cpp.html" target="_self">CallGraphBuilder.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CDGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CDGBuilder_8cpp.html" target="_self">CDGBuilder.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CFBasicBlockGBuilder_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CFBasicBlockGBuilder_8cpp.html" target="_self">CFBasicBlockGBuilder.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_15_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_11_" class="arrow" onclick="toggleFolder('0_1_11_')">&#9658;</span><span id="img_0_1_11_" class="iconfclosed" onclick="toggleFolder('0_1_11_')">&#160;</span><a class="el" href="dir_42bed6b03650e8dc21dc01d3676490df.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8cpp.html" target="_self">Andersen.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenSCD_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenSCD_8cpp.html" target="_self">AndersenSCD.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/functions.html

@@ -155,11 +155,10 @@ $(function() {
 <li>_exeState
 : <a class="el" href="classSVF_1_1SymState.html#a10f55ddb22731a3c50bff12c6afdbd50">SVF::SymState</a>
 </li>
-<li>_funToFirstNode
-: <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a22c1d5a9da2acd9c3ad8bb5f72cfbfc8">SVF::CFBasicBlockGraph</a>
-</li>
 <li>_graph
-: <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
+: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">SVF::CFBasicBlockGWTO</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#aeb1a15b36d109ea3c286a73af5f08777">SVF::CFBasicBlockGWTO::TailBuilder</a>
+, <a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1SrcSnkSolver.html#a87242199e12fce5c5978ed0a4baa6b09">SVF::SrcSnkSolver&lt; GraphType, DPIm &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a87e9adb7fb0e0a42abaf90adac27a9c0">SVF::WPASolver&lt; GraphType &gt;</a>

package/SVF-doxygen/html/functions_a.html

@@ -620,6 +620,9 @@ $(function() {
 <li>addInstructionMap()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a172084437a8450314a17f7085a32b5d2">SVF::LLVMModuleSet</a>
 </li>
+<li>addInterBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a2c9f8c120522e31124364f485e873608">SVF::CFBasicBlockGBuilder</a>
+</li>
 <li>addInterEdgeFromAPToFP()
 : <a class="el" href="classSVF_1_1VFG.html#a6fd24c001a6daedf591974ba27140461">SVF::VFG</a>
 </li>
@@ -644,9 +647,15 @@ $(function() {
 <li>addInterPHIOperands()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a30a4165300d0b7ac9b31d9f9c496d943">SVF::SVFGOPT</a>
 </li>
+<li>addInterProceduralEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a2a72cd05458304eaae145532448cf913">SVF::CFBasicBlockGBuilder</a>
+</li>
 <li>addIntoWorklist()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a72c573ecbc12c44e6ce1d67527f888a8">SVF::SVFGOPT</a>
 </li>
+<li>addIntraBBEdge()
+: <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#ae6c8497f1cd2e3ca63b899ea11757b31">SVF::CFBasicBlockGBuilder</a>
+</li>
 <li>addIntraBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ad0183e8975e7190a121d8cb2aeec3d94">SVF::ICFG</a>
 </li>
@@ -827,7 +836,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
@@ -837,7 +846,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -858,7 +867,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -944,7 +953,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -1130,10 +1139,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#ac18e1dc9c6fc8cc952f67a93c2491876">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
@@ -1142,7 +1151,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1434,7 +1443,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
 </li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/functions_b.html

@@ -350,7 +350,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a5e102d5c08b7121efc87b99651f0b5d2">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -396,10 +396,10 @@ $(function() {
 </li>
 <li>build()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#aeeb38d897babfeff1844c643dda8ae97">SVF::CDGBuilder</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a9c830d44805689071793420deff5af1a">SVF::CFBasicBlockGBuilder</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a25f0496187622b156bafc49f34fffeaf">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
-, <a class="el" href="classSVF_1_1GrammarBuilder.html#a11bd8225be12650c811ba968cc3935b3">SVF::GrammarBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
 , <a class="el" href="classSVF_1_1LLVMModuleSet.html#af8edfe08027020f14b81b44362c6018e">SVF::LLVMModuleSet</a>
@@ -446,7 +446,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -529,7 +529,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#ad036bf2b7354dd106edce47939b64c78">SVF::LLVMLoopAnalysis</a>
 </li>
 <li>buildSVFModule()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a1f8e769251c89433311eeb6f98d115e9">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet</a>
 </li>
 <li>buildSymbolTable()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a15e97e3f2ba62d3fe444bb17cd637dbd">SVF::LLVMModuleSet</a>