svf-tools 1.0.463 → 1.0.466

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 (129) hide show
  1. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +6 -6
  2. package/SVF-doxygen/html/html/BDDExpr_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  6. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  9. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +2 -2
  12. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/MHP_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/MSSAMuChi_8h.html +7 -1
  17. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +2 -1
  18. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +1 -1
  19. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +10 -1
  22. package/SVF-doxygen/html/html/Options_8cpp_source.html +40 -39
  23. package/SVF-doxygen/html/html/Options_8h_source.html +41 -40
  24. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +2 -2
  26. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp.html +86 -0
  28. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +125 -0
  29. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +48 -43
  30. package/SVF-doxygen/html/html/SVFG_8h_source.html +41 -38
  31. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +2 -2
  33. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  34. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +2 -2
  35. package/SVF-doxygen/html/html/TCT_8cpp_source.html +1 -1
  36. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +2 -2
  37. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +2 -2
  39. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +5 -5
  40. package/SVF-doxygen/html/html/classSVF_1_1BDDExprManager.html +2 -2
  41. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +1 -1
  44. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +4 -4
  46. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +7 -7
  47. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +2 -2
  48. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +2 -2
  49. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
  51. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +1 -1
  52. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +1 -1
  53. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  54. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +3 -3
  55. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +7 -7
  56. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +1 -1
  57. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +55 -54
  58. package/SVF-doxygen/html/html/classSVF_1_1Options.html +90 -64
  59. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +1 -1
  60. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +91 -88
  61. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +299 -113
  62. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +2 -2
  63. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +100 -97
  64. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +18 -12
  65. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
  66. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  67. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +3 -3
  68. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  69. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +4 -4
  70. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +2 -2
  71. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  72. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +2 -2
  73. package/SVF-doxygen/html/html/dir_1870ebf480d659cc38d2dd7ac3aa8993.html +2 -0
  74. package/SVF-doxygen/html/html/files.html +4 -3
  75. package/SVF-doxygen/html/html/functions_c.html +5 -9
  76. package/SVF-doxygen/html/html/functions_func_g.html +7 -4
  77. package/SVF-doxygen/html/html/functions_func_r.html +7 -4
  78. package/SVF-doxygen/html/html/functions_func_w.html +1 -0
  79. package/SVF-doxygen/html/html/functions_g.html +10 -10
  80. package/SVF-doxygen/html/html/functions_l.html +3 -3
  81. package/SVF-doxygen/html/html/functions_n.html +3 -3
  82. package/SVF-doxygen/html/html/functions_o.html +17 -17
  83. package/SVF-doxygen/html/html/functions_p.html +10 -10
  84. package/SVF-doxygen/html/html/functions_r.html +9 -3
  85. package/SVF-doxygen/html/html/functions_s.html +14 -14
  86. package/SVF-doxygen/html/html/functions_t.html +4 -4
  87. package/SVF-doxygen/html/html/functions_v.html +3 -3
  88. package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
  89. package/SVF-doxygen/html/html/functions_vars_r.html +3 -0
  90. package/SVF-doxygen/html/html/functions_vars_w.html +3 -0
  91. package/SVF-doxygen/html/html/functions_w.html +4 -0
  92. package/SVF-doxygen/html/html/globals_s.html +1 -3
  93. package/SVF-doxygen/html/html/namespaceSVF.html +40 -1
  94. package/SVF-doxygen/html/html/namespacemembers_o.html +1 -1
  95. package/SVF-doxygen/html/html/search/all_10.js +6 -6
  96. package/SVF-doxygen/html/html/search/all_12.js +5 -3
  97. package/SVF-doxygen/html/html/search/all_13.js +13 -12
  98. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  99. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  101. package/SVF-doxygen/html/html/search/all_17.js +2 -1
  102. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  103. package/SVF-doxygen/html/html/search/all_7.js +1 -1
  104. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  105. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  106. package/SVF-doxygen/html/html/search/all_e.js +5 -5
  107. package/SVF-doxygen/html/html/search/all_f.js +4 -4
  108. package/SVF-doxygen/html/html/search/files_d.js +1 -0
  109. package/SVF-doxygen/html/html/search/functions_14.js +1 -1
  110. package/SVF-doxygen/html/html/search/functions_6.js +1 -0
  111. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  112. package/SVF-doxygen/html/html/search/functions_f.js +1 -0
  113. package/SVF-doxygen/html/html/search/variables_12.js +1 -0
  114. package/SVF-doxygen/html/html/search/variables_14.js +3 -3
  115. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  116. package/SVF-doxygen/html/html/search/variables_17.js +2 -1
  117. package/SVF-doxygen/html/html/search/variables_7.js +0 -1
  118. package/SVF-doxygen/html/html/search/variables_e.js +3 -3
  119. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +20 -20
  120. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  121. package/include/Graphs/SVFG.h +4 -0
  122. package/include/MSSA/MSSAMuChi.h +1 -0
  123. package/include/Util/Options.h +3 -3
  124. package/lib/Graphs/SVFG.cpp +31 -27
  125. package/lib/Graphs/SVFGReadWrite.cpp +478 -0
  126. package/lib/MSSA/MemRegion.cpp +7 -0
  127. package/lib/Util/Options.cpp +11 -8
  128. package/lib/WPA/TypeAnalysis.cpp +1 -1
  129. package/package.json +1 -1
