svf-tools 1.0.342 → 1.0.346

package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html

@@ -474,8 +474,7 @@ Private Attributes</h2></td></tr>
 <p>Return mod-ref result of a CallInst </p>
 
 <p class="definition">Definition at line <a class="el" href="WPAPass_8cpp_source.html#l00246">246</a> of file <a class="el" href="WPAPass_8cpp_source.html">WPAPass.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;{</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* cbn = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(callInst);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">getModRefInfo</a>(cbn);</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
-<div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
+<div class="fragment"><div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;{</div><div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cbn = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">getCallBlockNode</a>(callInst);</div><div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">getModRefInfo</a>(cbn);</div><div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;}</div><div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</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_1VFG_html_a7622e381fbc1601b3f9a8384df2751bd"><div class="ttname"><a href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">SVF::VFG::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Return SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00133">VFG.h:133</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>
@@ -483,10 +482,11 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00247">Options.h:247</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00072">PointerAnalysis.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
+<div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a483e92e076a426ec8f177eab3b971723"><div class="ttname"><a href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallICFGNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
-<div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_ac14c99ee6064fc9cf30120a83c78e702"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -569,8 +569,7 @@ Private Attributes</h2></td></tr>
 <p>Return mod-ref results of a CallInst to a specific memory location </p>
 
 <p class="definition">Definition at line <a class="el" href="WPAPass_8cpp_source.html#l00257">257</a> of file <a class="el" href="WPAPass_8cpp_source.html">WPAPass.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;{</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* cbn = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(callInst);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">getModRefInfo</a>(cbn, V);</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
-<div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
+<div class="fragment"><div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;{</div><div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cbn = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">getCallBlockNode</a>(callInst);</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">getModRefInfo</a>(cbn, V);</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;}</div><div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</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_1VFG_html_a7622e381fbc1601b3f9a8384df2751bd"><div class="ttname"><a href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">SVF::VFG::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Return SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00133">VFG.h:133</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>
@@ -578,10 +577,11 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00247">Options.h:247</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00072">PointerAnalysis.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
+<div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a483e92e076a426ec8f177eab3b971723"><div class="ttname"><a href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallICFGNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
-<div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_ac14c99ee6064fc9cf30120a83c78e702"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -623,8 +623,7 @@ Private Attributes</h2></td></tr>
 <p>Return mod-ref result between two CallInsts </p>
 
 <p class="definition">Definition at line <a class="el" href="WPAPass_8cpp_source.html#l00268">268</a> of file <a class="el" href="WPAPass_8cpp_source.html">WPAPass.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;{</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* cbn1 = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(callInst1);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a>* cbn2 = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">getCallBlockNode</a>(callInst2);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">getModRefInfo</a>(cbn1, cbn2);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;}</div><div class="ttc" id="classSVF_1_1ICFG_html_a7d10e8a815c836a070d35850f817a18c"><div class="ttname"><a href="classSVF_1_1ICFG.html#a7d10e8a815c836a070d35850f817a18c">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallBlockNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
-<div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</a></div></div>
+<div class="fragment"><div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;{</div><div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;    <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1Options.html#a1211da4c36f1fcc65235891f31d87038">Options::PASelected</a>.isSet(<a class="code" href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">PointerAnalysis::AndersenWaveDiff_WPA</a>) &amp;&amp; <a class="code" href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">Options::AnderSVFG</a> &amp;&amp; <span class="stringliteral">&quot;mod-ref query is only support with -ander and -svfg turned on&quot;</span>);</div><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    <a class="code" href="classSVF_1_1ICFG.html">ICFG</a>* icfg = <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">getICFG</a>();</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cbn1 = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">getCallBlockNode</a>(callInst1);</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;    <span class="keyword">const</span> <a class="code" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a>* cbn2 = icfg-&gt;<a class="code" href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">getCallBlockNode</a>(callInst2);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">_svfg</a>-&gt;<a class="code" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">getMSSA</a>()-&gt;<a class="code" href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">getMRGenerator</a>()-&gt;<a class="code" href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">getModRefInfo</a>(cbn1, cbn2);</div><div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;}</div><div class="ttc" id="classSVF_1_1WPAPass_html_ac0f6d1221ee66ac17d0b201d73d7e28a"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ac0f6d1221ee66ac17d0b201d73d7e28a">SVF::WPAPass::_svfg</a></div><div class="ttdeci">SVFG * _svfg</div><div class="ttdoc">svfg generated through -ander pointer analysis </div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00137">WPAPass.h:137</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_1VFG_html_a7622e381fbc1601b3f9a8384df2751bd"><div class="ttname"><a href="classSVF_1_1VFG.html#a7622e381fbc1601b3f9a8384df2751bd">SVF::VFG::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdoc">Return SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00133">VFG.h:133</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>
@@ -632,10 +631,11 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1Options_html_a30cbb0b3633c769c92f4625680ec17e3"><div class="ttname"><a href="classSVF_1_1Options.html#a30cbb0b3633c769c92f4625680ec17e3">SVF::Options::AnderSVFG</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AnderSVFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00247">Options.h:247</a></div></div>
 <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85abf2f61ee9a5f6228db6587a8182ec9f2">SVF::PointerAnalysis::AndersenWaveDiff_WPA</a></div><div class="ttdoc">Diff wave propagation andersen-style WPA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00072">PointerAnalysis.h:72</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFG_html"><div class="ttname"><a href="classSVF_1_1ICFG.html">SVF::ICFG</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00046">ICFG.h:46</a></div></div>
-<div class="ttc" id="classSVF_1_1MRGenerator_html_a455e0ba173141ac8ce76a655ac52205f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a455e0ba173141ac8ce76a655ac52205f">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallBlockNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
+<div class="ttc" id="classSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFG_html_a483e92e076a426ec8f177eab3b971723"><div class="ttname"><a href="classSVF_1_1ICFG.html#a483e92e076a426ec8f177eab3b971723">SVF::ICFG::getCallBlockNode</a></div><div class="ttdeci">CallICFGNode * getCallBlockNode(const Instruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00209">ICFG.cpp:209</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFG_html_a49a910bc4ea6e98d1584e74a018badc9"><div class="ttname"><a href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG::getMSSA</a></div><div class="ttdeci">MemSSA * getMSSA() const</div><div class="ttdoc">Get SVFG memory SSA. </div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00138">SVFG.h:138</a></div></div>
-<div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFIR_html_aa1943d53e75aef9b014953143c6894da"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG()</div><div class="ttdoc">Return ICFG. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00132">SVFIR.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1MRGenerator_html_ac14c99ee6064fc9cf30120a83c78e702"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00719">MemRegion.cpp:719</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classes.html

@@ -70,10 +70,10 @@ $(function() {
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtStmtDPItem.html">CxtStmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html">isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html">RaceResultValidator::AccessPair</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThread.html">CxtThread</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ConstraintNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html">isa_impl_cl&lt; To, From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RaceResultValidator.html">RaceResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ActualINSVFGNode.html">ActualINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadProc.html">CxtThreadProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::DCHNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html">isa_impl_cl&lt; To, From *const &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RaceValidator.html">RaceValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadStmt.html">CxtThreadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetBlockNode.html">RetBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualOUTSVFGNode.html">ActualOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1CxtThreadStmt.html">CxtThreadStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html">isa_impl_wrap</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ActualParmVFGNode.html">ActualParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_d"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;d&#160;&#160;</div></td></tr></table>
-</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetCFGEdge.html">RetCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IteratedDominanceFrontier.html">IteratedDominanceFrontier</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html">isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetDirSVFGEdge.html">RetDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ActualRetVFGNode.html">ActualRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IteratedDominanceFrontier.html">IteratedDominanceFrontier</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetICFGNode.html">RetICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1AddrCGEdge.html">AddrCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DCHEdge.html">DCHEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::SVFVar * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_l"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;l&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="classSVF_1_1RetIndSVFGEdge.html">RetIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1AddrStmt.html">AddrStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DCHGraph.html">DCHGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html">GraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1RetMU.html">RetMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -109,11 +109,11 @@ $(function() {
 <tr><td rowspan="2" valign="bottom"><a name="letter_c"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;c&#160;&#160;</div></td></tr></table>
 </td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">DOTGraphTraits&lt; ICFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash.html">Hash</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSACHI.html">MSSACHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFG.html">SVFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html">DOTGraphTraits&lt; IRGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html">hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSADEF.html">MSSADEF</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGBuilder.html">SVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallBlockNode.html">CallBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html">DOTGraphTraits&lt; OfflineConsG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html">hash&lt; const SVF::ContextCond &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAMU.html">MSSAMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGlobal.html">SVFGlobal</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html">DOTGraphTraits&lt; PTACallGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHI.html">MSSAPHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html">SVFGNodeLockSpan</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallCHI.html">CallCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html">hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGOPT.html">SVFGOPT</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html">DOTGraphTraits&lt; TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html">Hash&lt; NodePair &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTA.html">MTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGStat.html">SVFGStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CallGraphBuilder.html">CallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">DOTGraphTraits&lt; VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">Hash&lt; std::pair&lt; S, T &gt; &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallCFGEdge.html">CallCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01OfflineConsG_01_5_01_4.html">DOTGraphTraits&lt; OfflineConsG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html">hash&lt; const SVF::ContextCond &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAMU.html">MSSAMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGlobal.html">SVFGlobal</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallCHI.html">CallCHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html">DOTGraphTraits&lt; PTACallGraph * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html">Hash&lt; CoreBitVector &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHI.html">MSSAPHI</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html">SVFGNodeLockSpan</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallDirSVFGEdge.html">CallDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html">hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html">MSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGOPT.html">SVFGOPT</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallGraphBuilder.html">CallGraphBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html">DOTGraphTraits&lt; TCT * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html">Hash&lt; NodePair &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTA.html">MTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFGStat.html">SVFGStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">DOTGraphTraits&lt; VFG * &gt;</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html">Hash&lt; std::pair&lt; S, T &gt; &gt;</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAAnnotator.html">MTAAnnotator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallIndSVFGEdge.html">CallIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html">hash&lt; std::vector&lt; T &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAResultValidator.html">MTAResultValidator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFIRBuilder.html">SVFIRBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallMU.html">CallMU</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DPItem.html">DPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html">hash&lt; SVF::CallSite &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTAStat.html">MTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFModule.html">SVFModule</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CallPE.html">CallPE</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1DummyObjVar.html">DummyObjVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html">hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a> (std)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1MTASVFGBuilder.html">MTASVFGBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
@@ -152,15 +152,15 @@ $(function() {
 </td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondExpr.html">CondExpr</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalINSVFGNode.html">FormalINSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structIeeeNanStruct.html">IeeeNanStruct</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PathStmtDPItem.html">PathStmtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondManager.html">CondManager</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html">FormalOUTSVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IndirectSVFGEdge.html">IndirectSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PCG.html">PCG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1ValVar.html">ValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html">CondPointsToSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterBlockNode.html">InterBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondPTAImpl.html">CondPTAImpl</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalRetVFGNode.html">FormalRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet.html">CondPointsToSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalParmVFGNode.html">FormalParmVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterDisjointMRG.html">InterDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VarArgPN.html">VarArgPN</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondPTAImpl.html">CondPTAImpl</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FormalRetVFGNode.html">FormalRetVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterICFGNode.html">InterICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepCGEdge.html">VariantGepCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html">CondPointsToSet::CondPtsSetIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FSMPTA.html">FSMPTA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html">InterMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html">PersistentIncDFPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VariantGepStmt.html">VariantGepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunEntryBlockNode.html">FunEntryBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CondVar.html">CondVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunExitBlockNode.html">FunExitBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraBlockNode.html">IntraBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">VersionedFlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunEntryICFGNode.html">FunEntryICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1InterPHIVFGNode.html">InterPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitive.html">VersionedFlowSensitive</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CondVar.html">CondVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunExitICFGNode.html">FunExitICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html">IntraCFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html">VersionedFlowSensitiveStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintEdge.html">ConstraintEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1FunptrDDAClient.html">FunptrDDAClient</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_g"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;g&#160;&#160;</div></td></tr></table>
-</td><td valign="top"><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html">IntraDirSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFG.html">VFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+</td><td valign="top"><a class="el" href="classSVF_1_1IntraDisjointMRG.html">IntraDisjointMRG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFG.html">VFG</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1ConstraintNode.html">ConstraintNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraICFGNode.html">IntraICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGEdge.html">VFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html">generic_bridge_gep_type_iterator</a> (<a class="el" href="namespacellvm.html">llvm</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html">IntraIndSVFGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFGNode.html">VFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1ContextDDA.html">ContextDDA</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GenericEdge.html">GenericEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html">IntraMSSAPHISVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1VFPathCond.html">VFPathCond</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CopyCGEdge.html">CopyCGEdge</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1IntraPHIVFGNode.html">IntraPHIVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html">PointsTo::PointsToIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td rowspan="2" valign="bottom"><a name="letter_w"></a><table border="0" cellspacing="0" cellpadding="0"><tr><td><div class="ah">&#160;&#160;w&#160;&#160;</div></td></tr></table>
@@ -171,7 +171,7 @@ $(function() {
 <tr><td valign="top"><a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html">CoreBitVector::CoreBitVectorIterator</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepStmt.html">GepStmt</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl.html">isa_impl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTACallGraphNode.html">PTACallGraphNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPAPass.html">WPAPass</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CSC.html">CSC</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepValVar.html">GepValVar</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html">isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTACFInfoBuilder.html">PTACFInfoBuilder</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASCCSolver.html">WPASCCSolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
 <tr><td valign="top"><a class="el" href="structcuddPathPair.html">cuddPathPair</a>&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GepVFGNode.html">GepVFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl.html">isa_impl_cl</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTASCEV.html">PTASCEV</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td></tr>
-<tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalBlockNode.html">GlobalBlockNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&lt; To, const From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
+<tr><td valign="top"><a class="el" href="classSVF_1_1CxtDPItem.html">CxtDPItem</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1GlobalICFGNode.html">GlobalICFGNode</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html">isa_impl_cl&lt; To, const From * &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTAStat.html">PTAStat</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td valign="top"><a class="el" href="classSVF_1_1CxtProc.html">CxtProc</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html">SCCDetection::GNodeSCCInfo</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html">isa_impl_cl&lt; To, const From *const &gt;</a> (<a class="el" href="namespaceSVF_1_1SVFUtil.html">SVF::SVFUtil</a>)&#160;&#160;&#160;</td><td valign="top"><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="namespaceSVF.html">SVF</a>)&#160;&#160;&#160;</td><td></td></tr>
 <tr><td></td><td></td><td></td><td></td><td></td></tr>
 </table>