svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html

@@ -248,28 +248,28 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ab96065dc1bb1cc29f9c37c885f524b34"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ab96065dc1bb1cc29f9c37c885f524b34">SVF::ThreadAPI::isHareParFor</a></div><div class="ttdeci">bool isHareParFor(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call proceeds a hare_parallel_for.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00141">ThreadAPI.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a4bacbfb6648de8196217c83b5d73b876"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI::isTDFork</a></div><div class="ttdeci">bool isTDFork(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call create a new thread.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00129">ThreadAPI.h:129</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a69719915e8c23e3afd6766daea946ffe"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a69719915e8c23e3afd6766daea946ffe">SVF::ThreadCallGraph::addParForSite</a></div><div class="ttdeci">bool addParForSite(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00341">ThreadCallGraph.h:341</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00142">SVFModule.h:142</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00141">SVFModule.h:141</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFG_html_aa41516cdd2be5066adf22798a4fe2213"><div class="ttname"><a href="classSVF_1_1ICFG.html#aa41516cdd2be5066adf22798a4fe2213">SVF::ICFG::getCallICFGNode</a></div><div class="ttdeci">CallICFGNode * getCallICFGNode(const SVFInstruction *inst)</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00235">ICFG.cpp:235</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a68b10ffa2775fe7d8c1476409c0f54ab"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a68b10ffa2775fe7d8c1476409c0f54ab">SVF::ThreadAPI::isTDJoin</a></div><div class="ttdeci">bool isTDJoin(const SVFInstruction *inst) const</div><div class="ttdoc">Return true if this call wait for a worker thread.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00223">ThreadAPI.h:223</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a19e505dbca2d2b5128762b223b9a7114"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a19e505dbca2d2b5128762b223b9a7114">SVF::ThreadCallGraph::addDirectForkEdge</a></div><div class="ttdeci">void addDirectForkEdge(const CallICFGNode *cs)</div><div class="ttdoc">Add direct/indirect thread fork edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00145">ThreadCallGraph.cpp:145</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_a56630cd025957508fd2aeb60b49a53be"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#a56630cd025957508fd2aeb60b49a53be">SVF::ThreadAPI::getForkedFun</a></div><div class="ttdeci">const SVFValue * getForkedFun(const SVFInstruction *inst) const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00168">ThreadAPI.h:168</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html">SVF::ThreadAPI</a></div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00043">ThreadAPI.h:43</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00484">SVFValue.h:484</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFBasicBlock_html"><div class="ttname"><a href="classSVF_1_1SVFBasicBlock.html">SVF::SVFBasicBlock</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00490">SVFValue.h:490</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallGraphBuilder_html_a77ccca4e81eb1199c89d75e1b2d21af6"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html#a77ccca4e81eb1199c89d75e1b2d21af6">SVF::CallGraphBuilder::callgraph</a></div><div class="ttdeci">PTACallGraph * callgraph</div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8h_source.html#l00046">CallGraphBuilder.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_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#l00385">ICFGNode.h:385</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallGraphBuilder_html_ae5c2b2deb4a621cb38a31c8895052856"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html#ae5c2b2deb4a621cb38a31c8895052856">SVF::CallGraphBuilder::CallGraphBuilder</a></div><div class="ttdeci">CallGraphBuilder(PTACallGraph *cg, ICFG *i)</div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8h_source.html#l00049">CallGraphBuilder.h:49</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_ae942f7d46198207219e5ce8287497262"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#ae942f7d46198207219e5ce8287497262">SVF::ThreadCallGraph::addDirectParForEdge</a></div><div class="ttdeci">void addDirectParForEdge(const CallICFGNode *cs)</div><div class="ttdoc">Add direct/indirect parallel for edges.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8cpp_source.html#l00221">ThreadCallGraph.cpp:221</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadAPI_html_ab15b12637a557b53b92e9087eaf66cd6"><div class="ttname"><a href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI::getTaskFuncAtHareParForSite</a></div><div class="ttdeci">const SVFValue * getTaskFuncAtHareParForSite(const SVFInstruction *inst) const</div><div class="ttdoc">Get the task function (i.e., the 5th parameter) of the hare_parallel_for call.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadAPI_8h_source.html#l00195">ThreadAPI.h:195</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00134">SVFModule.h:134</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00133">SVFModule.h:133</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CallGraphBuilder_html_aa64a27e99434908a203e566074c66ebc"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html#aa64a27e99434908a203e566074c66ebc">SVF::CallGraphBuilder::buildCallGraph</a></div><div class="ttdeci">PTACallGraph * buildCallGraph(SVFModule *svfModule)</div><div class="ttdoc">Build normal callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8cpp_source.html#l00038">CallGraphBuilder.cpp:38</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00055">SVFModule.h:55</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFModule_html_afcf2978f32e15127fb093405dc17d7f1"><div class="ttname"><a href="classSVF_1_1SVFModule.html#afcf2978f32e15127fb093405dc17d7f1">SVF::SVFModule::const_iterator</a></div><div class="ttdeci">FunctionSetType::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00054">SVFModule.h:54</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ThreadCallGraph_html_a563ebb1ece0adb4bafe5e14b2a024a91"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a563ebb1ece0adb4bafe5e14b2a024a91">SVF::ThreadCallGraph::addForksite</a></div><div class="ttdeci">bool addForksite(const CallICFGNode *cs)</div><div class="ttdoc">Add fork sites which directly or indirectly create a thread.</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00331">ThreadCallGraph.h:331</a></div></div>
 <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_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="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="aclassSVF_1_1CallGraphBuilder_html_ab3e0b47be010e25c093953e54602d211"><div class="ttname"><a href="classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211">SVF::CallGraphBuilder::icfg</a></div><div class="ttdeci">ICFG * icfg</div><div class="ttdef"><b>Definition:</b> <a href="CallGraphBuilder_8h_source.html#l00047">CallGraphBuilder.h:47</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#l00587">SVFValue.h:587</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#l00593">SVFValue.h:593</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="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>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html

@@ -451,7 +451,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a6c3d6b4c004d9e43690c3807502eed74 inherit pub_attribs_classSVF_1_1AndersenBase"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_static_attribs_classSVF_1_1AndersenBase"><td colspan="2" onclick="javascript:toggleInherit('pub_static_attribs_classSVF_1_1AndersenBase')"><img src="closed.png" alt="-"/>&#160;Static Public Attributes inherited from <a class="el" href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></td></tr>
 <tr class="memitem:a4acad18a6eb585ba9e3d2276dd591067 inherit pub_static_attribs_classSVF_1_1AndersenBase"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067">numOfProcessedAddr</a> = 0</td></tr>
@@ -1076,7 +1076,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a3550ea3f087ec557a6fe076bc443b05d"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a3550ea3f087ec557a6fe076bc443b05d">SVF::PointerAnalysis::print_stat</a></div><div class="ttdeci">bool print_stat</div><div class="ttdoc">User input flags.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00134">PointerAnalysis.h:134</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ae7ccfb3d1308e205e5014849dcc43d9a"><div class="ttname"><a href="classSVF_1_1Options.html#ae7ccfb3d1308e205e5014849dcc43d9a">SVF::Options::DumpICFG</a></div><div class="ttdeci">static const Option&lt; bool &gt; DumpICFG</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00136">Options.h:136</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a34177236a41f7a2b432243062f829985"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a34177236a41f7a2b432243062f829985">SVF::TypeAnalysis::initialize</a></div><div class="ttdeci">void initialize()</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00045">TypeAnalysis.cpp:45</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() 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_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01138">SVFValue.h:1138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a6a5dec067fa2a1babc83f36daa8afcc3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a6a5dec067fa2a1babc83f36daa8afcc3">SVF::PointerAnalysis::connectVCallToVFns</a></div><div class="ttdeci">void connectVCallToVFns(const CallICFGNode *cs, const VFunSet &amp;vfns, CallEdgeMap &amp;newEdges)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8cpp_source.html#l00468">PointerAnalysis.cpp:468</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a8efef079c8b33e2215f92ac3629789e6"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a8efef079c8b33e2215f92ac3629789e6">SVF::TypeAnalysis::finalize</a></div><div class="ttdeci">virtual void finalize()</div><div class="ttdoc">Finalize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00062">TypeAnalysis.cpp:62</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#l00150">SVFValue.h:150</a></div></div>
@@ -1086,7 +1086,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00270">SVFValue.h:270</a></div></div>
 <div class="ttc" id="aclassSVF_1_1ICFGStat_html"><div class="ttname"><a href="classSVF_1_1ICFGStat.html">SVF::ICFGStat</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGStat_8h_source.html#l00039">ICFGStat.h:39</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenBase_html_a891816407a4c6346f56bc01a67b78aac"><div class="ttname"><a href="classSVF_1_1AndersenBase.html#a891816407a4c6346f56bc01a67b78aac">SVF::AndersenBase::initialize</a></div><div class="ttdeci">virtual void initialize() override</div><div class="ttdoc">Initialize analysis.</div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8cpp_source.html#l00073">Andersen.cpp:73</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01128">SVFValue.h:1128</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_a427a38e580db4bf04c9d716762243c89"><div class="ttname"><a href="classSVF_1_1CallSite.html#a427a38e580db4bf04c9d716762243c89">SVF::CallSite::isVirtualCall</a></div><div class="ttdeci">bool isVirtualCall() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01134">SVFValue.h:1134</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHNode_html_a224a394537fae62e64cf62a0d4fdd430"><div class="ttname"><a href="classSVF_1_1CHNode.html#a224a394537fae62e64cf62a0d4fdd430">SVF::CHNode::isMultiInheritance</a></div><div class="ttdeci">bool isMultiInheritance() const</div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00164">CHG.h:164</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae2cc7cd0803dbd90639140e71b06b1b5"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae2cc7cd0803dbd90639140e71b06b1b5">SVF::PointerAnalysis::getCHGraph</a></div><div class="ttdeci">CommonCHGraph * getCHGraph() const</div><div class="ttdoc">get CHGraph</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00429">PointerAnalysis.h:429</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acc2e7cbdd04a614a3b6189d2f01042f3">SVF::PointerAnalysis::TypeCPP_WPA</a></div><div class="ttdeci">@ TypeCPP_WPA</div><div class="ttdoc">Type-based analysis for C++.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00081">PointerAnalysis.h:81</a></div></div>
@@ -1095,7 +1095,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00169">SVFIR.h:169</a></div></div>
 <div class="ttc" id="aclassSVF_1_1TypeAnalysis_html_a124fc67578745cde9e74bb36aced25a2"><div class="ttname"><a href="classSVF_1_1TypeAnalysis.html#a124fc67578745cde9e74bb36aced25a2">SVF::TypeAnalysis::dumpCHAStats</a></div><div class="ttdeci">void dumpCHAStats()</div><div class="ttdoc">Statistics of CHA and callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="TypeAnalysis_8cpp_source.html#l00096">TypeAnalysis.cpp:96</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>
-<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01069">SVFValue.h:1069</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01075">SVFValue.h:1075</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PTAStat_html_ad6de9d3f25c20705768000c987af0eb6"><div class="ttname"><a href="classSVF_1_1PTAStat.html#ad6de9d3f25c20705768000c987af0eb6">SVF::PTAStat::performStat</a></div><div class="ttdeci">void performStat() override</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00043">PTAStat.cpp:43</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CHGraph_html"><div class="ttname"><a href="classSVF_1_1CHGraph.html">SVF::CHGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="CHG_8h_source.html#l00215">CHG.h:215</a></div></div>
 <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a5dfa3f178d4abf37177d0d74ff4c6a97"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a5dfa3f178d4abf37177d0d74ff4c6a97">SVF::GenericGraph::const_iterator</a></div><div class="ttdeci">IDToNodeMapTy::const_iterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00360">GenericGraph.h:360</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html

@@ -232,7 +232,7 @@ Static Public Member Functions</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-methods"></a>
 Private Member Functions</h2></td></tr>
 <tr class="memitem:a033d3ba05ce96e04b63f2cf455518582"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582">UnaryOPStmt</a> ()</td></tr>
-<tr class="memdesc:a033d3ba05ce96e04b63f2cf455518582"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serilization)  <a href="classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582">More...</a><br /></td></tr>
+<tr class="memdesc:a033d3ba05ce96e04b63f2cf455518582"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serialization)  <a href="classSVF_1_1UnaryOPStmt.html#a033d3ba05ce96e04b63f2cf455518582">More...</a><br /></td></tr>
 <tr class="separator:a033d3ba05ce96e04b63f2cf455518582"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aaad7785c0e6ea468cf7df8eb39cfe327"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327">UnaryOPStmt</a> (const <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> &amp;)</td></tr>
 <tr class="memdesc:aaad7785c0e6ea468cf7df8eb39cfe327"><td class="mdescLeft">&#160;</td><td class="mdescRight">place holder  <a href="classSVF_1_1UnaryOPStmt.html#aaad7785c0e6ea468cf7df8eb39cfe327">More...</a><br /></td></tr>
