svf-tools 1.0.559 → 1.0.560

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 (46) hide show
  1. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +8 -8
  2. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
  3. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
  4. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
  5. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
  6. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
  7. package/SVF-doxygen/html/html/functions_a.html +11 -5
  8. package/SVF-doxygen/html/html/functions_c.html +21 -18
  9. package/SVF-doxygen/html/html/functions_f.html +3 -3
  10. package/SVF-doxygen/html/html/functions_func.html +16 -10
  11. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  12. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  13. package/SVF-doxygen/html/html/functions_i.html +3 -3
  14. package/SVF-doxygen/html/html/functions_l.html +3 -3
  15. package/SVF-doxygen/html/html/functions_o.html +3 -3
  16. package/SVF-doxygen/html/html/functions_p.html +3 -3
  17. package/SVF-doxygen/html/html/functions_r.html +3 -7
  18. package/SVF-doxygen/html/html/functions_s.html +18 -16
  19. package/SVF-doxygen/html/html/functions_t.html +3 -3
  20. package/SVF-doxygen/html/html/functions_v.html +3 -3
  21. package/SVF-doxygen/html/html/globals_g.html +3 -3
  22. package/SVF-doxygen/html/html/globals_v.html +1 -2
  23. package/SVF-doxygen/html/html/globals_vars.html +3 -4
  24. package/SVF-doxygen/html/html/search/all_1.js +2 -0
  25. package/SVF-doxygen/html/html/search/all_10.js +4 -4
  26. package/SVF-doxygen/html/html/search/all_11.js +1 -1
  27. package/SVF-doxygen/html/html/search/all_12.js +12 -12
  28. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  29. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  30. package/SVF-doxygen/html/html/search/all_3.js +1 -0
  31. package/SVF-doxygen/html/html/search/all_6.js +1 -1
  32. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  33. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  34. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  35. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  36. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  37. package/SVF-doxygen/html/html/search/functions_0.js +2 -0
  38. package/SVF-doxygen/html/html/search/functions_11.js +1 -1
  39. package/SVF-doxygen/html/html/search/functions_2.js +1 -0
  40. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  41. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  42. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  43. package/include/CFL/CFLGraphBuilder.h +9 -0
  44. package/include/CFL/PEGGrammar.txt +4 -8
  45. package/lib/CFL/CFLGraphBuilder.cpp +44 -0
  46. package/package.json +1 -1
package/SVF-doxygen/html/html/CFLGrammar_8txt.html CHANGED
@@ -95,10 +95,10 @@ Variables</h2></td></tr>
95
95
  <tr class="separator:ab5d65f36b081efc4f36dc7086db1fc2c"><td class="memSeparator" colspan="2">&#160;</td></tr>
96
96
  <tr class="memitem:ae239ca8fb918fa812492fe369202225d"><td class="memItemLeft" align="right" valign="top">Copybar&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ae239ca8fb918fa812492fe369202225d">Vgepbar</a></td></tr>
97
97
  <tr class="separator:ae239ca8fb918fa812492fe369202225d"><td class="memSeparator" colspan="2">&#160;</td></tr>
98
- <tr class="memitem:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memItemLeft" align="right" valign="top">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a></td></tr>
98
+ <tr class="memitem:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memItemLeft" align="right" valign="top">Gep_1 <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a></td></tr>
99
99
  <tr class="separator:a92c75ced313339aea5e3e0c9f0726e5a"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
- <tr class="memitem:a74e2e5aac99754fa661689592e053e27"><td class="memItemLeft" align="right" valign="top">Gepbar_1 Gepbar_1 <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a74e2e5aac99754fa661689592e053e27">Gepbar_0</a></td></tr>
101
- <tr class="separator:a74e2e5aac99754fa661689592e053e27"><td class="memSeparator" colspan="2">&#160;</td></tr>
100
+ <tr class="memitem:ab2278962121baf68c9efd38abb522942"><td class="memItemLeft" align="right" valign="top">Gepbar_1 Gepbar_1 <a class="el" href="PEGGrammar_8txt.html#aa92a4b37b902f3a59efef16528e4f905">Fbar</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#ab2278962121baf68c9efd38abb522942">Gepbar_0</a></td></tr>
101
+ <tr class="separator:ab2278962121baf68c9efd38abb522942"><td class="memSeparator" colspan="2">&#160;</td></tr>
102
102
  <tr class="memitem:a4459b9e008c1693c8d592cf0544912f6"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="CFLGrammar_8txt.html#af3f0b3f464e928b7fc87347dc041501d">Load</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#a4459b9e008c1693c8d592cf0544912f6">Store</a></td></tr>
103
103
  <tr class="separator:a4459b9e008c1693c8d592cf0544912f6"><td class="memSeparator" colspan="2">&#160;</td></tr>
104
104
  <tr class="memitem:aa3f2c8659adb9738e29e47d3a607ff1e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a> <a class="el" href="PEGGrammar_8txt.html#af184db68cfa45428afdc186dd62e32a3">Gep_i</a> <a class="el" href="CFLGrammar_8txt.html#ae2f9fbd0bf92e7dad02a6c5fa9323621">Memflow</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="CFLGrammar_8txt.html#aa3f2c8659adb9738e29e47d3a607ff1e">Gepbar_i</a></td></tr>
@@ -242,7 +242,7 @@ Variables</h2></td></tr>
242
242
  <div class="memproto">
243
243
  <table class="memname">
244
244
  <tr>
245
- <td class="memname">Gep_1 <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Gep_1</td>
245
+ <td class="memname">Gep_1 <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Gep_1</td>
246
246
  </tr>
247
247
  </table>
248
248
  </div><div class="memdoc">
@@ -267,14 +267,14 @@ Variables</h2></td></tr>
267
267
 
268
268
  </div>
269
269
  </div>
270
- <a id="a74e2e5aac99754fa661689592e053e27"></a>
271
- <h2 class="memtitle"><span class="permalink"><a href="#a74e2e5aac99754fa661689592e053e27">&#9670;&nbsp;</a></span>Gepbar_0</h2>
270
+ <a id="ab2278962121baf68c9efd38abb522942"></a>
271
+ <h2 class="memtitle"><span class="permalink"><a href="#ab2278962121baf68c9efd38abb522942">&#9670;&nbsp;</a></span>Gepbar_0</h2>
272
272
 
273
273
  <div class="memitem">
274
274
  <div class="memproto">
275
275
  <table class="memname">
276
276
  <tr>
277
- <td class="memname">Gepbar_3 Gepbar_0</td>
277
+ <td class="memname">ArrayPath ArrayPath Gepbar_0</td>
278
278
  </tr>
279
279
  </table>
280
280
  </div><div class="memdoc">
@@ -386,7 +386,7 @@ Variables</h2></td></tr>
386
386
  <div class="memproto">
387
387
  <table class="memname">
388
388
  <tr>
389
- <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#ace8178aa913f2a15d4b3f12778dfc6f1">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
389
+ <td class="memname"><a class="el" href="CFLGrammar_8txt.html#a92c75ced313339aea5e3e0c9f0726e5a">Gep_1</a> <a class="el" href="PEGGrammar_8txt.html#aedc3573eed4e9af781034300bff32d69">Gep_0</a> <a class="el" href="PEGGrammar_8txt.html#acc7b4cf736579c4d83be2316d5a9e5f2">F</a> Vgep</td>
390
390
  </tr>
391
391
  </table>
392
392
  </div><div class="memdoc">