svf-tools 1.0.435 → 1.0.438

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (30) hide show
  1. package/.gitignore +1 -0
  2. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/MemSSA_8h_source.html +3 -2
  5. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  7. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +3 -3
  9. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +4 -4
  10. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +2 -2
  14. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +1 -1
  16. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +1 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +9 -9
  18. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +5 -5
  19. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +3 -3
  20. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +2 -2
  21. package/SVF-doxygen/html/html/functions_b.html +1 -1
  22. package/SVF-doxygen/html/html/functions_type_b.html +1 -1
  23. package/SVF-doxygen/html/html/globals_s.html +3 -3
  24. package/SVF-doxygen/html/html/namespaceSVF.html +9 -9
  25. package/SVF-doxygen/html/html/search/all_13.js +1 -1
  26. package/SVF-doxygen/html/html/search/all_2.js +1 -1
  27. package/SVF-doxygen/html/html/search/typedefs_1.js +1 -1
  28. package/include/MSSA/MemSSA.h +1 -1
  29. package/include/Util/SVFBasicTypes.h +2 -2
  30. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html CHANGED
@@ -959,8 +959,8 @@ template&lt;class Cond&gt; </div>
959
959
  <div class="ttc" id="classSVF_1_1CondPTAImpl_html_a5af00bb26800882ab96c470ee9fc4632"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a5af00bb26800882ab96c470ee9fc4632">SVF::CondPTAImpl::contains</a></div><div class="ttdeci">bool contains(const CPtSet &amp;cpts1, const CPtSet &amp;cpts2)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00407">PointerAnalysisImpl.h:407</a></div></div>
960
960
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85acaf0c0774025005647deaf59582b9d58">SVF::PointerAnalysis::PathS_DDA</a></div><div class="ttdoc">Guarded value-flow DDA. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00090">PointerAnalysis.h:90</a></div></div>
961
961
  <div class="ttc" id="classSVF_1_1CondPTAImpl_html_a8cd7b08bd978513cb0faacc47bbaf578"><div class="ttname"><a href="classSVF_1_1CondPTAImpl.html#a8cd7b08bd978513cb0faacc47bbaf578">SVF::CondPTAImpl::containBlackHoleNode</a></div><div class="ttdeci">bool containBlackHoleNode(const CPtSet &amp;cpts)</div><div class="ttdoc">Test blk node for cpts. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00540">PointerAnalysisImpl.h:540</a></div></div>
962
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
963
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
962
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
963
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
964
964
  </div><!-- fragment -->
965
965
  </div>
966
966
  </div>
package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html CHANGED
@@ -1307,7 +1307,7 @@ Additional Inherited Members</h2></td></tr>
1307
1307
  <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
1308
1308
  <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00195">SVFBasicTypes.h:195</a></div></div>
1309
1309
  <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_adaba5a41a60e32d18d964bdb8ae5b2df"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl::alias</a></div><div class="ttdeci">virtual AliasResult alias(const Value *V1, const Value *V2)</div><div class="ttdoc">Interface expose to users of our pointer analysis, given Value infos. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00451">PointerAnalysisImpl.cpp:451</a></div></div>
1310
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
1310
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
1311
1311
  </div><!-- fragment -->
1312
1312
  </div>
1313
1313
  </div>
package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html CHANGED
@@ -1217,7 +1217,7 @@ Additional Inherited Members</h2></td></tr>
1217
1217
  <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_ae520e0551e63223a908f92a6b9667356"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#ae520e0551e63223a908f92a6b9667356">SVF::TypeBasedHeapCloning::getFilterSet</a></div><div class="ttdeci">PointsTo &amp; getFilterSet(NodeID loc)</div><div class="ttdoc">Returns the filter set of a location. Not const; could create empty PointsTo. </div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00113">TypeBasedHeapCloning.cpp:113</a></div></div>
