svf-tools 1.0.312 → 1.0.313

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 (120) hide show
  1. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/CHG_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +6 -6
  6. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +3 -3
  8. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -2
  9. package/SVF-doxygen/html/html/MemModel_8cpp_source.html +8 -52
  10. package/SVF-doxygen/html/html/MemModel_8h_source.html +44 -44
  11. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -6
  12. package/SVF-doxygen/html/html/Options_8cpp_source.html +1 -2
  13. package/SVF-doxygen/html/html/Options_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  15. package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/html/PAGNode_8h_source.html +4 -4
  17. package/SVF-doxygen/html/html/PAG_8cpp_source.html +6 -6
  18. package/SVF-doxygen/html/html/PAG_8h_source.html +4 -4
  19. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +15 -15
  20. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +6 -6
  22. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +5 -5
  23. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +12 -5
  26. package/SVF-doxygen/html/html/SymbolTableInfo_8h.html +0 -4
  27. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +35 -37
  28. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  29. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  30. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +3 -3
  32. package/SVF-doxygen/html/html/annotated.html +134 -136
  33. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  34. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  35. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +1 -1
  36. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +3 -3
  37. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +1 -1
  38. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +2 -2
  39. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  40. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +3 -3
  41. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +3 -3
  42. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +1 -1
  43. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +7 -7
  44. package/SVF-doxygen/html/html/classSVF_1_1MemObj-members.html +7 -10
  45. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +92 -199
  46. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo-members.html +8 -10
  48. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +67 -167
  49. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +1 -1
  50. package/SVF-doxygen/html/html/classSVF_1_1Options.html +5 -5
  51. package/SVF-doxygen/html/html/classSVF_1_1PAG.html +12 -12
  52. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +9 -9
  53. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +1 -1
  54. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +16 -16
  55. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +9 -9
  56. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  57. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  58. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo-members.html +78 -73
  59. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +343 -119
  60. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  61. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +4 -4
  62. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +3 -3
  63. package/SVF-doxygen/html/html/classes.html +90 -90
  64. package/SVF-doxygen/html/html/functions_0x7e.html +0 -6
  65. package/SVF-doxygen/html/html/functions_a.html +13 -10
  66. package/SVF-doxygen/html/html/functions_c.html +26 -24
  67. package/SVF-doxygen/html/html/functions_func.html +12 -9
  68. package/SVF-doxygen/html/html/functions_func_0x7e.html +0 -6
  69. package/SVF-doxygen/html/html/functions_func_c.html +13 -13
  70. package/SVF-doxygen/html/html/functions_func_g.html +11 -13
  71. package/SVF-doxygen/html/html/functions_func_i.html +8 -7
  72. package/SVF-doxygen/html/html/functions_func_l.html +2 -8
  73. package/SVF-doxygen/html/html/functions_func_m.html +1 -1
  74. package/SVF-doxygen/html/html/functions_func_v.html +0 -3
  75. package/SVF-doxygen/html/html/functions_g.html +6 -8
  76. package/SVF-doxygen/html/html/functions_i.html +10 -9
  77. package/SVF-doxygen/html/html/functions_l.html +1 -5
  78. package/SVF-doxygen/html/html/functions_m.html +1 -1
  79. package/SVF-doxygen/html/html/functions_o.html +3 -3
  80. package/SVF-doxygen/html/html/functions_p.html +3 -3
  81. package/SVF-doxygen/html/html/functions_s.html +6 -4
  82. package/SVF-doxygen/html/html/functions_t.html +7 -7
  83. package/SVF-doxygen/html/html/functions_u.html +3 -3
  84. package/SVF-doxygen/html/html/functions_v.html +5 -8
  85. package/SVF-doxygen/html/html/functions_vars_l.html +1 -1
  86. package/SVF-doxygen/html/html/hierarchy.html +2 -4
  87. package/SVF-doxygen/html/html/namespaceSVF.html +0 -4
  88. package/SVF-doxygen/html/html/search/all_1.js +3 -2
  89. package/SVF-doxygen/html/html/search/all_10.js +2 -2
  90. package/SVF-doxygen/html/html/search/all_13.js +6 -6
  91. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  92. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  93. package/SVF-doxygen/html/html/search/all_16.js +2 -3
  94. package/SVF-doxygen/html/html/search/all_1b.js +0 -2
  95. package/SVF-doxygen/html/html/search/all_3.js +4 -3
  96. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  97. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  98. package/SVF-doxygen/html/html/search/all_c.js +2 -3
  99. package/SVF-doxygen/html/html/search/all_d.js +2 -2
  100. package/SVF-doxygen/html/html/search/all_e.js +1 -1
  101. package/SVF-doxygen/html/html/search/all_f.js +1 -1
  102. package/SVF-doxygen/html/html/search/classes_9.js +1 -3
  103. package/SVF-doxygen/html/html/search/functions_0.js +3 -2
  104. package/SVF-doxygen/html/html/search/functions_13.js +0 -1
  105. package/SVF-doxygen/html/html/search/functions_16.js +0 -2
  106. package/SVF-doxygen/html/html/search/functions_2.js +4 -3
  107. package/SVF-doxygen/html/html/search/functions_6.js +2 -2
  108. package/SVF-doxygen/html/html/search/functions_8.js +2 -1
  109. package/SVF-doxygen/html/html/search/functions_a.js +1 -3
  110. package/SVF-doxygen/html/html/search/functions_b.js +1 -1
  111. package/SVF-doxygen/html/html/search/variables_14.js +2 -2
  112. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  113. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  114. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  115. package/include/MemoryModel/MemModel.h +5 -21
  116. package/include/SVF-FE/SymbolTableInfo.h +14 -56
  117. package/lib/MemoryModel/MemModel.cpp +10 -436
  118. package/lib/SVF-FE/SymbolTableInfo.cpp +136 -12
  119. package/lib/Util/Options.cpp +0 -8
  120. package/package.json +1 -1
@@ -78,10 +78,6 @@ $(function() {
78
78
  Classes</h2></td></tr>
79
79
  <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1SymbolTableInfo.html">SVF::SymbolTableInfo</a></td></tr>
80
80
  <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
81
- <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocSymTableInfo.html">SVF::LocSymTableInfo</a></td></tr>
82
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
83
- <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LocObjTypeInfo.html">SVF::LocObjTypeInfo</a></td></tr>
84
- <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
85
81
  </table><table class="memberdecls">
86
82
  <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
87
83
  Namespaces</h2></td></tr>