svf-tools 1.0.620 → 1.0.622

package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html

@@ -89,7 +89,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFLoop_html_a585d03a1ba76d63ae1dfa689b23b9835"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#a585d03a1ba76d63ae1dfa689b23b9835">SVF::SVFLoop::addOutICFGEdge</a></div><div class="ttdeci">void addOutICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00106">SVFLoop.h:106</a></div></div>
 <div class="ttc" id="namespaceSVFUtil_html"><div class="ttname"><a href="namespaceSVFUtil.html">SVFUtil</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00184">GenericGraph.h:184</a></div></div>
-<div class="ttc" id="classSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00261">Options.h:261</a></div></div>
+<div class="ttc" id="classSVF_1_1Options_html_a17f11eb3e9a3178395e8574a027b181e"><div class="ttname"><a href="classSVF_1_1Options.html#a17f11eb3e9a3178395e8574a027b181e">SVF::Options::LoopBound</a></div><div class="ttdeci">static const Option&lt; u32_t &gt; LoopBound</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00262">Options.h:262</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFLoop_html_a774d05838ad9b3cac8d2fb6d7b7edd00"><div class="ttname"><a href="classSVF_1_1SVFLoop.html#a774d05838ad9b3cac8d2fb6d7b7edd00">SVF::SVFLoop::addEntryICFGEdge</a></div><div class="ttdeci">void addEntryICFGEdge(const ICFGEdge *edge)</div><div class="ttdef"><b>Definition:</b> <a href="SVFLoop_8h_source.html#l00091">SVFLoop.h:91</a></div></div>
 <div class="ttc" id="namespaceSVF_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#l00049">SVFUtil.h:49</a></div></div>
 <div class="ttc" id="namespaceSVF_html_aecbb42b8e9d17fa0189c50dda9fd5fdd"><div class="ttname"><a href="namespaceSVF.html#aecbb42b8e9d17fa0189c50dda9fd5fdd">SVF::DominatorTree</a></div><div class="ttdeci">llvm::DominatorTree DominatorTree</div><div class="ttdoc">LLVM Dominators. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00106">BasicTypes.h:106</a></div></div>

package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html

@@ -126,7 +126,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SVFVirtualCallInst_html"><div class="ttname"><a href="classSVF_1_1SVFVirtualCallInst.html">SVF::SVFVirtualCallInst</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00707">SVFValue.h:707</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00099">SVFType.h:99</a></div></div>
 <div class="ttc" id="classSVF_1_1SVFConstantData_html"><div class="ttname"><a href="classSVF_1_1SVFConstantData.html">SVF::SVFConstantData</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00856">SVFValue.h:856</a></div></div>
-<div class="ttc" id="namespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00559">IntervalValue.h:559</a></div></div>
+<div class="ttc" id="namespaceSVF_html_aedd9d023a68dddd66314be63bb8e48d2"><div class="ttname"><a href="namespaceSVF.html#aedd9d023a68dddd66314be63bb8e48d2">SVF::operator&gt;</a></div><div class="ttdeci">IntervalValue operator&gt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00564">IntervalValue.h:564</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ab44d20f806be99699895260b14a942d7"><div class="ttname"><a href="namespaceSVF.html#ab44d20f806be99699895260b14a942d7">SVF::DominanceFrontier</a></div><div class="ttdeci">llvm::DominanceFrontier DominanceFrontier</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00108">BasicTypes.h:108</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a3436a988bf80c021cd8022fb445b66d5"><div class="ttname"><a href="namespaceSVF.html#a3436a988bf80c021cd8022fb445b66d5">SVF::succ_const_iterator</a></div><div class="ttdeci">llvm::succ_const_iterator succ_const_iterator</div><div class="ttdoc">LLVM Iterators. </div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00244">BasicTypes.h:244</a></div></div>
 <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae265a7f3cc7367d62013e0f15cf3d233"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae265a7f3cc7367d62013e0f15cf3d233">SVF::LLVMModuleSet::getModuleNum</a></div><div class="ttdeci">u32_t getModuleNum() const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00120">LLVMModule.h:120</a></div></div>

package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html

@@ -112,7 +112,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MSSAMU_html_a1d0f8d3e7651f4ace92d31a9c6604e2f"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#a1d0f8d3e7651f4ace92d31a9c6604e2f">SVF::MSSAMU::MSSAMU</a></div><div class="ttdeci">MSSAMU(MUTYPE t, const MemRegion *m, Cond c)</div><div class="ttdoc">Constructor/Destructor for MU. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00112">MSSAMuChi.h:112</a></div></div>
 <div class="ttc" id="classSVF_1_1StoreCHI_html_a4324f81324dd6d6c6ba6d1af32e29985"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a4324f81324dd6d6c6ba6d1af32e29985">SVF::StoreCHI::classof</a></div><div class="ttdeci">static bool classof(const MSSADEF *chi)</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00500">MSSAMuChi.h:500</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSACHI_html_a86f2f3f6e2215cdbe31caee048510757"><div class="ttname"><a href="classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757">SVF::MSSACHI::opVer</a></div><div class="ttdeci">MRVer * opVer</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00400">MSSAMuChi.h:400</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00714">IntervalValue.h:714</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00719">IntervalValue.h:719</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSAMU_html_ac51263250da06fd63b923a6771744f97"><div class="ttname"><a href="classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97">SVF::MSSAMU::getCond</a></div><div class="ttdeci">Cond getCond() const</div><div class="ttdoc">Return condition. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00143">MSSAMuChi.h:143</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSADEF_html_a01bc47f779d20fa8e3be182ceab12780"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#a01bc47f779d20fa8e3be182ceab12780">SVF::MSSADEF::mr</a></div><div class="ttdeci">const MemRegion * mr</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00340">MSSAMuChi.h:340</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
