svf-tools 1.0.414 → 1.0.417

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 (102) hide show
  1. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +3 -3
  6. package/SVF-doxygen/html/html/CHGBuilder_8h_source.html +1 -1
  7. package/SVF-doxygen/html/html/CHG_8cpp.html +2 -2
  8. package/SVF-doxygen/html/html/CHG_8cpp_source.html +5 -5
  9. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/CPPUtil_8cpp_source.html +8 -8
  11. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  13. package/SVF-doxygen/html/html/Graph2Json_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +4 -4
  17. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +1 -1
  19. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -3
  20. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +1 -1
  22. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +4 -4
  24. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +1 -1
  25. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +9 -9
  26. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +1 -1
  27. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/html/SVFUtil_8h.html +2 -2
  29. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +4 -4
  30. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -7
  31. package/SVF-doxygen/html/html/SymbolTableBuilder_8h_source.html +1 -1
  32. package/SVF-doxygen/html/html/TCT_8cpp_source.html +2 -2
  33. package/SVF-doxygen/html/html/TCT_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +1 -1
  35. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +3 -3
  36. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  38. package/SVF-doxygen/html/html/Util_2BasicTypes_8h_source.html +30 -29
  39. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  40. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +5 -5
  41. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  42. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
  43. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +4 -4
  44. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +3 -3
  45. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +41 -41
  46. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +2 -2
  47. package/SVF-doxygen/html/html/classSVF_1_1ICFGPrinter.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +1 -1
  49. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +3 -3
  50. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +3 -3
  51. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +8 -8
  52. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +1 -2
  53. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +3 -3
  55. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +25 -24
  56. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +33 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +3 -3
  58. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +16 -16
  59. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +10 -9
  60. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +1 -1
  61. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  62. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +3 -3
  63. package/SVF-doxygen/html/html/functions_func_g.html +14 -11
  64. package/SVF-doxygen/html/html/functions_g.html +16 -13
  65. package/SVF-doxygen/html/html/functions_i.html +1 -1
  66. package/SVF-doxygen/html/html/functions_l.html +3 -3
  67. package/SVF-doxygen/html/html/functions_m.html +1 -1
  68. package/SVF-doxygen/html/html/functions_n.html +3 -3
  69. package/SVF-doxygen/html/html/functions_r.html +1 -1
  70. package/SVF-doxygen/html/html/functions_s.html +17 -15
  71. package/SVF-doxygen/html/html/functions_t.html +3 -3
  72. package/SVF-doxygen/html/html/namespaceSVF.html +2 -2
  73. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +9 -9
  74. package/SVF-doxygen/html/html/namespaceSVF_1_1cppUtil.html +12 -12
  75. package/SVF-doxygen/html/html/namespacemembers_p.html +1 -1
  76. package/SVF-doxygen/html/html/namespacemembers_type_p.html +1 -1
  77. package/SVF-doxygen/html/html/search/all_10.js +2 -2
  78. package/SVF-doxygen/html/html/search/all_12.js +2 -2
  79. package/SVF-doxygen/html/html/search/all_13.js +9 -9
  80. package/SVF-doxygen/html/html/search/all_14.js +4 -4
  81. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  82. package/SVF-doxygen/html/html/search/all_16.js +1 -1
  83. package/SVF-doxygen/html/html/search/all_7.js +1 -0
  84. package/SVF-doxygen/html/html/search/all_9.js +1 -1
  85. package/SVF-doxygen/html/html/search/all_c.js +2 -2
  86. package/SVF-doxygen/html/html/search/all_d.js +1 -1
  87. package/SVF-doxygen/html/html/search/all_e.js +3 -3
  88. package/SVF-doxygen/html/html/search/functions_6.js +1 -0
  89. package/SVF-doxygen/html/html/search/functions_8.js +1 -1
  90. package/SVF-doxygen/html/html/search/typedefs_f.js +1 -1
  91. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  92. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  93. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  94. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  95. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +3 -3
  96. package/include/Util/BasicTypes.h +5 -0
  97. package/include/Util/SVFUtil.h +1 -1
  98. package/lib/Graphs/IRGraph.cpp +4 -0
  99. package/lib/SVF-FE/SymbolTableBuilder.cpp +4 -1
  100. package/lib/Util/NodeIDAllocator.cpp +2 -2
  101. package/lib/WPA/AndersenStat.cpp +0 -8
  102. package/package.json +1 -1
@@ -103,7 +103,7 @@ $(function() {
103
103
  <div class="ttc" id="classSVF_1_1Andersen_html_a8ba593bd16d4436310f2f25e75687c57"><div class="ttname"><a href="classSVF_1_1Andersen.html#a8ba593bd16d4436310f2f25e75687c57">SVF::Andersen::addCopyEdge</a></div><div class="ttdeci">virtual bool addCopyEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Add copy edge on constraint graph. </div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00328">Andersen.h:328</a></div></div>
104
104
  <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="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
105
105
  <div class="ttc" id="classSVF_1_1AndersenSCD_html_aaee864bb1fc5b5d4643e145d80ecfb8b"><div class="ttname"><a href="classSVF_1_1AndersenSCD.html#aaee864bb1fc5b5d4643e145d80ecfb8b">SVF::AndersenSCD::processPWC</a></div><div class="ttdeci">virtual void processPWC(ConstraintNode *rep)</div><div class="ttdef"><b>Definition:</b> <a href="AndersenSCD_8cpp_source.html#l00161">AndersenSCD.cpp:161</a></div></div>
106
- <div class="ttc" id="classSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00289">BasicTypes.h:289</a></div></div>
106
+ <div class="ttc" id="classSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="Util_2BasicTypes_8h_source.html#l00294">BasicTypes.h:294</a></div></div>
107
107
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_ad95c842964e6ca46e51fb763fefec585"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">SVF::PointerAnalysis::CallSiteToFunPtrMap</a></div><div class="ttdeci">SVFIR::CallSiteToFunPtrMap CallSiteToFunPtrMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00109">PointerAnalysis.h:109</a></div></div>
108
108
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00165">GenericGraph.h:165</a></div></div>
109
109
  <div class="ttc" id="classSVF_1_1AddrCGEdge_html"><div class="ttname"><a href="classSVF_1_1AddrCGEdge.html">SVF::AddrCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00093">ConsGEdge.h:93</a></div></div>