svf-tools 1.0.866 → 1.0.868

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 (270) hide show
  1. package/CMakeLists.txt +1 -1
  2. package/SVF-doxygen/html/AndersenStat_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/CFLAlias_8h_source.html +83 -67
  4. package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/ConsG_8h_source.html +2 -2
  6. package/SVF-doxygen/html/DDAClient_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/DDAClient_8h_source.html +1 -1
  8. package/SVF-doxygen/html/DDAPass_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/DDAVFSolver_8h_source.html +1 -1
  10. package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/MemRegion_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/PointerAnalysisImpl_8h_source.html +1 -1
  14. package/SVF-doxygen/html/PointerAnalysis_8h_source.html +2 -2
  15. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +1 -1
  16. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +1 -1
  17. package/SVF-doxygen/html/SVFIR_8cpp_source.html +174 -196
  18. package/SVF-doxygen/html/SVFIR_8h_source.html +232 -234
  19. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/VersionedFlowSensitiveStat_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/classSVF_1_1Andersen.html +2 -2
  22. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +1 -1
  23. package/SVF-doxygen/html/classSVF_1_1AndersenSFR.html +1 -1
  24. package/SVF-doxygen/html/classSVF_1_1AndersenStat.html +1 -1
  25. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +1 -1
  26. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +47 -35
  27. package/SVF-doxygen/html/classSVF_1_1CondPTAImpl.html +1 -1
  28. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +2 -2
  29. package/SVF-doxygen/html/classSVF_1_1DDAClient.html +1 -1
  30. package/SVF-doxygen/html/classSVF_1_1DDAPass.html +1 -1
  31. package/SVF-doxygen/html/classSVF_1_1DDAVFSolver.html +1 -1
  32. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  33. package/SVF-doxygen/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  34. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +1 -1
  35. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  36. package/SVF-doxygen/html/classSVF_1_1POCRAlias.html +5 -5
  37. package/SVF-doxygen/html/classSVF_1_1POCRHybrid.html +5 -5
  38. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +2 -2
  39. package/SVF-doxygen/html/classSVF_1_1SVFIR-members.html +138 -139
  40. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +307 -350
  41. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +20 -21
  42. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
  43. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  44. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +2 -2
  45. package/SVF-doxygen/html/classSVF_1_1VersionedFlowSensitiveStat.html +2 -2
  46. package/SVF-doxygen/html/functions_func_g.html +17 -20
  47. package/SVF-doxygen/html/functions_func_i.html +2 -2
  48. package/SVF-doxygen/html/functions_func_s.html +1 -1
  49. package/SVF-doxygen/html/functions_g.html +21 -24
  50. package/SVF-doxygen/html/functions_i.html +7 -7
  51. package/SVF-doxygen/html/functions_m.html +1 -1
  52. package/SVF-doxygen/html/functions_p.html +15 -13
  53. package/SVF-doxygen/html/functions_r.html +4 -6
  54. package/SVF-doxygen/html/functions_s.html +14 -12
  55. package/SVF-doxygen/html/functions_t.html +2 -2
  56. package/SVF-doxygen/html/functions_v.html +4 -6
  57. package/SVF-doxygen/html/functions_w.html +8 -10
  58. package/SVF-doxygen/html/namespaceSVF.html +1 -1
  59. package/SVF-doxygen/html/search/all_10.js +325 -325
  60. package/SVF-doxygen/html/search/all_11.js +226 -226
  61. package/SVF-doxygen/html/search/all_12.js +559 -559
  62. package/SVF-doxygen/html/search/all_13.js +206 -206
  63. package/SVF-doxygen/html/search/all_14.js +68 -68
  64. package/SVF-doxygen/html/search/all_15.js +176 -176
  65. package/SVF-doxygen/html/search/all_16.js +75 -75
  66. package/SVF-doxygen/html/search/all_17.js +1 -1
  67. package/SVF-doxygen/html/search/all_18.js +1 -1
  68. package/SVF-doxygen/html/search/all_19.js +26 -26
  69. package/SVF-doxygen/html/search/all_1a.js +176 -176
  70. package/SVF-doxygen/html/search/all_7.js +825 -826
  71. package/SVF-doxygen/html/search/all_8.js +201 -201
  72. package/SVF-doxygen/html/search/all_9.js +619 -619
  73. package/SVF-doxygen/html/search/all_a.js +46 -46
  74. package/SVF-doxygen/html/search/all_b.js +26 -26
  75. package/SVF-doxygen/html/search/all_c.js +115 -115
  76. package/SVF-doxygen/html/search/all_d.js +198 -198
  77. package/SVF-doxygen/html/search/all_e.js +207 -207
  78. package/SVF-doxygen/html/search/all_f.js +120 -120
  79. package/SVF-doxygen/html/search/classes_0.js +26 -26
  80. package/SVF-doxygen/html/search/classes_1.js +9 -9
  81. package/SVF-doxygen/html/search/classes_10.js +74 -74
  82. package/SVF-doxygen/html/search/classes_11.js +14 -14
  83. package/SVF-doxygen/html/search/classes_12.js +2 -2
  84. package/SVF-doxygen/html/search/classes_13.js +10 -10
  85. package/SVF-doxygen/html/search/classes_14.js +20 -20
  86. package/SVF-doxygen/html/search/classes_15.js +1 -1
  87. package/SVF-doxygen/html/search/classes_2.js +78 -78
  88. package/SVF-doxygen/html/search/classes_3.js +37 -37
  89. package/SVF-doxygen/html/search/classes_4.js +9 -9
  90. package/SVF-doxygen/html/search/classes_5.js +28 -28
  91. package/SVF-doxygen/html/search/classes_6.js +104 -104
  92. package/SVF-doxygen/html/search/classes_7.js +38 -38
  93. package/SVF-doxygen/html/search/classes_8.js +58 -58
  94. package/SVF-doxygen/html/search/classes_9.js +1 -1
  95. package/SVF-doxygen/html/search/classes_a.js +12 -12
  96. package/SVF-doxygen/html/search/classes_b.js +29 -29
  97. package/SVF-doxygen/html/search/classes_c.js +6 -6
  98. package/SVF-doxygen/html/search/classes_d.js +19 -19
  99. package/SVF-doxygen/html/search/classes_e.js +36 -36
  100. package/SVF-doxygen/html/search/classes_f.js +25 -25
  101. package/SVF-doxygen/html/search/defines_0.js +3 -3
  102. package/SVF-doxygen/html/search/defines_1.js +2 -2
  103. package/SVF-doxygen/html/search/defines_10.js +2 -2
  104. package/SVF-doxygen/html/search/defines_2.js +30 -30
  105. package/SVF-doxygen/html/search/defines_3.js +20 -20
  106. package/SVF-doxygen/html/search/defines_4.js +3 -3
  107. package/SVF-doxygen/html/search/defines_5.js +4 -4
  108. package/SVF-doxygen/html/search/defines_6.js +2 -2
  109. package/SVF-doxygen/html/search/defines_7.js +5 -5
  110. package/SVF-doxygen/html/search/defines_8.js +11 -11
  111. package/SVF-doxygen/html/search/defines_9.js +9 -9
  112. package/SVF-doxygen/html/search/defines_a.js +2 -2
  113. package/SVF-doxygen/html/search/defines_b.js +1 -1
  114. package/SVF-doxygen/html/search/defines_c.js +3 -3
  115. package/SVF-doxygen/html/search/defines_d.js +2 -2
  116. package/SVF-doxygen/html/search/defines_e.js +7 -7
  117. package/SVF-doxygen/html/search/defines_f.js +4 -4
  118. package/SVF-doxygen/html/search/enums_0.js +3 -3
  119. package/SVF-doxygen/html/search/enums_1.js +2 -2
  120. package/SVF-doxygen/html/search/enums_10.js +1 -1
  121. package/SVF-doxygen/html/search/enums_11.js +1 -1
  122. package/SVF-doxygen/html/search/enums_2.js +8 -8
  123. package/SVF-doxygen/html/search/enums_3.js +1 -1
  124. package/SVF-doxygen/html/search/enums_4.js +3 -3
  125. package/SVF-doxygen/html/search/enums_5.js +1 -1
  126. package/SVF-doxygen/html/search/enums_6.js +2 -2
  127. package/SVF-doxygen/html/search/enums_7.js +2 -2
  128. package/SVF-doxygen/html/search/enums_8.js +4 -4
  129. package/SVF-doxygen/html/search/enums_9.js +1 -1
  130. package/SVF-doxygen/html/search/enums_a.js +1 -1
  131. package/SVF-doxygen/html/search/enums_b.js +7 -7
  132. package/SVF-doxygen/html/search/enums_c.js +1 -1
  133. package/SVF-doxygen/html/search/enums_d.js +4 -4
  134. package/SVF-doxygen/html/search/enums_e.js +2 -2
  135. package/SVF-doxygen/html/search/enums_f.js +4 -4
  136. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  137. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  138. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  139. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  140. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  141. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  142. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  143. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  144. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  145. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  146. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  147. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  148. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  149. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  150. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  151. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  152. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  153. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  154. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  155. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  156. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  157. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  158. package/SVF-doxygen/html/search/files_0.js +14 -14
  159. package/SVF-doxygen/html/search/files_1.js +7 -7
  160. package/SVF-doxygen/html/search/files_10.js +8 -8
  161. package/SVF-doxygen/html/search/files_11.js +8 -8
  162. package/SVF-doxygen/html/search/files_12.js +2 -2
  163. package/SVF-doxygen/html/search/files_2.js +58 -58
  164. package/SVF-doxygen/html/search/files_3.js +14 -14
  165. package/SVF-doxygen/html/search/files_4.js +5 -5
  166. package/SVF-doxygen/html/search/files_5.js +13 -13
  167. package/SVF-doxygen/html/search/files_6.js +9 -9
  168. package/SVF-doxygen/html/search/files_7.js +15 -15
  169. package/SVF-doxygen/html/search/files_8.js +13 -13
  170. package/SVF-doxygen/html/search/files_9.js +18 -18
  171. package/SVF-doxygen/html/search/files_a.js +3 -3
  172. package/SVF-doxygen/html/search/files_b.js +4 -4
  173. package/SVF-doxygen/html/search/files_c.js +20 -20
  174. package/SVF-doxygen/html/search/files_d.js +4 -4
  175. package/SVF-doxygen/html/search/files_e.js +62 -62
  176. package/SVF-doxygen/html/search/files_f.js +8 -8
  177. package/SVF-doxygen/html/search/functions_0.js +13 -13
  178. package/SVF-doxygen/html/search/functions_1.js +365 -365
  179. package/SVF-doxygen/html/search/functions_10.js +140 -140
  180. package/SVF-doxygen/html/search/functions_11.js +141 -141
  181. package/SVF-doxygen/html/search/functions_12.js +291 -291
  182. package/SVF-doxygen/html/search/functions_13.js +73 -73
  183. package/SVF-doxygen/html/search/functions_14.js +40 -40
  184. package/SVF-doxygen/html/search/functions_15.js +72 -72
  185. package/SVF-doxygen/html/search/functions_16.js +36 -36
  186. package/SVF-doxygen/html/search/functions_17.js +3 -3
  187. package/SVF-doxygen/html/search/functions_18.js +176 -176
  188. package/SVF-doxygen/html/search/functions_2.js +92 -92
  189. package/SVF-doxygen/html/search/functions_3.js +262 -262
  190. package/SVF-doxygen/html/search/functions_4.js +80 -80
  191. package/SVF-doxygen/html/search/functions_5.js +56 -56
  192. package/SVF-doxygen/html/search/functions_6.js +64 -64
  193. package/SVF-doxygen/html/search/functions_7.js +856 -857
  194. package/SVF-doxygen/html/search/functions_8.js +148 -148
  195. package/SVF-doxygen/html/search/functions_9.js +431 -431
  196. package/SVF-doxygen/html/search/functions_a.js +30 -30
  197. package/SVF-doxygen/html/search/functions_b.js +2 -2
  198. package/SVF-doxygen/html/search/functions_c.js +25 -25
  199. package/SVF-doxygen/html/search/functions_d.js +80 -80
  200. package/SVF-doxygen/html/search/functions_e.js +35 -35
  201. package/SVF-doxygen/html/search/functions_f.js +58 -58
  202. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  203. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  204. package/SVF-doxygen/html/search/related_0.js +2 -2
  205. package/SVF-doxygen/html/search/related_1.js +2 -2
  206. package/SVF-doxygen/html/search/related_2.js +3 -3
  207. package/SVF-doxygen/html/search/related_3.js +2 -2
  208. package/SVF-doxygen/html/search/related_4.js +2 -2
  209. package/SVF-doxygen/html/search/related_5.js +1 -1
  210. package/SVF-doxygen/html/search/related_6.js +2 -2
  211. package/SVF-doxygen/html/search/related_7.js +4 -4
  212. package/SVF-doxygen/html/search/related_8.js +2 -2
  213. package/SVF-doxygen/html/search/related_9.js +4 -4
  214. package/SVF-doxygen/html/search/related_a.js +19 -19
  215. package/SVF-doxygen/html/search/related_b.js +4 -4
  216. package/SVF-doxygen/html/search/related_c.js +2 -2
  217. package/SVF-doxygen/html/search/related_d.js +12 -12
  218. package/SVF-doxygen/html/search/related_e.js +2 -2
  219. package/SVF-doxygen/html/search/related_f.js +2 -2
  220. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  221. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  222. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  223. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  224. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  225. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  226. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  227. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  228. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  229. package/SVF-doxygen/html/search/typedefs_4.js +18 -18
  230. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  231. package/SVF-doxygen/html/search/typedefs_6.js +57 -57
  232. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  233. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  234. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  235. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  236. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  237. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  238. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  239. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  240. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  241. package/SVF-doxygen/html/search/variables_0.js +154 -154
  242. package/SVF-doxygen/html/search/variables_1.js +76 -76
  243. package/SVF-doxygen/html/search/variables_10.js +98 -98
  244. package/SVF-doxygen/html/search/variables_11.js +45 -45
  245. package/SVF-doxygen/html/search/variables_12.js +93 -93
  246. package/SVF-doxygen/html/search/variables_13.js +75 -75
  247. package/SVF-doxygen/html/search/variables_14.js +14 -14
  248. package/SVF-doxygen/html/search/variables_15.js +49 -49
  249. package/SVF-doxygen/html/search/variables_16.js +10 -10
  250. package/SVF-doxygen/html/search/variables_17.js +1 -1
  251. package/SVF-doxygen/html/search/variables_18.js +17 -17
  252. package/SVF-doxygen/html/search/variables_2.js +38 -38
  253. package/SVF-doxygen/html/search/variables_3.js +142 -142
  254. package/SVF-doxygen/html/search/variables_4.js +51 -51
  255. package/SVF-doxygen/html/search/variables_5.js +39 -39
  256. package/SVF-doxygen/html/search/variables_6.js +66 -66
  257. package/SVF-doxygen/html/search/variables_7.js +33 -33
  258. package/SVF-doxygen/html/search/variables_8.js +8 -8
  259. package/SVF-doxygen/html/search/variables_9.js +78 -78
  260. package/SVF-doxygen/html/search/variables_a.js +4 -4
  261. package/SVF-doxygen/html/search/variables_b.js +10 -10
  262. package/SVF-doxygen/html/search/variables_c.js +45 -45
  263. package/SVF-doxygen/html/search/variables_d.js +55 -55
  264. package/SVF-doxygen/html/search/variables_e.js +123 -123
  265. package/SVF-doxygen/html/search/variables_f.js +30 -30
  266. package/package.json +1 -1
  267. package/svf/include/CFL/CFLAlias.h +12 -2
  268. package/svf/include/SVFIR/SVFIR.h +0 -1
  269. package/svf/lib/SVFIR/SVFIR.cpp +1 -24
  270. package/svf-llvm/lib/SVFIRBuilder.cpp +1 -1