@@ -75,7 +75,7 @@ $(function() {
75
75
  <div class="ttc" id="classSVF_1_1MTAAnnotator_html_a49434afd0d7beb9f5d6580e8f672889c"><div class="ttname"><a href="classSVF_1_1MTAAnnotator.html#a49434afd0d7beb9f5d6580e8f672889c">SVF::MTAAnnotator::getStoreOperand</a></div><div class="ttdeci">const Value * getStoreOperand(const Instruction *inst)</div><div class="ttdoc">Get operand of store and load. </div><div class="ttdef"><b>Definition:</b> <a href="MTAAnnotator_8cpp_source.html#l00071">MTAAnnotator.cpp:71</a></div></div>
76
76
  <div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
77
77
  <div class="ttc" id="namespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00019">MTAResultValidator.h:19</a></div></div>
78
- <div class="ttc" id="classSVF_1_1Options_html_ae1dadbd4c213f1bd5b8957b5c747bebd"><div class="ttname"><a href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const llvm::cl::opt&lt; u32_t &gt; AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00179">Options.h:179</a></div></div>
78
+ <div class="ttc" id="classSVF_1_1Options_html_ae1dadbd4c213f1bd5b8957b5c747bebd"><div class="ttname"><a href="classSVF_1_1Options.html#ae1dadbd4c213f1bd5b8957b5c747bebd">SVF::Options::AnnoFlag</a></div><div class="ttdeci">static const llvm::cl::opt&lt; u32_t &gt; AnnoFlag</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00182">Options.h:182</a></div></div>
79
79
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a609eea630a8f88fe9eaba15ce7e48738"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a609eea630a8f88fe9eaba15ce7e48738">SVF::SVFUtil::pasMsg</a></div><div class="ttdeci">std::string pasMsg(std::string msg)</div><div class="ttdoc">Print each pass/phase message by converting a string into blue string output. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00101">SVFUtil.cpp:101</a></div></div>
80
80
  <div class="ttc" id="classSVF_1_1SVFModule_html_a5486697889c6cca4f9f426650defc255"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a5486697889c6cca4f9f426650defc255">SVF::SVFModule::begin</a></div><div class="ttdeci">iterator begin()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00147">SVFModule.h:147</a></div></div>
81
81
  <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>
@@ -110,7 +110,7 @@ $(function() {
110
110
  <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdoc">LLVM outputs. </div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
111
111
  <div class="ttc" id="classSVF_1_1MTAResultValidator_html_ac76235240be9684bc71fd924ed83b05b"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ac76235240be9684bc71fd924ed83b05b">SVF::MTAResultValidator::INTERLEV_TRUE</a></div><div class="ttdeci">static const INTERLEV_FLAG INTERLEV_TRUE</div><div class="ttdoc">Constant INTERLEV_FLAG values. </div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8h_source.html#l00145">MTAResultValidator.h:145</a></div></div>
112
112
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aa09c2b313ff1c1abcc1e5cb3f9ef46a5"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aa09c2b313ff1c1abcc1e5cb3f9ef46a5">SVF::SVFUtil::getFunction</a></div><div class="ttdeci">const SVFFunction * getFunction(std::string 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#l00225">SVFUtil.h:225</a></div></div>
113
- <div class="ttc" id="classSVF_1_1Options_html_ac609142ee5a0caaf3ac51238ec421c2e"><div class="ttname"><a href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00182">Options.h:182</a></div></div>
113
+ <div class="ttc" id="classSVF_1_1Options_html_ac609142ee5a0caaf3ac51238ec421c2e"><div class="ttname"><a href="classSVF_1_1Options.html#ac609142ee5a0caaf3ac51238ec421c2e">SVF::Options::PrintValidRes</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintValidRes</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00185">Options.h:185</a></div></div>
114
114
  <div class="ttc" id="classSVF_1_1TCT_html_af47837e30a80e8d6684f3ee6001afb7a"><div class="ttname"><a href="classSVF_1_1TCT.html#af47837e30a80e8d6684f3ee6001afb7a">SVF::TCT::getChildrenEnd</a></div><div class="ttdeci">ThreadCreateEdgeSet::const_iterator getChildrenEnd(const TCTNode *node) const</div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00192">TCT.h:192</a></div></div>
115
115
  <div class="ttc" id="classSVF_1_1MTAResultValidator_html_ae6a18cbaf113ee8e28c3e8dca458d4be"><div class="ttname"><a href="classSVF_1_1MTAResultValidator.html#ae6a18cbaf113ee8e28c3e8dca458d4be">SVF::MTAResultValidator::validateTCT</a></div><div class="ttdeci">bool validateTCT()</div><div class="ttdef"><b>Definition:</b> <a href="MTAResultValidator_8cpp_source.html#l00406">MTAResultValidator.cpp:406</a></div></div>
116
116
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_af54e70082388bbd70868250aaa0bc86b"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#af54e70082388bbd70868250aaa0bc86b">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char seperator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string. </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00243">SVFUtil.h:243</a></div></div>
@@ -137,7 +137,7 @@ $(function() {
137
137
  <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="CFGNormalizer_8h_source.html#l00035">CFGNormalizer.h:35</a></div></div>
138
138
  <div class="ttc" id="classSVF_1_1TCT_html"><div class="ttname"><a href="classSVF_1_1TCT.html">SVF::TCT</a></div><div class="ttdef"><b>Definition:</b> <a href="TCT_8h_source.html#l00116">TCT.h:116</a></div></div>
139
139
  <div class="ttc" id="classSVF_1_1ThreadCallGraph_html_a50502f398e5eac9c6da3e26ea6052057"><div class="ttname"><a href="classSVF_1_1ThreadCallGraph.html#a50502f398e5eac9c6da3e26ea6052057">SVF::ThreadCallGraph::joinsitesEnd</a></div><div class="ttdeci">CallSiteSet::const_iterator joinsitesEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ThreadCallGraph_8h_source.html#l00289">ThreadCallGraph.h:289</a></div></div>
140
- <div class="ttc" id="classSVF_1_1Options_html_aa78f442ee8d7272e98396fd86dea4993"><div class="ttname"><a href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00186">Options.h:186</a></div></div>
140
+ <div class="ttc" id="classSVF_1_1Options_html_aa78f442ee8d7272e98396fd86dea4993"><div class="ttname"><a href="classSVF_1_1Options.html#aa78f442ee8d7272e98396fd86dea4993">SVF::Options::AllPairMHP</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; AllPairMHP</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00189">Options.h:189</a></div></div>
141
141
  <div class="ttc" id="classSVF_1_1SVFModule_html_a58d03edb6ff85f4943135478f113df31"><div class="ttname"><a href="classSVF_1_1SVFModule.html#a58d03edb6ff85f4943135478f113df31">SVF::SVFModule::end</a></div><div class="ttdeci">iterator end()</div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00155">SVFModule.h:155</a></div></div>
142
142
  <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>
143
143
  <div class="ttc" id="classSVF_1_1LockAnalysis_html_adadee129c04b82576b4ca3c7594cdcb2"><div class="ttname"><a href="classSVF_1_1LockAnalysis.html#adadee129c04b82576b4ca3c7594cdcb2">SVF::LockAnalysis::lockTime</a></div><div class="ttdeci">double lockTime</div><div class="ttdef"><b>Definition:</b> <a href="LockAnalysis_8h_source.html#l00492">LockAnalysis.h:492</a></div></div>