svf-tools 1.0.897 → 1.0.899

package/SVF-doxygen/html/TCT_8h_source.html

@@ -613,7 +613,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_html_a07db688cc13384ddfddb1372612db205"><div class="ttname"><a href="namespaceSVF.html#a07db688cc13384ddfddb1372612db205">SVF::GenericTCTEdgeTy</a></div><div class="ttdeci">GenericEdge&lt; TCTNode &gt; GenericTCTEdgeTy</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00043">TCT.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a013f7fa94f9383b3d0e46b79c0a52a8f"><div class="ttname"><a href="classSVF_1_1TCT.html#a013f7fa94f9383b3d0e46b79c0a52a8f">SVF::TCT::isCandidateFun</a></div><div class="ttdeci">bool isCandidateFun(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00274">TCT.h:274</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a8eaa746805b0afc17329d0ba4ad6a887"><div class="ttname"><a href="classSVF_1_1TCT.html#a8eaa746805b0afc17329d0ba4ad6a887">SVF::TCT::TCT</a></div><div class="ttdeci">TCT(PointerAnalysis *p)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00155">TCT.h:155</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a1602d02773578bca73dcbd29b95c67d0"><div class="ttname"><a href="classSVF_1_1TCT.html#a1602d02773578bca73dcbd29b95c67d0">SVF::TCT::getThreadCallGraph</a></div><div class="ttdeci">ThreadCallGraph * getThreadCallGraph() const</div><div class="ttdoc">Get TCG.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00182">TCT.h:182</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SCCDetection_html_a3a5fdc9330a657240f77199f5aee602d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a3a5fdc9330a657240f77199f5aee602d">SVF::SCCDetection::repNode</a></div><div class="ttdeci">NodeID repNode(NodeID n) const</div><div class="ttdoc">get the rep node if not found return itself</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00139">SCC.h:139</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
@@ -720,7 +720,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TCT_html_a59125bb4878bc347dbdbc74aa6ec4cdf"><div class="ttname"><a href="classSVF_1_1TCT.html#a59125bb4878bc347dbdbc74aa6ec4cdf">SVF::TCT::hasJoinLoop</a></div><div class="ttdeci">bool hasJoinLoop(const SVFInstruction *join) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00366">TCT.h:366</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a334c1e8201fbb5cf4fe03cfccae30af2"><div class="ttname"><a href="classSVF_1_1TCT.html#a334c1e8201fbb5cf4fe03cfccae30af2">SVF::TCT::CxtThreadToForkCxt</a></div><div class="ttdeci">Map&lt; CxtThread, CallStrCxt &gt; CxtThreadToForkCxt</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00147">TCT.h:147</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a355247d17d1c17b857b4ee572e19b91f"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a355247d17d1c17b857b4ee572e19b91f">SVF::SparseBitVector::test_and_set</a></div><div class="ttdeci">bool test_and_set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00776">SparseBitVector.h:776</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00118">GeneralType.h:118</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_ab700523619b089b952498f39a7f5b6b1"><div class="ttname"><a href="namespaceSVF.html#ab700523619b089b952498f39a7f5b6b1">SVF::CallStrCxt</a></div><div class="ttdeci">std::vector&lt; u32_t &gt; CallStrCxt</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00122">GeneralType.h:122</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a716c97a80c483c571ca7a03b9acce3e8"><div class="ttname"><a href="classSVF_1_1TCT.html#a716c97a80c483c571ca7a03b9acce3e8">SVF::TCT::dump</a></div><div class="ttdeci">void dump(const std::string &amp;filename)</div><div class="ttdoc">Dump the graph.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00512">TCT.cpp:512</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00040">SVFModule.h:40</a></div></div>
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs()</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00050">SVFUtil.h:50</a></div></div>
@@ -735,7 +735,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TCT_html_afa5bd475c4dc068a0ecc0ec5caab77a9"><div class="ttname"><a href="classSVF_1_1TCT.html#afa5bd475c4dc068a0ecc0ec5caab77a9">SVF::TCT::getParentsBegin</a></div><div class="ttdeci">ThreadCreateEdgeSet::const_iterator getParentsBegin(const TCTNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00211">TCT.h:211</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCTNode_html_a47964661d78a61eb1389acc48701abf8"><div class="ttname"><a href="classSVF_1_1TCTNode.html#a47964661d78a61eb1389acc48701abf8">SVF::TCTNode::dump</a></div><div class="ttdeci">void dump()</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00095">TCT.h:95</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a4faeacaa7aa38cf5b61404278b93a91f"><div class="ttname"><a href="classSVF_1_1TCT.html#a4faeacaa7aa38cf5b61404278b93a91f">SVF::TCT::getJoinLoop</a></div><div class="ttdeci">LoopBBs &amp; getJoinLoop(const SVFInstruction *join)</div><div class="ttdoc">Get loop for join site.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00358">TCT.h:358</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a68d2b1107f9cc2edcc01265298b7307c"><div class="ttname"><a href="classSVF_1_1TCT.html#a68d2b1107f9cc2edcc01265298b7307c">SVF::TCT::isVisitedCTPs</a></div><div class="ttdeci">bool isVisitedCTPs(const CxtThreadProc &amp;ctp) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00548">TCT.h:548</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a52e3759054281c1ca1ccde07a9af1799"><div class="ttname"><a href="classSVF_1_1TCT.html#a52e3759054281c1ca1ccde07a9af1799">SVF::TCT::TCTNodeNum</a></div><div class="ttdeci">u32_t TCTNodeNum</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00418">TCT.h:418</a></div></div>
 <div class="ttc" id="astructSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4_html_ae142688b873eb65eedc010d60b0db51f"><div class="ttname"><a href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html#ae142688b873eb65eedc010d60b0db51f">SVF::GenericGraphTraits&lt; SVF::TCT * &gt;::NodeRef</a></div><div class="ttdeci">SVF::TCTNode * NodeRef</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00594">TCT.h:594</a></div></div>