1218
1218
  <div class="ttc" id="classSVF_1_1BVDataPTAImpl_html_adaba5a41a60e32d18d964bdb8ae5b2df"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#adaba5a41a60e32d18d964bdb8ae5b2df">SVF::BVDataPTAImpl::alias</a></div><div class="ttdeci">virtual AliasResult alias(const Value *V1, const Value *V2)</div><div class="ttdoc">Interface expose to users of our pointer analysis, given Value infos. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8cpp_source.html#l00451">PointerAnalysisImpl.cpp:451</a></div></div>
1219
1219
  <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
1220
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
1220
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
1221
1221
  </div><!-- fragment -->
1222
1222
  </div>
1223
1223
  </div>
package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html CHANGED
@@ -82,7 +82,7 @@ $(function() {
82
82
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23">bb2PhiSetMap</a></td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
83
83
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a66e693af7b37e4e58b4834898d6a34fa">BBList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
84
84
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14">BBToMRSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
85
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
85
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#ae56d1878046c119d1857727ca3609d74">buildMemSSA</a>(const SVFFunction &amp;fun, DominanceFrontier *, DominatorTree *)</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
87
87
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a56ffeb1f76c73766d06aedd60235c8d9">CALLCHI</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
88
88
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html#a7be50dd82679b45a8c400f5a12056a25">CALLMU</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1MemSSA.html">SVF::MemSSA</a></td><td class="entry"></td></tr>
package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html CHANGED
@@ -140,8 +140,8 @@ Public Types</h2></td></tr>
140
140
  <tr class="separator:a5d4ba728fb55e615cacfc5278e6bc4b7"><td class="memSeparator" colspan="2">&#160;</td></tr>
141
141
  <tr class="memitem:a43b118f1b16a032fd1f27f8258c748ab"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CallICFGNode.html">CallICFGNode</a> *, <a class="el" href="classSVF_1_1MemSSA.html#af9cf084e3070456d8cca491e1391b0c4">CHISet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">CallSiteToCHISetMap</a></td></tr>
142
142
  <tr class="separator:a43b118f1b16a032fd1f27f8258c748ab"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
- <tr class="memitem:a59cca6cbd8f18c9521027d8ddd13ffc5"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">PHISet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a></td></tr>
144
- <tr class="separator:a59cca6cbd8f18c9521027d8ddd13ffc5"><td class="memSeparator" colspan="2">&#160;</td></tr>
143
+ <tr class="memitem:afeef58baed23fc731e33a07a0ef05f6a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> *, <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">PHISet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a></td></tr>
144
+ <tr class="separator:afeef58baed23fc731e33a07a0ef05f6a"><td class="memSeparator" colspan="2">&#160;</td></tr>
145
145
  <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
146
146
  <tr class="memitem:a66e693af7b37e4e58b4834898d6a34fa"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a66e693af7b37e4e58b4834898d6a34fa">BBList</a></td></tr>
147
147
  <tr class="memdesc:a66e693af7b37e4e58b4834898d6a34fa"><td class="mdescLeft">&#160;</td><td class="mdescRight">For phi insertion. <a href="#a66e693af7b37e4e58b4834898d6a34fa">More...</a><br /></td></tr>
@@ -223,7 +223,7 @@ Public Member Functions</h2></td></tr>
223
223
  <tr class="separator:a06081aa029b1fe3f9427f85a0261fd43"><td class="memSeparator" colspan="2">&#160;</td></tr>
224
224
  <tr class="memitem:a8f88acad31782bfa962e4349d8f4185d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">CallSiteToCHISetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a8f88acad31782bfa962e4349d8f4185d">getCallSiteToChiSetMap</a> ()</td></tr>
225
225
  <tr class="separator:a8f88acad31782bfa962e4349d8f4185d"><td class="memSeparator" colspan="2">&#160;</td></tr>
226
- <tr class="memitem:a966477062a453901da3631015fcf737d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a> ()</td></tr>
226
+ <tr class="memitem:a966477062a453901da3631015fcf737d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a966477062a453901da3631015fcf737d">getBBToPhiSetMap</a> ()</td></tr>
227
227
  <tr class="separator:a966477062a453901da3631015fcf737d"><td class="memSeparator" colspan="2">&#160;</td></tr>
228
228
  <tr><td colspan="2"><div class="groupHeader"></div></td></tr>
229
229
  <tr class="memitem:aafc83f7f22ebf3b3683607440c488bef"><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_1MemSSA.html#aafc83f7f22ebf3b3683607440c488bef">getLoadMuNum</a> () const</td></tr>
@@ -357,7 +357,7 @@ Private Attributes</h2></td></tr>
357
357
  <tr class="separator:aba54e534d18f68fbb97b26befd06ba1a"><td class="memSeparator" colspan="2">&#160;</td></tr>
358
358
  <tr class="memitem:a1be5a6776c8785f26573b597881c8195"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#a43b118f1b16a032fd1f27f8258c748ab">CallSiteToCHISetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a1be5a6776c8785f26573b597881c8195">callsiteToChiSetMap</a></td></tr>
359
359
  <tr class="separator:a1be5a6776c8785f26573b597881c8195"><td class="memSeparator" colspan="2">&#160;</td></tr>
360
- <tr class="memitem:a190061a6f7423461f4292fc326330f23"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23">bb2PhiSetMap</a></td></tr>
360
+ <tr class="memitem:a190061a6f7423461f4292fc326330f23"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23">bb2PhiSetMap</a></td></tr>
361
361
  <tr class="separator:a190061a6f7423461f4292fc326330f23"><td class="memSeparator" colspan="2">&#160;</td></tr>
362
362
  <tr class="memitem:a59314f6ce17919574d687a08a38b55ec"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1MemSSA.html#ac34aa1ac96600bfc27b3c2eb0b1510ca">FunToEntryChiSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemSSA.html#a59314f6ce17919574d687a08a38b55ec">funToEntryChiSetMap</a></td></tr>
363
363
  <tr class="separator:a59314f6ce17919574d687a08a38b55ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -416,14 +416,14 @@ Private Attributes</h2></td></tr>
416
416
 
417
417
  </div>
418
418
  </div>
419
- <a id="a59cca6cbd8f18c9521027d8ddd13ffc5"></a>
420
- <h2 class="memtitle"><span class="permalink"><a href="#a59cca6cbd8f18c9521027d8ddd13ffc5">&#9670;&nbsp;</a></span>BBToPhiSetMap</h2>
419
+ <a id="afeef58baed23fc731e33a07a0ef05f6a"></a>
420
+ <h2 class="memtitle"><span class="permalink"><a href="#afeef58baed23fc731e33a07a0ef05f6a">&#9670;&nbsp;</a></span>BBToPhiSetMap</h2>
421
421
 
422
422
  <div class="memitem">
423
423
  <div class="memproto">
424
424
  <table class="memname">
425
425
  <tr>
426
- <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*, <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">PHISet</a>&gt; <a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">SVF::MemSSA::BBToPhiSetMap</a></td>
426
+ <td class="memname">typedef <a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">OrderedMap</a>&lt;const <a class="el" href="namespaceSVF.html#a23bf614858f168b6ad76e0233cec9965">BasicBlock</a>*, <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">PHISet</a>&gt; <a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">SVF::MemSSA::BBToPhiSetMap</a></td>
427
427
  </tr>
428
428
  </table>
429
429
  </div><div class="memdoc">
@@ -1745,7 +1745,7 @@ Private Attributes</h2></td></tr>
1745
1745
  <td class="mlabels-left">
1746
1746
  <table class="memname">
1747
1747
  <tr>
1748
- <td class="memname"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a>&amp; SVF::MemSSA::getBBToPhiSetMap </td>
1748
+ <td class="memname"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a>&amp; SVF::MemSSA::getBBToPhiSetMap </td>
1749
1749
  <td>(</td>
1750
1750
  <td class="paramname"></td><td>)</td>
1751
1751
  <td></td>
@@ -3114,7 +3114,7 @@ Private Attributes</h2></td></tr>
3114
3114
  <td class="mlabels-left">
3115
3115
  <table class="memname">
3116
3116
  <tr>
3117
- <td class="memname"><a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">BBToPhiSetMap</a> SVF::MemSSA::bb2PhiSetMap</td>
3117
+ <td class="memname"><a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">BBToPhiSetMap</a> SVF::MemSSA::bb2PhiSetMap</td>
3118
3118
  </tr>
3119
3119
  </table>
3120
3120
  </td>
package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html CHANGED
@@ -2974,13 +2974,13 @@ Private Member Functions</h2></td></tr>
2974
2974
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aefd4e9ea66da5ad84a45efead823eb22"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aefd4e9ea66da5ad84a45efead823eb22">SVF::PointerAnalysis::aliasTestFailNoAliasMangled</a></div><div class="ttdeci">static const std::string aliasTestFailNoAliasMangled</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00128">PointerAnalysis.h:128</a></div></div>
2975
2975
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a4f457db1cfa0d4f94762a306c0ac3757"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a4f457db1cfa0d4f94762a306c0ac3757">SVF::SVFUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(StringRef name)</div><div class="ttdoc">Get the corresponding Function based on its name. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00222">SVFUtil.h:222</a></div></div>
2976
2976
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00147">PointerAnalysis.h:147</a></div></div>
2977
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
2977
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
2978
2978
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5d4bb92f5df30417f414397f8e58cf01"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(std::string msg)</div><div class="ttdoc">Print error message by converting a string into red string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00078">SVFUtil.cpp:78</a></div></div>
2979
2979
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aed4e5066f6ddef83afaf60adbcc11de0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0">SVF::PointerAnalysis::PTAName</a></div><div class="ttdeci">virtual const std::string PTAName() const</div><div class="ttdoc">Return PTA name. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00429">PointerAnalysis.h:429</a></div></div>
2980
2980
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a32c6f12ce8bc0554dbb6aafa36f9a235"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235">SVF::PointerAnalysis::aliasTestFailMayAlias</a></div><div class="ttdeci">static const std::string aliasTestFailMayAlias</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00125">PointerAnalysis.h:125</a></div></div>
2981
2981
  <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
2982
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
2983
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
2982
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
2983
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
2984
2984
  </div><!-- fragment -->
2985
2985
  </div>
2986
2986
  </div>
@@ -3036,8 +3036,8 @@ Private Member Functions</h2></td></tr>
3036
3036
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a5d4bb92f5df30417f414397f8e58cf01"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a5d4bb92f5df30417f414397f8e58cf01">SVF::SVFUtil::errMsg</a></div><div class="ttdeci">std::string errMsg(std::string msg)</div><div class="ttdoc">Print error message by converting a string into red string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00078">SVFUtil.cpp:78</a></div></div>
3037
3037
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aed4e5066f6ddef83afaf60adbcc11de0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0">SVF::PointerAnalysis::PTAName</a></div><div class="ttdeci">virtual const std::string PTAName() const</div><div class="ttdoc">Return PTA name. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00429">PointerAnalysis.h:429</a></div></div>
3038
3038
  <div class="ttc" id="namespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00075">BasicTypes.h:75</a></div></div>
3039
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
3040
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
3039
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
3040
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
3041
3041
  </div><!-- fragment -->
3042
3042
  </div>
3043
3043
  </div>
package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html CHANGED
@@ -1585,7 +1585,7 @@ Private Attributes</h2></td></tr>
1585
1585
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a8182be247907420db00837cef9bcfa70"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a8182be247907420db00837cef9bcfa70">SVF::SVFUtil::dyn_cast</a></div><div class="ttdeci">LLVM_NODISCARD std::enable_if&lt;!is_simple_type&lt; Y &gt;::value, typename cast_retty&lt; X, const Y &gt;::ret_type &gt;::type dyn_cast(const Y &amp;Val)</div><div class="ttdef"><b>Definition:</b> <a href="Casting_8h_source.html#l00343">Casting.h:343</a></div></div>
1586
1586
  <div class="ttc" id="classSVF_1_1TypeBasedHeapCloning_html_ac4565775cced4444ba007e310c4a02d8"><div class="ttname"><a href="classSVF_1_1TypeBasedHeapCloning.html#ac4565775cced4444ba007e310c4a02d8">SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata</a></div><div class="ttdeci">const DIType * getTypeFromCTirMetadata(const Value *)</div><div class="ttdef"><b>Definition:</b> <a href="TypeBasedHeapCloning_8cpp_source.html#l00519">TypeBasedHeapCloning.cpp:519</a></div></div>
1587
1587
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_acbb517523fd30708ed1a93f306cd3545"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#acbb517523fd30708ed1a93f306cd3545">SVF::PointerAnalysis::aliasTestPartialAliasMangled</a></div><div class="ttdeci">static const std::string aliasTestPartialAliasMangled</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00122">PointerAnalysis.h:122</a></div></div>
1588
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
1588
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
1589
1589
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a6c06020737f7dff22a666b75c28c5e7d"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a6c06020737f7dff22a666b75c28c5e7d">SVF::SVFUtil::wrnMsg</a></div><div class="ttdeci">std::string wrnMsg(std::string msg)</div><div class="ttdoc">Returns warning message by converting a string into yellow string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00064">SVFUtil.cpp:64</a></div></div>
1590
1590
  <div class="ttc" id="classSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00027">PointsTo.h:27</a></div></div>
1591
1591
  <div class="ttc" id="namespaceSVF_html_a8bd74fdcb0e58d0249003df9c3fb8b31"><div class="ttname"><a href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">SVF::OutStream</a></div><div class="ttdeci">std::ostream OutStream</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00079">SVFBasicTypes.h:79</a></div></div>
@@ -1593,8 +1593,8 @@ Private Attributes</h2></td></tr>
1593
1593
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_aed4e5066f6ddef83afaf60adbcc11de0"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#aed4e5066f6ddef83afaf60adbcc11de0">SVF::PointerAnalysis::PTAName</a></div><div class="ttdeci">virtual const std::string PTAName() const</div><div class="ttdoc">Return PTA name. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00429">PointerAnalysis.h:429</a></div></div>
1594
1594
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a32c6f12ce8bc0554dbb6aafa36f9a235"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a32c6f12ce8bc0554dbb6aafa36f9a235">SVF::PointerAnalysis::aliasTestFailMayAlias</a></div><div class="ttdeci">static const std::string aliasTestFailMayAlias</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00125">PointerAnalysis.h:125</a></div></div>
1595
1595
  <div class="ttc" id="namespaceSVF_html_ad127b0ad478640ede3d426e3a58d2632"><div class="ttname"><a href="namespaceSVF.html#ad127b0ad478640ede3d426e3a58d2632">SVF::DIType</a></div><div class="ttdeci">llvm::DIType DIType</div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00167">BasicTypes.h:167</a></div></div>
1596
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
1597
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
1596
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
1597
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
1598
1598
  </div><!-- fragment -->
1599
1599
  </div>
1600
1600
  </div>
package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html CHANGED
@@ -323,7 +323,7 @@ Private Attributes</h2></td></tr>
323
323
  <div class="ttc" id="classSVF_1_1WPAPass_html_a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7"><div class="ttname"><a href="classSVF_1_1WPAPass.html#a4505a1882956feda3cf83c788149394da498ba80d25733b291f391a94500dd4c7">SVF::WPAPass::Conservative</a></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>
324
324
  <div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
325
325
  <div class="ttc" id="classSVF_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>
326
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
326
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
327
327
  </div><!-- fragment -->
328
328
  </div>
329
329
  </div>
@@ -590,7 +590,7 @@ Private Attributes</h2></td></tr>
590
590
  <div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
591
591
  <div class="ttc" id="classSVF_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#l00165">GenericGraph.h:165</a></div></div>
592
592
  <div class="ttc" id="classSVF_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>
593
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
593
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
594
594
  </div><!-- fragment -->
595
595
  </div>
596
596
  </div>
package/SVF-doxygen/html/html/functions_b.html CHANGED
@@ -192,7 +192,7 @@ $(function() {
192
192
  : <a class="el" href="classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14">SVF::MemSSA</a>
193
193
  </li>
194
194
  <li>BBToPhiSetMap
195
- : <a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">SVF::MemSSA</a>
195
+ : <a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">SVF::MemSSA</a>
196
196
  </li>
197
197
  <li>BBWorkList
198
198
  : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
package/SVF-doxygen/html/html/functions_type_b.html CHANGED
@@ -124,7 +124,7 @@ $(function() {
124
124
  : <a class="el" href="classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14">SVF::MemSSA</a>
125
125
  </li>
126
126
  <li>BBToPhiSetMap
127
- : <a class="el" href="classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5">SVF::MemSSA</a>
127
+ : <a class="el" href="classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a">SVF::MemSSA</a>
128
128
  </li>
129
129
  <li>BBWorkList
130
130
  : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
package/SVF-doxygen/html/html/globals_s.html CHANGED
@@ -255,12 +255,12 @@ $(function() {
255
255
  <li>stopping_criterion()
256
256
  : <a class="el" href="cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03">cuddInt.c</a>
257
257
  </li>
258
- <li>storedd
259
- : <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
260
- </li>
261
258
  <li>STOREDD
262
259
  : <a class="el" href="cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5">cuddInt.c</a>
263
260
  </li>
261
+ <li>storedd
262
+ : <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
263
+ </li>
264
264
  <li>strcat()
265
265
  : <a class="el" href="util_8h.html#ae726f8c6b65e180aacfb570a35dc8375">util.h</a>
266
266
  </li>
package/SVF-doxygen/html/html/namespaceSVF.html CHANGED
@@ -1004,10 +1004,10 @@ Enumerations</h2></td></tr>
1004
1004
  <a class="el" href="namespaceSVF.html#a3e2b6638b0fbca37846e953142bcc844a4756baeb9dbb8b8c737941d67ca99d4f">NoModRef</a>
1005
1005
  }</td></tr>
1006
1006
  <tr class="separator:a3e2b6638b0fbca37846e953142bcc844"><td class="memSeparator" colspan="2">&#160;</td></tr>
1007
- <tr class="memitem:a61c01e2e687ab3a001fb806737583943"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">AliasResult</a> { <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,
1007
+ <tr class="memitem:a61c01e2e687ab3a001fb806737583943"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">AliasResult</a> { <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,
1008
1008
  <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,
1009
- <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,
1010
- <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>
1009
+ <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,
1010
+ <a class="el" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>
1011
1011
  }</td></tr>
1012
1012
  <tr class="separator:a61c01e2e687ab3a001fb806737583943"><td class="memSeparator" colspan="2">&#160;</td></tr>
1013
1013
  </table><table class="memberdecls">
@@ -3693,17 +3693,17 @@ template&lt;typename Key , typename Hash = Hash&lt;Key&gt;, typename KeyEqual
3693
3693
  </table>
3694
3694
  </div><div class="memdoc">
3695
3695
  <table class="fieldtable">
3696
- <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"></a>MustAlias&#160;</td><td class="fielddoc"></td></tr>
3696
+ <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"></a>NoAlias&#160;</td><td class="fielddoc"></td></tr>
3697
3697
  <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"></a>MayAlias&#160;</td><td class="fielddoc"></td></tr>
3698
+ <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"></a>MustAlias&#160;</td><td class="fielddoc"></td></tr>
3698
3699
  <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"></a>PartialAlias&#160;</td><td class="fielddoc"></td></tr>
3699
- <tr><td class="fieldname"><a id="a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"></a>NoAlias&#160;</td><td class="fielddoc"></td></tr>
3700
3700
  </table>
3701
3701
 
3702
3702
  <p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00192">192</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
3703
- <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;{</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00195">SVFBasicTypes.h:195</a></div></div>
3704
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
3705
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
3706
- <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
3703
+ <div class="fragment"><div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160;{</div><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">NoAlias</a>,</div><div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">MayAlias</a>,</div><div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">MustAlias</a>,</div><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; <a class="code" href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">PartialAlias</a>,</div><div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160;};</div><div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00195">SVFBasicTypes.h:195</a></div></div>
3704
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aa03eb20fd81629154d6c346763ea64d6">SVF::PartialAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00197">SVFBasicTypes.h:197</a></div></div>
3705
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00194">SVFBasicTypes.h:194</a></div></div>
3706
+ <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943ab58a0391f037031a51016ebfe2a752b2">SVF::MustAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
3707
3707
  </div><!-- fragment -->
3708
3708
  </div>
3709
3709
  </div>
package/SVF-doxygen/html/html/search/all_13.js CHANGED
@@ -294,7 +294,7 @@ var searchData=
294
294
  ['storecgedge',['StoreCGEdge',['../classSVF_1_1StoreCGEdge.html',1,'SVF::StoreCGEdge'],['../classSVF_1_1StoreCGEdge.html#a667b277ef845b866d3b11a7fbfce0815',1,'SVF::StoreCGEdge::StoreCGEdge()'],['../classSVF_1_1StoreCGEdge.html#a0f873b0be0ac726e412171119c5b3a50',1,'SVF::StoreCGEdge::StoreCGEdge(const StoreCGEdge &amp;)'],['../classSVF_1_1StoreCGEdge.html#afdba4e02b1ccdc19fdc18bbe43363e79',1,'SVF::StoreCGEdge::StoreCGEdge(ConstraintNode *s, ConstraintNode *d, EdgeID id)']]],
295
295
  ['storecgedgeset',['StoreCGEdgeSet',['../classSVF_1_1ConstraintGraph.html#a0f9d5eef25827ac1d380e5d8bd225025',1,'SVF::ConstraintGraph']]],
296
296
  ['storechi',['StoreCHI',['../classSVF_1_1StoreCHI.html',1,'SVF::StoreCHI&lt; Cond &gt;'],['../classSVF_1_1SVFG.html#ad14cdbb3f1df1f716aa03b4d39f4e52b',1,'SVF::SVFG::STORECHI()'],['../classSVF_1_1MemSSA.html#a150e9d53ced1c143bba2d1026f739fa4',1,'SVF::MemSSA::STORECHI()'],['../classSVF_1_1StoreCHI.html#a34433e6e437d302014fd06b5fb624a79',1,'SVF::StoreCHI::StoreCHI()']]],
297
- ['storedd',['STOREDD',['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD():&#160;cuddInt.c'],['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd():&#160;cuddInt.c']]],
297
+ ['storedd',['storedd',['../cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07',1,'storedd():&#160;cuddInt.c'],['../cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5',1,'STOREDD():&#160;cuddInt.c']]],
298
298
  ['storedstnodes',['storeDstNodes',['../classSVF_1_1AliasDDAClient.html#aaad2197cec53f7eae91b3c57c168447a',1,'SVF::AliasDDAClient']]],
299
299
  ['storeedgelabelcounter',['storeEdgeLabelCounter',['../classSVF_1_1SVFStmt.html#a53b7e0d8666e37c23dc2c7d0fc931f27',1,'SVF::SVFStmt']]],
300
300
  ['storeedges',['StoreEdges',['../classSVF_1_1OfflineConsG.html#a9880cb387e24fa2c87297487411f95ea',1,'SVF::OfflineConsG']]],
package/SVF-doxygen/html/html/search/all_2.js CHANGED
@@ -37,7 +37,7 @@ var searchData=
37
37
  ['bbset',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder']]],
38
38
  ['bbtocondmap',['BBToCondMap',['../classSVF_1_1PathCondAllocator.html#ae3edcb70d9f0d65089f39147a635526d',1,'SVF::PathCondAllocator::BBToCondMap()'],['../classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24',1,'SVF::PathCondAllocator::bbToCondMap()']]],
39
39
  ['bbtomrsetmap',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14',1,'SVF::MemSSA']]],
40
- ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5',1,'SVF::MemSSA']]],
40
+ ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a',1,'SVF::MemSSA']]],
41
41
  ['bbworklist',['BBWorkList',['../classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d',1,'SVF::PCG']]],
42
42
  ['bca',['BCA',['../cuddInt_8c.html#a968b2edd875ca80252db68d5426d7b13',1,'cuddInt.c']]],
43
43
  ['bcad',['BCAD',['../cuddInt_8c.html#a87d3e5029c36f51065a12ae9e4024231',1,'cuddInt.c']]],
package/SVF-doxygen/html/html/search/typedefs_1.js CHANGED
@@ -15,7 +15,7 @@ var searchData=
15
15
  ['bbset',['BBSet',['../classSVF_1_1ICFGBuilder.html#abb7144bcc587e236fd22f6c8896117f5',1,'SVF::ICFGBuilder']]],
16
16
  ['bbtocondmap',['BBToCondMap',['../classSVF_1_1PathCondAllocator.html#ae3edcb70d9f0d65089f39147a635526d',1,'SVF::PathCondAllocator']]],
17
17
  ['bbtomrsetmap',['BBToMRSetMap',['../classSVF_1_1MemSSA.html#a4d4f7039c2972e671dc15b8c75abad14',1,'SVF::MemSSA']]],
18
- ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#a59cca6cbd8f18c9521027d8ddd13ffc5',1,'SVF::MemSSA']]],
18
+ ['bbtophisetmap',['BBToPhiSetMap',['../classSVF_1_1MemSSA.html#afeef58baed23fc731e33a07a0ef05f6a',1,'SVF::MemSSA']]],
19
19
  ['bbworklist',['BBWorkList',['../classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d',1,'SVF::PCG']]],
20
20
  ['bddcond',['BDDCond',['../classSVF_1_1BDDExpr.html#a8b8ff2750644582e55ff8a5d39826f9f',1,'SVF::BDDExpr::BDDCond()'],['../classSVF_1_1BDDManager.html#a7a1692324d6b152588ef4d52013f8d00',1,'SVF::BDDManager::BDDCond()']]],
21
21
  ['bddtobddcondexpr',['BDDToBDDCondExpr',['../classSVF_1_1BDDManager.html#a54716dd8be2691e3e0dbffc14461c1e8',1,'SVF::BDDManager']]],
package/include/MSSA/MemSSA.h CHANGED
@@ -75,7 +75,7 @@ public:
75
75
  typedef Map<const StoreStmt*, CHISet> StoreToChiSetMap;
76
76
  typedef Map<const CallICFGNode*, MUSet> CallSiteToMUSetMap;
77
77
  typedef Map<const CallICFGNode*, CHISet> CallSiteToCHISetMap;
78
- typedef Map<const BasicBlock*, PHISet> BBToPhiSetMap;
78
+ typedef OrderedMap<const BasicBlock*, PHISet> BBToPhiSetMap;
79
79
  //@}
80
80
 
81
81
  /// Map from fun to its entry chi set and return mu set
package/include/Util/SVFBasicTypes.h CHANGED
@@ -191,10 +191,10 @@ enum ModRefInfo
191
191
 
192
192
  enum AliasResult
193
193
  {
194
- MustAlias,
194
+ NoAlias,
195
195
  MayAlias,
196
+ MustAlias,
196
197
  PartialAlias,
197
- NoAlias,
198
198
  };
199
199
 
200
200
  class SVFValue
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-tools",
3
- "version": "1.0.435",
3
+ "version": "1.0.438",
4
4
  "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
5
5
  "main": "index.js",
6
6
  "scripts": {