@@ -336,7 +336,7 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p>Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serilization) </p>
+<p>Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serialization) </p>
 
 <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01023">1023</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l01023"></a><span class="lineno"> 1023</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>) {}</div>
@@ -918,7 +918,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a8029b46bccda153ca2e677686c2655e2"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00294">SVFStatements.cpp:294</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01070">SVFStatements.h:1070</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01062">SVFStatements.h:1062</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>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html

@@ -230,7 +230,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -910,7 +910,7 @@ Private Member Functions</h2></td></tr>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
 <div class="ttc" id="aclassSVF_1_1UnaryOPVFGNode_html_aeb8722a2efdc4bf4e79d65230dc41fd5"><div class="ttname"><a href="classSVF_1_1UnaryOPVFGNode.html#aeb8722a2efdc4bf4e79d65230dc41fd5">SVF::UnaryOPVFGNode::getOpVerNum</a></div><div class="ttdeci">u32_t getOpVerNum() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00517">VFGNode.h:517</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>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</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_1SVFVar_html_a1ace69053c2c4436fd78d5624bd0086a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a1ace69053c2c4436fd78d5624bd0086a">SVF::SVFVar::hasValue</a></div><div class="ttdeci">bool hasValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00112">SVFVariables.h:112</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>

package/SVF-doxygen/html/html/classSVF_1_1VFG.html