@@ -766,7 +766,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1TCT_html_a5d5a753b4d2633e3aaf58859274ffe7a"><div class="ttname"><a href="classSVF_1_1TCT.html#a5d5a753b4d2633e3aaf58859274ffe7a">SVF::TCT::hasTCTNode</a></div><div class="ttdeci">bool hasTCTNode(const CxtThread &amp;ct) const</div><div class="ttdoc">Find/Get TCT node.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00251">TCT.h:251</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a30662928bafc97c1e7b123270ca69980"><div class="ttname"><a href="classSVF_1_1TCT.html#a30662928bafc97c1e7b123270ca69980">SVF::TCT::tcgSCC</a></div><div class="ttdeci">ThreadCallGraphSCC * tcgSCC</div><div class="ttdoc">Procedures we care about during call graph traversing when creating TCT.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00563">TCT.h:563</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a9b1a5a9feb8cd97b37ee49727536a549"><div class="ttname"><a href="classSVF_1_1TCT.html#a9b1a5a9feb8cd97b37ee49727536a549">SVF::TCT::matchCxt</a></div><div class="ttdeci">bool matchCxt(CallStrCxt &amp;cxt, const SVFInstruction *call, const SVFFunction *callee)</div><div class="ttdoc">Match context.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00464">TCT.cpp:464</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_aa86c4422e17cf00408444f18687d555b"><div class="ttname"><a href="classSVF_1_1TCT.html#aa86c4422e17cf00408444f18687d555b">SVF::TCT::dumpCxt</a></div><div class="ttdeci">void dumpCxt(CallStrCxt &amp;cxt)</div><div class="ttdoc">Dump calling context.</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8cpp_source.html#l00494">TCT.cpp:494</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_a7e271b604467732098fb42e8e64cc1ac"><div class="ttname"><a href="classSVF_1_1TCT.html#a7e271b604467732098fb42e8e64cc1ac">SVF::TCT::InstVec</a></div><div class="ttdeci">std::vector&lt; const SVFInstruction * &gt; InstVec</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00143">TCT.h:143</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TCT_html_ad84cdb0d192312f96d006f7b9e660da3"><div class="ttname"><a href="classSVF_1_1TCT.html#ad84cdb0d192312f96d006f7b9e660da3">SVF::TCT::popFromCTPWorkList</a></div><div class="ttdeci">CxtThreadProc popFromCTPWorkList()</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00543">TCT.h:543</a></div></div>

package/SVF-doxygen/html/ThreadAPI_8cpp_source.html

