svf-tools 1.0.505 → 1.0.506

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 (44) hide show
  1. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/LLVMModule_8cpp.html +25 -7
  3. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +8 -3
  4. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +13 -12
  5. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  7. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +25 -24
  8. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +78 -38
  9. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  10. package/SVF-doxygen/html/html/functions_f.html +3 -3
  11. package/SVF-doxygen/html/html/functions_func_g.html +13 -10
  12. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  13. package/SVF-doxygen/html/html/functions_g.html +16 -13
  14. package/SVF-doxygen/html/html/functions_i.html +6 -6
  15. package/SVF-doxygen/html/html/functions_p.html +5 -7
  16. package/SVF-doxygen/html/html/functions_r.html +7 -7
  17. package/SVF-doxygen/html/html/functions_s.html +4 -6
  18. package/SVF-doxygen/html/html/functions_t.html +3 -3
  19. package/SVF-doxygen/html/html/functions_v.html +3 -3
  20. package/SVF-doxygen/html/html/functions_w.html +11 -11
  21. package/SVF-doxygen/html/html/globals_defs_s.html +5 -2
  22. package/SVF-doxygen/html/html/globals_r.html +3 -3
  23. package/SVF-doxygen/html/html/globals_s.html +11 -8
  24. package/SVF-doxygen/html/html/search/all_10.js +2 -2
  25. package/SVF-doxygen/html/html/search/all_12.js +5 -5
  26. package/SVF-doxygen/html/html/search/all_13.js +14 -13
  27. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  28. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  29. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  30. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  31. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  32. package/SVF-doxygen/html/html/search/all_7.js +1 -0
  33. package/SVF-doxygen/html/html/search/all_9.js +2 -2
  34. package/SVF-doxygen/html/html/search/all_c.js +1 -1
  35. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  36. package/SVF-doxygen/html/html/search/defines_f.js +2 -1
  37. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  38. package/SVF-doxygen/html/html/search/functions_6.js +1 -0
  39. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  40. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  41. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  42. package/include/SVF-FE/LLVMModule.h +3 -0
  43. package/lib/SVF-FE/LLVMModule.cpp +157 -18
  44. package/package.json +1 -1
