svf-tools 1.0.534 → 1.0.535

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 (80) hide show
  1. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +43 -36
  3. package/SVF-doxygen/html/html/ExtAPI_8h.html +2 -0
  4. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +80 -69
  5. package/SVF-doxygen/html/html/MTA_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -10
  7. package/SVF-doxygen/html/html/SVFIRBuilder_8h.html +0 -1
  8. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +60 -62
  9. package/SVF-doxygen/html/html/SVFIR_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  11. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/annotated.html +2 -1
  14. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -1
  15. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +19 -17
  18. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +230 -141
  19. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation-members.html +88 -0
  20. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI_1_1Operation.html +344 -0
  21. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder-members.html +63 -64
  23. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +306 -348
  24. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  25. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +1 -1
  26. package/SVF-doxygen/html/html/classes.html +90 -90
  27. package/SVF-doxygen/html/html/functions_a.html +8 -5
  28. package/SVF-doxygen/html/html/functions_c.html +12 -12
  29. package/SVF-doxygen/html/html/functions_e.html +4 -7
  30. package/SVF-doxygen/html/html/functions_eval_e.html +2 -5
  31. package/SVF-doxygen/html/html/functions_func_g.html +23 -11
  32. package/SVF-doxygen/html/html/functions_func_o.html +7 -4
  33. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  34. package/SVF-doxygen/html/html/functions_func_s.html +11 -5
  35. package/SVF-doxygen/html/html/functions_g.html +21 -9
  36. package/SVF-doxygen/html/html/functions_i.html +3 -3
  37. package/SVF-doxygen/html/html/functions_l.html +3 -3
  38. package/SVF-doxygen/html/html/functions_n.html +4 -4
  39. package/SVF-doxygen/html/html/functions_o.html +21 -19
  40. package/SVF-doxygen/html/html/functions_p.html +7 -9
  41. package/SVF-doxygen/html/html/functions_r.html +4 -2
  42. package/SVF-doxygen/html/html/functions_s.html +22 -18
  43. package/SVF-doxygen/html/html/functions_v.html +3 -3
  44. package/SVF-doxygen/html/html/functions_vars_a.html +3 -0
  45. package/SVF-doxygen/html/html/functions_vars_o.html +3 -0
  46. package/SVF-doxygen/html/html/functions_w.html +11 -11
  47. package/SVF-doxygen/html/html/hierarchy.html +99 -98
  48. package/SVF-doxygen/html/html/search/all_1.js +1 -0
  49. package/SVF-doxygen/html/html/search/all_10.js +7 -7
  50. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  51. package/SVF-doxygen/html/html/search/all_12.js +11 -9
  52. package/SVF-doxygen/html/html/search/all_13.js +3 -3
  53. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  54. package/SVF-doxygen/html/html/search/all_15.js +3 -3
  55. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  56. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  57. package/SVF-doxygen/html/html/search/all_5.js +1 -2
  58. package/SVF-doxygen/html/html/search/all_7.js +5 -1
  59. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  60. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  61. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  62. package/SVF-doxygen/html/html/search/all_f.js +3 -2
  63. package/SVF-doxygen/html/html/search/classes_c.js +1 -0
  64. package/SVF-doxygen/html/html/search/enumvalues_4.js +1 -2
  65. package/SVF-doxygen/html/html/search/functions_11.js +2 -0
  66. package/SVF-doxygen/html/html/search/functions_6.js +5 -1
  67. package/SVF-doxygen/html/html/search/functions_e.js +1 -0
  68. package/SVF-doxygen/html/html/search/functions_f.js +1 -1
  69. package/SVF-doxygen/html/html/search/variables_1.js +1 -0
  70. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  71. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  72. package/SVF-doxygen/html/html/search/variables_f.js +1 -0
  73. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  74. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  75. package/include/SVF-FE/SVFIRBuilder.h +0 -2
  76. package/include/Util/ExtAPI.h +49 -5
  77. package/include/Util/ExtAPI.json +1312 -320
  78. package/lib/SVF-FE/SVFIRBuilder.cpp +219 -238
  79. package/lib/Util/ExtAPI.cpp +109 -0
  80. package/package.json +1 -1
package/SVF-doxygen/html/html/DDAPass_8cpp_source.html CHANGED
@@ -103,7 +103,7 @@ $(function() {
103
103
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a7c9b7e5fe37ae31ba84d167945ca57df"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a7c9b7e5fe37ae31ba84d167945ca57df">SVF::PointerAnalysis::getPTACallGraph</a></div><div class="ttdeci">PTACallGraph * getPTACallGraph() const</div><div class="ttdoc">Return call graph. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00174">PointerAnalysis.h:174</a></div></div>
104
104
  <div class="ttc" id="FlowDDA_8h_html"><div class="ttname"><a href="FlowDDA_8h.html">FlowDDA.h</a></div></div>
105
105
  <div class="ttc" id="classSVF_1_1DDAPass_html_a3810708c5e2695d2a0e36084b589e432"><div class="ttname"><a href="classSVF_1_1DDAPass.html#a3810708c5e2695d2a0e36084b589e432">SVF::DDAPass::edgeInSVFGSCC</a></div><div class="ttdeci">bool edgeInSVFGSCC(const SVFGSCC *svfgSCC, const SVFGEdge *edge)</div><div class="ttdoc">Return TRUE if this edge is inside a SVFG SCC, i.e., src node and dst node are in the same SCC on the...</div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00156">DDAPass.cpp:156</a></div></div>
106
- <div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00046">SVFIRBuilder.h:46</a></div></div>
106
+ <div class="ttc" id="classSVF_1_1SVFIRBuilder_html"><div class="ttname"><a href="classSVF_1_1SVFIRBuilder.html">SVF::SVFIRBuilder</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIRBuilder_8h_source.html#l00045">SVFIRBuilder.h:45</a></div></div>
107
107
  <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00093">GenericGraph.h:93</a></div></div>
108
108
  <div class="ttc" id="classSVF_1_1Options_html_aabfcfcd67df527cdf587aff5ecc26a10"><div class="ttname"><a href="classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10">SVF::Options::PrintQueryPts</a></div><div class="ttdeci">static const llvm::cl::opt&lt; bool &gt; PrintQueryPts</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00101">Options.h:101</a></div></div>
109
109
  <div class="ttc" id="classSVF_1_1DDAPass_html_adb39fc24e3d45e558ac36f37b5dc3565"><div class="ttname"><a href="classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565">SVF::DDAPass::ID</a></div><div class="ttdeci">static char ID</div><div class="ttdoc">Pass ID. </div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8h_source.html#l00029">DDAPass.h:29</a></div></div>