@@ -449,7 +449,7 @@ $(function() {
 <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae18227f257c9881541b84ca186680dfd"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char separator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00218">SVFUtil.h:218</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
 <div class="ttc" id="aThreadAPI_8cpp_html_aa5c38361a7f02befa83ea45388056ea1"><div class="ttname"><a href="ThreadAPI_8cpp.html#aa5c38361a7f02befa83ea45388056ea1">ei_pairs</a></div><div class="ttdeci">static const ei_pair ei_pairs[]</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00060">ThreadAPI.cpp:60</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallSite_html_a9e7c94ee7f689466111487e03b2cebcc"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9e7c94ee7f689466111487e03b2cebcc">SVF::CallSite::getArgument</a></div><div class="ttdeci">const SVFValue * getArgument(u32_t ArgNo) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01132">SVFValue.h:1132</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFModule_html_aa8bab1ad6cab332fe24066b9cf487344"><div class="ttname"><a href="classSVF_1_1SVFModule.html#aa8bab1ad6cab332fe24066b9cf487344">SVF::SVFModule::getModuleIdentifier</a></div><div class="ttdeci">const std::string &amp; getModuleIdentifier() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00202">SVFModule.h:202</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/ThreadAPI_8h_source.html

@@ -422,7 +422,7 @@ $(function() {
 <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
 <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFInstruction_html"><div class="ttname"><a href="classSVF_1_1SVFInstruction.html">SVF::SVFInstruction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00631">SVFValue.h:631</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a9c1e40279cc3b13a3b449b31131d88bc"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a9c1e40279cc3b13a3b449b31131d88bc">SVF::ThreadAPI::getSVFCallSite</a></div><div class="ttdeci">const CallSite getSVFCallSite(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00151">ThreadAPI.cpp:151</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ad5790cf310d1eca46fc8b3d50f942d8a"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ad5790cf310d1eca46fc8b3d50f942d8a">SVF::ThreadAPI::getJoinedThread</a></div><div class="ttdeci">const SVFValue * getJoinedThread(const SVFInstruction *inst) const</div><div class="ttdoc">Return arguments/attributes of pthread_join.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8cpp_source.html#l00156">ThreadAPI.cpp:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a38a7516702c55ab418167b7c850516b3a1f921d7369e3a00a77394640f887c7ff">SVF::ThreadAPI::TD_CONDVAR_INI</a></div><div class="ttdeci">@ TD_CONDVAR_INI</div><div class="ttdoc">initial a mutex variable</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00063">ThreadAPI.h:63</a></div></div>

package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html

@@ -368,7 +368,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_aae1caa7231ab9436db98403d6a175149"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#aae1caa7231ab9436db98403d6a175149">SVF::ThreadCallGraph::addHareParForEdgeSetMap</a></div><div class="ttdeci">void addHareParForEdgeSetMap(const CallICFGNode *cs, HareParForEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00387">ThreadCallGraph.h:387</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadJoinEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadJoinEdge.html">SVF::ThreadJoinEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00087">ThreadCallGraph.h:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a506343bcd23ba71d2db915ff7c58e728"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph::parForSitesEnd</a></div><div class="ttdeci">CallSiteSet::const_iterator parForSitesEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00301">ThreadCallGraph.h:301</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a7100a68c27a965927975e26bb06e061c"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph::addThreadJoinEdgeSetMap</a></div><div class="ttdeci">void addThreadJoinEdgeSetMap(const CallICFGNode *cs, ThreadJoinEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00377">ThreadCallGraph.h:377</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemObj_html_ae1d14e2bf0be36cdadebf119822f607b"><div class="ttname"><a href="classSVF_1_1MemObj.html#ae1d14e2bf0be36cdadebf119822f607b">SVF::MemObj::isFunction</a></div><div class="ttdeci">bool isFunction() const</div><div class="ttdoc">object attributes methods</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00446">SymbolTableInfo.cpp:446</a></div></div>

package/SVF-doxygen/html/ThreadCallGraph_8h_source.html

@@ -449,7 +449,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a42a088dba9cda7a7718685f80f52c928"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a42a088dba9cda7a7718685f80f52c928">SVF::ThreadCallGraph::callinstToHareParForEdgesMap</a></div><div class="ttdeci">CallInstToParForEdgesMap callinstToHareParForEdgesMap</div><div class="ttdoc">Map a call instruction to its corresponding hare_parallel_for edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00417">ThreadCallGraph.h:417</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a79ba3df9d85eed3c9a55e6797fdcb9b9"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a79ba3df9d85eed3c9a55e6797fdcb9b9">SVF::ThreadCallGraph::callinstToThreadForkEdgesMap</a></div><div class="ttdeci">CallInstToForkEdgesMap callinstToThreadForkEdgesMap</div><div class="ttdoc">Map a call instruction to its corresponding fork edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00415">ThreadCallGraph.h:415</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="anamespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00067">BasicTypes.h:67</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a304ba7ef48068fa019c69af5744842cc"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a304ba7ef48068fa019c69af5744842cc">SVF::ThreadCallGraph::CtxSet</a></div><div class="ttdeci">Set&lt; CallSiteSet * &gt; CtxSet</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00168">ThreadCallGraph.h:168</a></div></div>
 <div class="ttc" id="aPointerAnalysisImpl_8h_html"><div class="ttname"><a href="PointerAnalysisImpl_8h.html">PointerAnalysisImpl.h</a></div></div>
@@ -522,7 +522,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadJoinEdge_html"><div class="ttname"><a href="classSVF_1_1ThreadJoinEdge.html">SVF::ThreadJoinEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00087">ThreadCallGraph.h:87</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_aa5efa630056c1db2bb0dadc868752ec8"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#aa5efa630056c1db2bb0dadc868752ec8">SVF::ThreadCallGraph::ForkEdgeSet</a></div><div class="ttdeci">ThreadForkEdge::ForkEdgeSet ForkEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00169">ThreadCallGraph.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a506343bcd23ba71d2db915ff7c58e728"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a506343bcd23ba71d2db915ff7c58e728">SVF::ThreadCallGraph::parForSitesEnd</a></div><div class="ttdeci">CallSiteSet::const_iterator parForSitesEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00301">ThreadCallGraph.h:301</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a733bf08c7a496435ad09a41e6b0343ff"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a733bf08c7a496435ad09a41e6b0343ff">SVF::ThreadCallGraph::getNumOfJoinsite</a></div><div class="ttdeci">u32_t getNumOfJoinsite() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00313">ThreadCallGraph.h:313</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html">SVF::ThreadCallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00160">ThreadCallGraph.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a7100a68c27a965927975e26bb06e061c"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a7100a68c27a965927975e26bb06e061c">SVF::ThreadCallGraph::addThreadJoinEdgeSetMap</a></div><div class="ttdeci">void addThreadJoinEdgeSetMap(const CallICFGNode *cs, ThreadJoinEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00377">ThreadCallGraph.h:377</a></div></div>
@@ -534,7 +534,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_aba9d3e04e923cc787ab46a1f7eebb554"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#aba9d3e04e923cc787ab46a1f7eebb554">SVF::ThreadCallGraph::CallInstToParForEdgesMap</a></div><div class="ttdeci">Map&lt; const CallICFGNode *, ParForEdgeSet &gt; CallInstToParForEdgesMap</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00174">ThreadCallGraph.h:174</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a98ecfe14be2d38d292b5919716cdd29d"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a98ecfe14be2d38d292b5919716cdd29d">SVF::ThreadCallGraph::joinsitesBegin</a></div><div class="ttdeci">CallSiteSet::const_iterator joinsitesBegin() const</div><div class="ttdoc">Join sites iterators.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00285">ThreadCallGraph.h:285</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ab20211a66583387f0da4769bee65e300"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ab20211a66583387f0da4769bee65e300">SVF::ThreadCallGraph::addThreadForkEdgeSetMap</a></div><div class="ttdeci">void addThreadForkEdgeSetMap(const CallICFGNode *cs, ThreadForkEdge *edge)</div><div class="ttdoc">map call instruction to its CallGraphEdge map</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00367">ThreadCallGraph.h:367</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a795d504a098634b1725af272b37e46e7"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a795d504a098634b1725af272b37e46e7">SVF::ThreadCallGraph::addJoinsite</a></div><div class="ttdeci">bool addJoinsite(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00336">ThreadCallGraph.h:336</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00046">GeneralType.h:46</a></div></div>

package/SVF-doxygen/html/VFGEdge_8h_source.html

@@ -383,7 +383,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1IntraDirSVFGEdge_html_a1c8dc17717409aa42749181aafd155aa"><div class="ttname"><a href="classSVF_1_1IntraDirSVFGEdge.html#a1c8dc17717409aa42749181aafd155aa">SVF::IntraDirSVFGEdge::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00395">VFG.cpp:395</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5aae3168b6bc9141e4a1f3723eae4f3375">SVF::VFGEdge::TheadMHPIndirectVF</a></div><div class="ttdeci">@ TheadMHPIndirectVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00059">VFGEdge.h:59</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a5d2668f46a709eb179007a296d94b77b"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a5d2668f46a709eb179007a296d94b77b">SVF::VFGEdge::isIntraVFGEdge</a></div><div class="ttdeci">bool isIntraVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00108">VFGEdge.h:108</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00054">GeneralType.h:54</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a03d88a0302bcd253387690f13f693f64"><div class="ttname"><a href="namespaceSVF.html#a03d88a0302bcd253387690f13f693f64">SVF::CallSiteID</a></div><div class="ttdeci">unsigned CallSiteID</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00058">GeneralType.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallDirSVFGEdge_html_a977cb840fbed0b89b445a1b7384d3352"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html#a977cb840fbed0b89b445a1b7384d3352">SVF::CallDirSVFGEdge::classof</a></div><div class="ttdeci">static bool classof(const CallDirSVFGEdge *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00230">VFGEdge.h:230</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a49cbf2a714c9b965b19452d266cd8bdf"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a49cbf2a714c9b965b19452d266cd8bdf">SVF::VFGEdge::isRetDirectVFGEdge</a></div><div class="ttdeci">bool isRetDirectVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00096">VFGEdge.h:96</a></div></div>

package/SVF-doxygen/html/VFGNode_8h_source.html

@@ -1162,7 +1162,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_ab5f48de8258f92bb7b9d411e178beb49"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49">SVF::StmtVFGNode::pagEdge</a></div><div class="ttdeci">const PAGEdge * pagEdge</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00120">VFGNode.h:120</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PHIVFGNode_html_aef22470b2a3c18ac99fd912fc906fd00"><div class="ttname"><a href="classSVF_1_1PHIVFGNode.html#aef22470b2a3c18ac99fd912fc906fd00">SVF::PHIVFGNode::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const override</div><div class="ttdoc">Return the corresponding LLVM value, if possible, nullptr otherwise.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l01091">VFG.cpp:1091</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_adb0928a2547397d0ac2bbc2cf261d595"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#adb0928a2547397d0ac2bbc2cf261d595">SVF::UnaryOPVFGNode::getOpVar</a></div><div class="ttdeci">const PAGNode * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00512">VFGNode.h:512</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00092">GeneralType.h:92</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00096">GeneralType.h:96</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75">SVF::VFGNode::VFGNodeK</a></div><div class="ttdeci">VFGNodeK</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00052">VFGNode.h:52</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00066">VFGNode.h:66</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NullPtrVFGNode_html_ae54d1078c5b909b9142189b8558f382e"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#ae54d1078c5b909b9142189b8558f382e">SVF::NullPtrVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00362">VFG.cpp:362</a></div></div>
@@ -1184,7 +1184,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_a3b082eef98b8393499908f6c430b8d6c"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a3b082eef98b8393499908f6c430b8d6c">SVF::UnaryOPVFGNode::setOpVer</a></div><div class="ttdeci">void setOpVer(u32_t pos, const PAGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00504">VFGNode.h:504</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_ab1248b063654318677471fb10af16fd7"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ab1248b063654318677471fb10af16fd7">SVF::CmpVFGNode::classof</a></div><div class="ttdeci">static bool classof(const CmpVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00342">VFGNode.h:342</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html_a6809c239925254fdf505bd907ce8a773"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#a6809c239925254fdf505bd907ce8a773">SVF::LoadVFGNode::classof</a></div><div class="ttdeci">static bool classof(const StmtVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00218">VFGNode.h:218</a></div></div>
-<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00618">SVFStatements.h:618</a></div></div>
+<div class="ttc" id="aclassSVF_1_1RetPE_html"><div class="ttname"><a href="classSVF_1_1RetPE.html">SVF::RetPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00628">SVFStatements.h:628</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html_ac4e695d6ee7bb7c5ed4e273567e7c1cc"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#ac4e695d6ee7bb7c5ed4e273567e7c1cc">SVF::FormalParmVFGNode::toString</a></div><div class="ttdeci">const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00305">VFG.cpp:305</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchVFGNode_html_aa578e56a2a4d145ba63628367786b9f0"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#aa578e56a2a4d145ba63628367786b9f0">SVF::BranchVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00555">VFGNode.h:555</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a20a0cf8366831b6be38c9c1945254362"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a20a0cf8366831b6be38c9c1945254362">SVF::BinaryOPVFGNode::BinaryOPVFGNode</a></div><div class="ttdeci">BinaryOPVFGNode()</div><div class="ttdoc">place holder</div></div>
@@ -1200,7 +1200,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75abe59940f52e7a98cfe2b9d581e7563f8">SVF::VFGNode::MInterPhi</a></div><div class="ttdeci">@ MInterPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html_ab814b942e8ba02ed51f11ea6fcadd608"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#ab814b942e8ba02ed51f11ea6fcadd608">SVF::ActualRetVFGNode::classof</a></div><div class="ttdeci">static bool classof(const ActualRetVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00999">VFGNode.h:999</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01182">SVFStatements.h:1182</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01192">SVFStatements.h:1192</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html_a9bbb5bb491000f973ab2e2d391105eef"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#a9bbb5bb491000f973ab2e2d391105eef">SVF::LoadVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00222">VFGNode.h:222</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_ab98e74dfd4756e70e3e3c5b7d5e5ae27"><div class="ttname"><a href="classSVF_1_1VFGNode.html#ab98e74dfd4756e70e3e3c5b7d5e5ae27">SVF::VFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Get the function of this SVFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00084">VFGNode.h:84</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a1e0dba35433edfc8f1e57a02209734cc"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a1e0dba35433edfc8f1e57a02209734cc">SVF::BinaryOPVFGNode::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const override</div><div class="ttdoc">Return the corresponding LLVM value, if possible, nullptr otherwise.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l01086">VFG.cpp:1086</a></div></div>
@@ -1209,8 +1209,8 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html_a086f5a2156e90eee2ffa846954a79bb3"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#a086f5a2156e90eee2ffa846954a79bb3">SVF::ActualRetVFGNode::classof</a></div><div class="ttdeci">static bool classof(const ArgumentVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01003">VFGNode.h:1003</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html_af1217e120a09ae262205278c69d8c643"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#af1217e120a09ae262205278c69d8c643">SVF::ActualRetVFGNode::cs</a></div><div class="ttdeci">const CallICFGNode * cs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00970">VFGNode.h:970</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_a8c9af51d2f3425f6b8de70ffe1795292"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a8c9af51d2f3425f6b8de70ffe1795292">SVF::StmtVFGNode::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const override</div><div class="ttdoc">Return the corresponding LLVM value, if possible, nullptr otherwise.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l01076">VFG.cpp:1076</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00558">SVFStatements.h:558</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a6a0e64824777f04be4c169125dd4f666"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666">SVF::BranchStmt::SuccAndCondPairVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const ICFGNode *, s32_t &gt; &gt; SuccAndCondPairVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01113">SVFStatements.h:1113</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallPE_html"><div class="ttname"><a href="classSVF_1_1CallPE.html">SVF::CallPE</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00568">SVFStatements.h:568</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a6a0e64824777f04be4c169125dd4f666"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a6a0e64824777f04be4c169125dd4f666">SVF::BranchStmt::SuccAndCondPairVec</a></div><div class="ttdeci">std::vector&lt; std::pair&lt; const ICFGNode *, s32_t &gt; &gt; SuccAndCondPairVec</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01123">SVFStatements.h:1123</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_a62a87f7ee66c51302e093bbaf5d0901b"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#a62a87f7ee66c51302e093bbaf5d0901b">SVF::CmpVFGNode::getOpVer</a></div><div class="ttdeci">const PAGNode * getOpVer(u32_t pos) const</div><div class="ttdoc">Operands at a BinaryNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00357">VFGNode.h:357</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualParmVFGNode_html_acd3b55d18cb1227f7631df8e4912fdb3"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#acd3b55d18cb1227f7631df8e4912fdb3">SVF::ActualParmVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00879">VFGNode.h:879</a></div></div>
 <div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
@@ -1241,7 +1241,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html_af0dfc7f8b58d5bc0e47c6ad17216cc1e"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode::addCallPE</a></div><div class="ttdeci">void addCallPE(const CallPE *call)</div><div class="ttdoc">Return call edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00923">VFGNode.h:923</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualParmVFGNode_html_ac5bfddb8123fbe57590fcf2dc62c153b"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html#ac5bfddb8123fbe57590fcf2dc62c153b">SVF::ActualParmVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00281">VFG.cpp:281</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraPHIVFGNode_html_a66928f6cc755bd2a048804d00f859a80"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode::OPIncomingBBs</a></div><div class="ttdeci">Map&lt; u32_t, const ICFGNode * &gt; OPIncomingBBs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00714">VFGNode.h:714</a></div></div>
-<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00400">SVFStatements.h:400</a></div></div>
+<div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00410">SVFStatements.h:410</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a4c71d3d586a5389f524f93ca82ffe0e5"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a4c71d3d586a5389f524f93ca82ffe0e5">SVF::BinaryOPVFGNode::getOpVer</a></div><div class="ttdeci">const PAGNode * getOpVer(u32_t pos) const</div><div class="ttdoc">Operands at a BinaryNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00428">VFGNode.h:428</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode::Addr</a></div><div class="ttdeci">@ Addr</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
@@ -1269,7 +1269,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_aed5a32d1a145df7007ba7d934e4c2bd4"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4">SVF::BinaryOPVFGNode::opVerEnd</a></div><div class="ttdeci">OPVers::const_iterator opVerEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00450">VFGNode.h:450</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalRetVFGNode_html_ab5732a6cea2efbd352d1d8330f366f49"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#ab5732a6cea2efbd352d1d8330f366f49">SVF::FormalRetVFGNode::classof</a></div><div class="ttdeci">static bool classof(const VFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01069">VFGNode.h:1069</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a74266197f0ac969746c0be4175e70c17"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a74266197f0ac969746c0be4175e70c17">SVF::BinaryOPVFGNode::classof</a></div><div class="ttdeci">static bool classof(const BinaryOPVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00413">VFGNode.h:413</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a93040c884df211ac62d53ceafdd9c4dd"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const SuccAndCondPairVec &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01178">SVFStatements.h:1178</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a93040c884df211ac62d53ceafdd9c4dd"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const SuccAndCondPairVec &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01188">SVFStatements.h:1188</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraPHIVFGNode_html_a73f39a488ad82300010abd18afe247a4"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode::opIncomingBBs</a></div><div class="ttdeci">OPIncomingBBs opIncomingBBs</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00717">VFGNode.h:717</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html_a4f51e718a8519f6edcee627cdd51b272"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode::FormalParmVFGNode</a></div><div class="ttdeci">FormalParmVFGNode(NodeID id, const PAGNode *n, const SVFFunction *f)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00906">VFGNode.h:906</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_ae6fdb5759a0dfeb0635ffd758b752dc1"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode::opVers</a></div><div class="ttdeci">OPVers opVers</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00471">VFGNode.h:471</a></div></div>
@@ -1299,7 +1299,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1InterPHIVFGNode_html_af05335676298acd6ad0bf2f445c8105b"><div class="ttname"><a href="classSVF_1_1InterPHIVFGNode.html#af05335676298acd6ad0bf2f445c8105b">SVF::InterPHIVFGNode::classof</a></div><div class="ttdeci">static bool classof(const InterPHIVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01124">VFGNode.h:1124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_aaa53457604fe4cf4cb97ca85d33907b0"><div class="ttname"><a href="classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0">SVF::GenericNode::id</a></div><div class="ttdeci">NodeID id</div><div class="ttdoc">Node ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00159">GenericGraph.h:159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NullPtrVFGNode_html_adef43dcc86e61145a7fdc6711b28239d"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d">SVF::NullPtrVFGNode::node</a></div><div class="ttdeci">const PAGNode * node</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01157">VFGNode.h:1157</a></div></div>
-<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00437">SVFStatements.h:437</a></div></div>
+<div class="ttc" id="aclassSVF_1_1LoadStmt_html"><div class="ttname"><a href="classSVF_1_1LoadStmt.html">SVF::LoadStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00447">SVFStatements.h:447</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BranchVFGNode_html_a83e99b58146bd2d80726622feb303d3f"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#a83e99b58146bd2d80726622feb303d3f">SVF::BranchVFGNode::getDefSVFVars</a></div><div class="ttdeci">const NodeBS getDefSVFVars() const override</div><div class="ttdoc">Return the left hand side SVF Vars.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00183">VFG.cpp:183</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_a04986961ad507be9fcf141ab51787da8"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a04986961ad507be9fcf141ab51787da8">SVF::StmtVFGNode::getPAGDstNodeID</a></div><div class="ttdeci">NodeID getPAGDstNodeID() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00146">VFGNode.h:146</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AddrVFGNode_html_af5ff980dea82f57e146e01d04882abbb"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html#af5ff980dea82f57e146e01d04882abbb">SVF::AddrVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00787">VFGNode.h:787</a></div></div>
@@ -1315,7 +1315,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1AddrVFGNode_html_ae15cb791d45cfde3ba9be8779d843a66"><div class="ttname"><a href="classSVF_1_1AddrVFGNode.html#ae15cb791d45cfde3ba9be8779d843a66">SVF::AddrVFGNode::operator=</a></div><div class="ttdeci">void operator=(const AddrVFGNode &amp;)</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_aa972ecfb264d447fecf0326037bbccbe"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00367">VFGNode.h:367</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IntraPHIVFGNode_html"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html">SVF::IntraPHIVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00710">VFGNode.h:710</a></div></div>
-<div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00474">SVFStatements.h:474</a></div></div>
+<div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode::TInterPhi</a></div><div class="ttdeci">@ TInterPhi</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ab7a57e9eef84c1078593dfbe88de6f14">SVF::VFGNode::AParm</a></div><div class="ttdeci">@ AParm</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GepVFGNode_html_acacfe5f0a9f33dc4ca25e0926d0e7076"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html#acacfe5f0a9f33dc4ca25e0926d0e7076">SVF::GepVFGNode::operator=</a></div><div class="ttdeci">void operator=(const GepVFGNode &amp;)</div><div class="ttdoc">place holder</div></div>
@@ -1402,7 +1402,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1GenericNode_html"><div class="ttname"><a href="classSVF_1_1GenericNode.html">SVF::GenericNode</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00141">GenericGraph.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1NullPtrVFGNode_html_abd9d77737434262b5bb801ebf9c8e9a8"><div class="ttname"><a href="classSVF_1_1NullPtrVFGNode.html#abd9d77737434262b5bb801ebf9c8e9a8">SVF::NullPtrVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01184">VFGNode.h:1184</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a31dae52a5c31284a8fe54294bd34a5dc">SVF::VFGNode::UnaryOp</a></div><div class="ttdeci">@ UnaryOp</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01107">SVFStatements.h:1107</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01117">SVFStatements.h:1117</a></div></div>
 <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html_a1fa8795102bc6c1d6bac1b55b7542eea"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00438">VFGNode.h:438</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html_ae7029edffae3f64899bf640fc0842258"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html#ae7029edffae3f64899bf640fc0842258">SVF::CmpVFGNode::CmpVFGNode</a></div><div class="ttdeci">CmpVFGNode(NodeID id, const PAGNode *r)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00339">VFGNode.h:339</a></div></div>
 <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html_aad3591f38e30c5168d4accb76ac8dc04"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#aad3591f38e30c5168d4accb76ac8dc04">SVF::LoadVFGNode::toString</a></div><div class="ttdeci">const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00064">VFG.cpp:64</a></div></div>
@@ -1424,7 +1424,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_aa5011ff12de490146ab106e90d0b6ad8"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#aa5011ff12de490146ab106e90d0b6ad8">SVF::StmtVFGNode::toString</a></div><div class="ttdeci">const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00048">VFG.cpp:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00324">VFGNode.h:324</a></div></div>
 <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html_a3fb14833d95bb3550f904b5e236a5364"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html#a3fb14833d95bb3550f904b5e236a5364">SVF::StmtVFGNode::getInst</a></div><div class="ttdeci">const SVFInstruction * getInst() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00185">VFGNode.h:185</a></div></div>
-<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01174">SVFStatements.h:1174</a></div></div>
+<div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01184">SVFStatements.h:1184</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ArgumentVFGNode_html_ab6179be01a029e52df59480c20a92ef2"><div class="ttname"><a href="classSVF_1_1ArgumentVFGNode.html#ab6179be01a029e52df59480c20a92ef2">SVF::ArgumentVFGNode::classof</a></div><div class="ttdeci">static bool classof(const ArgumentVFGNode *)</div><div class="ttdoc">Methods for support type inquiry through isa, cast, and dyn_cast:</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00819">VFGNode.h:819</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ActualRetVFGNode_html_adc425f00b03e7a59725161ce1a78b349"><div class="ttname"><a href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode::ActualRetVFGNode</a></div><div class="ttdeci">ActualRetVFGNode()</div><div class="ttdoc">place holder</div></div>
 <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html_aca72f4582e33a2d4ef3a96dd2936f567"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html#aca72f4582e33a2d4ef3a96dd2936f567">SVF::LoadVFGNode::LoadVFGNode</a></div><div class="ttdeci">LoadVFGNode()</div><div class="ttdoc">place holder</div></div>
@@ -1434,7 +1434,7 @@ $(function() {
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75ac2c5b04acc4f754e70a782adee522e09">SVF::VFGNode::FPOUT</a></div><div class="ttdeci">@ FPOUT</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00056">VFGNode.h:56</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">SVF::VFGNode::ARet</a></div><div class="ttdeci">@ ARet</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00055">VFGNode.h:55</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00045">GeneralType.h:45</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00097">GeneralType.h:97</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="GeneralType_8h_source.html#l00101">GeneralType.h:101</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FormalRetVFGNode_html_a444f13c4680b3762d0f2a55f98037acb"><div class="ttname"><a href="classSVF_1_1FormalRetVFGNode.html#a444f13c4680b3762d0f2a55f98037acb">SVF::FormalRetVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l01077">VFGNode.h:1077</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_a1aec02a86416e9baf8819086bbb53080"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#a1aec02a86416e9baf8819086bbb53080">SVF::UnaryOPVFGNode::classof</a></div><div class="ttdeci">static bool classof(const GenericVFGNodeTy *node)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00491">VFGNode.h:491</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_ae7947adec032ed072c50cf49f9d12259"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode::getRes</a></div><div class="ttdeci">const PAGNode * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00508">VFGNode.h:508</a></div></div>