svf-tools 1.0.811 → 1.0.813

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 (341) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +159 -136
  2. package/SVF-doxygen/html/AccessPath_8h_source.html +45 -42
  3. package/SVF-doxygen/html/ConsExeState_8cpp_source.html +21 -21
  4. package/SVF-doxygen/html/ConsExeState_8h_source.html +384 -385
  5. package/SVF-doxygen/html/ConsG_8cpp_source.html +8 -8
  6. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/ExeState_8cpp_source.html +24 -24
  8. package/SVF-doxygen/html/ExeState_8h_source.html +227 -217
  9. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +1 -1
  11. package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
  12. package/SVF-doxygen/html/ICFG_8cpp_source.html +2 -2
  13. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/IntervalExeState_8cpp_source.html +8 -8
  15. package/SVF-doxygen/html/IntervalExeState_8h_source.html +412 -408
  16. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/RelationSolver_8cpp_source.html +3 -3
  18. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +13 -13
  19. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +11 -11
  20. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +273 -272
  21. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +28 -28
  22. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +980 -973
  23. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +169 -169
  24. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +33 -33
  25. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +4 -4
  26. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +11 -11
  27. package/SVF-doxygen/html/SVFIR_8cpp_source.html +14 -14
  28. package/SVF-doxygen/html/SVFIR_8h_source.html +11 -11
  29. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +19 -19
  30. package/SVF-doxygen/html/SVFStatements_8h_source.html +829 -830
  31. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +7 -7
  32. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
  33. package/SVF-doxygen/html/SymState_8h_source.html +1 -1
  34. package/SVF-doxygen/html/VFGNode_8h_source.html +7 -7
  35. package/SVF-doxygen/html/VFG_8cpp_source.html +15 -15
  36. package/SVF-doxygen/html/VFG_8h_source.html +10 -10
  37. package/SVF-doxygen/html/classSVF_1_1AccessPath-members.html +18 -17
  38. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +206 -153
  39. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  40. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  41. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
  42. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  43. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  44. package/SVF-doxygen/html/classSVF_1_1ConsExeState-members.html +74 -74
  45. package/SVF-doxygen/html/classSVF_1_1ConsExeState.html +412 -394
  46. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +8 -8
  47. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  48. package/SVF-doxygen/html/classSVF_1_1ExeState-members.html +34 -34
  49. package/SVF-doxygen/html/classSVF_1_1ExeState.html +287 -272
  50. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +1 -1
  51. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +1 -1
  52. package/SVF-doxygen/html/classSVF_1_1GepStmt-members.html +1 -1
  53. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +37 -37
  54. package/SVF-doxygen/html/classSVF_1_1ICFG.html +2 -2
  55. package/SVF-doxygen/html/classSVF_1_1IntervalExeState-members.html +78 -78
  56. package/SVF-doxygen/html/classSVF_1_1IntervalExeState.html +445 -434
  57. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  58. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  59. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  60. package/SVF-doxygen/html/classSVF_1_1RelationSolver.html +3 -3
  61. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  62. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +13 -13
  63. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState-members.html +28 -28
  64. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +296 -295
  65. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState-members.html +15 -16
  66. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +1087 -1128
  67. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +4 -4
  68. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
  69. package/SVF-doxygen/html/classSVF_1_1SVFIRWriter.html +1 -1
  70. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +7 -7
  71. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  72. package/SVF-doxygen/html/classSVF_1_1SymState.html +2 -2
  73. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  74. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  75. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  76. package/SVF-doxygen/html/classSVF_1_1VFG.html +15 -15
  77. package/SVF-doxygen/html/functions.html +6 -6
  78. package/SVF-doxygen/html/functions_a.html +13 -8
  79. package/SVF-doxygen/html/functions_b.html +3 -3
  80. package/SVF-doxygen/html/functions_e.html +2 -2
  81. package/SVF-doxygen/html/functions_func_e.html +2 -2
  82. package/SVF-doxygen/html/functions_func_g.html +44 -45
  83. package/SVF-doxygen/html/functions_func_i.html +12 -22
  84. package/SVF-doxygen/html/functions_func_l.html +6 -6
  85. package/SVF-doxygen/html/functions_func_n.html +3 -3
  86. package/SVF-doxygen/html/functions_func_p.html +1 -1
  87. package/SVF-doxygen/html/functions_func_s.html +7 -7
  88. package/SVF-doxygen/html/functions_func_w.html +3 -3
  89. package/SVF-doxygen/html/functions_g.html +42 -43
  90. package/SVF-doxygen/html/functions_i.html +30 -37
  91. package/SVF-doxygen/html/functions_l.html +8 -8
  92. package/SVF-doxygen/html/functions_n.html +7 -7
  93. package/SVF-doxygen/html/functions_o.html +20 -21
  94. package/SVF-doxygen/html/functions_p.html +12 -12
  95. package/SVF-doxygen/html/functions_r.html +3 -1
  96. package/SVF-doxygen/html/functions_s.html +18 -20
  97. package/SVF-doxygen/html/functions_t.html +10 -10
  98. package/SVF-doxygen/html/functions_type.html +5 -0
  99. package/SVF-doxygen/html/functions_type_i.html +4 -4
  100. package/SVF-doxygen/html/functions_type_v.html +3 -8
  101. package/SVF-doxygen/html/functions_v.html +10 -13
  102. package/SVF-doxygen/html/functions_vars.html +6 -6
  103. package/SVF-doxygen/html/functions_vars_g.html +2 -2
  104. package/SVF-doxygen/html/functions_vars_i.html +3 -0
  105. package/SVF-doxygen/html/functions_vars_o.html +0 -3
  106. package/SVF-doxygen/html/functions_w.html +11 -11
  107. package/SVF-doxygen/html/search/all_0.js +4 -4
  108. package/SVF-doxygen/html/search/all_1.js +210 -209
  109. package/SVF-doxygen/html/search/all_10.js +324 -324
  110. package/SVF-doxygen/html/search/all_11.js +222 -222
  111. package/SVF-doxygen/html/search/all_12.js +544 -544
  112. package/SVF-doxygen/html/search/all_13.js +191 -191
  113. package/SVF-doxygen/html/search/all_14.js +67 -67
  114. package/SVF-doxygen/html/search/all_15.js +167 -169
  115. package/SVF-doxygen/html/search/all_16.js +63 -63
  116. package/SVF-doxygen/html/search/all_17.js +1 -1
  117. package/SVF-doxygen/html/search/all_18.js +1 -1
  118. package/SVF-doxygen/html/search/all_19.js +11 -11
  119. package/SVF-doxygen/html/search/all_1a.js +172 -172
  120. package/SVF-doxygen/html/search/all_2.js +169 -169
  121. package/SVF-doxygen/html/search/all_3.js +642 -642
  122. package/SVF-doxygen/html/search/all_4.js +233 -233
  123. package/SVF-doxygen/html/search/all_5.js +119 -119
  124. package/SVF-doxygen/html/search/all_6.js +225 -225
  125. package/SVF-doxygen/html/search/all_7.js +868 -868
  126. package/SVF-doxygen/html/search/all_8.js +197 -197
  127. package/SVF-doxygen/html/search/all_9.js +606 -611
  128. package/SVF-doxygen/html/search/all_a.js +46 -46
  129. package/SVF-doxygen/html/search/all_b.js +26 -26
  130. package/SVF-doxygen/html/search/all_c.js +116 -116
  131. package/SVF-doxygen/html/search/all_d.js +196 -196
  132. package/SVF-doxygen/html/search/all_e.js +207 -207
  133. package/SVF-doxygen/html/search/all_f.js +115 -116
  134. package/SVF-doxygen/html/search/classes_0.js +26 -26
  135. package/SVF-doxygen/html/search/classes_1.js +9 -9
  136. package/SVF-doxygen/html/search/classes_10.js +73 -73
  137. package/SVF-doxygen/html/search/classes_11.js +15 -15
  138. package/SVF-doxygen/html/search/classes_12.js +2 -2
  139. package/SVF-doxygen/html/search/classes_13.js +10 -10
  140. package/SVF-doxygen/html/search/classes_14.js +14 -14
  141. package/SVF-doxygen/html/search/classes_15.js +1 -1
  142. package/SVF-doxygen/html/search/classes_2.js +80 -80
  143. package/SVF-doxygen/html/search/classes_3.js +37 -37
  144. package/SVF-doxygen/html/search/classes_4.js +9 -9
  145. package/SVF-doxygen/html/search/classes_5.js +28 -28
  146. package/SVF-doxygen/html/search/classes_6.js +104 -104
  147. package/SVF-doxygen/html/search/classes_7.js +33 -33
  148. package/SVF-doxygen/html/search/classes_8.js +56 -56
  149. package/SVF-doxygen/html/search/classes_9.js +1 -1
  150. package/SVF-doxygen/html/search/classes_a.js +12 -12
  151. package/SVF-doxygen/html/search/classes_b.js +29 -29
  152. package/SVF-doxygen/html/search/classes_c.js +6 -6
  153. package/SVF-doxygen/html/search/classes_d.js +18 -18
  154. package/SVF-doxygen/html/search/classes_e.js +36 -36
  155. package/SVF-doxygen/html/search/classes_f.js +25 -25
  156. package/SVF-doxygen/html/search/defines_0.js +3 -3
  157. package/SVF-doxygen/html/search/defines_1.js +2 -2
  158. package/SVF-doxygen/html/search/defines_2.js +30 -30
  159. package/SVF-doxygen/html/search/defines_3.js +21 -21
  160. package/SVF-doxygen/html/search/defines_4.js +2 -2
  161. package/SVF-doxygen/html/search/defines_5.js +4 -4
  162. package/SVF-doxygen/html/search/defines_6.js +2 -2
  163. package/SVF-doxygen/html/search/defines_7.js +5 -5
  164. package/SVF-doxygen/html/search/defines_8.js +11 -11
  165. package/SVF-doxygen/html/search/defines_9.js +9 -9
  166. package/SVF-doxygen/html/search/defines_a.js +2 -2
  167. package/SVF-doxygen/html/search/defines_b.js +1 -1
  168. package/SVF-doxygen/html/search/defines_c.js +3 -3
  169. package/SVF-doxygen/html/search/defines_d.js +2 -2
  170. package/SVF-doxygen/html/search/defines_e.js +7 -7
  171. package/SVF-doxygen/html/search/defines_f.js +3 -3
  172. package/SVF-doxygen/html/search/enums_0.js +3 -3
  173. package/SVF-doxygen/html/search/enums_1.js +2 -2
  174. package/SVF-doxygen/html/search/enums_10.js +1 -1
  175. package/SVF-doxygen/html/search/enums_11.js +1 -1
  176. package/SVF-doxygen/html/search/enums_2.js +8 -8
  177. package/SVF-doxygen/html/search/enums_3.js +1 -1
  178. package/SVF-doxygen/html/search/enums_4.js +3 -3
  179. package/SVF-doxygen/html/search/enums_5.js +1 -1
  180. package/SVF-doxygen/html/search/enums_6.js +2 -2
  181. package/SVF-doxygen/html/search/enums_7.js +2 -2
  182. package/SVF-doxygen/html/search/enums_8.js +4 -4
  183. package/SVF-doxygen/html/search/enums_9.js +1 -1
  184. package/SVF-doxygen/html/search/enums_a.js +1 -1
  185. package/SVF-doxygen/html/search/enums_b.js +7 -7
  186. package/SVF-doxygen/html/search/enums_c.js +1 -1
  187. package/SVF-doxygen/html/search/enums_d.js +4 -4
  188. package/SVF-doxygen/html/search/enums_e.js +2 -2
  189. package/SVF-doxygen/html/search/enums_f.js +4 -4
  190. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  191. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  192. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  193. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  194. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  195. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  196. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  197. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  198. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  199. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  200. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  201. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  202. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  203. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  204. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  205. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  206. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  207. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  208. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  209. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  210. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  211. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  212. package/SVF-doxygen/html/search/files_0.js +13 -13
  213. package/SVF-doxygen/html/search/files_1.js +7 -7
  214. package/SVF-doxygen/html/search/files_10.js +8 -8
  215. package/SVF-doxygen/html/search/files_11.js +8 -8
  216. package/SVF-doxygen/html/search/files_12.js +2 -2
  217. package/SVF-doxygen/html/search/files_2.js +55 -55
  218. package/SVF-doxygen/html/search/files_3.js +14 -14
  219. package/SVF-doxygen/html/search/files_4.js +5 -5
  220. package/SVF-doxygen/html/search/files_5.js +13 -13
  221. package/SVF-doxygen/html/search/files_6.js +9 -9
  222. package/SVF-doxygen/html/search/files_7.js +14 -14
  223. package/SVF-doxygen/html/search/files_8.js +13 -13
  224. package/SVF-doxygen/html/search/files_9.js +18 -18
  225. package/SVF-doxygen/html/search/files_a.js +3 -3
  226. package/SVF-doxygen/html/search/files_b.js +2 -2
  227. package/SVF-doxygen/html/search/files_c.js +20 -20
  228. package/SVF-doxygen/html/search/files_d.js +4 -4
  229. package/SVF-doxygen/html/search/files_e.js +62 -62
  230. package/SVF-doxygen/html/search/files_f.js +8 -8
  231. package/SVF-doxygen/html/search/functions_0.js +12 -12
  232. package/SVF-doxygen/html/search/functions_1.js +360 -360
  233. package/SVF-doxygen/html/search/functions_10.js +140 -140
  234. package/SVF-doxygen/html/search/functions_11.js +138 -138
  235. package/SVF-doxygen/html/search/functions_12.js +279 -279
  236. package/SVF-doxygen/html/search/functions_13.js +59 -59
  237. package/SVF-doxygen/html/search/functions_14.js +39 -39
  238. package/SVF-doxygen/html/search/functions_15.js +71 -71
  239. package/SVF-doxygen/html/search/functions_16.js +32 -32
  240. package/SVF-doxygen/html/search/functions_17.js +3 -3
  241. package/SVF-doxygen/html/search/functions_18.js +172 -172
  242. package/SVF-doxygen/html/search/functions_2.js +87 -87
  243. package/SVF-doxygen/html/search/functions_3.js +257 -257
  244. package/SVF-doxygen/html/search/functions_4.js +75 -75
  245. package/SVF-doxygen/html/search/functions_5.js +53 -53
  246. package/SVF-doxygen/html/search/functions_6.js +59 -59
  247. package/SVF-doxygen/html/search/functions_7.js +852 -852
  248. package/SVF-doxygen/html/search/functions_8.js +149 -149
  249. package/SVF-doxygen/html/search/functions_9.js +423 -428
  250. package/SVF-doxygen/html/search/functions_a.js +30 -30
  251. package/SVF-doxygen/html/search/functions_b.js +2 -2
  252. package/SVF-doxygen/html/search/functions_c.js +26 -26
  253. package/SVF-doxygen/html/search/functions_d.js +77 -77
  254. package/SVF-doxygen/html/search/functions_e.js +35 -35
  255. package/SVF-doxygen/html/search/functions_f.js +56 -56
  256. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  257. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  258. package/SVF-doxygen/html/search/related_0.js +2 -2
  259. package/SVF-doxygen/html/search/related_1.js +2 -2
  260. package/SVF-doxygen/html/search/related_2.js +2 -2
  261. package/SVF-doxygen/html/search/related_3.js +2 -2
  262. package/SVF-doxygen/html/search/related_4.js +2 -2
  263. package/SVF-doxygen/html/search/related_5.js +1 -1
  264. package/SVF-doxygen/html/search/related_6.js +2 -2
  265. package/SVF-doxygen/html/search/related_7.js +4 -4
  266. package/SVF-doxygen/html/search/related_8.js +2 -2
  267. package/SVF-doxygen/html/search/related_9.js +4 -4
  268. package/SVF-doxygen/html/search/related_a.js +19 -19
  269. package/SVF-doxygen/html/search/related_b.js +4 -4
  270. package/SVF-doxygen/html/search/related_c.js +1 -1
  271. package/SVF-doxygen/html/search/related_d.js +12 -12
  272. package/SVF-doxygen/html/search/related_e.js +2 -2
  273. package/SVF-doxygen/html/search/related_f.js +2 -2
  274. package/SVF-doxygen/html/search/typedefs_0.js +19 -18
  275. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  276. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  277. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  278. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  279. package/SVF-doxygen/html/search/typedefs_13.js +33 -34
  280. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  281. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  282. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  283. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  284. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  285. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  286. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  287. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  288. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  289. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  290. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  291. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  292. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  293. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  294. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  295. package/SVF-doxygen/html/search/variables_0.js +151 -151
  296. package/SVF-doxygen/html/search/variables_1.js +75 -75
  297. package/SVF-doxygen/html/search/variables_10.js +97 -97
  298. package/SVF-doxygen/html/search/variables_11.js +44 -44
  299. package/SVF-doxygen/html/search/variables_12.js +92 -92
  300. package/SVF-doxygen/html/search/variables_13.js +75 -75
  301. package/SVF-doxygen/html/search/variables_14.js +14 -14
  302. package/SVF-doxygen/html/search/variables_15.js +48 -48
  303. package/SVF-doxygen/html/search/variables_16.js +9 -9
  304. package/SVF-doxygen/html/search/variables_17.js +1 -1
  305. package/SVF-doxygen/html/search/variables_18.js +2 -2
  306. package/SVF-doxygen/html/search/variables_2.js +38 -38
  307. package/SVF-doxygen/html/search/variables_3.js +142 -142
  308. package/SVF-doxygen/html/search/variables_4.js +55 -55
  309. package/SVF-doxygen/html/search/variables_5.js +37 -37
  310. package/SVF-doxygen/html/search/variables_6.js +66 -66
  311. package/SVF-doxygen/html/search/variables_7.js +33 -33
  312. package/SVF-doxygen/html/search/variables_8.js +7 -7
  313. package/SVF-doxygen/html/search/variables_9.js +78 -77
  314. package/SVF-doxygen/html/search/variables_a.js +4 -4
  315. package/SVF-doxygen/html/search/variables_b.js +10 -10
  316. package/SVF-doxygen/html/search/variables_c.js +45 -45
  317. package/SVF-doxygen/html/search/variables_d.js +56 -56
  318. package/SVF-doxygen/html/search/variables_e.js +123 -123
  319. package/SVF-doxygen/html/search/variables_f.js +29 -30
  320. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  321. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +9 -9
  322. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
  323. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1ExeState_01_4.html +5 -5
  324. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
  325. package/SVF-doxygen/html/svf-ex_8cpp.html +17 -17
  326. package/SVF-doxygen/html/svf-ex_8cpp_source.html +17 -17
  327. package/package.json +1 -1
  328. package/svf/include/AbstractExecution/ConsExeState.h +99 -96
  329. package/svf/include/AbstractExecution/ExeState.h +66 -53
  330. package/svf/include/AbstractExecution/IntervalExeState.h +66 -61
  331. package/svf/include/AbstractExecution/SVFIR2ConsExeState.h +7 -7
  332. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +22 -19
  333. package/svf/include/MemoryModel/AccessPath.h +13 -11
  334. package/svf/include/SVFIR/SVFStatements.h +2 -3
  335. package/svf/lib/AbstractExecution/ConsExeState.cpp +13 -13
  336. package/svf/lib/AbstractExecution/ExeState.cpp +19 -19
  337. package/svf/lib/AbstractExecution/IntervalExeState.cpp +4 -4
  338. package/svf/lib/AbstractExecution/SVFIR2ConsExeState.cpp +38 -37
  339. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +273 -287
  340. package/svf/lib/MemoryModel/AccessPath.cpp +39 -17
  341. package/svf/lib/SVFIR/SVFFileSystem.cpp +2 -2
