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
package/SVF-doxygen/html/classSVF_1_1BranchStmt.html CHANGED
@@ -297,7 +297,7 @@ Additional Inherited Members</h2></td></tr>
297
297
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
298
298
  <div class="textblock"><p>Branch statements including if/else and switch </p>
299
299
 
300
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01095">1095</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
300
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01094">1094</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
301
301
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
302
302
  <a id="a6a0e64824777f04be4c169125dd4f666"></a>
303
303
  <h2 class="memtitle"><span class="permalink"><a href="#a6a0e64824777f04be4c169125dd4f666">&#9670;&nbsp;</a></span>SuccAndCondPairVec</h2>
@@ -311,7 +311,7 @@ Additional Inherited Members</h2></td></tr>
311
311
  </table>
312
312
  </div><div class="memdoc">
313
313
 
314
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01101">1101</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
314
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01100">1100</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
315
315
 
316
316
  </div>
317
317
  </div>
@@ -341,8 +341,8 @@ Additional Inherited Members</h2></td></tr>
341
341
 
342
342
  <p>Constructs empty <a class="el" href="classSVF_1_1BranchStmt.html">BranchStmt</a> (for SVFIRReader/serialization) </p>
343
343
 
344
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01105">1105</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
345
- <div class="fragment"><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>{}, <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>{} {}</div>
344
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01104">1104</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
345
+ <div class="fragment"><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>{}, <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>{} {}</div>
346
346
  </div><!-- fragment -->
347
347
  </div>
348
348
  </div>
@@ -416,11 +416,11 @@ Additional Inherited Members</h2></td></tr>
416
416
 
417
417
  <p>constructor </p>
418
418
 
