svf-tools 1.0.798 → 1.0.800

package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitive.html

@@ -4149,7 +4149,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0f71e4cd0948b294c7d33a690bde7dbe"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0f71e4cd0948b294c7d33a690bde7dbe">SVF::PointerAnalysis::isFieldInsensitive</a></div><div class="ttdeci">bool isFieldInsensitive(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00354">PointerAnalysis.h:354</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFG_html_a7ace06b6c893b31f7dec2abe54e33e11"><div class="ttname"><a href="classSVF_1_1SVFG.html#a7ace06b6c893b31f7dec2abe54e33e11">SVF::SVFG::getSVFGNode</a></div><div class="ttdeci">SVFGNode * getSVFGNode(NodeID id) const</div><div class="ttdoc">Get a SVFG node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00149">SVFG.h:149</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SparseBitVector_html_a61bd86909a141f9de873d92c0f904832"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html#a61bd86909a141f9de873d92c0f904832">SVF::SparseBitVector::set</a></div><div class="ttdeci">void set(unsigned Idx)</div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00747">SparseBitVector.h:747</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00597">SVFType.h:597</a></div></div>
 <div class="ttc" id="aclassSVF_1_1IndirectSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1IndirectSVFGEdge.html">SVF::IndirectSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFGEdge_8h_source.html#l00042">SVFGEdge.h:42</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedPTData_html_a8b9d50b5ad1c779b2ff231f07f3002ea"><div class="ttname"><a href="classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea">SVF::VersionedPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const VersionedKey &amp;dstVar, const VersionedKey &amp;srcVar)=0</div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a9f9b00551c157f42d1d995e8c4efb54b"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a9f9b00551c157f42d1d995e8c4efb54b">SVF::VersionedFlowSensitive::delta</a></div><div class="ttdeci">virtual bool delta(const NodeID l) const</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8cpp_source.html#l00432">VersionedFlowSensitive.cpp:432</a></div></div>

package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html

@@ -976,7 +976,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1FlowSensitive_html_a19e017f3ed6429fa30687018e64dae54"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54">SVF::FlowSensitive::numOfProcessedCopy</a></div><div class="ttdeci">u32_t numOfProcessedCopy</div><div class="ttdoc">Number of processed Addr node.</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00287">FlowSensitive.h:287</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitiveStat_html_a585f952ecdbd9fb559d2a5754a77d7b4"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#a585f952ecdbd9fb559d2a5754a77d7b4">SVF::VersionedFlowSensitiveStat::_NumEmptyVersions</a></div><div class="ttdeci">u32_t _NumEmptyVersions</div><div class="ttdoc">Number of versions with empty points-to sets (actually empty, not never-accessed).</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00199">WPAStat.h:199</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitiveStat_html_ac07c5308abfe6cdb6b242a7548fe71c5"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitiveStat.html#ac07c5308abfe6cdb6b242a7548fe71c5">SVF::VersionedFlowSensitiveStat::_MaxTopLvlPtsSize</a></div><div class="ttdeci">u32_t _MaxTopLvlPtsSize</div><div class="ttdoc">Max points-to set size in top-level pointers.</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00206">WPAStat.h:206</a></div></div>
-<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00590">SVFType.h:590</a></div></div>
+<div class="ttc" id="aSVFType_8h_html_a1aeda3370621dc00e9a0fe8e7aabc736"><div class="ttname"><a href="SVFType_8h.html#a1aeda3370621dc00e9a0fe8e7aabc736">TIMEINTERVAL</a></div><div class="ttdeci">#define TIMEINTERVAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00597">SVFType.h:597</a></div></div>
 <div class="ttc" id="aclassSVF_1_1FlowSensitive_html_ac39abcb40e4b568ab59b7cf48ed10f70"><div class="ttname"><a href="classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70">SVF::FlowSensitive::numOfProcessedPhi</a></div><div class="ttdeci">u32_t numOfProcessedPhi</div><div class="ttdoc">Number of processed Gep node.</div><div class="ttdef"><b>Definition:</b> <a href="FlowSensitive_8h_source.html#l00289">FlowSensitive.h:289</a></div></div>
 <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3bbaafd80dfcae6ccc82c3d8b9d303ea"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3bbaafd80dfcae6ccc82c3d8b9d303ea">SVF::SVFIR::getFieldObjNodeNum</a></div><div class="ttdeci">u32_t getFieldObjNodeNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00325">SVFIR.h:325</a></div></div>
 <div class="ttc" id="aclassSVF_1_1VersionedFlowSensitive_html_a4a594c8d6ccaa27b5328c6388fdb258d"><div class="ttname"><a href="classSVF_1_1VersionedFlowSensitive.html#a4a594c8d6ccaa27b5328c6388fdb258d">SVF::VersionedFlowSensitive::meldLabelingTime</a></div><div class="ttdeci">double meldLabelingTime</div><div class="ttdoc">Time to meld label SVFG.</div><div class="ttdef"><b>Definition:</b> <a href="VersionedFlowSensitive_8h_source.html#l00245">VersionedFlowSensitive.h:245</a></div></div>

package/SVF-doxygen/html/classSVF_1_1WPAPass.html

@@ -900,14 +900,14 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1Options_html_a2960fcb679f8dfee7d8822fcf9609f4a"><div class="ttname"><a href="classSVF_1_1Options.html#a2960fcb679f8dfee7d8822fcf9609f4a">SVF::Options::AliasRule</a></div><div class="ttdeci">static OptionMultiple&lt; WPAPass::AliasCheckRule &gt; AliasRule</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00256">Options.h:256</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00058">PointerAnalysis.h:58</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a6c06b12c95a4aa57edc6bef57514a7e1">SVF::PointerAnalysis::AndersenSCD_WPA</a></div><div class="ttdeci">@ AndersenSCD_WPA</div><div class="ttdoc">Selective cycle detection andersen-style WPA.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00068">PointerAnalysis.h:68</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00606">SVFType.h:606</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00613">SVFType.h:613</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_a72a66ae158793f5d1bcb37b655db4446"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass::ptaVector</a></div><div class="ttdeci">PTAVector ptaVector</div><div class="ttdoc">all pointer analysis to be executed.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00116">WPAPass.h:116</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_1MRGenerator_html_ac14c99ee6064fc9cf30120a83c78e702"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac14c99ee6064fc9cf30120a83c78e702">SVF::MRGenerator::getModRefInfo</a></div><div class="ttdeci">ModRefInfo getModRefInfo(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8cpp_source.html#l00717">MemRegion.cpp:717</a></div></div>
 <div class="ttc" id="aclassSVF_1_1MemSSA_html_ab2dfdcf6fb50ba6cacad1254350a5b09"><div class="ttname"><a href="classSVF_1_1MemSSA.html#ab2dfdcf6fb50ba6cacad1254350a5b09">SVF::MemSSA::getMRGenerator</a></div><div class="ttdeci">MRGenerator * getMRGenerator()</div><div class="ttdoc">Return MRGenerator.</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00313">MemSSA.h:313</a></div></div>
 <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_a79b35a312248e96a89a28cbf1b99b6fe"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a79b35a312248e96a89a28cbf1b99b6fe">SVF::SVFVar::getFunction</a></div><div class="ttdeci">virtual const SVFFunction * getFunction() const</div><div class="ttdoc">Return the function that this SVFVar resides in. Return nullptr if it is a global or constantexpr nod...</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00133">SVFVariables.h:133</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00607">SVFType.h:607</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00614">SVFType.h:614</a></div></div>
 <div class="ttc" id="aclassSVF_1_1Steensgaard_html"><div class="ttname"><a href="classSVF_1_1Steensgaard.html">SVF::Steensgaard</a></div><div class="ttdef"><b>Definition:</b> <a href="Steensgaard_8h_source.html#l00020">Steensgaard.h:20</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_1PointerAnalysis_html_a4dfb43679e9fa794ebad99b6584c32ec"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis::getPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getPts(NodeID ptr)=0</div><div class="ttdoc">Get points-to targets of a pointer. It needs to be implemented in child class.</div></div>
@@ -919,7 +919,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="aclassSVF_1_1AndersenSCD_html"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html">SVF::AndersenSCD</a></div><div class="ttdef"><b>Definition:</b> <a href="AndersenPWC_8h_source.html#l00044">AndersenPWC.h:44</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85adb3d4cbd8c38c1c498bc51198626a790">SVF::PointerAnalysis::Default_PTA</a></div><div class="ttdeci">@ Default_PTA</div><div class="ttdoc">default pta without any analysis</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00090">PointerAnalysis.h:90</a></div></div>
 <div class="ttc" id="aclassSVF_1_1WPAPass_html_ace6627f09d237f01d7b698aaea9020eb"><div class="ttname"><a href="classSVF_1_1WPAPass.html#ace6627f09d237f01d7b698aaea9020eb">SVF::WPAPass::runPointerAnalysis</a></div><div class="ttdeci">void runPointerAnalysis(SVFIR *pag, u32_t kind)</div><div class="ttdoc">Create pointer analysis according to specified kind and analyze the module.</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8cpp_source.html#l00083">WPAPass.cpp:83</a></div></div>
-<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00604">SVFType.h:604</a></div></div>
+<div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00611">SVFType.h:611</a></div></div>
 <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_ae1323233941cdc9b99332e4b954a2217"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *V1, const SVFValue *V2)=0</div><div class="ttdoc">Interface exposed to users of our pointer analysis, given Value infos.</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="aclassSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass::Conservative</a></div><div class="ttdeci">@ Conservative</div><div class="ttdoc">return MayAlias if any pta says alias</div><div class="ttdef"><b>Definition:</b> <a href="WPAPass_8h_source.html#l00064">WPAPass.h:64</a></div></div>

package/SVF-doxygen/html/functions_func_s.html

@@ -420,6 +420,9 @@ $(function() {
 <li>setPointerTo()
 : <a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">SVF::SVFType</a>
 </li>
+<li>setPtrElementType()
+: <a class="el" href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">SVF::SVFPointerType</a>
+</li>
 <li>setPtrInUncalledFunction()
 : <a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">SVF::SVFValue</a>
 </li>
@@ -558,7 +561,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1Z3Expr.html#afb3478316592a395c6d473791b5a0981">SVF::Z3Expr</a>
 </li>
 <li>SingleAbsValue()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#ad6fca68c9815414866c39c7000f35f23">SVF::SingleAbsValue</a>
+: <a class="el" href="classSVF_1_1SingleAbsValue.html#aeb599c1bda7697fd9c52bf6438fdcee9">SVF::SingleAbsValue</a>
 </li>
 <li>sinksBegin()
 : <a class="el" href="classSVF_1_1ProgSlice.html#adf620c97daed49735d21b485c448b4a2">SVF::ProgSlice</a>
@@ -643,7 +646,7 @@ $(function() {
 </li>
 <li>split()
 : <a class="el" href="classSVF_1_1LockResultValidator.html#ab8a6935e1ea6f99d60ead862a7b1782f">SVF::LockResultValidator</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#ab0458d1a3beae85056b1dbe7507fbc59">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a7dad63ce2a85142a56d13926f10fde47">SVF::MTAResultValidator</a>
 </li>
 <li>SrcSnkDDA()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a73f6ddd4ba868e203109c52e4f3600bd">SVF::SrcSnkDDA</a>
@@ -686,10 +689,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1Steensgaard.html#ac79e21396243dfa969136daee5ecdbd4">SVF::Steensgaard</a>
 </li>
 <li>StInfo()
-: <a class="el" href="classSVF_1_1StInfo.html#a33948aee379e9de810c535c583f46535">SVF::StInfo</a>
+: <a class="el" href="classSVF_1_1StInfo.html#a987855f323885732080eff793dda1100">SVF::StInfo</a>
 </li>
 <li>StmtDPItem()
-: <a class="el" href="classSVF_1_1StmtDPItem.html#a3882dc175baaccfa1f811dcbfef98f71">SVF::StmtDPItem&lt; LocCond &gt;</a>
+: <a class="el" href="classSVF_1_1StmtDPItem.html#aed9239e5558569f6e957e691fa1872d7">SVF::StmtDPItem&lt; LocCond &gt;</a>
 </li>
 <li>StmtVFGNode()
 : <a class="el" href="classSVF_1_1StmtVFGNode.html#a03c4e0a31d2377ef4ffe46fe183ccd9d">SVF::StmtVFGNode</a>
@@ -697,7 +700,7 @@ $(function() {
 <li>store()
 : <a class="el" href="classSVF_1_1ConsExeState.html#a79b012f5f551dfb27ce1ca3d193dba55">SVF::ConsExeState</a>
 , <a class="el" href="classSVF_1_1IntervalExeState.html#a65be64fc3b46b3d8e0c22d8a478df5cb">SVF::IntervalExeState</a>
-, <a class="el" href="classSVF_1_1RelExeState.html#a29be58e0074d7495c36713fd96832823">SVF::RelExeState</a>
+, <a class="el" href="classSVF_1_1RelExeState.html#a3a2d5de4c61fab8b277308a186795a13">SVF::RelExeState</a>
 </li>
 <li>StoreCGEdge()
 : <a class="el" href="classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815">SVF::StoreCGEdge</a>
@@ -706,13 +709,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1StoreCHI.html#a83f353ef765d6c57b07d9f1996e02444">SVF::StoreCHI&lt; Cond &gt;</a>
 </li>
 <li>StoreStmt()
-: <a class="el" href="classSVF_1_1StoreStmt.html#a22bc2f9290dfd7ade13ba63cc983ac42">SVF::StoreStmt</a>
+: <a class="el" href="classSVF_1_1StoreStmt.html#acbea1ddbde90259b668b21f80f56cfbb">SVF::StoreStmt</a>
 </li>
 <li>storeVAddrs()
 : <a class="el" href="classSVF_1_1ExeState.html#aad0556739ce5b173054c81cbbfff4b72">SVF::ExeState</a>
 </li>
 <li>StoreVFGNode()
-: <a class="el" href="classSVF_1_1StoreVFGNode.html#a496607cda1cc26a8753d6a7af620e95a">SVF::StoreVFGNode</a>
+: <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
 <li>stripArray()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a6c276e661e5e63c1c84387f84c8a62e4">SVF::DCHGraph</a>
@@ -736,20 +739,20 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#aea5ebe156b9536c617fc9c6acac00a61">SVF::CFGNormalizer</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>SVFArgument()
-: <a class="el" href="classSVF_1_1SVFArgument.html#aeeed6b5a59c5bf4eb4af77ec2345dccf">SVF::SVFArgument</a>
+: <a class="el" href="classSVF_1_1SVFArgument.html#a97816023e6da0a37bc1e2878c11eb123">SVF::SVFArgument</a>
 </li>
 <li>SVFArrayType()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a2cbe7feac254dabd3742121bfc871d06">SVF::SVFArrayType</a>
 </li>
 <li>SVFBasicBlock()
-: <a class="el" href="classSVF_1_1SVFBasicBlock.html#ae017f9a00c523585718bde13665275b3">SVF::SVFBasicBlock</a>
+: <a class="el" href="classSVF_1_1SVFBasicBlock.html#a2f21fd47b023a9786f8ab39faaca0a27">SVF::SVFBasicBlock</a>
 </li>
 <li>SVFBlackHoleValue()
-: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#ac057a29cad0944d1b359e6cd23adcec2">SVF::SVFBlackHoleValue</a>
+: <a class="el" href="classSVF_1_1SVFBlackHoleValue.html#a6d94a1c1c0f229165e3327a09521e28c">SVF::SVFBlackHoleValue</a>
 </li>
 <li>SVFBugEvent()
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#af012270169f767655456ae0e09add06a">SVF::SVFBugEvent</a>
@@ -758,7 +761,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFBugReport.html#af163790aa2065d72be8c31c281abee20">SVF::SVFBugReport</a>
 </li>
 <li>SVFCallInst()
-: <a class="el" href="classSVF_1_1SVFCallInst.html#a8216a845734b0f363a82fd9190702633">SVF::SVFCallInst</a>
+: <a class="el" href="classSVF_1_1SVFCallInst.html#a6cdb5b727c559d3c041aba94e6f64596">SVF::SVFCallInst</a>
 </li>
 <li>SVFConstant()
 : <a class="el" href="classSVF_1_1SVFConstant.html#a71fcd1abcde6dfc35f2da9fb25227165">SVF::SVFConstant</a>
@@ -767,13 +770,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
-: <a class="el" href="classSVF_1_1SVFConstantFP.html#a25657c39dd158866cd5d0958b301573e">SVF::SVFConstantFP</a>
+: <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
-: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#ae853223a57df1816c3d382113b7b7b70">SVF::SVFConstantNullPtr</a>
+: <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
 </li>
 <li>SVFFunction()
 : <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
@@ -806,7 +809,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGStat.html#ae61d5bd92ef495a0f6c2f9dedac3da03">SVF::SVFGStat</a>
 </li>
 <li>SVFInstruction()
-: <a class="el" href="classSVF_1_1SVFInstruction.html#a7d81c86ea5e1f8e313457862e19c2a3c">SVF::SVFInstruction</a>
+: <a class="el" href="classSVF_1_1SVFInstruction.html#a976cc9df05994e7e1b11fcdd22febcc5">SVF::SVFInstruction</a>
 </li>
 <li>SVFIntegerType()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#aaafab8007dd15f498259320fec1f99f2">SVF::SVFIntegerType</a>
@@ -848,7 +851,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerType()
-: <a class="el" href="classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3">SVF::SVFPointerType</a>
+: <a class="el" href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab">SVF::SVFPointerType</a>
 </li>
 <li>SVFStat()
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
@@ -860,10 +863,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStructType.html#acb09f35e745bc341d15285d528bc1240">SVF::SVFStructType</a>
 </li>
 <li>SVFType()
-: <a class="el" href="classSVF_1_1SVFType.html#ae8c4023976117479f77b9d09edff13b9">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#aaaa5452f32227f5e44ac7665f2945202">SVF::SVFType</a>
 </li>
 <li>SVFValue()
-: <a class="el" href="classSVF_1_1SVFValue.html#a5860aa7cc16de3c221f06742d0d832dd">SVF::SVFValue</a>
+: <a class="el" href="classSVF_1_1SVFValue.html#af38497e11745949a8a1eeead143efd58">SVF::SVFValue</a>
 </li>
 <li>SVFVar()
 : <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
@@ -884,7 +887,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#aff272bc1d00f2e57b7677d1826a31237">SVF::SymbolTableInfo</a>
 </li>
 <li>SymState()
-: <a class="el" href="classSVF_1_1SymState.html#aa820ec486eeeea1d1296e0b58ced750d">SVF::SymState</a>
+: <a class="el" href="classSVF_1_1SymState.html#a92acf30a884f531f7bdba2b4d4528085">SVF::SymState</a>
 </li>
 <li>symToStrDump()
 : <a class="el" href="classSVF_1_1GrammarBase.html#a49aad1a3620735a2929795df3d23ba38">SVF::GrammarBase</a>

package/SVF-doxygen/html/functions_l.html

@@ -225,18 +225,18 @@ $(function() {
 <li>LoadStmt()
 : <a class="el" href="classSVF_1_1LoadStmt.html#a4bd939005c7c6a5da4ed3b6be6ef1a22">SVF::LoadStmt</a>
 </li>
-<li>LoadsToMRsMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
-</li>
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>LoadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+<li>LoadsToMRsMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a273b2634adcfa10a08924517e8d51175">SVF::MRGenerator</a>
 </li>
 <li>loadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
 </li>
+<li>LoadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/functions_n.html

@@ -281,12 +281,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1MRGenerator.html#ab075a7c7fbc60f678b3fee8bbc06194d">SVF::MRGenerator</a>
 , <a class="el" href="classSVF_1_1SaberSVFGBuilder.html#a4cb1f607e33d106dfa178e822c5ab7e1">SVF::SaberSVFGBuilder</a>
 </li>
-<li>NodeToRepMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
-</li>
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
+<li>NodeToRepMap
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#afe34ca6bdbb22b188799a4297fd19004">SVF::ConstraintGraph</a>
+</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>

package/SVF-doxygen/html/functions_o.html

@@ -106,12 +106,12 @@ $(function() {
 , <a class="el" href="classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd">SVF::CoreBitVector</a>
 , <a class="el" href="classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493">SVF::DCHEdge</a>
 </li>
-<li>OffsetVarAndGepTypePairs
-: <a class="el" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">SVF::AccessPath</a>
-</li>
 <li>offsetVarAndGepTypePairs
 : <a class="el" href="classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163">SVF::AccessPath</a>
 </li>
+<li>OffsetVarAndGepTypePairs
+: <a class="el" href="classSVF_1_1AccessPath.html#a73ba2fd20ff0e21a2f09a3396f2596f8">SVF::AccessPath</a>
+</li>
 <li>onStack
 : <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
@@ -128,18 +128,18 @@ $(function() {
 <li>OpCache
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a896bab5039f4bf2d0da71045e2c63ad7">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
-<li>OpCode
-: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
-</li>
 <li>opcode
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a">SVF::BinaryOPStmt</a>
 </li>
 <li>OpCode
-: <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
+: <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6">SVF::BinaryOPStmt</a>
 </li>
 <li>opcode
 : <a class="el" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt</a>
 </li>
+<li>OpCode
+: <a class="el" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742">SVF::UnaryOPStmt</a>
+</li>
 <li>operator ReferenceT()
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#a6889cc9eba9892a3fc372f5353bc4dc6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
 </li>
@@ -564,12 +564,12 @@ $(function() {
 <li>OpICFGNodeVec
 : <a class="el" href="classSVF_1_1PhiStmt.html#a49d49b191592f21e8e4e8b6676871423">SVF::PhiStmt</a>
 </li>
-<li>opIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
-</li>
 <li>OPIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
 </li>
+<li>opIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>

package/SVF-doxygen/html/functions_p.html

@@ -881,12 +881,12 @@ $(function() {
 <li>PTACGNodeSet
 : <a class="el" href="classSVF_1_1TCT.html#afb579a5bdcc0a1c6b075bb9aae36c237">SVF::TCT</a>
 </li>
-<li>PTAImplTy
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
-</li>
 <li>ptaImplTy
 : <a class="el" href="classSVF_1_1PointerAnalysis.html#a5d3c3094e263bf16a4f312a118c1bd36">SVF::PointerAnalysis</a>
 </li>
+<li>PTAImplTy
+: <a class="el" href="classSVF_1_1PointerAnalysis.html#ac0c0855918cb2cdc3d8ebc175acfbd4d">SVF::PointerAnalysis</a>
+</li>
 <li>PTAName()
 : <a class="el" href="classSVF_1_1Andersen.html#ad92dbecc91170b235180e59ba307acda">SVF::Andersen</a>
 , <a class="el" href="classSVF_1_1ContextDDA.html#afb0ab7fc43e6f0331072419e39ae0606">SVF::ContextDDA</a>
@@ -1007,11 +1007,15 @@ $(function() {
 , <a class="el" href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#ae7456fccd4c95227cdd7163176703205">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#a5d64ef2d4b9ab65cc7a9e33bb6fe47cf">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>ptsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#a5ee6e307acd4edbf4f7c2b063032d942">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>PtsMap
+: <a class="el" href="classSVF_1_1MutablePTData.html#ad74cc6c81c4a95f6ba4e89352bccee3e">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
+<li>ptsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>PtsMapConstIter
 : <a class="el" href="classSVF_1_1MutableDFPTData.html#a3f234abc0def4815a03de164fa258f24">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>

package/SVF-doxygen/html/functions_r.html

@@ -616,19 +616,19 @@ $(function() {
 <li>reverseNodeMapping
 : <a class="el" href="classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1">SVF::PointsTo</a>
 </li>
-<li>RevPtsMap
-: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-</li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>RevPtsMap
-: <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+: <a class="el" href="classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>revPtsMap
 : <a class="el" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
+<li>RevPtsMap
+: <a class="el" href="classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
+</li>
 <li>rid
 : <a class="el" href="classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4">SVF::MemRegion</a>
 </li>

package/SVF-doxygen/html/functions_s.html

@@ -116,12 +116,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>sbv
-: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
-</li>
 <li>SBV
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
 </li>
+<li>sbv
+: <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#a735a2a9f0c3f4bc3997edf11b133c0f9">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -130,13 +130,11 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a1d3b2a21385c775f355e188e2abe345e">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>SCC
-: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -490,6 +488,9 @@ $(function() {
 <li>setPointerTo()
 : <a class="el" href="classSVF_1_1SVFType.html#a3ddabbd763acaaca28cacbabe5bc7f3b">SVF::SVFType</a>
 </li>
+<li>setPtrElementType()
+: <a class="el" href="classSVF_1_1SVFPointerType.html#aaaa79de3df0f6764bfd3d2e487ea7a09">SVF::SVFPointerType</a>
+</li>
 <li>setPtrInUncalledFunction()
 : <a class="el" href="classSVF_1_1SVFValue.html#ac2e5c42d0ac92375c88ef5b3f1b65dc4">SVF::SVFValue</a>
 </li>
@@ -994,12 +995,12 @@ $(function() {
 <li>StoreVFGNode()
 : <a class="el" href="classSVF_1_1StoreVFGNode.html#ab4b9182cb0f2ef7dfc1e15789a311ecd">SVF::StoreVFGNode</a>
 </li>
-<li>Strategy
-: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
-</li>
 <li>strategy
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a44420802f9db288515ee09771c3edd4d">SVF::NodeIDAllocator</a>
 </li>
+<li>Strategy
+: <a class="el" href="classSVF_1_1NodeIDAllocator.html#a8cf553cd07768aad3f3b91bf3d7c6228">SVF::NodeIDAllocator</a>
+</li>
 <li>stride
 : <a class="el" href="classSVF_1_1StInfo.html#a6c52ecbeeeeb0dda019c68aec687f2c2">SVF::StInfo</a>
 </li>
@@ -1034,7 +1035,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a758382a3b40e116175ca321fa4449d7f">SVF::BinaryOPStmt</a>
 </li>
 <li>subNodes()
-: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a48981e6555ad221d08f16ed2df708027">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
+: <a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#aa2b23b22bb0304ce07ab9b14f0fdc395">SVF::SCCDetection&lt; GraphType &gt;::GNodeSCCInfo</a>
 , <a class="el" href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection&lt; GraphType &gt;</a>
 </li>
 <li>Subset
@@ -1110,13 +1111,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFConstant.html#a3aacbc8f43aec414af229be6a9622a08">SVF::SVFConstant</a>
 </li>
 <li>SVFConstantData()
-: <a class="el" href="classSVF_1_1SVFConstantData.html#a1ea9ae8d6d2b29c8357132b40de45bf0">SVF::SVFConstantData</a>
+: <a class="el" href="classSVF_1_1SVFConstantData.html#a057d3aebc842d72d2b89f661d18b6e34">SVF::SVFConstantData</a>
 </li>
 <li>SVFConstantFP()
 : <a class="el" href="classSVF_1_1SVFConstantFP.html#a85f6c8bd4169c01e46170b001d3a5a80">SVF::SVFConstantFP</a>
 </li>
 <li>SVFConstantInt()
-: <a class="el" href="classSVF_1_1SVFConstantInt.html#a66b861e33c5a3911ecd8e6e4441cb664">SVF::SVFConstantInt</a>
+: <a class="el" href="classSVF_1_1SVFConstantInt.html#ad9338bb99a77d76d1c83275d8a32f7d2">SVF::SVFConstantInt</a>
 </li>
 <li>SVFConstantNullPtr()
 : <a class="el" href="classSVF_1_1SVFConstantNullPtr.html#a299954e2cad5ee41b51fcff4a92439b3">SVF::SVFConstantNullPtr</a>
@@ -1134,7 +1135,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860ea4582a3728eda9f58c4e7d069e4fec577">SVF::SVFValue</a>
 </li>
 <li>SVFFunction()
-: <a class="el" href="classSVF_1_1SVFFunction.html#a0cf5ddbb884a0a99f43b7741f1ce2786">SVF::SVFFunction</a>
+: <a class="el" href="classSVF_1_1SVFFunction.html#a7e965c21a8afe7fca32d0f41b16361cf">SVF::SVFFunction</a>
 </li>
 <li>SVFFunctionTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType</a>
@@ -1498,7 +1499,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFValue.html#afb50ea5aeea7a0608a3c9335aea6860eaf3025e3b2f13ffb20a5bb441ea5f8a73">SVF::SVFValue</a>
 </li>
 <li>SVFMetadataAsValue()
-: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#a98acb125d1694aa233538de7618739bf">SVF::SVFMetadataAsValue</a>
+: <a class="el" href="classSVF_1_1SVFMetadataAsValue.html#adc92d08f450556000a4386294c6c4370">SVF::SVFMetadataAsValue</a>
 </li>
 <li>svfMod
 : <a class="el" href="classSVF_1_1CHGraph.html#a62a3ccdbc55381d5f8d96dc23141f2e5">SVF::CHGraph</a>
@@ -1541,19 +1542,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFOtherType.html#a1d9f683bbcd6dc76e85f841a2b00d95e">SVF::SVFOtherType</a>
 </li>
 <li>SVFOtherValue()
-: <a class="el" href="classSVF_1_1SVFOtherValue.html#a3966c98b9807e4d5f30869c3abccaaa9">SVF::SVFOtherValue</a>
+: <a class="el" href="classSVF_1_1SVFOtherValue.html#a81c02b9a60fa577a786250e088b49493">SVF::SVFOtherValue</a>
 </li>
 <li>SVFPointerTy
 : <a class="el" href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cae8c18603570fa65fa5a9aabdf2f5d0a1">SVF::SVFType</a>
 </li>
 <li>SVFPointerType()
-: <a class="el" href="classSVF_1_1SVFPointerType.html#aef13cd2cd8b7a0d603aac7456b8b78d3">SVF::SVFPointerType</a>
+: <a class="el" href="classSVF_1_1SVFPointerType.html#a2f3fc3720ff9c0f3f8bc6f55fd971aab">SVF::SVFPointerType</a>
 </li>
 <li>SVFStat()
 : <a class="el" href="classSVF_1_1SVFStat.html#ad22433722f7c71df19a891a5b5039d26">SVF::SVFStat</a>
 </li>
 <li>SVFStmt()
-: <a class="el" href="classSVF_1_1SVFStmt.html#a2ab7295fe26d2c6d2d5c9fd027f96a47">SVF::SVFStmt</a>
+: <a class="el" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt</a>
 </li>
 <li>SVFStmtList
 : <a class="el" href="classSVF_1_1ICFGNode.html#aa84a3724426f08a0e31ecdbc99114072">SVF::ICFGNode</a>
@@ -1616,7 +1617,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1SVFModuleWriter.html#aa3c7f0cf409d3b303f3dc308951b45fd">SVF::SVFModuleWriter</a>
 </li>
 <li>SVFVar()
-: <a class="el" href="classSVF_1_1SVFVar.html#a83626a4beb124b35bcd5af86c9fc62fd">SVF::SVFVar</a>
+: <a class="el" href="classSVF_1_1SVFVar.html#a4dd7c0b8216d8793376596d0b4ed90e1">SVF::SVFVar</a>
 </li>
 <li>SVFVarList
 : <a class="el" href="classSVF_1_1SVFIR.html#a64939d7ecfd8e2cf862782954a56596b">SVF::SVFIR</a>

package/SVF-doxygen/html/functions_t.html

@@ -388,12 +388,12 @@ $(function() {
 <li>timeOfUpdateCallGraph
 : <a class="el" href="classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b">SVF::AndersenBase</a>
 </li>
-<li>timeStatMap
-: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
-</li>
 <li>TIMEStatMap
 : <a class="el" href="classSVF_1_1SVFStat.html#aeded7780a3f826b3efab971807e2dd98">SVF::SVFStat</a>
 </li>
+<li>timeStatMap
+: <a class="el" href="classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831">SVF::SVFStat</a>
+</li>
 <li>TInterPhi
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75aa501e9891cbacea3950d80aa6071ec69">SVF::VFGNode</a>
 </li>

package/SVF-doxygen/html/functions_v.html

@@ -137,12 +137,12 @@ $(function() {
 <li>valuestring
 : <a class="el" href="structcJSON.html#ad43f8de2571e504c4c5ce0a36990e6e1">cJSON</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#a6247c1b1f6b92ce684c39af760878bbc">SVF::IRGraph</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#ad1741e65d47c39e03049c6d7265961af">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/functions_w.html

@@ -222,7 +222,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300">SVF::CFBasicBlockGWTOComp</a>
 </li>
 <li>WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#afc723013529bd727de465237b9f247b9">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a7f3412aaf5948741e4c5cdbaff728101">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
 </li>
 <li>WTOCycleDepthBuilder()
 : <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#adc313cc9a42ae663f0c018da128b77f6">SVF::CFBasicBlockGWTO::WTOCycleDepthBuilder</a>