svf-tools 1.0.479 → 1.0.480

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 (39) hide show
  1. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +35 -31
  2. package/SVF-doxygen/html/html/ExtAPI_8h.html +36 -0
  3. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +65 -63
  4. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  6. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  7. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +146 -113
  8. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +11 -11
  9. package/SVF-doxygen/html/html/functions_func_i.html +7 -4
  10. package/SVF-doxygen/html/html/functions_i.html +12 -9
  11. package/SVF-doxygen/html/html/functions_p.html +9 -9
  12. package/SVF-doxygen/html/html/functions_r.html +4 -2
  13. package/SVF-doxygen/html/html/functions_s.html +10 -10
  14. package/SVF-doxygen/html/html/functions_t.html +4 -6
  15. package/SVF-doxygen/html/html/functions_v.html +6 -6
  16. package/SVF-doxygen/html/html/globals_defs_j.html +6 -0
  17. package/SVF-doxygen/html/html/globals_j.html +6 -0
  18. package/SVF-doxygen/html/html/globals_r.html +3 -3
  19. package/SVF-doxygen/html/html/globals_s.html +10 -12
  20. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  21. package/SVF-doxygen/html/html/search/all_12.js +3 -3
  22. package/SVF-doxygen/html/html/search/all_13.js +11 -11
  23. package/SVF-doxygen/html/html/search/all_14.js +3 -3
  24. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  25. package/SVF-doxygen/html/html/search/all_16.js +3 -3
  26. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  27. package/SVF-doxygen/html/html/search/all_a.js +2 -0
  28. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  29. package/SVF-doxygen/html/html/search/all_f.js +2 -2
  30. package/SVF-doxygen/html/html/search/defines_8.js +2 -0
  31. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  32. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  33. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  34. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  35. package/include/Util/ExtAPI.h +59 -42
  36. package/lib/SVF-FE/SVFIRBuilder.cpp +2 -2
  37. package/lib/Util/ExtAPI.cpp +34 -2
  38. package/lib/Util/ExtAPI.json +3268 -2585
  39. package/package.json +1 -1
package/SVF-doxygen/html/html/ExtAPI_8h.html CHANGED
@@ -93,6 +93,10 @@ Namespaces</h2></td></tr>
93
93
  Macros</h2></td></tr>
94
94
  <tr class="memitem:ad9bef4304f41728bb3edf259c6b67668"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8h.html#ad9bef4304f41728bb3edf259c6b67668">EXTAPI_JSON_PATH</a>&#160;&#160;&#160;&quot;/lib/Util/<a class="el" href="cJSON_8cpp.html#ac3d010a5f321146bc39a696b90a35c37">ExtAPI.json</a>&quot;</td></tr>
95
95
  <tr class="separator:ad9bef4304f41728bb3edf259c6b67668"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
+ <tr class="memitem:a6dec9d5ce6e777757e97065129d96874"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8h.html#a6dec9d5ce6e777757e97065129d96874">JSON_OPT_OVERWRITE</a>&#160;&#160;&#160;&quot;overwrite_app_function&quot;</td></tr>
97
+ <tr class="separator:a6dec9d5ce6e777757e97065129d96874"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
+ <tr class="memitem:a8af07ec3fec2ac9636dfb81bb7a8961e"><td class="memItemLeft" align="right" valign="top">#define&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="ExtAPI_8h.html#a8af07ec3fec2ac9636dfb81bb7a8961e">JSON_OPT_FUNCTIONTYPE</a>&#160;&#160;&#160;&quot;type&quot;</td></tr>
99
+ <tr class="separator:a8af07ec3fec2ac9636dfb81bb7a8961e"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
100
  </table>
97
101
  <h2 class="groupheader">Macro Definition Documentation</h2>
98
102
  <a id="ad9bef4304f41728bb3edf259c6b67668"></a>
@@ -109,6 +113,38 @@ Macros</h2></td></tr>
109
113
 
110
114
  <p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00042">42</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
111
115
 
116
+ </div>
117
+ </div>
118
+ <a id="a8af07ec3fec2ac9636dfb81bb7a8961e"></a>
119
+ <h2 class="memtitle"><span class="permalink"><a href="#a8af07ec3fec2ac9636dfb81bb7a8961e">&#9670;&nbsp;</a></span>JSON_OPT_FUNCTIONTYPE</h2>
120
+
121
+ <div class="memitem">
122
+ <div class="memproto">
123
+ <table class="memname">
124
+ <tr>
125
+ <td class="memname">#define JSON_OPT_FUNCTIONTYPE&#160;&#160;&#160;&quot;type&quot;</td>
126
+ </tr>
127
+ </table>
128
+ </div><div class="memdoc">
129
+
130
+ <p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00044">44</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
131
+
132
+ </div>
133
+ </div>
134
+ <a id="a6dec9d5ce6e777757e97065129d96874"></a>
135
+ <h2 class="memtitle"><span class="permalink"><a href="#a6dec9d5ce6e777757e97065129d96874">&#9670;&nbsp;</a></span>JSON_OPT_OVERWRITE</h2>
136
+
137
+ <div class="memitem">
138
+ <div class="memproto">
139
+ <table class="memname">
140
+ <tr>
141
+ <td class="memname">#define JSON_OPT_OVERWRITE&#160;&#160;&#160;&quot;overwrite_app_function&quot;</td>
142
+ </tr>
143
+ </table>
144
+ </div><div class="memdoc">
145
+
146
+ <p class="definition">Definition at line <a class="el" href="ExtAPI_8h_source.html#l00043">43</a> of file <a class="el" href="ExtAPI_8h_source.html">ExtAPI.h</a>.</p>
147
+
112
148
  </div>
113
149
  </div>
114
150
  </div><!-- contents -->