package/CMakeLists.txt CHANGED
@@ -1,7 +1,7 @@
1
1
  cmake_minimum_required(VERSION 3.23)
2
2
 
3
3
  project(SVF
4
- VERSION 2.9
4
+ VERSION 3.0
5
5
  DESCRIPTION "SVF is a static value-flow analysis tool for LLVM-based languages"
6
6
  HOMEPAGE_URL "https://github.com/SVF-tools/SVF"
7
7
  LANGUAGES C CXX
package/SVF-doxygen/html/AndersenStat_8cpp_source.html CHANGED
@@ -443,7 +443,7 @@ $(function() {
443
443
  <div class="ttc" id="aclassSVF_1_1SparseBitVector_html"><div class="ttname"><a href="classSVF_1_1SparseBitVector.html">SVF::SparseBitVector</a></div><div class="ttdef"><b>Definition:</b> <a href="SparseBitVector_8h_source.html#l00459">SparseBitVector.h:459</a></div></div>
444
444
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a39b973543acdcdc5493832cc9d0f586f"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a39b973543acdcdc5493832cc9d0f586f">SVF::ConstraintGraph::sccRepNode</a></div><div class="ttdeci">NodeID sccRepNode(NodeID id) const</div><div class="ttdoc">SCC rep/sub nodes methods.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00235">ConsG.h:235</a></div></div>
445
445
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a8cd7b6c6fd8b030b1421d95a086359f4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt::SVFStmtSetTy</a></div><div class="ttdeci">GenericNode&lt; SVFVar, SVFStmt &gt;::GEdgeSetTy SVFStmtSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
446
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00694">SVFIR.cpp:694</a></div></div>
446
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00671">SVFIR.cpp:671</a></div></div>
447
447
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a61ef90be6ccc01634e5440f22a0f746e"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a61ef90be6ccc01634e5440f22a0f746e">SVF::ConstraintGraph::getStoreCGEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy &amp; getStoreCGEdges()</div><div class="ttdoc">Get Store edges.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00211">ConsG.h:211</a></div></div>
448
448
  <div class="ttc" id="aclassSVF_1_1AndersenBase_html"><div class="ttname"><a href="classSVF_1_1AndersenBase.html">SVF::AndersenBase</a></div><div class="ttdef"><b>Definition:</b> <a href="Andersen_8h_source.html#l00055">Andersen.h:55</a></div></div>
449
449
  <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
package/SVF-doxygen/html/CFLAlias_8h_source.html CHANGED
@@ -151,76 +151,85 @@ $(function() {
151
151
  <div class="line"><a name="l00088"></a><span class="lineno"> 88</span>&#160; <span class="keywordflow">if</span>((*outedge)-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">getStartKind</a>())</div>
152
152
  <div class="line"><a name="l00089"></a><span class="lineno"> 89</span>&#160; {</div>
153
153
  <div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; <span class="comment">// Need to Find dst addr src</span></div>
154
- <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1CFLNode.html">CFLNode</a> *vNode = <a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>((*outedge)-&gt;getDstID());</div>
155
- <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">addPts</a>(ptr, <a class="code" href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">svfir</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">getBaseValVar</a>((*outedge)-&gt;getDstID()));</div>
156
- <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">auto</span> inEdge = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().begin(); inEdge!=vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().end(); inEdge++)</div>
157
- <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; {</div>
158
- <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; <span class="keywordflow">if</span>((*inEdge)-&gt;getEdgeKind() == 0)</div>
159
- <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
160
- <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <a class="code" href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">addPts</a>(ptr, (*inEdge)-&gt;getSrcID());</div>
161
- <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; }</div>
154
+ <div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1SVFVar.html">SVFVar</a> *vNode = <a class="code" href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">svfir</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>((*outedge)-&gt;getDstID());</div>
155
+ <div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> basevNodeID;</div>
156
+ <div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; <span class="comment">// Remove svfir-&gt;getBaseValVar, SVF IR api change</span></div>
157
+ <div class="line"><a name="l00094"></a><span class="lineno"> 94</span>&#160; <span class="keywordflow">if</span> (vNode-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">hasIncomingEdges</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>))</div>
158
+ <div class="line"><a name="l00095"></a><span class="lineno"> 95</span>&#160; {</div>
159
+ <div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; <a class="code" href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVFStmt::SVFStmtSetTy</a>&amp; geps = vNode-&gt;<a class="code" href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">getIncomingEdges</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVFStmt::Gep</a>);</div>
160
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <a class="code" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVFVar::iterator</a> it = geps.begin();</div>
161
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; basevNodeID = (*it)-&gt;getSrcID();</div>
162
162
  <div class="line"><a name="l00099"></a><span class="lineno"> 99</span>&#160; }</div>
163
- <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; }</div>
164
- <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; }</div>
165
- <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(ptr);</div>
166
- <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; }</div>
167
- <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; </div>
168
- <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; </div>
169
- <div class="line"><a name="l00108"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2"> 108</a></span>&#160; <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2">addCopyEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst)</div>
170
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; {</div>
171
- <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *edge = <a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">hasEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst), 1);</div>
172
- <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span> )</div>
173
- <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; {</div>
174
- <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
175
- <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; }</div>
176
- <div class="line"><a name="l00115"></a><span class="lineno"> 115</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> copyKind = <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<span class="stringliteral">&quot;copy&quot;</span>);</div>
177
- <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> copybarKind = <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<span class="stringliteral">&quot;copybar&quot;</span>);</div>
178
- <div class="line"><a name="l00117"></a><span class="lineno"> 117</span>&#160; <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst), copyKind));</div>
179
- <div class="line"><a name="l00118"></a><span class="lineno"> 118</span>&#160; <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src), copybarKind));</div>
180
- <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
181
- <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; }</div>
182
- <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; </div>
183
- <div class="line"><a name="l00123"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d"> 123</a></span>&#160; <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>&amp; <a class="code" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">getRevPts</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</div>
184
- <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; {</div>
185
- <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; abort(); <span class="comment">// to be implemented</span></div>
186
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; }</div>
187
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; </div>
188
- <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa">updateCallGraph</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a>&amp; callsites);</div>
163
+ <div class="line"><a name="l00100"></a><span class="lineno"> 100</span>&#160; <span class="keywordflow">else</span></div>
164
+ <div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160; basevNodeID = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>();</div>
165
+ <div class="line"><a name="l00102"></a><span class="lineno"> 102</span>&#160; <a class="code" href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">addPts</a>(ptr, basevNodeID);</div>
166
+ <div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160; <span class="keywordflow">for</span>(<span class="keyword">auto</span> inEdge = vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().begin(); inEdge!=vNode-&gt;<a class="code" href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">getInEdges</a>().end(); inEdge++)</div>
167
+ <div class="line"><a name="l00104"></a><span class="lineno"> 104</span>&#160; {</div>
168
+ <div class="line"><a name="l00105"></a><span class="lineno"> 105</span>&#160; <span class="keywordflow">if</span>((*inEdge)-&gt;getEdgeKind() == 0)</div>
169
+ <div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; {</div>
170
+ <div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <a class="code" href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">addPts</a>(ptr, (*inEdge)-&gt;getSrcID());</div>
171
+ <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; }</div>
172
+ <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
173
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; }</div>
174
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
175
+ <div class="line"><a name="l00112"></a><span class="lineno"> 112</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">getPts</a>(ptr);</div>
176
+ <div class="line"><a name="l00113"></a><span class="lineno"> 113</span>&#160; }</div>
177
+ <div class="line"><a name="l00114"></a><span class="lineno"> 114</span>&#160; </div>
178
+ <div class="line"><a name="l00116"></a><span class="lineno"> 116</span>&#160; </div>
179
+ <div class="line"><a name="l00118"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2"> 118</a></span>&#160; <span class="keyword">virtual</span> <span class="keyword">inline</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2">addCopyEdge</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> src, <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> dst)</div>
180
+ <div class="line"><a name="l00119"></a><span class="lineno"> 119</span>&#160; {</div>
181
+ <div class="line"><a name="l00120"></a><span class="lineno"> 120</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *edge = <a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50">hasEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst), 1);</div>
182
+ <div class="line"><a name="l00121"></a><span class="lineno"> 121</span>&#160; <span class="keywordflow">if</span> (edge != <span class="keyword">nullptr</span> )</div>
183
+ <div class="line"><a name="l00122"></a><span class="lineno"> 122</span>&#160; {</div>
184
+ <div class="line"><a name="l00123"></a><span class="lineno"> 123</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
185
+ <div class="line"><a name="l00124"></a><span class="lineno"> 124</span>&#160; }</div>
186
+ <div class="line"><a name="l00125"></a><span class="lineno"> 125</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> copyKind = <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<span class="stringliteral">&quot;copy&quot;</span>);</div>
187
+ <div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; <a class="code" href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">CFGrammar::Kind</a> copybarKind = <a class="code" href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">grammar</a>-&gt;<a class="code" href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">strToKind</a>(<span class="stringliteral">&quot;copybar&quot;</span>);</div>
188
+ <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst), copyKind));</div>
189
+ <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; <a class="code" href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">solver</a>-&gt;<a class="code" href="classSVF_1_1CFLSolver.html#aa6123d73f71b9148d7aafb2ec58bbb34">pushIntoWorklist</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1CFLGraph.html#a9eea8083dbeaf898948595b1d75cfee2">addCFLEdge</a>(<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(dst),<a class="code" href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">graph</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(src), copybarKind));</div>
190
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
191
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
189
192
  <div class="line"><a name="l00131"></a><span class="lineno"> 131</span>&#160; </div>
