svf-tools 1.0.306 → 1.0.307

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 (88) hide show
  1. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +2 -2
  3. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/PAG_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +7 -6
  13. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +1 -1
  16. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +8 -7
  18. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +4 -4
  19. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/VFG_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +2 -2
  24. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +3 -3
  25. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  27. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +1 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +1 -1
  29. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +1 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  31. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +2 -2
  33. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +1 -1
  34. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  36. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +1 -1
  37. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +1 -1
  38. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +1 -1
  39. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +1 -1
  41. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  44. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +4 -4
  45. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +17 -16
  50. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +2 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +4 -4
  55. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +1 -1
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +2 -2
  58. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  63. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  65. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
  68. package/SVF-doxygen/html/html/globals_func_i.html +8 -8
  69. package/SVF-doxygen/html/html/globals_func_s.html +6 -6
  70. package/SVF-doxygen/html/html/globals_s.html +12 -14
  71. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  72. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +10 -9
  73. package/SVF-doxygen/html/html/search/all_13.js +1 -1
  74. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  75. package/SVF-doxygen/html/html/search/functions_10.js +1 -1
  76. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  77. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  78. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  79. package/SVF-doxygen/html/html/tools_2DDA_2CMakeLists_8txt.html +1 -1
  80. package/SVF-doxygen/html/html/tools_2Example_2CMakeLists_8txt.html +1 -1
  81. package/SVF-doxygen/html/html/tools_2MTA_2CMakeLists_8txt.html +1 -1
  82. package/SVF-doxygen/html/html/tools_2SABER_2CMakeLists_8txt.html +1 -1
  83. package/SVF-doxygen/html/html/tools_2WPA_2CMakeLists_8txt.html +9 -9
  84. package/lib/MemoryModel/PointsTo.cpp +3 -3
  85. package/lib/Util/PTAStat.cpp +3 -4
  86. package/lib/Util/SVFUtil.cpp +1 -0
  87. package/package.json +1 -1
  88. package/tools/WPA/CMakeLists.txt +3 -1
@@ -200,7 +200,7 @@ Typedefs</h2></td></tr>
200
200
  <tr class="memitem:a8234d4b959abc9123993bcff4eee34c1"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a> = std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt;</td></tr>
201
201
  <tr class="separator:a8234d4b959abc9123993bcff4eee34c1"><td class="memSeparator" colspan="2">&#160;</td></tr>
202
202
  <tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Compare = std::less&lt;Key&gt;, typename Allocator = std::allocator&lt;Key&gt;&gt; </td></tr>
203
- <tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = <a class="el" href="lib_2CUDD_2CMakeLists_8txt.html#a97d8d30dc013aa2acba4c146fdcb1acf">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
203
+ <tr class="memitem:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">SVF::OrderedSet</a> = <a class="el" href="tools_2WPA_2CMakeLists_8txt.html#ae7f9c126d87731a942268db0cad0ac75">std::set</a>&lt; Key, Compare, Allocator &gt;</td></tr>
204
204
  <tr class="separator:a4f21e91ff8eaea5207afe5c60dbd78d7"><td class="memSeparator" colspan="2">&#160;</td></tr>
205
205
  <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplParams" colspan="2">template&lt;typename Key , typename Value , typename Compare = std::less&lt;Key&gt;, typename Allocator = std::allocator&lt;std::pair&lt;const Key, Value&gt;&gt;&gt; </td></tr>
206
206
  <tr class="memitem:aedf0d6718ca176e0b9e17ab4b30729c6"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a> = std::map&lt; Key, Value, Compare, Allocator &gt;</td></tr>
@@ -211,7 +211,7 @@ $(function() {
211
211
  <div class="ttc" id="classSVF_1_1MRGenerator_html_a98ac3bf264e6a85d172c2c4264ea908f"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a98ac3bf264e6a85d172c2c4264ea908f">SVF::MRGenerator::MRSet</a></div><div class="ttdeci">OrderedSet&lt; const MemRegion *, MemRegion::equalMemRegion &gt; MRSet</div><div class="ttdoc">Get typedef from Pointer Analysis. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00137">MemRegion.h:137</a></div></div>
212
212
  <div class="ttc" id="classSVF_1_1MemSSAStat_html_ae57c6e5b97581150b7561c93e0887569"><div class="ttname"><a href="classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569">SVF::MemSSAStat::NumOfCSHasChi</a></div><div class="ttdeci">static const char * NumOfCSHasChi</div><div class="ttdoc">Number of call sites which have chi. </div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00071">SVFGStat.h:71</a></div></div>
213
213
  <div class="ttc" id="classSVF_1_1SVFGStat_html_a0e1fcb9154aad266406c4da4861ba020"><div class="ttname"><a href="classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020">SVF::SVFGStat::numOfPhi</a></div><div class="ttdeci">int numOfPhi</div><div class="ttdef"><b>Definition:</b> <a href="SVFGStat_8h_source.html#l00191">SVFGStat.h:191</a></div></div>
214
- <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00291">PTAStat.cpp:291</a></div></div>
214
+ <div class="ttc" id="classSVF_1_1PTAStat_html_aa5f455bfa79743b8e263431593d29bbf"><div class="ttname"><a href="classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf">SVF::PTAStat::printStat</a></div><div class="ttdeci">virtual void printStat(string str=&quot;&quot;)</div><div class="ttdef"><b>Definition:</b> <a href="PTAStat_8cpp_source.html#l00290">PTAStat.cpp:290</a></div></div>
215
215
  <div class="ttc" id="classSVF_1_1MemSSA_html_a44cbdb1231c2709c24d19ad2bae2475a"><div class="ttname"><a href="classSVF_1_1MemSSA.html#a44cbdb1231c2709c24d19ad2bae2475a">SVF::MemSSA::getFunToRetMuSetMap</a></div><div class="ttdeci">FunToReturnMuSetMap &amp; getFunToRetMuSetMap()</div><div class="ttdef"><b>Definition:</b> <a href="MemSSA_8h_source.html#l00420">MemSSA.h:420</a></div></div>
216
216
  <div class="ttc" id="classSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00047">VFGNode.h:47</a></div></div>
217
217
  </div><!-- fragment --></div><!-- contents -->