package/SVF-doxygen/html/html/DDAPass_8cpp_source.html CHANGED
@@ -86,7 +86,7 @@ $(function() {
86
86
  <div class="ttc" id="classSVF_1_1FlowDDA_html"><div class="ttname"><a href="classSVF_1_1FlowDDA.html">SVF::FlowDDA</a></div><div class="ttdef"><b>Definition:</b> <a href="FlowDDA_8h_source.html#l00024">FlowDDA.h:24</a></div></div>
87
87
  <div class="ttc" id="cuddInt_8c_html_a5beb39637a978181c7c17714ac96672e"><div class="ttname"><a href="cuddInt_8c.html#a5beb39637a978181c7c17714ac96672e">empty</a></div><div class="ttdeci">static DdNode * empty</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l28567">cuddInt.c:28567</a></div></div>
88
88
  <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
89
- <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae919327019b5014f64b754dbdeb07f75"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet::buildSVFModule</a></div><div class="ttdeci">SVFModule * buildSVFModule(Module &amp;mod)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00061">LLVMModule.cpp:61</a></div></div>
89
+ <div class="ttc" id="classSVF_1_1LLVMModuleSet_html_ae919327019b5014f64b754dbdeb07f75"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#ae919327019b5014f64b754dbdeb07f75">SVF::LLVMModuleSet::buildSVFModule</a></div><div class="ttdeci">SVFModule * buildSVFModule(Module &amp;mod)</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8cpp_source.html#l00074">LLVMModule.cpp:74</a></div></div>
90
90
  <div class="ttc" id="classSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis. ...</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00106">SVFIR.h:106</a></div></div>
91
91
  <div class="ttc" id="classSVF_1_1SVFModule_html"><div class="ttname"><a href="classSVF_1_1SVFModule.html">SVF::SVFModule</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFModule_8h_source.html#l00041">SVFModule.h:41</a></div></div>
92
92
  <div class="ttc" id="namespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00196">SVFBasicTypes.h:196</a></div></div>
package/SVF-doxygen/html/html/LLVMModule_8cpp.html CHANGED
@@ -82,23 +82,41 @@ $(function() {
82
82
  Macros</h2></td></tr>
83
83
  <tr class="memitem:a10ab7c7da3a458495d8528b9e90d714b"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMModule_8cpp.html#a10ab7c7da3a458495d8528b9e90d714b">SVF_MAIN_FUNC_NAME</a>&#160;&#160;&#160;&quot;svf.main&quot;</td></tr>
84
84
  <tr class="separator:a10ab7c7da3a458495d8528b9e90d714b"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
- <tr class="memitem:a264d24658581f23cb7e764c7a21e9b26"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMModule_8cpp.html#a264d24658581f23cb7e764c7a21e9b26">SVF_GLOBAL_SUB_I_XXX</a>&#160;&#160;&#160;&quot;_GLOBAL__sub_I_&quot;</td></tr>
86
- <tr class="separator:a264d24658581f23cb7e764c7a21e9b26"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
+ <tr class="memitem:aa18802f2f60ef8030c66a42f20f285af"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMModule_8cpp.html#aa18802f2f60ef8030c66a42f20f285af">SVF_GLOBAL_CTORS</a>&#160;&#160;&#160;&quot;llvm.global_ctors&quot;</td></tr>
86
+ <tr class="separator:aa18802f2f60ef8030c66a42f20f285af"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
+ <tr class="memitem:a9fd6e28e6ed93f65a20a348ab0646320"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="LLVMModule_8cpp.html#a9fd6e28e6ed93f65a20a348ab0646320">SVF_GLOBAL_DTORS</a>&#160;&#160;&#160;&quot;llvm.global_dtors&quot;</td></tr>
88
+ <tr class="separator:a9fd6e28e6ed93f65a20a348ab0646320"><td class="memSeparator" colspan="2">&#160;</td></tr>
87
89
  </table>
88
90
  <h2 class="groupheader">Macro Definition Documentation</h2>
89
- <a id="a264d24658581f23cb7e764c7a21e9b26"></a>
90
- <h2 class="memtitle"><span class="permalink"><a href="#a264d24658581f23cb7e764c7a21e9b26">&#9670;&nbsp;</a></span>SVF_GLOBAL_SUB_I_XXX</h2>
91
+ <a id="aa18802f2f60ef8030c66a42f20f285af"></a>
92
+ <h2 class="memtitle"><span class="permalink"><a href="#aa18802f2f60ef8030c66a42f20f285af">&#9670;&nbsp;</a></span>SVF_GLOBAL_CTORS</h2>
91
93
 
92
94
  <div class="memitem">
93
95
  <div class="memproto">
94
96
  <table class="memname">
95
97
  <tr>
96
- <td class="memname">#define SVF_GLOBAL_SUB_I_XXX&#160;&#160;&#160;&quot;_GLOBAL__sub_I_&quot;</td>
98
+ <td class="memname">#define SVF_GLOBAL_CTORS&#160;&#160;&#160;&quot;llvm.global_ctors&quot;</td>
97
99
  </tr>
98
100
  </table>
99
101
  </div><div class="memdoc">
100
102
 
101
- <p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00056">56</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
103
+ <p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00068">68</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
104
+
105
+ </div>
106
+ </div>
107
+ <a id="a9fd6e28e6ed93f65a20a348ab0646320"></a>
108
+ <h2 class="memtitle"><span class="permalink"><a href="#a9fd6e28e6ed93f65a20a348ab0646320">&#9670;&nbsp;</a></span>SVF_GLOBAL_DTORS</h2>
109
+
110
+ <div class="memitem">
111
+ <div class="memproto">
112
+ <table class="memname">
113
+ <tr>
114
+ <td class="memname">#define SVF_GLOBAL_DTORS&#160;&#160;&#160;&quot;llvm.global_dtors&quot;</td>
115
+ </tr>
116
+ </table>
117
+ </div><div class="memdoc">
118
+
119
+ <p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00069">69</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
102
120
 
103
121
  </div>
104
122
  </div>
@@ -114,7 +132,7 @@ Macros</h2></td></tr>
114
132
  </table>
115
133
  </div><div class="memdoc">
116
134
 
117
- <p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00055">55</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
135
+ <p class="definition">Definition at line <a class="el" href="LLVMModule_8cpp_source.html#l00067">67</a> of file <a class="el" href="LLVMModule_8cpp_source.html">LLVMModule.cpp</a>.</p>
118
136
 
119
137
  </div>
120
138
  </div>