190
- <div class="line"><a name="l00133"></a><span class="lineno"> 133</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37">onTheFlyCallGraphSolve</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a>&amp; callsites, <a class="code" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">CallEdgeMap</a>&amp; newEdges);</div>
191
- <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; </div>
192
- <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#abfab36c0d5edbdfb94e617bed61ba875">connectCaller2CalleeParams</a>(<a class="code" href="classSVF_1_1CallSite.html">CallSite</a> cs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
193
- <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; </div>
194
- <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863">heapAllocatorViaIndCall</a>(<a class="code" href="classSVF_1_1CallSite.html">CallSite</a> cs);</div>
195
- <div class="line"><a name="l00139"></a><span class="lineno"> 139</span>&#160; </div>
196
- <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160;<span class="keyword">private</span>:</div>
197
- <div class="line"><a name="l00141"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05"> 141</a></span>&#160; <a class="code" href="classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a">CallSite2DummyValPN</a> <a class="code" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">callsite2DummyValPN</a>; </div>
198
- <div class="line"><a name="l00142"></a><span class="lineno"> 142</span>&#160;};</div>
199
- <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; </div>
200
- <div class="line"><a name="l00144"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRAlias.html"> 144</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1POCRAlias.html">POCRAlias</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a></div>
201
- <div class="line"><a name="l00145"></a><span class="lineno"> 145</span>&#160;{</div>
202
- <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160;<span class="keyword">public</span>:</div>
203
- <div class="line"><a name="l00147"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9"> 147</a></span>&#160; <a class="code" href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9">POCRAlias</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* ir) : <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a>(ir)</div>
204
- <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; {</div>
205
- <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; }</div>
206
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1POCRAlias.html#af77378c71bfa41d4cf4a354951da51c7">initializeSolver</a>();</div>
193
+ <div class="line"><a name="l00133"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d"> 133</a></span>&#160; <span class="keyword">virtual</span> <span class="keyword">const</span> <a class="code" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">NodeSet</a>&amp; <a class="code" href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">getRevPts</a>(<a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> nodeId)</div>
194
+ <div class="line"><a name="l00134"></a><span class="lineno"> 134</span>&#160; {</div>
195
+ <div class="line"><a name="l00136"></a><span class="lineno"> 136</span>&#160; abort(); <span class="comment">// to be implemented</span></div>
196
+ <div class="line"><a name="l00137"></a><span class="lineno"> 137</span>&#160; }</div>
197
+ <div class="line"><a name="l00138"></a><span class="lineno"> 138</span>&#160; </div>
198
+ <div class="line"><a name="l00140"></a><span class="lineno"> 140</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa">updateCallGraph</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a>&amp; callsites);</div>
199
+ <div class="line"><a name="l00141"></a><span class="lineno"> 141</span>&#160; </div>
200
+ <div class="line"><a name="l00143"></a><span class="lineno"> 143</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37">onTheFlyCallGraphSolve</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PointerAnalysis.html#ad95c842964e6ca46e51fb763fefec585">CallSiteToFunPtrMap</a>&amp; callsites, <a class="code" href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">CallEdgeMap</a>&amp; newEdges);</div>
201
+ <div class="line"><a name="l00144"></a><span class="lineno"> 144</span>&#160; </div>
202
+ <div class="line"><a name="l00146"></a><span class="lineno"> 146</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#abfab36c0d5edbdfb94e617bed61ba875">connectCaller2CalleeParams</a>(<a class="code" href="classSVF_1_1CallSite.html">CallSite</a> cs, <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFFunction.html">SVFFunction</a>* <a class="code" href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a>);</div>
203
+ <div class="line"><a name="l00147"></a><span class="lineno"> 147</span>&#160; </div>
204
+ <div class="line"><a name="l00148"></a><span class="lineno"> 148</span>&#160; <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863">heapAllocatorViaIndCall</a>(<a class="code" href="classSVF_1_1CallSite.html">CallSite</a> cs);</div>
205
+ <div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; </div>
206
+ <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160;<span class="keyword">private</span>:</div>
207
+ <div class="line"><a name="l00151"></a><span class="lineno"><a class="line" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05"> 151</a></span>&#160; <a class="code" href="classSVF_1_1CFLAlias.html#af8424cab679dae62320c6dec6253036a">CallSite2DummyValPN</a> <a class="code" href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">callsite2DummyValPN</a>; </div>
207
208
  <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160;};</div>