@@ -134,7 +134,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1StoreCHI_html_a0faba82bc86a12011407f4af00b2d0ad"><div class="ttname"><a href="classSVF_1_1StoreCHI.html#a0faba82bc86a12011407f4af00b2d0ad">SVF::StoreCHI::getStoreStmt</a></div><div class="ttdeci">const StoreStmt * getStoreStmt() const</div><div class="ttdoc">Get store instruction. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00485">MSSAMuChi.h:485</a></div></div>
 <div class="ttc" id="classSVF_1_1MRVer_html_a15c18c76e5911e472747183f35cd7028"><div class="ttname"><a href="classSVF_1_1MRVer.html#a15c18c76e5911e472747183f35cd7028">SVF::MRVer::MRVer</a></div><div class="ttdeci">MRVer(const MemRegion *m, MRVERSION v, MSSADef *d)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00057">MSSAMuChi.h:57</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSAPHI_html_a48d3a719b97991be8ba94149a1d30091"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a48d3a719b97991be8ba94149a1d30091">SVF::MSSAPHI::classof</a></div><div class="ttdeci">static bool classof(const MSSADEF *phi)</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00701">MSSAMuChi.h:701</a></div></div>
-<div class="ttc" id="namespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00597">IntervalValue.h:597</a></div></div>
+<div class="ttc" id="namespaceSVF_html_adeb418bb692b6b0c3498a24927e1068b"><div class="ttname"><a href="namespaceSVF.html#adeb418bb692b6b0c3498a24927e1068b">SVF::operator&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Greater than IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00602">IntervalValue.h:602</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSAPHI_html_a622892bb1c3c151e646ae1a46838c3ba"><div class="ttname"><a href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI::OPVers</a></div><div class="ttdeci">Map&lt; u32_t, const MRVer * &gt; OPVers</div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00633">MSSAMuChi.h:633</a></div></div>
 <div class="ttc" id="cJSON_8cpp_html_a3f9a0d3265a6254722587175dac3e4dc"><div class="ttname"><a href="cJSON_8cpp.html#a3f9a0d3265a6254722587175dac3e4dc">type</a></div><div class="ttdeci">newitem type</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02739">cJSON.cpp:2739</a></div></div>
 <div class="ttc" id="classSVF_1_1MSSADEF_html_aa7e06959d5b3197d930aa44b09694b52"><div class="ttname"><a href="classSVF_1_1MSSADEF.html#aa7e06959d5b3197d930aa44b09694b52">SVF::MSSADEF::dump</a></div><div class="ttdeci">virtual void dump()</div><div class="ttdoc">Print MSSADef. </div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00386">MSSAMuChi.h:386</a></div></div>

package/SVF-doxygen/html/html/MemRegion_8cpp_source.html

@@ -126,7 +126,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1MRGenerator_html_ac7b5ca3fd950e1a940f875ac135640f6"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#ac7b5ca3fd950e1a940f875ac135640f6">SVF::MRGenerator::csToRefsMap</a></div><div class="ttdeci">CallSiteToPointsToMap csToRefsMap</div><div class="ttdoc">Map a callsite to its indirect uses of memory objects. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00231">MemRegion.h:231</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ae5b113921530eee6afe58a65d8e5b3a7"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae5b113921530eee6afe58a65d8e5b3a7">SVF::GenericNode::InEdgeBegin</a></div><div class="ttdeci">iterator InEdgeBegin()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00216">GenericGraph.h:216</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a3e74c3706ffcc14f378771b417dcbb96"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a3e74c3706ffcc14f378771b417dcbb96">SVF::MRGenerator::funToMRsMap</a></div><div class="ttdeci">FunToMRsMap funToMRsMap</div><div class="ttdoc">Map a function to all its memory regions. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00203">MemRegion.h:203</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00714">IntervalValue.h:714</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af95793adab8fb9aa19e19027e73372a6"><div class="ttname"><a href="namespaceSVF.html#af95793adab8fb9aa19e19027e73372a6">SVF::operator&lt;&lt;</a></div><div class="ttdeci">IntervalValue operator&lt;&lt;(const IntervalValue &amp;lhs, const IntervalValue &amp;rhs)</div><div class="ttdoc">Left binary shift of IntervalValues. </div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00719">IntervalValue.h:719</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a1535832f5b1ae3178fea950bf71fdd99"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a1535832f5b1ae3178fea950bf71fdd99">SVF::MRGenerator::getModSideEffectOfCallSite</a></div><div class="ttdeci">const NodeBS &amp; getModSideEffectOfCallSite(const CallICFGNode *cs)</div><div class="ttdoc">Get indirect mods of a callsite. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00403">MemRegion.h:403</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00050">SVFType.h:50</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a7d86f708743a59aa31c0a9fd6de45dac"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator::storesToPointsToMap</a></div><div class="ttdeci">StoresToPointsToMap storesToPointsToMap</div><div class="ttdoc">Map a store SVFIR Edge to its CPts set map. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00215">MemRegion.h:215</a></div></div>