@@ -698,7 +698,7 @@ $(function() {
698
698
  <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#l00058">PointerAnalysis.h:58</a></div></div>
699
699
  <div class="ttc" id="aclassSVF_1_1VFG_html_a190a59a119215dbb2556735ba3213a2a"><div class="ttname"><a href="classSVF_1_1VFG.html#a190a59a119215dbb2556735ba3213a2a">SVF::VFG::PAGNodeToFormalRetMap</a></div><div class="ttdeci">PAGNodeToFormalRetMapTy PAGNodeToFormalRetMap</div><div class="ttdoc">map a PAGNode to a formal return</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00093">VFG.h:93</a></div></div>
700
700
  <div class="ttc" id="aclassSVF_1_1VFG_html_a65c88a6c20380b715ac8b6c31e68afed"><div class="ttname"><a href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG::addUnaryOPVFGNode</a></div><div class="ttdeci">void addUnaryOPVFGNode(const UnaryOPStmt *edge)</div><div class="ttdoc">Add a UnaryOperator VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00621">VFG.h:621</a></div></div>
701
- <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00872">SVFStatements.h:872</a></div></div>
701
+ <div class="ttc" id="aclassSVF_1_1CmpStmt_html"><div class="ttname"><a href="classSVF_1_1CmpStmt.html">SVF::CmpStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00871">SVFStatements.h:871</a></div></div>
702
702
  <div class="ttc" id="aclassSVF_1_1VFG_html_aca2b1493bd712bdc6618de995a81e5af"><div class="ttname"><a href="classSVF_1_1VFG.html#aca2b1493bd712bdc6618de995a81e5af">SVF::VFG::addAddrVFGNode</a></div><div class="ttdeci">void addAddrVFGNode(const AddrStmt *addr)</div><div class="ttdoc">Add an Address VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00492">VFG.h:492</a></div></div>
703
703
  <div class="ttc" id="aclassSVF_1_1VFG_html_a4ac1cd5f79c9e33ae599f7eb942a6e01"><div class="ttname"><a href="classSVF_1_1VFG.html#a4ac1cd5f79c9e33ae599f7eb942a6e01">SVF::VFG::addInterEdgeFromFRToAR</a></div><div class="ttdeci">VFGEdge * addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)</div><div class="ttdoc">Add inter VF edge from callee return to callsite receive parameter.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00378">VFG.h:378</a></div></div>
704
704
  <div class="ttc" id="aclassSVF_1_1VFG_html"><div class="ttname"><a href="classSVF_1_1VFG.html">SVF::VFG</a></div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00050">VFG.h:50</a></div></div>
@@ -738,11 +738,11 @@ $(function() {
738
738
  <div class="ttc" id="aclassSVF_1_1ICFG_html_af1b2d2839f811a00103df87342dfc919"><div class="ttname"><a href="classSVF_1_1ICFG.html#af1b2d2839f811a00103df87342dfc919">SVF::ICFG::getFunExitICFGNode</a></div><div class="ttdeci">FunExitICFGNode * getFunExitICFGNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function exit node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00283">ICFG.cpp:283</a></div></div>
739
739
  <div class="ttc" id="aclassSVF_1_1FormalParmVFGNode_html_af0dfc7f8b58d5bc0e47c6ad17216cc1e"><div class="ttname"><a href="classSVF_1_1FormalParmVFGNode.html#af0dfc7f8b58d5bc0e47c6ad17216cc1e">SVF::FormalParmVFGNode::addCallPE</a></div><div class="ttdeci">void addCallPE(const CallPE *call)</div><div class="ttdoc">Return call edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00923">VFGNode.h:923</a></div></div>
740
740
  <div class="ttc" id="aclassSVF_1_1VFG_html_aff0c7fcfe42752388f34d16d3d91b0b6"><div class="ttname"><a href="classSVF_1_1VFG.html#aff0c7fcfe42752388f34d16d3d91b0b6">SVF::VFG::addVFGInterEdges</a></div><div class="ttdeci">void addVFGInterEdges(const CallICFGNode *cs, const SVFFunction *callee)</div><div class="ttdoc">Create edges between VFG nodes across functions.</div></div>
741
- <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00958">SVFStatements.h:958</a></div></div>
741
+ <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00957">SVFStatements.h:957</a></div></div>
742
742
  <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00387">SVFStatements.h:387</a></div></div>
743
743
  <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>
744
744
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a973a2b79da223275ed6a1831837b89c7"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a973a2b79da223275ed6a1831837b89c7">SVF::AssignStmt::getLHSVar</a></div><div class="ttdeci">SVFVar * getLHSVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00294">SVFStatements.h:294</a></div></div>
745
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01078">SVFStatements.h:1078</a></div></div>
745
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01077">SVFStatements.h:1077</a></div></div>
746
746
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
747
747
  <div class="ttc" id="aclassSVF_1_1BinaryOPVFGNode_html"><div class="ttname"><a href="classSVF_1_1BinaryOPVFGNode.html">SVF::BinaryOPVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00395">VFGNode.h:395</a></div></div>
748
748
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a367413b90de8a382190ffa9f0c742e01"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a367413b90de8a382190ffa9f0c742e01">SVF::VFGNode::RetPESet</a></div><div class="ttdeci">Set&lt; const RetPE * &gt; RetPESet</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00062">VFGNode.h:62</a></div></div>
@@ -759,9 +759,9 @@ $(function() {
759
759
  <div class="ttc" id="aclassSVF_1_1VFG_html_a75eb519e4f89a116db98fccb263af4d6"><div class="ttname"><a href="classSVF_1_1VFG.html#a75eb519e4f89a116db98fccb263af4d6">SVF::VFG::getFormalParmVFGNode</a></div><div class="ttdeci">FormalParmVFGNode * getFormalParmVFGNode(const PAGNode *fparm) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00247">VFG.h:247</a></div></div>
760
760
  <div class="ttc" id="aclassSVF_1_1VFG_html_aead3b463d9aa2fae5845d97896bd18ba"><div class="ttname"><a href="classSVF_1_1VFG.html#aead3b463d9aa2fae5845d97896bd18ba">SVF::VFG::hasThreadVFGEdge</a></div><div class="ttdeci">VFGEdge * hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00892">VFG.cpp:892</a></div></div>
761
761
  <div class="ttc" id="aclassSVF_1_1VFG_html_afdb1560eecf692fb646d412dc760088d"><div class="ttname"><a href="classSVF_1_1VFG.html#afdb1560eecf692fb646d412dc760088d">SVF::VFG::addFormalParmVFGNode</a></div><div class="ttdeci">void addFormalParmVFGNode(const PAGNode *fparm, const SVFFunction *fun, CallPESet &amp;callPEs)</div><div class="ttdoc">Add a formal parameter VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00538">VFG.h:538</a></div></div>
762
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars &amp; getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00730">SVFStatements.h:730</a></div></div>
762
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a0441f2646fed28830439c41a0704ed4b"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a0441f2646fed28830439c41a0704ed4b">SVF::MultiOpndStmt::getOpndVars</a></div><div class="ttdeci">const OPVars &amp; getOpndVars() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00729">SVFStatements.h:729</a></div></div>
763
763
  <div class="ttc" id="aclassSVF_1_1VFG_html_a18afc4baf33eb700e0510928016019f5"><div class="ttname"><a href="classSVF_1_1VFG.html#a18afc4baf33eb700e0510928016019f5">SVF::VFG::addBranchVFGNode</a></div><div class="ttdeci">void addBranchVFGNode(const BranchStmt *edge)</div><div class="ttdoc">Add a BranchVFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00630">VFG.h:630</a></div></div>
764
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a2c6fe09027838f9e0ad9ab8193ce8e9b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">SVF::BranchStmt::getBranchInst</a></div><div class="ttdeci">const SVFVar * getBranchInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01147">SVFStatements.h:1147</a></div></div>
764
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a2c6fe09027838f9e0ad9ab8193ce8e9b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a2c6fe09027838f9e0ad9ab8193ce8e9b">SVF::BranchStmt::getBranchInst</a></div><div class="ttdeci">const SVFVar * getBranchInst() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01146">SVFStatements.h:1146</a></div></div>
765
765
  <div class="ttc" id="astructSVF_1_1Inverse_html"><div class="ttname"><a href="structSVF_1_1Inverse.html">SVF::Inverse</a></div><div class="ttdef"><b>Definition:</b> <a href="GraphTraits_8h_source.html#l00097">GraphTraits.h:97</a></div></div>
766
766
  <div class="ttc" id="aclassSVF_1_1VFG_html_aa055ce3c4fe1cde5529cd63dd1ef2ed6"><div class="ttname"><a href="classSVF_1_1VFG.html#aa055ce3c4fe1cde5529cd63dd1ef2ed6">SVF::VFG::connectCallerAndCallee</a></div><div class="ttdeci">virtual void connectCallerAndCallee(const CallICFGNode *cs, const SVFFunction *callee, VFGEdgeSetTy &amp;edges)</div><div class="ttdoc">Connect VFG nodes between caller and callee for indirect call site.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00972">VFG.cpp:972</a></div></div>
767
767
  <div class="ttc" id="aclassSVF_1_1ICFGNode_html_ae526280cca2d6cbb2868c80461bc16da"><div class="ttname"><a href="classSVF_1_1ICFGNode.html#ae526280cca2d6cbb2868c80461bc16da">SVF::ICFGNode::getFun</a></div><div class="ttdeci">virtual const SVFFunction * getFun() const</div><div class="ttdoc">Return the function of this ICFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00086">ICFGNode.h:86</a></div></div>
@@ -776,7 +776,7 @@ $(function() {
776
776
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html"><div class="ttname"><a href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00051">SVFStatements.h:51</a></div></div>
777
777
  <div class="ttc" id="aclassSVF_1_1VFG_html_ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd"><div class="ttname"><a href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG::PTRONLYSVFG_OPT</a></div><div class="ttdeci">@ PTRONLYSVFG_OPT</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00057">VFG.h:57</a></div></div>
778
778
  <div class="ttc" id="aclassSVF_1_1VFGNode_html"><div class="ttname"><a href="classSVF_1_1VFGNode.html">SVF::VFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00046">VFGNode.h:46</a></div></div>
779
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01082">SVFStatements.h:1082</a></div></div>
779
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01081">SVFStatements.h:1081</a></div></div>
780
780
  <div class="ttc" id="aclassSVF_1_1VFG_html_a3544cc0380964f238c964a0e7b417862"><div class="ttname"><a href="classSVF_1_1VFG.html#a3544cc0380964f238c964a0e7b417862">SVF::VFG::addVFGNodes</a></div><div class="ttdeci">void addVFGNodes()</div><div class="ttdoc">Create VFG nodes.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00463">VFG.cpp:463</a></div></div>
781
781
  <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>
782
782
  <div class="ttc" id="aclassSVF_1_1ICFG_html_ae0b05ce161d62362642803158228e5d0"><div class="ttname"><a href="classSVF_1_1ICFG.html#ae0b05ce161d62362642803158228e5d0">SVF::ICFG::getGlobalICFGNode</a></div><div class="ttdeci">GlobalICFGNode * getGlobalICFGNode() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8h_source.html#l00215">ICFG.h:215</a></div></div>
@@ -786,7 +786,7 @@ $(function() {
786
786
  <div class="ttc" id="aclassSVF_1_1VFG_html_af8c8d0eb778a2a94a33c0b97ee3704c1"><div class="ttname"><a href="classSVF_1_1VFG.html#af8c8d0eb778a2a94a33c0b97ee3704c1">SVF::VFG::PAGNodeToBranchVFGNodeMap</a></div><div class="ttdeci">PAGNodeToBranchVFGNodeMapTy PAGNodeToBranchVFGNodeMap</div><div class="ttdoc">map a PAGNode to its BranchVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00097">VFG.h:97</a></div></div>
787
787
  <div class="ttc" id="aclassSVF_1_1VFG_html_ae1348fd6d196ee8a6bd8d98022464d50"><div class="ttname"><a href="classSVF_1_1VFG.html#ae1348fd6d196ee8a6bd8d98022464d50">SVF::VFG::getIntraVFGEdge</a></div><div class="ttdeci">VFGEdge * getIntraVFGEdge(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)</div><div class="ttdoc">Get a SVFG edge according to src and dst.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00927">VFG.cpp:927</a></div></div>
788
788
  <div class="ttc" id="aclassSVF_1_1VFG_html_a462fe6eefc55a436f90f91adeb34726f"><div class="ttname"><a href="classSVF_1_1VFG.html#a462fe6eefc55a436f90f91adeb34726f">SVF::VFG::PAGEdgeToStmtVFGNodeMap</a></div><div class="ttdeci">PAGEdgeToStmtVFGNodeMapTy PAGEdgeToStmtVFGNodeMap</div><div class="ttdoc">map a PAGEdge to its StmtVFGNode</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00099">VFG.h:99</a></div></div>
789
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00667">SVFStatements.h:667</a></div></div>
789
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html">SVF::MultiOpndStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00666">SVFStatements.h:666</a></div></div>
790
790
  <div class="ttc" id="aclassSVF_1_1VFG_html_a47609382fcd9ef36706e1d0f0531a843"><div class="ttname"><a href="classSVF_1_1VFG.html#a47609382fcd9ef36706e1d0f0531a843">SVF::VFG::getBranchVFGNode</a></div><div class="ttdeci">BranchVFGNode * getBranchVFGNode(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00223">VFG.h:223</a></div></div>
791
791
  <div class="ttc" id="aclassSVF_1_1VFG_html_ad63218978f65ab91ae21bc24c882a716"><div class="ttname"><a href="classSVF_1_1VFG.html#ad63218978f65ab91ae21bc24c882a716">SVF::VFG::FunToVFGNodesMapTy</a></div><div class="ttdeci">Map&lt; const SVFFunction *, VFGNodeSet &gt; FunToVFGNodesMapTy</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00073">VFG.h:73</a></div></div>
792
792
  <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>
@@ -805,7 +805,7 @@ $(function() {
805
805
  <div class="ttc" id="aclassSVF_1_1ICFG_html_a0dca4655c2f6112a5be1f921b8e81076"><div class="ttname"><a href="classSVF_1_1ICFG.html#a0dca4655c2f6112a5be1f921b8e81076">SVF::ICFG::getFunEntryICFGNode</a></div><div class="ttdeci">FunEntryICFGNode * getFunEntryICFGNode(const SVFFunction *fun)</div><div class="ttdoc">Add a function entry node.</div><div class="ttdef"><b>Definition:</b> <a href="ICFG_8cpp_source.html#l00274">ICFG.cpp:274</a></div></div>
806
806
  <div class="ttc" id="aclassSVF_1_1VFG_html_a0c8cf98b652b5eb97d22e2636576f92f"><div class="ttname"><a href="classSVF_1_1VFG.html#a0c8cf98b652b5eb97d22e2636576f92f">SVF::VFG::callgraph</a></div><div class="ttdeci">PTACallGraph * callgraph</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00103">VFG.h:103</a></div></div>
807
807
  <div class="ttc" id="aclassSVF_1_1VFG_html_aeb24b155fe31813b2e6dc0564f55738a"><div class="ttname"><a href="classSVF_1_1VFG.html#aeb24b155fe31813b2e6dc0564f55738a">SVF::VFG::removeVFGEdge</a></div><div class="ttdeci">void removeVFGEdge(VFGEdge *edge)</div><div class="ttdoc">Remove a SVFG edge.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00319">VFG.h:319</a></div></div>
808
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01028">SVFStatements.h:1028</a></div></div>
808
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html">SVF::UnaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01027">SVFStatements.h:1027</a></div></div>
809
809
  <div class="ttc" id="aclassSVF_1_1PTACallGraph_html"><div class="ttname"><a href="classSVF_1_1PTACallGraph.html">SVF::PTACallGraph</a></div><div class="ttdef"><b>Definition:</b> <a href="PTACallGraph_8h_source.html#l00218">PTACallGraph.h:218</a></div></div>
810
810
  <div class="ttc" id="aclassSVF_1_1VFG_html_a76af43e28630eb56a1aa5971f516d43d"><div class="ttname"><a href="classSVF_1_1VFG.html#a76af43e28630eb56a1aa5971f516d43d">SVF::VFG::hasVFGNodes</a></div><div class="ttdeci">bool hasVFGNodes(const SVFFunction *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00290">VFG.h:290</a></div></div>
811
811
  <div class="ttc" id="aclassSVF_1_1VFG_html_a32b1586d326fbe47080bd1fa2d3270e6"><div class="ttname"><a href="classSVF_1_1VFG.html#a32b1586d326fbe47080bd1fa2d3270e6">SVF::VFG::getStmtVFGNode</a></div><div class="ttdeci">StmtVFGNode * getStmtVFGNode(const PAGEdge *pagEdge) const</div><div class="ttdoc">Get an VFGNode.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00199">VFG.h:199</a></div></div>
@@ -816,7 +816,7 @@ $(function() {
816
816
  <div class="ttc" id="aclassSVF_1_1VFG_html_a915fa50effaeea10716b86528b15c6dc"><div class="ttname"><a href="classSVF_1_1VFG.html#a915fa50effaeea10716b86528b15c6dc">SVF::VFG::getVFGNode</a></div><div class="ttdeci">VFGNode * getVFGNode(NodeID id) const</div><div class="ttdoc">Get a VFG node.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00145">VFG.h:145</a></div></div>
817
817
  <div class="ttc" id="aclassSVF_1_1VFG_html_af5005136743913d760d7402bbd308c69"><div class="ttname"><a href="classSVF_1_1VFG.html#af5005136743913d760d7402bbd308c69">SVF::VFG::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Clean up memory.</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8cpp_source.html#l00454">VFG.cpp:454</a></div></div>
818
818
  <div class="ttc" id="aclassSVF_1_1VFG_html_a9c2446f54d3738b6c0e65632a1200ba0"><div class="ttname"><a href="classSVF_1_1VFG.html#a9c2446f54d3738b6c0e65632a1200ba0">SVF::VFG::PAGNodeToCmpVFGNodeMapTy</a></div><div class="ttdeci">Map&lt; const PAGNode *, CmpVFGNode * &gt; PAGNodeToCmpVFGNodeMapTy</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00072">VFG.h:72</a></div></div>
819
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00718">SVFStatements.h:718</a></div></div>
819
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a00a14ad8f49912b876fd9d729fea4601"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a00a14ad8f49912b876fd9d729fea4601">SVF::MultiOpndStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdoc">Result SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00717">SVFStatements.h:717</a></div></div>
820
820
  <div class="ttc" id="aclassSVF_1_1GepVFGNode_html"><div class="ttname"><a href="classSVF_1_1GepVFGNode.html">SVF::GepVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00594">VFGNode.h:594</a></div></div>
821
821
  <div class="ttc" id="aclassSVF_1_1LoadVFGNode_html"><div class="ttname"><a href="classSVF_1_1LoadVFGNode.html">SVF::LoadVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00199">VFGNode.h:199</a></div></div>
822
822
  <div class="ttc" id="aclassSVF_1_1VFG_html_abf966182c28f0521dcd161aa299e453d"><div class="ttname"><a href="classSVF_1_1VFG.html#abf966182c28f0521dcd161aa299e453d">SVF::VFG::RetPESet</a></div><div class="ttdeci">FormalRetVFGNode::RetPESet RetPESet</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00076">VFG.h:76</a></div></div>
@@ -840,7 +840,7 @@ $(function() {
840
840
  <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>
841
841
  <div class="ttc" id="aclassSVF_1_1VFG_html_a9215c1d7f1152967f0731057a085e793"><div class="ttname"><a href="classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793">SVF::VFG::getCmpVFGNode</a></div><div class="ttdeci">CmpVFGNode * getCmpVFGNode(const PAGNode *pagNode) const</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00229">VFG.h:229</a></div></div>
842
842
  <div class="ttc" id="aclassSVF_1_1VFG_html_a6eb72d2fe080def018d09604fe3affcf"><div class="ttname"><a href="classSVF_1_1VFG.html#a6eb72d2fe080def018d09604fe3affcf">SVF::VFG::PAGNodeToFormalParmMapTy</a></div><div class="ttdeci">Map&lt; const PAGNode *, FormalParmVFGNode * &gt; PAGNodeToFormalParmMapTy</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00065">VFG.h:65</a></div></div>
843
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01095">SVFStatements.h:1095</a></div></div>
843
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html"><div class="ttname"><a href="classSVF_1_1BranchStmt.html">SVF::BranchStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01094">SVFStatements.h:1094</a></div></div>
844
844
  <div class="ttc" id="aclassSVF_1_1VFG_html_a7cefa553955e208d6eb4fcd01ed3c383"><div class="ttname"><a href="classSVF_1_1VFG.html#a7cefa553955e208d6eb4fcd01ed3c383">SVF::VFG::PAGNodeToBinaryOPVFGNodeMapTy</a></div><div class="ttdeci">Map&lt; const PAGNode *, BinaryOPVFGNode * &gt; PAGNodeToBinaryOPVFGNodeMapTy</div><div class="ttdef"><b>Definition:</b> <a href="VFG_8h_source.html#l00069">VFG.h:69</a></div></div>
845
845
  <div class="ttc" id="aclassSVF_1_1StmtVFGNode_html"><div class="ttname"><a href="classSVF_1_1StmtVFGNode.html">SVF::StmtVFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00116">VFGNode.h:116</a></div></div>
846
846
  <div class="ttc" id="aclassSVF_1_1IntraPHIVFGNode_html_a7e5fd83393224ece808de83cbf496882"><div class="ttname"><a href="classSVF_1_1IntraPHIVFGNode.html#a7e5fd83393224ece808de83cbf496882">SVF::IntraPHIVFGNode::setOpVerAndBB</a></div><div class="ttdeci">void setOpVerAndBB(u32_t pos, const PAGNode *node, const ICFGNode *bb)</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00730">VFGNode.h:730</a></div></div>
@@ -83,27 +83,28 @@ $(function() {
83
83
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aa1747064a0833855a5848ebf4a4d65fa">fldIdx</a></td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
84
84
  <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a68e49bb797a84ea035ea338549f2e054">getConstantFieldIdx</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
85
85
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a3c98f0c5f07109f9da0a8a897aa51d18">getElementNum</a>(const SVFType *type) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
86
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ac4f6bf6b6b257eb6b97b34f22d52eaf6">getOffsetVarAndGepTypePairVec</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a98dfa824a51134c3f72a5d153240d378">IdxVarAndGepTypePair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
88
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ac60f994cda4747717028aa6c0f9c6f92">IdxVarAndGepTypePairs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
86
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a586c71842e3e4487921aa3384ce9d025">getIdxOperandPairVec</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
87
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a1f279344b4061838d7b3498631bc907c">getStructFieldOffset</a>(const SVFVar *idxOperandVar, const SVFStructType *idxOperandType) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
88
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae">IdxOperandPair</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
89
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">IdxOperandPairs</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
90
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">idxOperandPairs</a></td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
89
91
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a461fe4cddd5d8c8b7017588038c093de">intersects</a>(const AccessPath &amp;RHS) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
90
92
  <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a403312192a96a9fd5e7d071481592a7f">isConstantOffset</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
91
93
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245">LSRelation</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
92
94
  <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245acb3c4a3f685068e391025eb01ebf061d">NonOverlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
93
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a37e181504f5a1b6aa32d7bb1519ea709">offsetVarAndGepTypePairs</a></td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
94
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">operator+</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
95
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">operator&lt;</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
96
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#abfc3dfecd5be261ee39f2443d72c1d07">operator=</a>(const AccessPath &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35">operator==</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">Overlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
99
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">Same</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
100
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f">setFldIdx</a>(APOffset idx)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
101
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">Subset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
102
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">Superset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
103
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
104
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
105
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8">SymbolTableInfo</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
106
- <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#adb4dab1b3184c78fb7808dff867c7a0a">~AccessPath</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
95
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a6591b6092a829b0c874754b649087aa2">operator+</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
96
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ae0f38a5f473af89678db2755667c3421">operator&lt;</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
97
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#abfc3dfecd5be261ee39f2443d72c1d07">operator=</a>(const AccessPath &amp;rhs)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
98
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a9a21ba7604bc851f743250c9bd6afe35">operator==</a>(const AccessPath &amp;rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
99
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245afbdf7000b827f7d8590e5f0997e0d59a">Overlap</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
100
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245ab1ba3a42758473e5ff427ba36147a56a">Same</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
101
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ab95df74c97fba13206df48e00131e15f">setFldIdx</a>(APOffset idx)</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
102
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a45bfb1e14fd39a700dba1243afe022e4">Subset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
103
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#aabb6c9600fac408f36b9fde013597245a52a64f855e6233e88b319cf2f3442f14">Superset</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"></td></tr>
104
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a96821c016c81ee0600ef62fd28298292">SVFIRReader</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
105
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#ac6d7207b2c449f2aa8129697485d8fd6">SVFIRWriter</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
106
+ <tr><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#a32ddec529ccbf4ea6336e5fd765164d8">SymbolTableInfo</a> class</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
107
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html#adb4dab1b3184c78fb7808dff867c7a0a">~AccessPath</a>()</td><td class="entry"><a class="el" href="classSVF_1_1AccessPath.html">SVF::AccessPath</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
107
108
  </table></div><!-- contents -->
108
109
  <!-- start footer part -->
109
110
  <hr class="footer"/><address class="footer"><small>