208
209
  <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; </div>
209
- <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybrid.html"> 154</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1POCRHybrid.html">POCRHybrid</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a></div>
210
+ <div class="line"><a name="l00154"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRAlias.html"> 154</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1POCRAlias.html">POCRAlias</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a></div>
210
211
  <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160;{</div>
211
212
  <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160;<span class="keyword">public</span>:</div>
212
- <div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115"> 157</a></span>&#160; <a class="code" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">POCRHybrid</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* ir) : <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a>(ir)</div>
213
+ <div class="line"><a name="l00157"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9"> 157</a></span>&#160; <a class="code" href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9">POCRAlias</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* ir) : <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a>(ir)</div>
213
214
  <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; {</div>
214
215
  <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; }</div>
215
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; </div>
216
- <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1POCRHybrid.html#a1f9148e4d82dfcfb8ceb713db70c3390">initializeSolver</a>();</div>
217
- <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160;};</div>
218
- <div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160;} <span class="comment">// End namespace SVF</span></div>
219
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; </div>
220
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLALIAS_H_*/</span><span class="preprocessor"></span></div>
216
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1POCRAlias.html#af77378c71bfa41d4cf4a354951da51c7">initializeSolver</a>();</div>
217
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160;};</div>
218
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; </div>
219
+ <div class="line"><a name="l00164"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybrid.html"> 164</a></span>&#160;<span class="keyword">class </span><a class="code" href="classSVF_1_1POCRHybrid.html">POCRHybrid</a> : <span class="keyword">public</span> <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a></div>
220
+ <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160;{</div>
221
+ <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160;<span class="keyword">public</span>:</div>
222
+ <div class="line"><a name="l00167"></a><span class="lineno"><a class="line" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115"> 167</a></span>&#160; <a class="code" href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">POCRHybrid</a>(<a class="code" href="classSVF_1_1SVFIR.html">SVFIR</a>* ir) : <a class="code" href="classSVF_1_1CFLAlias.html">CFLAlias</a>(ir)</div>
223
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; {</div>
224
+ <div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; }</div>
225
+ <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; </div>
226
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classSVF_1_1POCRHybrid.html#a1f9148e4d82dfcfb8ceb713db70c3390">initializeSolver</a>();</div>
227
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160;};</div>
228
+ <div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160;} <span class="comment">// End namespace SVF</span></div>
229
+ <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; </div>
230
+ <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160;<span class="preprocessor">#endif </span><span class="comment">/* INCLUDE_CFL_CFLALIAS_H_*/</span><span class="preprocessor"></span></div>
221
231
  </div><!-- fragment --></div><!-- contents -->
222
232
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a2810ec25dd95212dcc271bbc3e6e3e05"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a2810ec25dd95212dcc271bbc3e6e3e05">SVF::CFLAlias::initializeSolver</a></div><div class="ttdeci">virtual void initializeSolver()</div><div class="ttdoc">Initialize Solver.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00208">CFLAlias.cpp:208</a></div></div>
223
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5298f34143ec3a2e6bb74ebad668cbbc"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5298f34143ec3a2e6bb74ebad668cbbc">SVF::SVFIR::getBaseValVar</a></div><div class="ttdeci">NodeID getBaseValVar(NodeID nodeId)</div><div class="ttdoc">Base and Offset methods for Value and Object node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00519">SVFIR.cpp:519</a></div></div>
224
233
  <div class="ttc" id="anamespaceSVF_html_aedf0d6718ca176e0b9e17ab4b30729c6"><div class="ttname"><a href="namespaceSVF.html#aedf0d6718ca176e0b9e17ab4b30729c6">SVF::OrderedMap</a></div><div class="ttdeci">std::map&lt; Key, Value, Compare, Allocator &gt; OrderedMap</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00110">SVFType.h:110</a></div></div>