419
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01135">1135</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
420
- <div class="fragment"><div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(c, inst, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>(succs), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>(c),</div>
421
- <div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160; <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>(inst)</div>
422
- <div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160; {</div>
423
- <div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; }</div>
419
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01134">1134</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
420
+ <div class="fragment"><div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(c, inst, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>), <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>(succs), <a class="code" href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">cond</a>(c),</div>
421
+ <div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>(inst)</div>
422
+ <div class="line"><a name="l01137"></a><span class="lineno"> 1137</span>&#160; {</div>
423
+ <div class="line"><a name="l01138"></a><span class="lineno"> 1138</span>&#160; }</div>
424
424
  </div><!-- fragment -->
425
425
  </div>
426
426
  </div>
@@ -451,10 +451,10 @@ Additional Inherited Members</h2></td></tr>
451
451
 
452
452
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
453
453
 
454
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01120">1120</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
455
- <div class="fragment"><div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160; {</div>
456
- <div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
457
- <div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160; }</div>
454
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01119">1119</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
455
+ <div class="fragment"><div class="line"><a name="l01120"></a><span class="lineno"> 1120</span>&#160; {</div>
456
+ <div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
457
+ <div class="line"><a name="l01122"></a><span class="lineno"> 1122</span>&#160; }</div>
458
458
  </div><!-- fragment -->
459
459
  </div>
460
460
  </div>
@@ -482,10 +482,10 @@ Additional Inherited Members</h2></td></tr>
482
482
  </table>
483
483
  </div><div class="memdoc">
484
484
 
485
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01128">1128</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
486
- <div class="fragment"><div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160; {</div>
487
- <div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div>
488
- <div class="line"><a name="l01131"></a><span class="lineno"> 1131</span>&#160; }</div>
485
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01127">1127</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
486
+ <div class="fragment"><div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>&#160; {</div>
487
+ <div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div>
488
+ <div class="line"><a name="l01130"></a><span class="lineno"> 1130</span>&#160; }</div>
489
489
  </div><!-- fragment -->
490
490
  </div>
491
491
  </div>
@@ -513,10 +513,10 @@ Additional Inherited Members</h2></td></tr>
513
513
  </table>
514
514
  </div><div class="memdoc">
515
515
 
516
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01124">1124</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
517
- <div class="fragment"><div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160; {</div>
518
- <div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div>
519
- <div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160; }</div>
516
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01123">1123</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
517
+ <div class="fragment"><div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; {</div>
518
+ <div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVFStmt::Branch</a>;</div>
519
+ <div class="line"><a name="l01126"></a><span class="lineno"> 1126</span>&#160; }</div>
520
520
  </div><!-- fragment -->
521
521
  </div>
522
522
  </div>
@@ -543,10 +543,10 @@ Additional Inherited Members</h2></td></tr>
543
543
  </table>
544
544
  </div><div class="memdoc">
545
545
 
546
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01147">1147</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
547
- <div class="fragment"><div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; {</div>
548
- <div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>;</div>
549
- <div class="line"><a name="l01150"></a><span class="lineno"> 1150</span>&#160; }</div>
546
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01146">1146</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
547
+ <div class="fragment"><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160; {</div>
548
+ <div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">brInst</a>;</div>
549
+ <div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160; }</div>
550
550
  </div><!-- fragment -->
551
551
  </div>
552
552
  </div>
@@ -653,10 +653,10 @@ Additional Inherited Members</h2></td></tr>
653
653
  </div><div class="memdoc">
654
654
  <p>For example if(c) {stmt1} else {stmt2} successor(0): stmt1, 1 successor(1): stmt2, 0 For example switch(c) case 0: {stmt1; break;} case 1: {stmt2; break;} default {stmt3: break} successor(0): stmt1, 0 successor(1): stmt2, 1 successor(3): stmt3, -1 Successors of this branch statement </p>
655
655
 
656
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01162">1162</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
657
- <div class="fragment"><div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; {</div>
658
- <div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.size();</div>
659
- <div class="line"><a name="l01165"></a><span class="lineno"> 1165</span>&#160; }</div>
656
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01161">1161</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
657
+ <div class="fragment"><div class="line"><a name="l01162"></a><span class="lineno"> 1162</span>&#160; {</div>
658
+ <div class="line"><a name="l01163"></a><span class="lineno"> 1163</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.size();</div>
659
+ <div class="line"><a name="l01164"></a><span class="lineno"> 1164</span>&#160; }</div>
660
660
  </div><!-- fragment -->
661
661
  </div>
662
662
  </div>
@@ -738,10 +738,10 @@ Additional Inherited Members</h2></td></tr>
738
738
  </table>
739
739
  </div><div class="memdoc">
740
740
 
741
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01170">1170</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
742
- <div class="fragment"><div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; {</div>
743
- <div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.at(i).first;</div>
744
- <div class="line"><a name="l01173"></a><span class="lineno"> 1173</span>&#160; }</div>
741
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01169">1169</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
742
+ <div class="fragment"><div class="line"><a name="l01170"></a><span class="lineno"> 1170</span>&#160; {</div>
743
+ <div class="line"><a name="l01171"></a><span class="lineno"> 1171</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.at(i).first;</div>
744
+ <div class="line"><a name="l01172"></a><span class="lineno"> 1172</span>&#160; }</div>
745
745
  </div><!-- fragment -->
746
746
  </div>
747
747
  </div>
@@ -769,10 +769,10 @@ Additional Inherited Members</h2></td></tr>
769
769
  </table>
770
770
  </div><div class="memdoc">
771
771
 
772
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01174">1174</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
773
- <div class="fragment"><div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160; {</div>
774
- <div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.at(i).second;</div>
775
- <div class="line"><a name="l01177"></a><span class="lineno"> 1177</span>&#160; }</div>
772
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01173">1173</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
773
+ <div class="fragment"><div class="line"><a name="l01174"></a><span class="lineno"> 1174</span>&#160; {</div>
774
+ <div class="line"><a name="l01175"></a><span class="lineno"> 1175</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>.at(i).second;</div>
775
+ <div class="line"><a name="l01176"></a><span class="lineno"> 1176</span>&#160; }</div>
776
776
  </div><!-- fragment -->
777
777
  </div>
778
778
  </div>
@@ -799,10 +799,10 @@ Additional Inherited Members</h2></td></tr>
799
799
  </table>
800
800
  </div><div class="memdoc">
801
801
 
802
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01166">1166</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
803
- <div class="fragment"><div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; {</div>
804
- <div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>;</div>
805
- <div class="line"><a name="l01169"></a><span class="lineno"> 1169</span>&#160; }</div>
802
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01165">1165</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
803
+ <div class="fragment"><div class="line"><a name="l01166"></a><span class="lineno"> 1166</span>&#160; {</div>
804
+ <div class="line"><a name="l01167"></a><span class="lineno"> 1167</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">successors</a>;</div>
805
+ <div class="line"><a name="l01168"></a><span class="lineno"> 1168</span>&#160; }</div>
806
806
  </div><!-- fragment -->
807
807
  </div>
808
808
  </div>
@@ -950,7 +950,7 @@ Additional Inherited Members</h2></td></tr>
950
950
  </table>
951
951
  </div><div class="memdoc">
952
952
 
953
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01098">1098</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
953
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01097">1097</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
954
954
 
955
955
  </div>
956
956
  </div>
@@ -974,7 +974,7 @@ Additional Inherited Members</h2></td></tr>
974
974
  </table>
975
975
  </div><div class="memdoc">
976
976
 
977
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01097">1097</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
977
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01096">1096</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
978
978
 
979
979
  </div>
980
980
  </div>
@@ -999,7 +999,7 @@ Additional Inherited Members</h2></td></tr>
999
999
  </table>
1000
1000
  </div><div class="memdoc">
1001
1001
 
1002
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01115">1115</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1002
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01114">1114</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1003
1003
 
1004
1004
  </div>
1005
1005
  </div>
@@ -1023,7 +1023,7 @@ Additional Inherited Members</h2></td></tr>
1023
1023
  </table>
1024
1024
  </div><div class="memdoc">
1025
1025
 
1026
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01114">1114</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1026
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1027
1027
 
1028
1028
  </div>
1029
1029
  </div>
@@ -1047,7 +1047,7 @@ Additional Inherited Members</h2></td></tr>
1047
1047
  </table>
1048
1048
  </div><div class="memdoc">
1049
1049
 
1050
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01113">1113</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1050
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01112">1112</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
1051
1051
 
1052
1052
  </div>
1053
1053
  </div>
@@ -1058,20 +1058,20 @@ Additional Inherited Members</h2></td></tr>
1058
1058
  </div><!-- contents -->
1059
1059
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4f4159567121416cbe78d124f5c6a8b6"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVF::SVFStmt::SVFStmt</a></div><div class="ttdeci">SVFStmt(GEdgeFlag k)</div><div class="ttdoc">Private constructor for reading SVFIR from file without side-effect.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00088">SVFStatements.h:88</a></div></div>
1060
1060
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
1061
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01170">SVFStatements.h:1170</a></div></div>
1061
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01169">SVFStatements.h:1169</a></div></div>
1062
1062
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_adaed6e68c2f53260ed4c4fc38b5c4721"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#adaed6e68c2f53260ed4c4fc38b5c4721">SVF::SymbolTableInfo::nullPtrSymID</a></div><div class="ttdeci">SymID nullPtrSymID() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00188">SymbolTableInfo.h:188</a></div></div>
1063
1063
  <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>
1064
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a40854cd95fbae16ef8e370255d0e3cf5"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">SVF::BranchStmt::successors</a></div><div class="ttdeci">SuccAndCondPairVec successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01113">SVFStatements.h:1113</a></div></div>
1064
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a40854cd95fbae16ef8e370255d0e3cf5"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a40854cd95fbae16ef8e370255d0e3cf5">SVF::BranchStmt::successors</a></div><div class="ttdeci">SuccAndCondPairVec successors</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01112">SVFStatements.h:1112</a></div></div>
1065
1065
  <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>
1066
1066
  <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a71e7e95f095a937c900d049991312901"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a71e7e95f095a937c900d049991312901">SVF::BranchStmt::isConditional</a></div><div class="ttdeci">bool isConditional() const</div><div class="ttdoc">The branch is conditional if cond is not a null value.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00317">SVFStatements.cpp:317</a></div></div>
1067
1067
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad52703e3ec09b6a4f565e5d82279b6a3">SVF::SVFStmt::Branch</a></div><div class="ttdeci">@ Branch</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00075">SVFStatements.h:75</a></div></div>
1068
1068
  <div class="ttc" id="aclassSVF_1_1SymbolTableInfo_html_a267169023fc4f8dd66b145f7231fec11"><div class="ttname"><a href="classSVF_1_1SymbolTableInfo.html#a267169023fc4f8dd66b145f7231fec11">SVF::SymbolTableInfo::SymbolInfo</a></div><div class="ttdeci">static SymbolTableInfo * SymbolInfo()</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="SymbolTableInfo_8cpp_source.html#l00081">SymbolTableInfo.cpp:81</a></div></div>
1069
1069
  <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a915384027ae53e99311f05a08edf99f0"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0">SVF::BranchStmt::getCondition</a></div><div class="ttdeci">const SVFVar * getCondition() const</div><div class="ttdoc">Return the condition.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00322">SVFStatements.cpp:322</a></div></div>
1070
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01115">SVFStatements.h:1115</a></div></div>
1070
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a33887345c00ffda9ca7dca59d61e184a"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a33887345c00ffda9ca7dca59d61e184a">SVF::BranchStmt::brInst</a></div><div class="ttdeci">const SVFVar * brInst</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01114">SVFStatements.h:1114</a></div></div>
1071
1071
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_abb784290c90d26f35897fa15bae277d2"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#abb784290c90d26f35897fa15bae277d2">SVF::SVFStmt::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00147">SVFStatements.h:147</a></div></div>
1072
1072
  <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
1073
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01162">SVFStatements.h:1162</a></div></div>
1074
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01114">SVFStatements.h:1114</a></div></div>
1073
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01161">SVFStatements.h:1161</a></div></div>
1074
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_adcf5cabe6e0a87cded5ef1fdf7273f3f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#adcf5cabe6e0a87cded5ef1fdf7273f3f">SVF::BranchStmt::cond</a></div><div class="ttdeci">const SVFVar * cond</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01113">SVFStatements.h:1113</a></div></div>
1075
1075
  <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>
1076
1076
  <!-- start footer part -->
1077
1077
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html CHANGED
@@ -736,13 +736,13 @@ Additional Inherited Members</h2></td></tr>
736
736
  </div><!-- contents -->
737
737
  <div class="ttc" id="anamespaceSVF_html_aa7b6a13e52671de8524b130738aeb564"><div class="ttname"><a href="namespaceSVF.html#aa7b6a13e52671de8524b130738aeb564">SVF::NodeBS</a></div><div class="ttdeci">SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00063">SVFType.h:63</a></div></div>
738
738
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a775b3bd4c7558a18c5bc890fe711f03c"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a775b3bd4c7558a18c5bc890fe711f03c">SVF::VFGNode::VFGNode</a></div><div class="ttdeci">VFGNode(NodeID i, VFGNodeK k)</div><div class="ttdoc">Constructor.</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00066">VFGNode.h:66</a></div></div>
739
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01170">SVFStatements.h:1170</a></div></div>
739
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a7d9a6ebb2d95942c453864b5327b1ae8"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a7d9a6ebb2d95942c453864b5327b1ae8">SVF::BranchStmt::getSuccessor</a></div><div class="ttdeci">const ICFGNode * getSuccessor(u32_t i) const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01169">SVFStatements.h:1169</a></div></div>
740
740
  <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>
741
741
  <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>
742
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a93040c884df211ac62d53ceafdd9c4dd"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const SuccAndCondPairVec &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01166">SVFStatements.h:1166</a></div></div>
742
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a93040c884df211ac62d53ceafdd9c4dd"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a93040c884df211ac62d53ceafdd9c4dd">SVF::BranchStmt::getSuccessors</a></div><div class="ttdeci">const SuccAndCondPairVec &amp; getSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01165">SVFStatements.h:1165</a></div></div>
743
743
  <div class="ttc" id="aclassSVF_1_1VFGNode_html_a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01"><div class="ttname"><a href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a7e37444f61c10c22b694a86064ae4f01">SVF::VFGNode::Branch</a></div><div class="ttdeci">@ Branch</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00054">VFGNode.h:54</a></div></div>
744
744
  <div class="ttc" id="aclassSVF_1_1BranchStmt_html_afc44edd6d1d5c855dc2169d26629377f"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#afc44edd6d1d5c855dc2169d26629377f">SVF::BranchStmt::toString</a></div><div class="ttdeci">virtual const std::string toString() const override</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00171">SVFStatements.cpp:171</a></div></div>
745
- <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01162">SVFStatements.h:1162</a></div></div>
745
+ <div class="ttc" id="aclassSVF_1_1BranchStmt_html_a022d355bde3d0d0a9471cd125b24583b"><div class="ttname"><a href="classSVF_1_1BranchStmt.html#a022d355bde3d0d0a9471cd125b24583b">SVF::BranchStmt::getNumSuccessors</a></div><div class="ttdeci">u32_t getNumSuccessors() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01161">SVFStatements.h:1161</a></div></div>
746
746
  <div class="ttc" id="aclassSVF_1_1BranchVFGNode_html_ab2c5f49a3ac21d827b37b0e4b61f1a10"><div class="ttname"><a href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode::brstmt</a></div><div class="ttdeci">const BranchStmt * brstmt</div><div class="ttdef"><b>Definition:</b> <a href="VFGNode_8h_source.html#l00545">VFGNode.h:545</a></div></div>
747
747
  <!-- start footer part -->
748
748
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/classSVF_1_1CallPE.html CHANGED
@@ -295,7 +295,7 @@ Additional Inherited Members</h2></td></tr>
295
295
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
296
296
  <div class="textblock"><p>Call </p>
297
297
 
298
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00546">546</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
298
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00545">545</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
299
299
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
300
300
  <a id="a1e09f62a8e3ce2d3bc3fadb29e32a50e"></a>
301
301
  <h2 class="memtitle"><span class="permalink"><a href="#a1e09f62a8e3ce2d3bc3fadb29e32a50e">&#9670;&nbsp;</a></span>CallPE() <span class="overload">[1/3]</span></h2>
@@ -352,8 +352,8 @@ Additional Inherited Members</h2></td></tr>
352
352
  <p>the function exit statement calling to </p>
353
353
  <p>Constructs empty <a class="el" href="classSVF_1_1CallPE.html">CallPE</a> (for SVFIRReader/serialization) </p>
354
354
 
355
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00559">559</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
356
- <div class="fragment"><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(k), <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>{}, <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>{} {}</div>
355
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00558">558</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
356
+ <div class="fragment"><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(k), <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>{}, <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>{} {}</div>
357
357
  </div><!-- fragment -->
358
358
  </div>
359
359
  </div>
@@ -437,10 +437,10 @@ Additional Inherited Members</h2></td></tr>
437
437
 
438
438
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
439
439
 
440
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00564">564</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
441
- <div class="fragment"><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; {</div>
442
- <div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
443
- <div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; }</div>
440
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00563">563</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
441
+ <div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; {</div>
442
+ <div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
443
+ <div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; }</div>
444
444
  </div><!-- fragment -->
445
445
  </div>
446
446
  </div>
@@ -468,11 +468,11 @@ Additional Inherited Members</h2></td></tr>
468
468
  </table>
469
469
  </div><div class="memdoc">
470
470
 
471
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00573">573</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
472
- <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; {</div>
473
- <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a> ||</div>
474
- <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
475
- <div class="line"><a name="l00577"></a><span class="lineno"> 577</span>&#160; }</div>
471
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00572">572</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
472
+ <div class="fragment"><div class="line"><a name="l00573"></a><span class="lineno"> 573</span>&#160; {</div>
473
+ <div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a> ||</div>
474
+ <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
475
+ <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; }</div>
476
476
  </div><!-- fragment -->
477
477
  </div>
478
478
  </div>
@@ -500,11 +500,11 @@ Additional Inherited Members</h2></td></tr>
500
500
  </table>
501
501
  </div><div class="memdoc">
502
502
 
503
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00568">568</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
504
- <div class="fragment"><div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; {</div>
505
- <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a> ||</div>
506
- <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
507
- <div class="line"><a name="l00572"></a><span class="lineno"> 572</span>&#160; }</div>
503
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00567">567</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
504
+ <div class="fragment"><div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; {</div>
505
+ <div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVFStmt::Call</a> ||</div>
506
+ <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
507
+ <div class="line"><a name="l00571"></a><span class="lineno"> 571</span>&#160; }</div>
508
508
  </div><!-- fragment -->
509
509
  </div>
510
510
  </div>
@@ -533,10 +533,10 @@ Additional Inherited Members</h2></td></tr>
533
533
 
534
534
  <p>Get method for the call instruction. </p>
535
535
 
536
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00586">586</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
537
- <div class="fragment"><div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; {</div>
538
- <div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div>
539
- <div class="line"><a name="l00589"></a><span class="lineno"> 589</span>&#160; }</div>
536
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00585">585</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
537
+ <div class="fragment"><div class="line"><a name="l00586"></a><span class="lineno"> 586</span>&#160; {</div>
538
+ <div class="line"><a name="l00587"></a><span class="lineno"> 587</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div>
539
+ <div class="line"><a name="l00588"></a><span class="lineno"> 588</span>&#160; }</div>
540
540
  </div><!-- fragment -->
541
541
  </div>
542
542
  </div>
@@ -563,10 +563,10 @@ Additional Inherited Members</h2></td></tr>
563
563
  </table>
564
564
  </div><div class="memdoc">
565
565
 
566
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00590">590</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
567
- <div class="fragment"><div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; {</div>
568
- <div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div>
569
- <div class="line"><a name="l00593"></a><span class="lineno"> 593</span>&#160; }</div>
566
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00589">589</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
567
+ <div class="fragment"><div class="line"><a name="l00590"></a><span class="lineno"> 590</span>&#160; {</div>
568
+ <div class="line"><a name="l00591"></a><span class="lineno"> 591</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">call</a>;</div>
569
+ <div class="line"><a name="l00592"></a><span class="lineno"> 592</span>&#160; }</div>
570
570
  </div><!-- fragment -->
571
571
  </div>
572
572
  </div>
@@ -593,10 +593,10 @@ Additional Inherited Members</h2></td></tr>
593
593
  </table>
594
594
  </div><div class="memdoc">
595
595
 
596
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00594">594</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; {</div>
598
- <div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>;</div>
599
- <div class="line"><a name="l00597"></a><span class="lineno"> 597</span>&#160; }</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00593">593</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l00594"></a><span class="lineno"> 594</span>&#160; {</div>
598
+ <div class="line"><a name="l00595"></a><span class="lineno"> 595</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>;</div>
599
+ <div class="line"><a name="l00596"></a><span class="lineno"> 596</span>&#160; }</div>
600
600
  </div><!-- fragment -->
601
601
  </div>
602
602
  </div>
@@ -691,7 +691,7 @@ Additional Inherited Members</h2></td></tr>
691
691
  </table>
692
692
  </div><div class="memdoc">
693
693
 
694
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00549">549</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
694
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00548">548</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
695
695
 
696
696
  </div>
697
697
  </div>
@@ -715,7 +715,7 @@ Additional Inherited Members</h2></td></tr>
715
715
  </table>
716
716
  </div><div class="memdoc">
717
717
 
718
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00548">548</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
718
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00547">547</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
719
719
 
720
720
  </div>
721
721
  </div>
@@ -740,7 +740,7 @@ Additional Inherited Members</h2></td></tr>
740
740
  </table>
741
741
  </div><div class="memdoc">
742
742
 
743
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00555">555</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
743
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00554">554</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
744
744
 
745
745
  </div>
746
746
  </div>
@@ -766,7 +766,7 @@ Additional Inherited Members</h2></td></tr>
766
766
 
767
767
  <p>the callsite statement calling from </p>
768
768
 
769
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00556">556</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
769
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00555">555</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
770
770
 
771
771
  </div>
772
772
  </div>
@@ -776,8 +776,8 @@ Additional Inherited Members</h2></td></tr>
776
776
  </ul>
777
777
  </div><!-- contents -->
778
778
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a4513c6e66b46c36219ba6d7403f3eb00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a4513c6e66b46c36219ba6d7403f3eb00">SVF::SVFStmt::makeEdgeFlagWithCallInst</a></div><div class="ttdeci">static GEdgeFlag makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00183">SVFStatements.h:183</a></div></div>
779
- <div class="ttc" id="aclassSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00556">SVFStatements.h:556</a></div></div>
780
- <div class="ttc" id="aclassSVF_1_1CallPE_html_ace0704c65aa3637c50ff880f68808bba"><div class="ttname"><a href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00555">SVFStatements.h:555</a></div></div>
779
+ <div class="ttc" id="aclassSVF_1_1CallPE_html_a88e420e259b8d7d34c9850ddde53d372"><div class="ttname"><a href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">SVF::CallPE::entry</a></div><div class="ttdeci">const FunEntryICFGNode * entry</div><div class="ttdoc">the callsite statement calling from</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00555">SVFStatements.h:555</a></div></div>
780
+ <div class="ttc" id="aclassSVF_1_1CallPE_html_ace0704c65aa3637c50ff880f68808bba"><div class="ttname"><a href="classSVF_1_1CallPE.html#ace0704c65aa3637c50ff880f68808bba">SVF::CallPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00554">SVFStatements.h:554</a></div></div>
781
781
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a97ca16eba4c5f92e16388f0cdbcfcc00">SVF::SVFStmt::Call</a></div><div class="ttdeci">@ Call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00067">SVFStatements.h:67</a></div></div>
782
782
  <div class="ttc" id="aclassSVF_1_1Options_html_a424a44f39a43b22434dbdce26007a353"><div class="ttname"><a href="classSVF_1_1Options.html#a424a44f39a43b22434dbdce26007a353">SVF::Options::ShowSVFIRValue</a></div><div class="ttdeci">static const Option&lt; bool &gt; ShowSVFIRValue</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00135">Options.h:135</a></div></div>
783
783
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a4cec89489e82c60c287cae3327f3f01d"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">SVF::AssignStmt::getRHSVarID</a></div><div class="ttdeci">NodeID getRHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00298">SVFStatements.h:298</a></div></div>