svf-tools 1.0.536 → 1.0.539

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 (112) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenSFR_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +16 -16
  5. package/SVF-doxygen/html/html/Andersen_8h_source.html +6 -9
  6. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +3 -3
  7. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/ConsG_8h_source.html +3 -3
  10. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +4 -4
  12. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +1 -1
  16. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/Options_8cpp_source.html +13 -12
  21. package/SVF-doxygen/html/html/Options_8h_source.html +13 -12
  22. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +1 -1
  24. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +3 -3
  25. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
  27. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -1
  28. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +32 -32
  29. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +3 -3
  30. package/SVF-doxygen/html/html/SVFIR_8h_source.html +33 -33
  31. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/VFG_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  37. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +150 -152
  38. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +45 -140
  39. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +149 -151
  41. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +4 -10
  42. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +161 -163
  43. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +3 -9
  44. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +156 -158
  45. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +13 -19
  46. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +4 -4
  47. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +5 -5
  48. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +3 -3
  51. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +3 -3
  52. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +2 -2
  53. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
  54. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  55. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +2 -2
  56. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  57. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  59. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +4 -3
  60. package/SVF-doxygen/html/html/classSVF_1_1Options.html +38 -12
  61. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  62. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +4 -4
  63. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +1 -1
  64. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +86 -88
  65. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +120 -118
  66. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  67. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +1 -1
  69. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  70. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +1 -1
  71. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +12 -12
  72. package/SVF-doxygen/html/html/functions_a.html +3 -6
  73. package/SVF-doxygen/html/html/functions_func.html +5 -8
  74. package/SVF-doxygen/html/html/functions_func_m.html +1 -4
  75. package/SVF-doxygen/html/html/functions_l.html +6 -6
  76. package/SVF-doxygen/html/html/functions_m.html +0 -3
  77. package/SVF-doxygen/html/html/functions_n.html +4 -4
  78. package/SVF-doxygen/html/html/functions_o.html +3 -3
  79. package/SVF-doxygen/html/html/functions_p.html +13 -13
  80. package/SVF-doxygen/html/html/functions_r.html +3 -5
  81. package/SVF-doxygen/html/html/functions_s.html +3 -3
  82. package/SVF-doxygen/html/html/functions_t.html +4 -4
  83. package/SVF-doxygen/html/html/functions_v.html +6 -3
  84. package/SVF-doxygen/html/html/functions_vars_v.html +3 -0
  85. package/SVF-doxygen/html/html/namespaceSVF.html +1 -1
  86. package/SVF-doxygen/html/html/search/all_1.js +0 -1
  87. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  88. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  89. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  90. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  91. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  92. package/SVF-doxygen/html/html/search/all_15.js +3 -2
  93. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  94. package/SVF-doxygen/html/html/search/all_c.js +4 -4
  95. package/SVF-doxygen/html/html/search/all_d.js +0 -1
  96. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  97. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  98. package/SVF-doxygen/html/html/search/functions_0.js +0 -1
  99. package/SVF-doxygen/html/html/search/functions_c.js +0 -1
  100. package/SVF-doxygen/html/html/search/variables_13.js +2 -2
  101. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  102. package/SVF-doxygen/html/html/search/variables_15.js +1 -0
  103. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  104. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  105. package/include/MemoryModel/SVFIR.h +1 -4
  106. package/include/Util/Options.h +1 -0
  107. package/include/WPA/Andersen.h +0 -11
  108. package/lib/Graphs/SVFGReadWrite.cpp +3 -3
  109. package/lib/SVF-FE/SVFIRBuilder.cpp +2 -0
  110. package/lib/Util/Options.cpp +7 -0
  111. package/lib/WPA/Andersen.cpp +0 -3
  112. package/package.json +1 -1
@@ -144,7 +144,7 @@ $(function() {
144
144
  <div class="ttc" id="classSVF_1_1CmpVFGNode_html"><div class="ttname"><a href="classSVF_1_1CmpVFGNode.html">SVF::CmpVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00324">VFGNode.h:324</a></div></div>
145
145
  <div class="ttc" id="classSVF_1_1RetICFGNode_html"><div class="ttname"><a href="classSVF_1_1RetICFGNode.html">SVF::RetICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00458">ICFGNode.h:458</a></div></div>
146
146
  <div class="ttc" id="classSVF_1_1ActualOUTSVFGNode_html_a460d0d6f338c33e39d810f7921237b5c"><div class="ttname"><a href="classSVF_1_1ActualOUTSVFGNode.html#a460d0d6f338c33e39d810f7921237b5c">SVF::ActualOUTSVFGNode::toString</a></div><div class="ttdeci">virtual const std::string toString() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8cpp_source.html#l00089">SVFG.cpp:89</a></div></div>
147
- <div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00248">Options.h:248</a></div></div>
147
+ <div class="ttc" id="classSVF_1_1Options_html_adec2012e10130f664fe0ea3acf39f78b"><div class="ttname"><a href="classSVF_1_1Options.html#adec2012e10130f664fe0ea3acf39f78b">SVF::Options::ShowHiddenNode</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; ShowHiddenNode</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00249">Options.h:249</a></div></div>
148
148
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad8b71cebf46deaf60e2cd4f6d6bb9433"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad8b71cebf46deaf60e2cd4f6d6bb9433">SVF::PointerAnalysis::getModule</a></div><div class="ttdeci">SVFModule * getModule() const</div><div class="ttdoc">Module. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00213">PointerAnalysis.h:213</a></div></div>
149
149
  <div class="ttc" id="classSVF_1_1SVFG_html_a5b7ae610bee28acc2905ca82928e714f"><div class="ttname"><a href="classSVF_1_1SVFG.html#a5b7ae610bee28acc2905ca82928e714f">SVF::SVFG::getActualOUTSVFGNodes</a></div><div class="ttdeci">ActualOUTSVFGNodeSet &amp; getActualOUTSVFGNodes(const CallICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFG_8h_source.html#l00209">SVFG.h:209</a></div></div>
150
150
  <div class="ttc" id="classSVF_1_1LoadMU_html"><div class="ttname"><a href="classSVF_1_1LoadMU.html">SVF::LoadMU</a></div><div class="ttdef"><b>Definition:</b> <a href="MSSAMuChi_8h_source.html#l00165">MSSAMuChi.h:165</a></div></div>