225
234
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html"><div class="ttname"><a href="classSVF_1_1CFLAlias.html">SVF::CFLAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00041">CFLAlias.h:41</a></div></div>
226
235
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a5b7d65e7e74d596d61a1aad75e53cf27"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a5b7d65e7e74d596d61a1aad75e53cf27">SVF::CFLAlias::solve</a></div><div class="ttdeci">virtual void solve()</div><div class="ttdoc">Solving CFL Reachability.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00228">CFLAlias.cpp:228</a></div></div>
@@ -233,12 +242,14 @@ $(function() {
233
242
  <div class="ttc" id="anamespaceSVF_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="BasicTypes_8h_source.html#l00066">BasicTypes.h:66</a></div></div>
234
243
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a9637bcb592d250b5556b242d2ffc88fa"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a9637bcb592d250b5556b242d2ffc88fa">SVF::CFLAlias::updateCallGraph</a></div><div class="ttdeci">virtual bool updateCallGraph(const CallSiteToFunPtrMap &amp;callsites)</div><div class="ttdoc">Update call graph for the input indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00172">CFLAlias.cpp:172</a></div></div>
235
244
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a40841c2b47cf690af5c13ba7662d0863"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a40841c2b47cf690af5c13ba7662d0863">SVF::CFLAlias::heapAllocatorViaIndCall</a></div><div class="ttdeci">void heapAllocatorViaIndCall(CallSite cs)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00144">CFLAlias.cpp:144</a></div></div>
236
- <div class="ttc" id="aclassSVF_1_1POCRAlias_html"><div class="ttname"><a href="classSVF_1_1POCRAlias.html">SVF::POCRAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00144">CFLAlias.h:144</a></div></div>
245
+ <div class="ttc" id="aclassSVF_1_1POCRAlias_html"><div class="ttname"><a href="classSVF_1_1POCRAlias.html">SVF::POCRAlias</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00154">CFLAlias.h:154</a></div></div>
237
246
  <div class="ttc" id="aclassSVF_1_1CFLBase_html_a8dd040c7078b7f1a61da76849c89a640"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8dd040c7078b7f1a61da76849c89a640">SVF::CFLBase::grammar</a></div><div class="ttdeci">CFGrammar * grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00112">CFLBase.h:112</a></div></div>
238
247
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html">SVF::PointerAnalysis</a></div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00057">PointerAnalysis.h:57</a></div></div>
239
248
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a25b38896aef06dad19532f7678291b37"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a25b38896aef06dad19532f7678291b37">SVF::CFLAlias::onTheFlyCallGraphSolve</a></div><div class="ttdeci">virtual void onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &amp;callsites, CallEdgeMap &amp;newEdges)</div><div class="ttdoc">On the fly call graph construction.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00039">CFLAlias.cpp:39</a></div></div>
240
249
  <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943afdd83ddff93d38902f07775cd36df239">SVF::NoAlias</a></div><div class="ttdeci">@ NoAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00614">SVFType.h:614</a></div></div>
250
+ <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a8cd7b6c6fd8b030b1421d95a086359f4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt::SVFStmtSetTy</a></div><div class="ttdeci">GenericNode&lt; SVFVar, SVFStmt &gt;::GEdgeSetTy SVFStmtSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
241
251
  <div class="ttc" id="aclassSVF_1_1CFLBase_html"><div class="ttname"><a href="classSVF_1_1CFLBase.html">SVF::CFLBase</a></div><div class="ttdoc">CFL Client Base Class.</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00049">CFLBase.h:49</a></div></div>
252
+ <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
242
253
  <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943aef15fd8989d8dd9576b3fbb2aabc118f">SVF::MayAlias</a></div><div class="ttdeci">@ MayAlias</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00615">SVFType.h:615</a></div></div>
243
254
  <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a685fb852b2cd3767258225aa3b87caa4"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a685fb852b2cd3767258225aa3b87caa4">SVF::CFLGraph::getStartKind</a></div><div class="ttdeci">Kind getStartKind() const</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00037">CFLGraph.cpp:37</a></div></div>
244
255
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_aef129edd61d7f15947c6539f8d0c36a0"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#aef129edd61d7f15947c6539f8d0c36a0">SVF::CFLAlias::initialize</a></div><div class="ttdeci">virtual void initialize()</div><div class="ttdoc">Initialize the grammar, graph, solver.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00188">CFLAlias.cpp:188</a></div></div>
@@ -247,7 +258,8 @@ $(function() {
247
258
  <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_af68485a2208553579f9c2e4b2cb20cff"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#af68485a2208553579f9c2e4b2cb20cff">SVF::BVDataPTAImpl::addPts</a></div><div class="ttdeci">virtual bool addPts(NodeID id, NodeID ptd)</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00121">PointerAnalysisImpl.h:121</a></div></div>
248
259
  <div class="ttc" id="aclassSVF_1_1POCRAlias_html_af77378c71bfa41d4cf4a354951da51c7"><div class="ttname"><a href="classSVF_1_1POCRAlias.html#af77378c71bfa41d4cf4a354951da51c7">SVF::POCRAlias::initializeSolver</a></div><div class="ttdeci">virtual void initializeSolver()</div><div class="ttdoc">Initialize POCR Solver.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00247">CFLAlias.cpp:247</a></div></div>
249
260
  <div class="ttc" id="aCFLStat_8h_html"><div class="ttname"><a href="CFLStat_8h.html">CFLStat.h</a></div></div>
250
- <div class="ttc" id="aclassSVF_1_1CFLAlias_html_abcb07a089b7b1036d070c451a81cef5d"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias::getRevPts</a></div><div class="ttdeci">virtual const NodeSet &amp; getRevPts(NodeID nodeId)</div><div class="ttdoc">Given an object, get all the nodes having whose pointsto contains the object.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00123">CFLAlias.h:123</a></div></div>
261
+ <div class="ttc" id="aclassSVF_1_1SVFVar_html_a747b2c92c81d32fcd357e80d2d8fe7cc"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a747b2c92c81d32fcd357e80d2d8fe7cc">SVF::SVFVar::hasIncomingEdges</a></div><div class="ttdeci">bool hasIncomingEdges(SVFStmt::PEDGEK kind) const</div><div class="ttdoc">Has incoming SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00158">SVFVariables.h:158</a></div></div>
262
+ <div class="ttc" id="aclassSVF_1_1CFLAlias_html_abcb07a089b7b1036d070c451a81cef5d"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#abcb07a089b7b1036d070c451a81cef5d">SVF::CFLAlias::getRevPts</a></div><div class="ttdeci">virtual const NodeSet &amp; getRevPts(NodeID nodeId)</div><div class="ttdoc">Given an object, get all the nodes having whose pointsto contains the object.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00133">CFLAlias.h:133</a></div></div>
251
263
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a35bd5f0fb2c146199e9f1aa6a19b4062"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a35bd5f0fb2c146199e9f1aa6a19b4062">SVF::PointerAnalysis::CallEdgeMap</a></div><div class="ttdeci">OrderedMap&lt; const CallICFGNode *, FunctionSet &gt; CallEdgeMap</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00105">PointerAnalysis.h:105</a></div></div>
252
264
  <div class="ttc" id="aclassSVF_1_1SVFFunction_html"><div class="ttname"><a href="classSVF_1_1SVFFunction.html">SVF::SVFFunction</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00297">SVFValue.h:297</a></div></div>
253
265
  <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a0723f25be2a163b21f478cddca5293d2"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a0723f25be2a163b21f478cddca5293d2">SVF::CFLGraph::startKind</a></div><div class="ttdeci">Kind startKind</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00161">CFLGraph.h:161</a></div></div>
@@ -255,15 +267,16 @@ $(function() {
255
267
  <div class="ttc" id="aclassSVF_1_1CFLBase_html_a34c3a3eec2d7d34ef78b5031d8844b17"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a34c3a3eec2d7d34ef78b5031d8844b17">SVF::CFLBase::solver</a></div><div class="ttdeci">CFLSolver * solver</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00113">CFLBase.h:113</a></div></div>
256
268
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_abfab36c0d5edbdfb94e617bed61ba875"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#abfab36c0d5edbdfb94e617bed61ba875">SVF::CFLAlias::connectCaller2CalleeParams</a></div><div class="ttdeci">void connectCaller2CalleeParams(CallSite cs, const SVFFunction *F)</div><div class="ttdoc">Connect formal and actual parameters for indirect callsites.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8cpp_source.html#l00061">CFLAlias.cpp:61</a></div></div>
257
269
  <div class="ttc" id="anamespaceSVF_html_a61c01e2e687ab3a001fb806737583943"><div class="ttname"><a href="namespaceSVF.html#a61c01e2e687ab3a001fb806737583943">SVF::AliasResult</a></div><div class="ttdeci">AliasResult</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00612">SVFType.h:612</a></div></div>
270
+ <div class="ttc" id="aclassSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
258
271
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_ab40891c44b83103fc240c1e7c7c60855"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias::alias</a></div><div class="ttdeci">virtual AliasResult alias(const SVFValue *v1, const SVFValue *v2)</div><div class="ttdoc">Interface exposed to users of our Alias analysis, given Value infos.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00065">CFLAlias.h:65</a></div></div>
259
272
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
260
273
  <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a7aef5c42fbd8a62dd4a541cc0e8e8187"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a7aef5c42fbd8a62dd4a541cc0e8e8187">SVF::GrammarBase::Kind</a></div><div class="ttdeci">u32_t Kind</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8h_source.html#l00039">CFGrammar.h:39</a></div></div>
261
274
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_aae1dbf8d8c413eb7812ca428edfbae48"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#aae1dbf8d8c413eb7812ca428edfbae48">SVF::CFLAlias::CFLAlias</a></div><div class="ttdeci">CFLAlias(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00047">CFLAlias.h:47</a></div></div>
262
- <div class="ttc" id="aclassSVF_1_1POCRHybrid_html"><div class="ttname"><a href="classSVF_1_1POCRHybrid.html">SVF::POCRHybrid</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00154">CFLAlias.h:154</a></div></div>
263
- <div class="ttc" id="aclassSVF_1_1POCRAlias_html_a5931bb7bb7c0be1138310f8da9548bb9"><div class="ttname"><a href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9">SVF::POCRAlias::POCRAlias</a></div><div class="ttdeci">POCRAlias(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00147">CFLAlias.h:147</a></div></div>
275
+ <div class="ttc" id="aclassSVF_1_1POCRHybrid_html"><div class="ttname"><a href="classSVF_1_1POCRHybrid.html">SVF::POCRHybrid</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00164">CFLAlias.h:164</a></div></div>
276
+ <div class="ttc" id="aclassSVF_1_1POCRAlias_html_a5931bb7bb7c0be1138310f8da9548bb9"><div class="ttname"><a href="classSVF_1_1POCRAlias.html#a5931bb7bb7c0be1138310f8da9548bb9">SVF::POCRAlias::POCRAlias</a></div><div class="ttdeci">POCRAlias(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00157">CFLAlias.h:157</a></div></div>
264
277
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_afc8b5f86d7795b6a0dfc0687d942d79b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#afc8b5f86d7795b6a0dfc0687d942d79b">SVF::GenericNode::getInEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getInEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00197">GenericGraph.h:197</a></div></div>
265
- <div class="ttc" id="aclassSVF_1_1POCRHybrid_html_ac9395a383fc464100cee02a489814115"><div class="ttname"><a href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">SVF::POCRHybrid::POCRHybrid</a></div><div class="ttdeci">POCRHybrid(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00157">CFLAlias.h:157</a></div></div>
266
- <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a1fb9134ce0a8e901bb86c4a1954b17f2"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2">SVF::CFLAlias::addCopyEdge</a></div><div class="ttdeci">virtual bool addCopyEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Need Original one for virtual table.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00108">CFLAlias.h:108</a></div></div>
278
+ <div class="ttc" id="aclassSVF_1_1POCRHybrid_html_ac9395a383fc464100cee02a489814115"><div class="ttname"><a href="classSVF_1_1POCRHybrid.html#ac9395a383fc464100cee02a489814115">SVF::POCRHybrid::POCRHybrid</a></div><div class="ttdeci">POCRHybrid(SVFIR *ir)</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00167">CFLAlias.h:167</a></div></div>
279
+ <div class="ttc" id="aclassSVF_1_1CFLAlias_html_a1fb9134ce0a8e901bb86c4a1954b17f2"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#a1fb9134ce0a8e901bb86c4a1954b17f2">SVF::CFLAlias::addCopyEdge</a></div><div class="ttdeci">virtual bool addCopyEdge(NodeID src, NodeID dst)</div><div class="ttdoc">Need Original one for virtual table.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00118">CFLAlias.h:118</a></div></div>
267
280
  <div class="ttc" id="aclassSVF_1_1CFLAlias_html_acbbacca91cb85f67523aa8f84f6fe629"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#acbbacca91cb85f67523aa8f84f6fe629">SVF::CFLAlias::getCFLPts</a></div><div class="ttdeci">virtual const PointsTo &amp; getCFLPts(NodeID ptr)</div><div class="ttdoc">Get points-to targets of a pointer. V In this context.</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00082">CFLAlias.h:82</a></div></div>
268
281
  <div class="ttc" id="aclassSVF_1_1CallSite_html"><div class="ttname"><a href="classSVF_1_1CallSite.html">SVF::CallSite</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01113">SVFValue.h:1113</a></div></div>
269
282
  <div class="ttc" id="aclassSVF_1_1GrammarBase_html_a3aae4b70e2ee0238808a2126265a2e24"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#a3aae4b70e2ee0238808a2126265a2e24">SVF::GrammarBase::strToKind</a></div><div class="ttdeci">Kind strToKind(std::string str) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00055">CFGrammar.cpp:55</a></div></div>
@@ -272,14 +285,17 @@ $(function() {
272
285
  <div class="ttc" id="aclassSVF_1_1SVFIR_html"><div class="ttname"><a href="classSVF_1_1SVFIR.html">SVF::SVFIR</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00043">SVFIR.h:43</a></div></div>
273
286
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85a164c6de3baace1c63db75a228a5816bb">SVF::PointerAnalysis::CFLFICI_WPA</a></div><div class="ttdeci">@ CFLFICI_WPA</div><div class="ttdoc">Flow-, context-, insensitive CFL-reachability-based analysis.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00077">PointerAnalysis.h:77</a></div></div>
274
287
  <div class="ttc" id="aSVFFileSystem_8cpp_html_ab25baccb41e3b67ef0bfdaa1336c9649"><div class="ttname"><a href="SVFFileSystem_8cpp.html#ab25baccb41e3b67ef0bfdaa1336c9649">F</a></div><div class="ttdeci">#define F(f)</div></div>
275
- <div class="ttc" id="aclassSVF_1_1CFLAlias_html_ae879c990852862e5ed4e4e7da76dda05"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">SVF::CFLAlias::callsite2DummyValPN</a></div><div class="ttdeci">CallSite2DummyValPN callsite2DummyValPN</div><div class="ttdoc">Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocat...</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00141">CFLAlias.h:141</a></div></div>
288
+ <div class="ttc" id="aclassSVF_1_1CFLAlias_html_ae879c990852862e5ed4e4e7da76dda05"><div class="ttname"><a href="classSVF_1_1CFLAlias.html#ae879c990852862e5ed4e4e7da76dda05">SVF::CFLAlias::callsite2DummyValPN</a></div><div class="ttdeci">CallSite2DummyValPN callsite2DummyValPN</div><div class="ttdoc">Map an instruction to a dummy obj which created at an indirect callsite, which invokes a heap allocat...</div><div class="ttdef"><b>Definition:</b> <a href="CFLAlias_8h_source.html#l00151">CFLAlias.h:151</a></div></div>
289
+ <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2f5471985dfe62bc9ded830a693ab153"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">SVF::GenericNode::iterator</a></div><div class="ttdeci">GEdgeSetTy::iterator iterator</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00154">GenericGraph.h:154</a></div></div>
276
290
  <div class="ttc" id="anamespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00114">SVFType.h:114</a></div></div>
277
291
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
278
292
  <div class="ttc" id="aclassSVF_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#l00103">PointerAnalysis.h:103</a></div></div>
279
293
  <div class="ttc" id="aclassSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00076">CFLGraph.h:76</a></div></div>
294
+ <div class="ttc" id="aclassSVF_1_1SVFVar_html_a76964ef7d4842a469d7720881499d8a6"><div class="ttname"><a href="classSVF_1_1SVFVar.html#a76964ef7d4842a469d7720881499d8a6">SVF::SVFVar::getIncomingEdges</a></div><div class="ttdeci">SVFStmt::SVFStmtSetTy &amp; getIncomingEdges(SVFStmt::PEDGEK kind)</div><div class="ttdoc">Get incoming SVFIR statements (edges)</div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00148">SVFVariables.h:148</a></div></div>
280
295
  <div class="ttc" id="aclassSVF_1_1BVDataPTAImpl_html_ac9897a09cad8a99169f2da2116807b1b"><div class="ttname"><a href="classSVF_1_1BVDataPTAImpl.html#ac9897a09cad8a99169f2da2116807b1b">SVF::BVDataPTAImpl::getPts</a></div><div class="ttdeci">const PointsTo &amp; getPts(NodeID id) override</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysisImpl_8h_source.html#l00088">PointerAnalysisImpl.h:88</a></div></div>
281
296
  <div class="ttc" id="aclassSVF_1_1CFLBase_html_a8101683062b9a71c0b2309cbdfb7b26f"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f">SVF::CFLBase::graph</a></div><div class="ttdeci">CFLGraph * graph</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00110">CFLBase.h:110</a></div></div>
282
297
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
298
+ <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a20d960c19118d1ed319e0dbea94405e8">SVF::SVFStmt::Gep</a></div><div class="ttdeci">@ Gep</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00069">SVFStatements.h:69</a></div></div>
283
299
  <div class="ttc" id="aclassSVF_1_1CFLBase_html_a9e6cbab31612da4a1f8f660d1fabc4c0"><div class="ttname"><a href="classSVF_1_1CFLBase.html#a9e6cbab31612da4a1f8f660d1fabc4c0">SVF::CFLBase::svfir</a></div><div class="ttdeci">SVFIR * svfir</div><div class="ttdef"><b>Definition:</b> <a href="CFLBase_8h_source.html#l00109">CFLBase.h:109</a></div></div>
284
300
  <div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
285
301
  <!-- start footer part -->
package/SVF-doxygen/html/CFLGraphBuilder_8cpp_source.html CHANGED
@@ -672,7 +672,7 @@ $(function() {
672
672
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
673
673
  <div class="ttc" id="aclassSVF_1_1CFLNode_html"><div class="ttname"><a href="classSVF_1_1CFLNode.html">SVF::CFLNode</a></div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00076">CFLGraph.h:76</a></div></div>
674
674
  <div class="ttc" id="aclassSVF_1_1CFLGraphBuilder_html_a01e5d31c43d40f8a518aa8d371b085d8"><div class="ttname"><a href="classSVF_1_1CFLGraphBuilder.html#a01e5d31c43d40f8a518aa8d371b085d8">SVF::CFLGraphBuilder::buildlabelToKindMap</a></div><div class="ttdeci">void buildlabelToKindMap(GrammarBase *grammar)</div><div class="ttdoc">build label and kind connect from the grammar</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraphBuilder_8cpp_source.html#l00054">CFLGraphBuilder.cpp:54</a></div></div>
675
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa7e98cd2fd599aedefa4c2e6fb659da0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00462">SVFIR.h:462</a></div></div>
675
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa7e98cd2fd599aedefa4c2e6fb659da0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa7e98cd2fd599aedefa4c2e6fb659da0">SVF::SVFIR::addDummyValNode</a></div><div class="ttdeci">NodeID addDummyValNode()</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00461">SVFIR.h:461</a></div></div>
676
676
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ae18227f257c9881541b84ca186680dfd"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ae18227f257c9881541b84ca186680dfd">SVF::SVFUtil::split</a></div><div class="ttdeci">std::vector&lt; std::string &gt; split(const std::string &amp;s, char separator)</div><div class="ttdoc">Split into two substrings around the first occurrence of a separator string.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00218">SVFUtil.h:218</a></div></div>
677
677
  <div class="ttc" id="aclassSVF_1_1GrammarBase_html_acf42a1921b3af3fbb3d358736518f7b3"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#acf42a1921b3af3fbb3d358736518f7b3">SVF::GrammarBase::kindToStr</a></div><div class="ttdeci">std::string kindToStr(Kind kind) const</div><div class="ttdef"><b>Definition:</b> <a href="CFGrammar_8cpp_source.html#l00103">CFGrammar.cpp:103</a></div></div>
678
678
  <div class="ttc" id="aSVFValue_8h_html"><div class="ttname"><a href="SVFValue_8h.html">SVFValue.h</a></div></div>
@@ -682,7 +682,7 @@ $(function() {
682
682
  <div class="ttc" id="aclassSVF_1_1CFLGraph_html_a58b944d0f2c11868e17223acdb35f82c"><div class="ttname"><a href="classSVF_1_1CFLGraph.html#a58b944d0f2c11868e17223acdb35f82c">SVF::CFLGraph::addCFLNode</a></div><div class="ttdeci">virtual void addCFLNode(NodeID id, CFLNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8cpp_source.html#l00042">CFLGraph.cpp:42</a></div></div>
683
683
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
684
684
  <div class="ttc" id="aclassSVF_1_1GenericNode_html_a2d9cd758d6f8c5189d9b90b74f43e009"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009">SVF::GenericNode::getOutEdges</a></div><div class="ttdeci">const GEdgeSetTy &amp; getOutEdges() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00193">GenericGraph.h:193</a></div></div>
685
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00447">SVFIR.h:447</a></div></div>
685
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00446">SVFIR.h:446</a></div></div>
686
686
  <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a156ae6a8b3a033f505c18c6b162e7cf5ac8124172b3f5f7fc94e895f6b192b668">SVF::VFGEdge::RetIndVF</a></div><div class="ttdeci">@ RetIndVF</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00058">VFGEdge.h:58</a></div></div>
687
687
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html"><div class="ttname"><a href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00344">GenericGraph.h:344</a></div></div>
688
688
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
package/SVF-doxygen/html/ConsG_8h_source.html CHANGED
@@ -477,7 +477,7 @@ $(function() {
477
477
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_afb849d8f3425ff36497d062ecefd2cc1"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#afb849d8f3425ff36497d062ecefd2cc1">SVF::ConstraintGraph::getLoadCGEdges</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy &amp; getLoadCGEdges()</div><div class="ttdoc">Get Load edges.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00206">ConsG.h:206</a></div></div>
478
478
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_afd200919cf8742bb62bb0bde279a558a"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#afd200919cf8742bb62bb0bde279a558a">SVF::ConstraintGraph::getAllFieldsObjVars</a></div><div class="ttdeci">NodeBS &amp; getAllFieldsObjVars(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00316">ConsG.h:316</a></div></div>
479
479
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a03f9fe8ae7094c39937f47f422276724"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a03f9fe8ae7094c39937f47f422276724">SVF::ConstraintGraph::setPWCNode</a></div><div class="ttdeci">void setPWCNode(NodeID nodeId)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00354">ConsG.h:354</a></div></div>
480
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a77a6bb9335aa12d29825af1b5ea07e08"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR::getBaseObjVar</a></div><div class="ttdeci">NodeID getBaseObjVar(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00443">SVFIR.h:443</a></div></div>
480
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_a77a6bb9335aa12d29825af1b5ea07e08"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a77a6bb9335aa12d29825af1b5ea07e08">SVF::SVFIR::getBaseObjVar</a></div><div class="ttdeci">NodeID getBaseObjVar(NodeID id) const</div><div class="ttdoc">Base and Offset methods for Value and Object node.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00442">SVFIR.h:442</a></div></div>
481
481
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a1be3ebb84b3d334daf98f7e6f5b82256"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a1be3ebb84b3d334daf98f7e6f5b82256">SVF::ConstraintGraph::directEdgeSet</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy directEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00062">ConsG.h:62</a></div></div>
482
482
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
483
483
  <div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
@@ -550,7 +550,7 @@ $(function() {
550
550
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a5bbd6df25027d26911f5d8d6a10881dc"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph::AddrCGEdgeSet</a></div><div class="ttdeci">ConstraintEdge::ConstraintEdgeSetTy AddrCGEdgeSet</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00061">ConsG.h:61</a></div></div>
551
551
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
552
552
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_af91f1027cd5de591ae40865f691c5f60"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph::nodeToSubsMap</a></div><div class="ttdeci">NodeToSubsMap nodeToSubsMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00057">ConsG.h:57</a></div></div>
553
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00447">SVFIR.h:447</a></div></div>
553
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00446">SVFIR.h:446</a></div></div>
554
554
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_acd1f0ce7936ced59bfaf04956a0f8214"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#acd1f0ce7936ced59bfaf04956a0f8214">SVF::ConstraintGraph::getRep</a></div><div class="ttdeci">NodeID getRep(NodeID node)</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00264">ConsG.h:264</a></div></div>
555
555
  <div class="ttc" id="aclassSVF_1_1ConstraintGraph_html_a171331edb83de1fd118eebb3a0fa1662"><div class="ttname"><a href="classSVF_1_1ConstraintGraph.html#a171331edb83de1fd118eebb3a0fa1662">SVF::ConstraintGraph::~ConstraintGraph</a></div><div class="ttdeci">virtual ~ConstraintGraph()</div><div class="ttdoc">Destructor.</div><div class="ttdef"><b>Definition:</b> <a href="ConsG_8h_source.html#l00102">ConsG.h:102</a></div></div>
556
556
  <div class="ttc" id="aclassSVF_1_1VariantGepCGEdge_html"><div class="ttname"><a href="classSVF_1_1VariantGepCGEdge.html">SVF::VariantGepCGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="ConsGEdge_8h_source.html#l00319">ConsGEdge.h:319</a></div></div>
package/SVF-doxygen/html/DDAClient_8cpp_source.html CHANGED
@@ -315,7 +315,7 @@ $(function() {
315
315
  <div class="ttc" id="aSVFType_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFType_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00576">SVFType.h:576</a></div></div>
316
316
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a8cd7b6c6fd8b030b1421d95a086359f4"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a8cd7b6c6fd8b030b1421d95a086359f4">SVF::SVFStmt::SVFStmtSetTy</a></div><div class="ttdeci">GenericNode&lt; SVFVar, SVFStmt &gt;::GEdgeSetTy SVFStmtSetTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00217">SVFStatements.h:217</a></div></div>
317
317
  <div class="ttc" id="aclassSVF_1_1FunptrDDAClient_html_ac158889bf01d3fcb4f58c44577e398ab"><div class="ttname"><a href="classSVF_1_1FunptrDDAClient.html#ac158889bf01d3fcb4f58c44577e398ab">SVF::FunptrDDAClient::collectCandidateQueries</a></div><div class="ttdeci">virtual OrderedNodeSet &amp; collectCandidateQueries(SVFIR *p)</div><div class="ttdoc">Only collect function pointers as query candidates.</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00078">DDAClient.cpp:78</a></div></div>
318
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00694">SVFIR.cpp:694</a></div></div>
318
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00671">SVFIR.cpp:671</a></div></div>
319
319
  <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
320
320
  <div class="ttc" id="aclassSVF_1_1AliasDDAClient_html_a66e5ae6a814c752615b63c6496b9e916"><div class="ttname"><a href="classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916">SVF::AliasDDAClient::performStat</a></div><div class="ttdeci">virtual void performStat(PointerAnalysis *pta)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00207">DDAClient.cpp:207</a></div></div>
321
321
  <div class="ttc" id="aclassSVF_1_1CallSite_html_a9b04a0f24be915a6e124106060225a3d"><div class="ttname"><a href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite::getVtablePtr</a></div><div class="ttdeci">const SVFValue * getVtablePtr() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01176">SVFValue.h:1176</a></div></div>
package/SVF-doxygen/html/DDAClient_8h_source.html CHANGED
@@ -245,7 +245,7 @@ $(function() {
245
245
  <div class="ttc" id="aclassSVF_1_1FunptrDDAClient_html_ac158889bf01d3fcb4f58c44577e398ab"><div class="ttname"><a href="classSVF_1_1FunptrDDAClient.html#ac158889bf01d3fcb4f58c44577e398ab">SVF::FunptrDDAClient::collectCandidateQueries</a></div><div class="ttdeci">virtual OrderedNodeSet &amp; collectCandidateQueries(SVFIR *p)</div><div class="ttdoc">Only collect function pointers as query candidates.</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00078">DDAClient.cpp:78</a></div></div>
246
246
  <div class="ttc" id="aclassSVF_1_1DDAClient_html_a3d0f732e284f3237287b375582c0aa88"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a3d0f732e284f3237287b375582c0aa88">SVF::DDAClient::setQuery</a></div><div class="ttdeci">void setQuery(NodeID ptr)</div><div class="ttdoc">Set pointer to be queried by DDA analysis.</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00089">DDAClient.h:89</a></div></div>
247
247
  <div class="ttc" id="aclassSVF_1_1FunptrDDAClient_html"><div class="ttname"><a href="classSVF_1_1FunptrDDAClient.html">SVF::FunptrDDAClient</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00125">DDAClient.h:125</a></div></div>
248
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00694">SVFIR.cpp:694</a></div></div>
248
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00671">SVFIR.cpp:671</a></div></div>
249
249
  <div class="ttc" id="aclassSVF_1_1AliasDDAClient_html_a66e5ae6a814c752615b63c6496b9e916"><div class="ttname"><a href="classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916">SVF::AliasDDAClient::performStat</a></div><div class="ttdeci">virtual void performStat(PointerAnalysis *pta)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8cpp_source.html#l00207">DDAClient.cpp:207</a></div></div>
250
250
  <div class="ttc" id="aclassSVF_1_1FunptrDDAClient_html_a4bfdbce441544250dce033b8fb38fc7a"><div class="ttname"><a href="classSVF_1_1FunptrDDAClient.html#a4bfdbce441544250dce033b8fb38fc7a">SVF::FunptrDDAClient::~FunptrDDAClient</a></div><div class="ttdeci">~FunptrDDAClient()</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00132">DDAClient.h:132</a></div></div>
251
251
  <div class="ttc" id="aclassSVF_1_1AliasDDAClient_html_a123e98572cf077ffdf7116ac5f5fc5e4"><div class="ttname"><a href="classSVF_1_1AliasDDAClient.html#a123e98572cf077ffdf7116ac5f5fc5e4">SVF::AliasDDAClient::vtableToCallSiteMap</a></div><div class="ttdeci">VTablePtrToCallSiteMap vtableToCallSiteMap</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00160">DDAClient.h:160</a></div></div>
package/SVF-doxygen/html/DDAPass_8cpp_source.html CHANGED
@@ -390,7 +390,7 @@ $(function() {
390
390
  <div class="ttc" id="aclassSVF_1_1Options_html_a782d52d7e8d423c2bef27b34d518ffd9"><div class="ttname"><a href="classSVF_1_1Options.html#a782d52d7e8d423c2bef27b34d518ffd9">SVF::Options::WPANum</a></div><div class="ttdeci">static const Option&lt; bool &gt; WPANum</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00092">Options.h:92</a></div></div>
391
391
  <div class="ttc" id="aclassSVF_1_1DDAPass_html_ac480fe602e5e2d36ec4815ce50aeaad3"><div class="ttname"><a href="classSVF_1_1DDAPass.html#ac480fe602e5e2d36ec4815ce50aeaad3">SVF::DDAPass::runPointerAnalysis</a></div><div class="ttdeci">void runPointerAnalysis(SVFIR *module, u32_t kind)</div><div class="ttdoc">Create pointer analysis according to specified kind and analyze the module.</div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00108">DDAPass.cpp:108</a></div></div>
392
392
  <div class="ttc" id="aclassSVF_1_1FunptrDDAClient_html"><div class="ttname"><a href="classSVF_1_1FunptrDDAClient.html">SVF::FunptrDDAClient</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00125">DDAClient.h:125</a></div></div>
393
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00694">SVFIR.cpp:694</a></div></div>
393
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00671">SVFIR.cpp:671</a></div></div>
394
394
  <div class="ttc" id="aclassSVF_1_1VFGEdge_html_a3937eef974c3953f1d1e7d64c5a24ff3"><div class="ttname"><a href="classSVF_1_1VFGEdge.html#a3937eef974c3953f1d1e7d64c5a24ff3">SVF::VFGEdge::isRetVFGEdge</a></div><div class="ttdeci">bool isRetVFGEdge() const</div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00088">VFGEdge.h:88</a></div></div>
395
395
  <div class="ttc" id="aclassSVF_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#l00180">GenericGraph.h:180</a></div></div>
396
396
  <div class="ttc" id="aclassSVF_1_1DDAPass_html_af03661604ba924d1c3fd34a231ba87a6"><div class="ttname"><a href="classSVF_1_1DDAPass.html#af03661604ba924d1c3fd34a231ba87a6">SVF::DDAPass::collectCxtInsenEdgeForVFCycle</a></div><div class="ttdeci">void collectCxtInsenEdgeForVFCycle(PointerAnalysis *pta, const SVFG *svfg, const SVFGSCC *svfgSCC, SVFGEdgeSet &amp;insensitveEdges)</div><div class="ttdef"><b>Definition:</b> <a href="DDAPass_8cpp_source.html#l00219">DDAPass.cpp:219</a></div></div>
package/SVF-doxygen/html/DDAVFSolver_8h_source.html CHANGED
@@ -981,7 +981,7 @@ $(function() {
981
981
  <div class="ttc" id="aclassSVF_1_1ActualParmVFGNode_html"><div class="ttname"><a href="classSVF_1_1ActualParmVFGNode.html">SVF::ActualParmVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00846">VFGNode.h:846</a></div></div>
982
982
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
983
983
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_ae7949e141978474f3b6cb510bacafa37"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#ae7949e141978474f3b6cb510bacafa37">SVF::DDAVFSolver::unionDDAPts</a></div><div class="ttdeci">virtual bool unionDDAPts(DPIm dpm, const CPtSet &amp;targetPts)</div><div class="ttdoc">Union pts.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00107">DDAVFSolver.h:107</a></div></div>
984
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00447">SVFIR.h:447</a></div></div>
984
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00446">SVFIR.h:446</a></div></div>
985
985
  <div class="ttc" id="aclassSVF_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#l00101">GenericGraph.h:101</a></div></div>
986
986
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_adbd209b4a2327b2b068fbb56e12042f7"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#adbd209b4a2327b2b068fbb56e12042f7">SVF::DDAVFSolver::backtraceToStoreSrc</a></div><div class="ttdeci">void backtraceToStoreSrc(CPtSet &amp;pts, const DPIm &amp;oldDpm)</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00413">DDAVFSolver.h:413</a></div></div>
987
987
  <div class="ttc" id="aAndersen_8h_html"><div class="ttname"><a href="Andersen_8h.html">Andersen.h</a></div></div>
package/SVF-doxygen/html/FlowSensitiveStat_8cpp_source.html CHANGED
@@ -618,7 +618,7 @@ $(function() {
618
618
  <div class="ttc" id="aclassSVF_1_1StoreVFGNode_html"><div class="ttname"><a href="classSVF_1_1StoreVFGNode.html">SVF::StoreVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00240">VFGNode.h:240</a></div></div>
619
619
  <div class="ttc" id="aclassSVF_1_1MemObj_html"><div class="ttname"><a href="classSVF_1_1MemObj.html">SVF::MemObj</a></div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00380">SymbolTableInfo.h:380</a></div></div>
620
620
  <div class="ttc" id="aclassSVF_1_1FlowSensitiveStat_html_a1b605e86f33e79f7d7cd88dc54f2c19e"><div class="ttname"><a href="classSVF_1_1FlowSensitiveStat.html#a1b605e86f33e79f7d7cd88dc54f2c19e">SVF::FlowSensitiveStat::PtsMap</a></div><div class="ttdeci">FlowSensitive::PtsMap PtsMap</div><div class="ttdef"><b>Definition:</b> <a href="WPAStat_8h_source.html#l00089">WPAStat.h:89</a></div></div>
621
- <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00447">SVFIR.h:447</a></div></div>
621
+ <div class="ttc" id="aclassSVF_1_1SVFIR_html_af76a55c3b8255a81a566bdce35ffc749"><div class="ttname"><a href="classSVF_1_1SVFIR.html#af76a55c3b8255a81a566bdce35ffc749">SVF::SVFIR::getBaseObj</a></div><div class="ttdeci">const MemObj * getBaseObj(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00446">SVFIR.h:446</a></div></div>
622
622
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">SVF::SVFStmt::Load</a></div><div class="ttdeci">@ Load</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00066">SVFStatements.h:66</a></div></div>
623
623
  <div class="ttc" id="aclassSVF_1_1PointsTo_html"><div class="ttname"><a href="classSVF_1_1PointsTo.html">SVF::PointsTo</a></div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00028">PointsTo.h:28</a></div></div>
624
624
  <div class="ttc" id="anamespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>