@@ -2137,7 +2137,7 @@ Additional Inherited Members</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="VFG_8cpp_source.html#l00463">463</a> of file <a class="el" href="VFG_8cpp_source.html">VFG.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;{</div>
 <div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160; </div>
-<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    <span class="comment">// initialize dummy definition  null pointers in order to uniform the construction</span></div>
+<div class="line"><a name="l00466"></a><span class="lineno">  466</span>&#160;    <span class="comment">// initialize dummy definition null pointers in order to uniform the construction</span></div>
 <div class="line"><a name="l00467"></a><span class="lineno">  467</span>&#160;    <span class="comment">// to be noted for black hole pointer it has already has address edge connected,</span></div>
 <div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    <span class="comment">// and its definition will be set when processing addr SVFIR edge.</span></div>
 <div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;    <a class="code" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">addNullPtrVFGNode</a>(<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<a class="code" href="classSVF_1_1VFG.html#a25c2bbbc2e966e2aaa59a5b83363557a">pag</a>-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>()));</div>
@@ -2329,7 +2329,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00658"></a><span class="lineno">  658</span>&#160;        <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1VFG.html#a85360d0242ea7d2ec7da670f2cc17962">isInterestedPAGNode</a>(edge-&gt;<a class="code" href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">getBranchInst</a>()))</div>
 <div class="line"><a name="l00659"></a><span class="lineno">  659</span>&#160;            <a class="code" href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">addBranchVFGNode</a>(edge);</div>
 <div class="line"><a name="l00660"></a><span class="lineno">  660</span>&#160;    }</div>
-<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    <span class="comment">// initialize llvm cmp nodes (comparision)</span></div>
+<div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    <span class="comment">// initialize llvm cmp nodes (comparison)</span></div>
 <div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;    <a class="code" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a>&amp; cmps = <a class="code" href="classSVF_1_1VFG.html#a2e182f7e90a3519a2147a300470a88f1">getPAGEdgeSet</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a610d6662d1814cffbf23db29e7e620c0">SVFStmt::Cmp</a>);</div>
 <div class="line"><a name="l00663"></a><span class="lineno">  663</span>&#160;    <span class="keywordflow">for</span> (SVFStmt::SVFStmtSetTy::iterator iter = cmps.begin(), eiter =</div>
 <div class="line"><a name="l00664"></a><span class="lineno">  664</span>&#160;                cmps.end(); iter != eiter; ++iter)</div>

package/SVF-doxygen/html/html/classSVF_1_1VFGNode.html

@@ -216,7 +216,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1ValVar.html

@@ -123,7 +123,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941">isConstDataOrAggDataButNotNullPtr</a> () const</td></tr>
 <tr class="separator:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">isIsolatedNode</a> () const</td></tr>
-<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isoloated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
+<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isolated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
 <tr class="separator:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">getFunction</a> () const</td></tr>
 <tr class="memdesc:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the function that this <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> resides in. Return nullptr if it is a global or constantexpr node.  <a href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">More...</a><br /></td></tr>
@@ -191,7 +191,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -637,7 +637,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00180">GenericGraph.h:180</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa288e3f5d01c94d5c5d685d43f08a6c4a">SVF::SVFVar::GepValNode</a></div><div class="ttdeci">@ GepValNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00069">SVFVariables.h:69</a></div></div>
 <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01038">LLVMUtil.cpp:1038</a></div></div>
+<div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01159">LLVMUtil.cpp:1159</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_aa72b0f34a0b646751a7b2003d6b9f11e"><div class="ttname"><a href="classSVF_1_1SVFVar.html#aa72b0f34a0b646751a7b2003d6b9f11e">SVF::SVFVar::value</a></div><div class="ttdeci">const SVFValue * value</div><div class="ttdoc">value of this SVFIR node</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00078">SVFVariables.h:78</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html_a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a283f7c0c2eaae07c6865f73a0daafeffa32d22852d39756992f87bd02def75f66">SVF::SVFVar::ValNode</a></div><div class="ttdeci">@ ValNode</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00065">SVFVariables.h:65</a></div></div>
 <!-- start footer part -->

package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html

@@ -124,7 +124,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a091ef22d4fc428985d604b03f287a941">isConstDataOrAggDataButNotNullPtr</a> () const</td></tr>
 <tr class="separator:a091ef22d4fc428985d604b03f287a941 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">isIsolatedNode</a> () const</td></tr>
-<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isoloated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
+<tr class="memdesc:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether this is an isolated node on the <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph.  <a href="classSVF_1_1SVFVar.html#acf194658d2cbdaf3f26f2af6c325fad7">More...</a><br /></td></tr>
 <tr class="separator:acf194658d2cbdaf3f26f2af6c325fad7 inherit pub_methods_classSVF_1_1SVFVar"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1SVFFunction.html">SVFFunction</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">getFunction</a> () const</td></tr>
 <tr class="memdesc:a79b35a312248e96a89a28cbf1b99b6fe inherit pub_methods_classSVF_1_1SVFVar"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the function that this <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a> resides in. Return nullptr if it is a global or constantexpr node.  <a href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">More...</a><br /></td></tr>
@@ -192,7 +192,7 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a0118fbeb2b314dcdcb53c56a2a13ab07">InEdgeEnd</a> () const</td></tr>
 <tr class="separator:a0118fbeb2b314dcdcb53c56a2a13ab07 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">directOutEdgeBegin</a> ()</td></tr>
-<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessory.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
+<tr class="memdesc:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterators used for SCC detection, overwrite it in child class if necessary.  <a href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">More...</a><br /></td></tr>
 <tr class="separator:aa0e258d3a92dae367f2809a6f16c80db inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">directOutEdgeEnd</a> ()</td></tr>
 <tr class="separator:a5950d69d4ba6c2122dd06b93911e4992 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>

package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html

@@ -473,7 +473,7 @@ Static Public Member Functions</h2></td></tr>
 <tr class="separator:a754c77fff88e8f415dc7a2096d1bffe2"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_static_methods_classSVF_1_1FlowSensitive"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_classSVF_1_1FlowSensitive')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="classSVF_1_1FlowSensitive.html">SVF::FlowSensitive</a></td></tr>
 <tr class="memitem:af21aa66bc41607d8c93faf1acea1f3be inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="classSVF_1_1FlowSensitive.html">FlowSensitive</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be">createFSWPA</a> (<a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> *_pag)</td></tr>
-<tr class="memdesc:af21aa66bc41607d8c93faf1acea1f3be inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create signle instance of flow-sensitive pointer analysis.  <a href="classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be">More...</a><br /></td></tr>
+<tr class="memdesc:af21aa66bc41607d8c93faf1acea1f3be inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create single instance of flow-sensitive pointer analysis.  <a href="classSVF_1_1FlowSensitive.html#af21aa66bc41607d8c93faf1acea1f3be">More...</a><br /></td></tr>
 <tr class="separator:af21aa66bc41607d8c93faf1acea1f3be inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae6aed22a79ac6567446dfcba82cb17b8 inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="memItemLeft" align="right" valign="top">static void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8">releaseFSWPA</a> ()</td></tr>
 <tr class="memdesc:ae6aed22a79ac6567446dfcba82cb17b8 inherit pub_static_methods_classSVF_1_1FlowSensitive"><td class="mdescLeft">&#160;</td><td class="mdescRight">Release flow-sensitive pointer analysis.  <a href="classSVF_1_1FlowSensitive.html#ae6aed22a79ac6567446dfcba82cb17b8">More...</a><br /></td></tr>
@@ -833,7 +833,7 @@ Friends</h2></td></tr>
 Additional Inherited Members</h2></td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_types_classSVF_1_1FlowSensitive"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classSVF_1_1FlowSensitive')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classSVF_1_1FlowSensitive.html">SVF::FlowSensitive</a></td></tr>
 <tr class="memitem:a69289c48fa91f850da90de080b9d26e5 inherit pro_types_classSVF_1_1FlowSensitive"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1VFG.html#ac97ef8c479556f9ca2c40cd4d8a18694">SVFG::SVFGEdgeSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1FlowSensitive.html#a69289c48fa91f850da90de080b9d26e5">SVFGEdgeSetTy</a></td></tr>
@@ -2365,7 +2365,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160; </div>
 <div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;                    <span class="keywordtype">int</span> mSCC = partOf[m];</div>
 <div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160; </div>
-<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;                    <span class="comment">// There is an edge from the SCC n belongs to to that m belongs to.</span></div>
+<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;                    <span class="comment">// There is an edge from the SCC n belongs to that m belongs to.</span></div>
 <div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;                    sccReliance[nSCC].insert(mSCC);</div>
 <div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160; </div>
 <div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                    <span class="comment">// Ignore edges to delta nodes (prelabeled consume).</span></div>
@@ -2435,7 +2435,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160; </div>
 <div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;            <span class="comment">// 7. a. Save versions for nodes which need them.</span></div>
 <div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;            <span class="comment">//    b. Fill in stmtReliance.</span></div>
-<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="comment">// TODO: maybe randomise iteration order for less contention? Needs profiling.</span></div>
+<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;            <span class="comment">// TODO: maybe randomize iteration order for less contention? Needs profiling.</span></div>
 <div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;            <a class="code" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map&lt;Version, NodeBS&gt;</a> &amp;osStmtReliance = this-&gt;<a class="code" href="classSVF_1_1VersionedFlowSensitive.html#af0859eb2a5b46c45aa4314e6e54f4438">stmtReliance</a>.at(o);</div>
 <div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;            <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 0; i &lt; nodesWhichNeedVersions.size(); ++i)</div>
 <div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;            {</div>

package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html

@@ -1011,7 +1011,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1FlowSensitive_html_ac4d4b42bb96006801597f81ed3c4b337"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#ac4d4b42bb96006801597f81ed3c4b337">SVF::FlowSensitive::propagationTime</a></div><div class="ttdeci">double propagationTime</div><div class="ttdoc">time of points-to propagation.</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00303">FlowSensitive.h:303</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitive_html_af5a94d14096ae2bbc47b3b3b9f723226"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#af5a94d14096ae2bbc47b3b3b9f723226">SVF::FlowSensitive::updateTime</a></div><div class="ttdeci">double updateTime</div><div class="ttdoc">time of strong/weak updates.</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00306">FlowSensitive.h:306</a></div></div>
-<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
+<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constraint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
 <div class="ttc" id="anamespaceSVF_html_a9ec7a8dc63411ee3724a25a59191be0c"><div class="ttname"><a href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></div><div class="ttdeci">unsigned Version</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00124">SVFType.h:124</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitive_html_aa3d4703756a6297ab5c0756172024fe4"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#aa3d4703756a6297ab5c0756172024fe4">SVF::FlowSensitive::maxSCCSize</a></div><div class="ttdeci">u32_t maxSCCSize</div><div class="ttdoc">Number of processed mssa node.</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00296">FlowSensitive.h:296</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html

@@ -196,7 +196,7 @@ Additional Inherited Members</h2></td></tr>
 <tr class="separator:a624e9156b2d3a4f284548cbaaf650334 inherit pub_types_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>

package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html

@@ -225,7 +225,7 @@ Private Attributes</h2></td></tr>
 Additional Inherited Members</h2></td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_attribs_classSVF_1_1WPASCCSolver"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1WPASCCSolver')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1WPASCCSolver.html">SVF::WPASCCSolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:a28973d7e1301c36254b67c695e8431aa inherit pro_attribs_classSVF_1_1WPASCCSolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASCCSolver.html#a28973d7e1301c36254b67c695e8431aa">curSCCID</a></td></tr>

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

@@ -943,7 +943,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85">SVF::PointerAnalysis::PTATY</a></div><div class="ttdeci">PTATY</div><div class="ttdoc">Pointer analysis type list.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00063">PointerAnalysis.h:63</a></div></div>
 <div class="ttc" id="aclassSVF_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="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_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01084">SVFValue.h:1084</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CallSite_html_ac2a0091dab3543a398da890b947e42ef"><div class="ttname"><a href="classSVF_1_1CallSite.html#ac2a0091dab3543a398da890b947e42ef">SVF::CallSite::getInstruction</a></div><div class="ttdeci">const SVFInstruction * getInstruction() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01090">SVFValue.h:1090</a></div></div>
 <div class="ttc" id="aclassSVF_1_1AndersenSFR_html"><div class="ttname"><a href="classSVF_1_1AndersenSFR.html">SVF::AndersenSFR</a></div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00102">AndersenPWC.h:102</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a0b57d86a5305aefcd6c8ae4e328d3ab0"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a0b57d86a5305aefcd6c8ae4e328d3ab0">SVF::WPAPass::_pta</a></div><div class="ttdeci">PointerAnalysis * _pta</div><div class="ttdoc">pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00117">WPAPass.h:117</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Options_html_ac5b56390226cbed64c8fbd8ab8dee671"><div class="ttname"><a href="classSVF_1_1Options.html#ac5b56390226cbed64c8fbd8ab8dee671">SVF::Options::PrintAliases</a></div><div class="ttdeci">static const Option&lt; bool &gt; PrintAliases</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00254">Options.h:254</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html

@@ -222,7 +222,7 @@ Protected Attributes</h2></td></tr>
 Additional Inherited Members</h2></td></tr>
 <tr class="inherit_header pub_attribs_classSVF_1_1WPASolver"><td colspan="2" onclick="javascript:toggleInherit('pub_attribs_classSVF_1_1WPASolver')"><img src="closed.png" alt="-"/>&#160;Public Attributes inherited from <a class="el" href="classSVF_1_1WPASolver.html">SVF::WPASolver&lt; GraphType &gt;</a></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6 inherit pub_attribs_classSVF_1_1WPASolver"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>

package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html

@@ -118,7 +118,7 @@ Public Types</h2></td></tr>
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-attribs"></a>
 Public Attributes</h2></td></tr>
 <tr class="memitem:ab3369caa278da03e6e6697a839985cd6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">numOfIteration</a></td></tr>
-<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constaint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
+<tr class="memdesc:ab3369caa278da03e6e6697a839985cd6"><td class="mdescLeft">&#160;</td><td class="mdescRight">num of iterations during constraint solving  <a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">More...</a><br /></td></tr>
 <tr class="separator:ab3369caa278da03e6e6697a839985cd6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
@@ -1083,7 +1083,7 @@ template&lt;class GraphType &gt; </div>
       </table>
 </div><div class="memdoc">
 
-<p>num of iterations during constaint solving </p>
+<p>num of iterations during constraint solving </p>
 
 <p class="definition">Definition at line <a class="el" href="WPASolver_8h_source.html#l00200">200</a> of file <a class="el" href="WPASolver_8h_source.html">WPASolver.h</a>.</p>
 
@@ -1189,7 +1189,7 @@ template&lt;class GraphType &gt; </div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a4af1c3e72f5af96c4facff672108da58"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a4af1c3e72f5af96c4facff672108da58">SVF::WPASolver::pushIntoWorklist</a></div><div class="ttdeci">virtual void pushIntoWorklist(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00156">WPASolver.h:156</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a904c056bcad2bdaff13763a48d372420"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a904c056bcad2bdaff13763a48d372420">SVF::WPASolver::propFromSrcToDst</a></div><div class="ttdeci">virtual bool propFromSrcToDst(GEDGE *)</div><div class="ttdoc">Propagate information from source to destination node, to be implemented in the child class.</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00138">WPASolver.h:138</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_aa7c0636780a86f376e9222bce771e859"><div class="ttname"><a href="classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859">SVF::WPASolver::iterationForPrintStat</a></div><div class="ttdeci">u32_t iterationForPrintStat</div><div class="ttdoc">print out statistics for i-th iteration</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00173">WPASolver.h:173</a></div></div>
-<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constaint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
+<div class="ttc" id="aclassSVF_1_1WPASolver_html_ab3369caa278da03e6e6697a839985cd6"><div class="ttname"><a href="classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6">SVF::WPASolver::numOfIteration</a></div><div class="ttdeci">u32_t numOfIteration</div><div class="ttdoc">num of iterations during constraint solving</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00200">WPASolver.h:200</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a992b105a0ec126050a123e24db3bd45b"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a992b105a0ec126050a123e24db3bd45b">SVF::WPASolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00160">WPASolver.h:160</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FIFOWorkList_html_ab023f3b60ff61d6729d75f4d2942bd83"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ab023f3b60ff61d6729d75f4d2942bd83">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(const Data &amp;data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00157">WorkList.h:157</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPASolver_html_a79c2b3f10f3f813396d8caaa1f7bc62a"><div class="ttname"><a href="classSVF_1_1WPASolver.html#a79c2b3f10f3f813396d8caaa1f7bc62a">SVF::WPASolver::collapseFields</a></div><div class="ttdeci">virtual void collapseFields()</div><div class="ttdoc">collapse positive weight cycles of a graph</div><div class="ttdef"><b>Definition:</b> <a href="WPASolver_8h_source.html#l00124">WPASolver.h:124</a></div></div>

package/SVF-doxygen/html/html/classSVF_1_1iter__adaptor__base.html

@@ -664,7 +664,7 @@ template<typename DerivedT , typename WrappedIteratorT , typename IteratorCat
 </ul>
 </div><!-- contents -->
 <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>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base::I</a></div><div class="ttdeci">WrappedIteratorT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1iter__facade__base_1_1ReferenceProxy.html

@@ -223,7 +223,7 @@ template<typename DerivedT , typename IteratorCategoryT , typename T , typena
 <li>/home/runner/work/SVF/SVF/svf/include/Util/<a class="el" href="iterator_8h_source.html">iterator.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__facade__base_1_1ReferenceProxy_html_aca4eadcdc568988ffddd09d359b1c1c3"><div class="ttname"><a href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3">SVF::iter_facade_base::ReferenceProxy::I</a></div><div class="ttdeci">DerivedT I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00094">iterator.h:94</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1iter__range.html

@@ -336,7 +336,7 @@ template&lt;typename IteratorT &gt; </div>
 </ul>
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1iter__range_html_aced2e91eaf4970e387ad249f6e936373"><div class="ttname"><a href="classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373">SVF::iter_range::end_iterator</a></div><div class="ttdeci">IteratorT end_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__range_html_a56f458edec1d1181e1cfe0f9a23c8003"><div class="ttname"><a href="classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003">SVF::iter_range::begin_iterator</a></div><div class="ttdeci">IteratorT begin_iterator</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00033">iterator_range.h:33</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/classSVF_1_1mapped__iter.html

@@ -318,7 +318,7 @@ template<typename ItTy , typename FuncTy , typename FuncReturnTy  = decltype(
 </div><!-- contents -->
 <div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_aae17978dbc68365513742c0ed6dd6e77"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, ItTy, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; decltype(std::declval&lt; FuncTy &gt;()(*std::declval&lt; ItTy &gt;())) &gt;::type &gt;::iter_adaptor_base</a></div><div class="ttdeci">iter_adaptor_base()=default</div></div>
 <div class="ttc" id="aclassSVF_1_1mapped__iter_html_a98e22cf9681fc948e9656bb1faeb36e1"><div class="ttname"><a href="classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1">SVF::mapped_iter::F</a></div><div class="ttdeci">FuncTy F</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00495">GenericGraph.h:495</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00670">SVFUtil.h:670</a></div></div>
+<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00655">SVFUtil.h:655</a></div></div>
 <div class="ttc" id="aclassSVF_1_1iter__adaptor__base_html_a1c80cc24530dbc29b03bf58500e0d636"><div class="ttname"><a href="classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636">SVF::iter_adaptor_base&lt; mapped_iter&lt; ItTy, FuncTy &gt;, ItTy, std::iterator_traits&lt; ItTy &gt;::iterator_category, std::remove_reference&lt; decltype(std::declval&lt; FuncTy &gt;()(*std::declval&lt; ItTy &gt;())) &gt;::type &gt;::I</a></div><div class="ttdeci">ItTy I</div><div class="ttdef"><b>Definition:</b> <a href="iterator_8h_source.html#l00242">iterator.h:242</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>