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
@@ -76,8 +76,6 @@ $(function() {
76
76
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#aa4fa7a1b86d66692ffffeaee0e187216">getType</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a93ab11a1150b015bd7f88f70d4c80054">GSymID</a></td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a1ecb652416c602e1c5e3d9e7be580c3c">hasPtrObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
79
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a768e82826964c68673af7db3b5702442">init</a>(const Value *val)</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a581e1d4f060a0fe5a7cac1c05508caa6">init</a>(const Type *type)</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
81
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a5796d7fec7f0fc2260e8a36493409eab">isArray</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
82
80
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a7b890ca9e93b1c61cc6437b7e6a82a8c">isBlackHoleObj</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
83
81
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#ad67bc82cb51d0eb23c92c2ff9456c636">isConstant</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
@@ -93,14 +91,13 @@ $(function() {
93
91
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a88ce05dfb3c16598fe5a8968ee56c100">isStruct</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
92
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a167ed4be108aa7833aa267470d256766">isVarArray</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
93
  <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a5a6887b8ae47b21ba82324daced74ac0">isVarStruct</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#ab22373574ae9dff2f8ffbef16d5b339c">MemObj</a>(const Value *val, SymID id)</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
97
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a1303b79b7e15db0fac202ad686584915">MemObj</a>(SymID id, const Type *type=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">operator==</a>(const MemObj &amp;mem) const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a></td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#af2546305536df79576fe02a1aa1fffaf">setFieldInsensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">setFieldSensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
103
- <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">~MemObj</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
94
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#afc62b5dbcaf790e561c852f567ca5bd1">MemObj</a>(SymID id, ObjTypeInfo *ti, const Value *val=nullptr)</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a1a8601b72b6e6df211db1fffdd54c48b">operator==</a>(const MemObj &amp;mem) const</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
96
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a011f324448f2796acaff6d2e388582e9">refVal</a></td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#af2546305536df79576fe02a1aa1fffaf">setFieldInsensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a981b7424901ef74467f725ffc9fec0ca">setFieldSensitive</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#a750770ea992d39b22c8b2dda9aff2eaf">typeInfo</a></td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1MemObj.html#ad56f353dde7462dd54297e1b51e6eb05">~MemObj</a>()</td><td class="entry"><a class="el" href="classSVF_1_1MemObj.html">SVF::MemObj</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
104
101
  </table></div><!-- contents -->
105
102
  <!-- start footer part -->
106
103
  <hr class="footer"/><address class="footer"><small>