svf-tools 1.0.768 → 1.0.769

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 (308) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +163 -130
  2. package/SVF-doxygen/html/html/AccessPath_8h_source.html +47 -45
  3. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +8 -8
  4. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  8. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +2 -2
  9. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +2 -2
  10. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +2 -2
  11. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/LLVMUtil_8h.html +2 -0
  14. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +146 -126
  15. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +11 -11
  17. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +11 -11
  18. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +55 -55
  19. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +6 -6
  20. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +830 -748
  21. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8h_source.html +138 -127
  22. package/SVF-doxygen/html/html/SVFIR2Relation_8cpp_source.html +33 -33
  23. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +4 -4
  24. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +11 -11
  25. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +1 -1
  26. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +14 -14
  27. package/SVF-doxygen/html/html/SVFIR_8h_source.html +11 -11
  28. package/SVF-doxygen/html/html/SVFStatements_8cpp_source.html +19 -19
  29. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +806 -799
  30. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +7 -7
  31. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +2 -2
  32. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +2 -2
  33. package/SVF-doxygen/html/html/VFGNode_8h_source.html +7 -7
  34. package/SVF-doxygen/html/html/VFG_8cpp_source.html +15 -15
  35. package/SVF-doxygen/html/html/VFG_8h_source.html +10 -10
  36. package/SVF-doxygen/html/html/classSVF_1_1AccessPath-members.html +27 -26
  37. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +179 -124
  38. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPStmt.html +68 -68
  39. package/SVF-doxygen/html/html/classSVF_1_1BranchStmt.html +51 -51
  40. package/SVF-doxygen/html/html/classSVF_1_1BranchVFGNode.html +3 -3
  41. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +35 -35
  42. package/SVF-doxygen/html/html/classSVF_1_1CmpStmt.html +97 -97
  43. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +8 -8
  44. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +1 -1
  45. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +1 -1
  46. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +1 -1
  47. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  48. package/SVF-doxygen/html/html/classSVF_1_1GepStmt-members.html +96 -95
  49. package/SVF-doxygen/html/html/classSVF_1_1GepStmt.html +54 -19
  50. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  51. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +3 -3
  52. package/SVF-doxygen/html/html/classSVF_1_1MultiOpndStmt.html +48 -48
  53. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  54. package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html +46 -46
  55. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +35 -35
  56. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +13 -13
  57. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +49 -49
  58. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState-members.html +45 -42
  59. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +961 -779
  60. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +5 -5
  61. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +7 -7
  62. package/SVF-doxygen/html/html/classSVF_1_1SelectStmt.html +38 -38
  63. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +2 -2
  64. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +22 -22
  65. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +21 -21
  66. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPStmt.html +44 -44
  67. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +15 -15
  68. package/SVF-doxygen/html/html/functions_a.html +14 -11
  69. package/SVF-doxygen/html/html/functions_c.html +24 -21
  70. package/SVF-doxygen/html/html/functions_f.html +3 -3
  71. package/SVF-doxygen/html/html/functions_func.html +9 -6
  72. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  73. package/SVF-doxygen/html/html/functions_func_g.html +24 -15
  74. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  75. package/SVF-doxygen/html/html/functions_func_s.html +2 -2
  76. package/SVF-doxygen/html/html/functions_g.html +24 -15
  77. package/SVF-doxygen/html/html/functions_i.html +3 -3
  78. package/SVF-doxygen/html/html/functions_l.html +5 -5
  79. package/SVF-doxygen/html/html/functions_o.html +7 -7
  80. package/SVF-doxygen/html/html/functions_p.html +12 -12
  81. package/SVF-doxygen/html/html/functions_r.html +4 -2
  82. package/SVF-doxygen/html/html/functions_s.html +18 -18
  83. package/SVF-doxygen/html/html/functions_v.html +6 -6
  84. package/SVF-doxygen/html/html/functions_w.html +9 -9
  85. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +78 -31
  86. package/SVF-doxygen/html/html/namespacemembers_func_s.html +3 -0
  87. package/SVF-doxygen/html/html/namespacemembers_s.html +3 -0
  88. package/SVF-doxygen/html/html/search/all_1.js +459 -458
  89. package/SVF-doxygen/html/html/search/all_10.js +323 -323
  90. package/SVF-doxygen/html/html/search/all_11.js +212 -212
  91. package/SVF-doxygen/html/html/search/all_12.js +537 -536
  92. package/SVF-doxygen/html/html/search/all_13.js +188 -188
  93. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  94. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  95. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  96. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  97. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  98. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  99. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  100. package/SVF-doxygen/html/html/search/all_2.js +159 -159
  101. package/SVF-doxygen/html/html/search/all_3.js +627 -626
  102. package/SVF-doxygen/html/html/search/all_4.js +226 -226
  103. package/SVF-doxygen/html/html/search/all_5.js +117 -117
  104. package/SVF-doxygen/html/html/search/all_6.js +224 -224
  105. package/SVF-doxygen/html/html/search/all_7.js +1002 -999
  106. package/SVF-doxygen/html/html/search/all_8.js +191 -191
  107. package/SVF-doxygen/html/html/search/all_9.js +605 -605
  108. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  109. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  110. package/SVF-doxygen/html/html/search/all_c.js +114 -114
  111. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  112. package/SVF-doxygen/html/html/search/all_e.js +205 -205
  113. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  114. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  115. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  116. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  117. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  118. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  119. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  120. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  121. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  122. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  123. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  124. package/SVF-doxygen/html/html/search/classes_4.js +8 -8
  125. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  126. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  127. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  128. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  129. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  130. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  131. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  132. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  133. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  134. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  135. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  136. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  137. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  138. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  139. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  140. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  141. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  142. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  143. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  144. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  145. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  146. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  147. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  148. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  149. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  150. package/SVF-doxygen/html/html/search/defines_e.js +6 -6
  151. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  152. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  153. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  154. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  155. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  156. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  157. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  158. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  159. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  160. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  161. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  162. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  163. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  164. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  165. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  166. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  167. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  168. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  169. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  170. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  171. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  172. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  173. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  174. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  175. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  176. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  177. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  178. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  179. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  180. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  181. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  182. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  183. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  184. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  185. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  186. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  187. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  188. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  189. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  190. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  191. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  192. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  193. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  194. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  195. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  196. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  197. package/SVF-doxygen/html/html/search/files_2.js +49 -49
  198. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  199. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  200. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  201. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  202. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  203. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  204. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  205. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  206. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  207. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  208. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  209. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  210. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  211. package/SVF-doxygen/html/html/search/functions_0.js +6 -6
  212. package/SVF-doxygen/html/html/search/functions_1.js +349 -348
  213. package/SVF-doxygen/html/html/search/functions_10.js +139 -139
  214. package/SVF-doxygen/html/html/search/functions_11.js +126 -126
  215. package/SVF-doxygen/html/html/search/functions_12.js +274 -273
  216. package/SVF-doxygen/html/html/search/functions_13.js +56 -56
  217. package/SVF-doxygen/html/html/search/functions_14.js +38 -38
  218. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  219. package/SVF-doxygen/html/html/search/functions_16.js +29 -29
  220. package/SVF-doxygen/html/html/search/functions_17.js +2 -2
  221. package/SVF-doxygen/html/html/search/functions_18.js +169 -169
  222. package/SVF-doxygen/html/html/search/functions_2.js +82 -82
  223. package/SVF-doxygen/html/html/search/functions_3.js +252 -251
  224. package/SVF-doxygen/html/html/search/functions_4.js +71 -71
  225. package/SVF-doxygen/html/html/search/functions_5.js +51 -51
  226. package/SVF-doxygen/html/html/search/functions_6.js +58 -58
  227. package/SVF-doxygen/html/html/search/functions_7.js +822 -819
  228. package/SVF-doxygen/html/html/search/functions_8.js +143 -143
  229. package/SVF-doxygen/html/html/search/functions_9.js +425 -425
  230. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  231. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  232. package/SVF-doxygen/html/html/search/functions_c.js +24 -24
  233. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  234. package/SVF-doxygen/html/html/search/functions_e.js +34 -34
  235. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  236. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  237. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  238. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  239. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  240. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  241. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  243. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  244. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  245. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  246. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  247. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  248. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  249. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  250. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  251. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  252. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  253. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  254. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  255. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  256. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  257. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  258. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  259. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  260. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  261. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  262. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  263. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  264. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  265. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  266. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  267. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  268. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  269. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  270. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  271. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  272. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  273. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  274. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  275. package/SVF-doxygen/html/html/search/variables_0.js +147 -147
  276. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  277. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  278. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  279. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  280. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  281. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  282. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  283. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  284. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  285. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  286. package/SVF-doxygen/html/html/search/variables_2.js +34 -34
  287. package/SVF-doxygen/html/html/search/variables_3.js +141 -141
  288. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  289. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  290. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  291. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  292. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  293. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  294. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  295. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  296. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  297. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  298. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  299. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  300. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  301. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1AccessPath_01_4.html +8 -8
  302. package/package.json +1 -1
  303. package/svf/include/AbstractExecution/SVFIR2ItvExeState.h +14 -0
  304. package/svf/include/MemoryModel/AccessPath.h +6 -0
  305. package/svf/include/SVFIR/SVFStatements.h +10 -0
  306. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +154 -75
  307. package/svf/lib/MemoryModel/AccessPath.cpp +39 -0
  308. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +17 -0
package/SVF-doxygen/html/html/classSVF_1_1PhiStmt.html CHANGED
@@ -311,7 +311,7 @@ Additional Inherited Members</h2></td></tr>
311
311
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
312
312
  <div class="textblock"><p>Phi statement (e.g., p = phi(q,r) which receives values from variables q and r from different paths) it is typically at a joint point of the control-flow graph </p>
313
313
 
314
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00737">737</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#l00747">747</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
315
315
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
316
316
  <a id="a49d49b191592f21e8e4e8b6676871423"></a>
317
317
  <h2 class="memtitle"><span class="permalink"><a href="#a49d49b191592f21e8e4e8b6676871423">&#9670;&nbsp;</a></span>OpICFGNodeVec</h2>
@@ -325,7 +325,7 @@ Additional Inherited Members</h2></td></tr>
325
325
  </table>
326
326
  </div><div class="memdoc">
327
327
 
328
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00743">743</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
328
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00753">753</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
329
 
330
330
  </div>
331
331
  </div>
@@ -355,8 +355,8 @@ Additional Inherited Members</h2></td></tr>
355
355
 
356
356
  <p>Constructs empty <a class="el" href="classSVF_1_1PhiStmt.html">PhiStmt</a> (for SVFIRReader/serialization) </p>
357
357
 
358
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00747">747</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
359
- <div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno"> 747</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>) {}</div>
358
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00757">757</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
359
+ <div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160;: <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>) {}</div>
360
360
  </div><!-- fragment -->
361
361
  </div>
362
362
  </div>
@@ -430,12 +430,12 @@ Additional Inherited Members</h2></td></tr>
430
430
 
431
431
  <p>constructor </p>
432
432
 
433
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00775">775</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
434
- <div class="fragment"><div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s, opnds, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>), <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>(icfgNodes)</div>
435
- <div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; {</div>
436
- <div class="line"><a name="l00778"></a><span class="lineno"> 778</span>&#160; assert(opnds.size() == icfgNodes.size() &amp;&amp;</div>
437
- <div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; <span class="stringliteral">&quot;Numbers of operands and their ICFGNodes are not consistent?&quot;</span>);</div>
438
- <div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; }</div>
433
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00785">785</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
434
+ <div class="fragment"><div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; : <a class="code" href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">MultiOpndStmt</a>(s, opnds, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>), <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>(icfgNodes)</div>
435
+ <div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; {</div>
436
+ <div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; assert(opnds.size() == icfgNodes.size() &amp;&amp;</div>
437
+ <div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; <span class="stringliteral">&quot;Numbers of operands and their ICFGNodes are not consistent?&quot;</span>);</div>
438
+ <div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; }</div>
439
439
  </div><!-- fragment -->
440
440
  </div>
441
441
  </div>
@@ -474,13 +474,13 @@ Additional Inherited Members</h2></td></tr>
474
474
  </table>
475
475
  </div><div class="memdoc">
476
476
 
477
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00781">781</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
478
- <div class="fragment"><div class="line"><a name="l00782"></a><span class="lineno"> 782</span>&#160; {</div>
479
- <div class="line"><a name="l00783"></a><span class="lineno"> 783</span>&#160; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.push_back(op);</div>
480
- <div class="line"><a name="l00784"></a><span class="lineno"> 784</span>&#160; <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.push_back(inode);</div>
481
- <div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; assert(<a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.size() == <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.size() &amp;&amp;</div>
482
- <div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; <span class="stringliteral">&quot;Numbers of operands and their ICFGNodes are not consistent?&quot;</span>);</div>
483
- <div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; }</div>
477
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00791">791</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
478
+ <div class="fragment"><div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; {</div>
479
+ <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.push_back(op);</div>
480
+ <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.push_back(inode);</div>
481
+ <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; assert(<a class="code" href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">opVars</a>.size() == <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.size() &amp;&amp;</div>
482
+ <div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; <span class="stringliteral">&quot;Numbers of operands and their ICFGNodes are not consistent?&quot;</span>);</div>
483
+ <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; }</div>
484
484
  </div><!-- fragment -->
485
485
  </div>
486
486
  </div>
@@ -508,10 +508,10 @@ Additional Inherited Members</h2></td></tr>
508
508
  </table>
509
509
  </div><div class="memdoc">
510
510
 
511
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00768">768</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
512
- <div class="fragment"><div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; {</div>
513
- <div class="line"><a name="l00770"></a><span class="lineno"> 770</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
514
- <div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; }</div>
511
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00778">778</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
512
+ <div class="fragment"><div class="line"><a name="l00779"></a><span class="lineno"> 779</span>&#160; {</div>
513
+ <div class="line"><a name="l00780"></a><span class="lineno"> 780</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
514
+ <div class="line"><a name="l00781"></a><span class="lineno"> 781</span>&#160; }</div>
515
515
  </div><!-- fragment -->
516
516
  </div>
517
517
  </div>
@@ -539,10 +539,10 @@ Additional Inherited Members</h2></td></tr>
539
539
  </table>
540
540
  </div><div class="memdoc">
541
541
 
542
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00764">764</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
543
- <div class="fragment"><div class="line"><a name="l00765"></a><span class="lineno"> 765</span>&#160; {</div>
544
- <div class="line"><a name="l00766"></a><span class="lineno"> 766</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
545
- <div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; }</div>
542
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00774">774</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
543
+ <div class="fragment"><div class="line"><a name="l00775"></a><span class="lineno"> 775</span>&#160; {</div>
544
+ <div class="line"><a name="l00776"></a><span class="lineno"> 776</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
545
+ <div class="line"><a name="l00777"></a><span class="lineno"> 777</span>&#160; }</div>
546
546
  </div><!-- fragment -->
547
547
  </div>
548
548
  </div>
@@ -572,10 +572,10 @@ Additional Inherited Members</h2></td></tr>
572
572
 
573
573
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
574
574
 
575
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00756">756</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
576
- <div class="fragment"><div class="line"><a name="l00757"></a><span class="lineno"> 757</span>&#160; {</div>
577
- <div class="line"><a name="l00758"></a><span class="lineno"> 758</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
578
- <div class="line"><a name="l00759"></a><span class="lineno"> 759</span>&#160; }</div>
575
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00766">766</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
576
+ <div class="fragment"><div class="line"><a name="l00767"></a><span class="lineno"> 767</span>&#160; {</div>
577
+ <div class="line"><a name="l00768"></a><span class="lineno"> 768</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
578
+ <div class="line"><a name="l00769"></a><span class="lineno"> 769</span>&#160; }</div>
579
579
  </div><!-- fragment -->
580
580
  </div>
581
581
  </div>
@@ -603,10 +603,10 @@ Additional Inherited Members</h2></td></tr>
603
603
  </table>
604
604
  </div><div class="memdoc">
605
605
 
606
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00760">760</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
607
- <div class="fragment"><div class="line"><a name="l00761"></a><span class="lineno"> 761</span>&#160; {</div>
608
- <div class="line"><a name="l00762"></a><span class="lineno"> 762</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
609
- <div class="line"><a name="l00763"></a><span class="lineno"> 763</span>&#160; }</div>
606
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00770">770</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
607
+ <div class="fragment"><div class="line"><a name="l00771"></a><span class="lineno"> 771</span>&#160; {</div>
608
+ <div class="line"><a name="l00772"></a><span class="lineno"> 772</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVFStmt::Phi</a>;</div>
609
+ <div class="line"><a name="l00773"></a><span class="lineno"> 773</span>&#160; }</div>
610
610
  </div><!-- fragment -->
611
611
  </div>
612
612
  </div>
@@ -636,10 +636,10 @@ Additional Inherited Members</h2></td></tr>
636
636
 
637
637
  <p>Return the corresponding <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> of this operand. </p>
638
638
 
639
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00790">790</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
640
- <div class="fragment"><div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; {</div>
641
- <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.at(op_idx);</div>
642
- <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; }</div>
639
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00800">800</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
640
+ <div class="fragment"><div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; {</div>
641
+ <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">opICFGNodes</a>.at(op_idx);</div>
642
+ <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; }</div>
643
643
  </div><!-- fragment -->
644
644
  </div>
645
645
  </div>
@@ -758,7 +758,7 @@ Additional Inherited Members</h2></td></tr>
758
758
  </table>
759
759
  </div><div class="memdoc">
760
760
 
761
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00740">740</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
761
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00750">750</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
762
762
 
763
763
  </div>
764
764
  </div>
@@ -782,7 +782,7 @@ Additional Inherited Members</h2></td></tr>
782
782
  </table>
783
783
  </div><div class="memdoc">
784
784
 
785
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00739">739</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
785
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00749">749</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
786
786
 
787
787
  </div>
788
788
  </div>
@@ -807,7 +807,7 @@ Additional Inherited Members</h2></td></tr>
807
807
  </table>
808
808
  </div><div class="memdoc">
809
809
 
810
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00751">751</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
810
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00761">761</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
811
811
 
812
812
  </div>
813
813
  </div>
@@ -818,17 +818,17 @@ Additional Inherited Members</h2></td></tr>
818
818
  </div><!-- contents -->
819
819
  <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>
820
820
  <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>
821
- <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a4c75a8f8430621aaec62a5189db136b5"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">SVF::PhiStmt::opICFGNodes</a></div><div class="ttdeci">OpICFGNodeVec opICFGNodes</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00751">SVFStatements.h:751</a></div></div>
822
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00701">SVFStatements.h:701</a></div></div>
821
+ <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a4c75a8f8430621aaec62a5189db136b5"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5">SVF::PhiStmt::opICFGNodes</a></div><div class="ttdeci">OpICFGNodeVec opICFGNodes</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00761">SVFStatements.h:761</a></div></div>
822
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a18f9d9ea87def35d4eaa707a339316b8"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a18f9d9ea87def35d4eaa707a339316b8">SVF::MultiOpndStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar(u32_t pos) const</div><div class="ttdoc">Operand SVFVars.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00711">SVFStatements.h:711</a></div></div>
823
823
  <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>
824
824
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a60420a9681df31686eb4a42adf37e1e3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a60420a9681df31686eb4a42adf37e1e3">SVF::MultiOpndStmt::MultiOpndStmt</a></div><div class="ttdeci">MultiOpndStmt()</div><div class="ttdoc">place holder</div></div>
825
- <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00790">SVFStatements.h:790</a></div></div>
825
+ <div class="ttc" id="aclassSVF_1_1PhiStmt_html_a0b97394bc1946c0185d2c11fbc2181f4"><div class="ttname"><a href="classSVF_1_1PhiStmt.html#a0b97394bc1946c0185d2c11fbc2181f4">SVF::PhiStmt::getOpICFGNode</a></div><div class="ttdeci">const ICFGNode * getOpICFGNode(u32_t op_idx) const</div><div class="ttdoc">Return the corresponding ICFGNode of this operand.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00800">SVFStatements.h:800</a></div></div>
826
826
  <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>
827
- <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#l00706">SVFStatements.h:706</a></div></div>
827
+ <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#l00716">SVFStatements.h:716</a></div></div>
828
828
  <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#l01159">LLVMUtil.cpp:1159</a></div></div>
829
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00714">SVFStatements.h:714</a></div></div>
829
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_af300571886b7aa2d84b0a70851c99bc3"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">SVF::MultiOpndStmt::getOpVarNum</a></div><div class="ttdeci">u32_t getOpVarNum() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00724">SVFStatements.h:724</a></div></div>
830
830
  <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a71a530eb9fa9f7e273e471b4a75a039e"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">SVF::MultiOpndStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00289">SVFStatements.cpp:289</a></div></div>
831
- <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00673">SVFStatements.h:673</a></div></div>
831
+ <div class="ttc" id="aclassSVF_1_1MultiOpndStmt_html_a172025849492f4de8f87564ef08f5880"><div class="ttname"><a href="classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880">SVF::MultiOpndStmt::opVars</a></div><div class="ttdeci">OPVars opVars</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00683">SVFStatements.h:683</a></div></div>
832
832
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a6b3cd98eeb47c8475e7ee64480dcdee9">SVF::SVFStmt::Phi</a></div><div class="ttdeci">@ Phi</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00070">SVFStatements.h:70</a></div></div>
833
833
  <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>
834
834
  <!-- start footer part -->
package/SVF-doxygen/html/html/classSVF_1_1RetPE.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>Return </p>
297
297
 
298
- <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>
298
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00604">604</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="a0af89e939e91a980a083f931b209aea0"></a>
301
301
  <h2 class="memtitle"><span class="permalink"><a href="#a0af89e939e91a980a083f931b209aea0">&#9670;&nbsp;</a></span>RetPE() <span class="overload">[1/3]</span></h2>
@@ -352,8 +352,8 @@ Additional Inherited Members</h2></td></tr>
352
352
  <p>the function exit statement returned from </p>
353
353
  <p>Constructs empty <a class="el" href="classSVF_1_1RetPE.html">RetPE</a> (for SVFIRReader/serialization) </p>
354
354
 
355
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00608">608</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
356
- <div class="fragment"><div class="line"><a name="l00608"></a><span class="lineno"> 608</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(k), <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>{}, <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>{} {}</div>
355
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00618">618</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
356
+ <div class="fragment"><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160;: <a class="code" href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">AssignStmt</a>(k), <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>{}, <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>{} {}</div>
357
357
  </div><!-- fragment -->
358
358
  </div>
359
359
  </div>
@@ -435,11 +435,11 @@ Additional Inherited Members</h2></td></tr>
435
435
  </table>
436
436
  </div><div class="memdoc">
437
437
 
438
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00622">622</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
439
- <div class="fragment"><div class="line"><a name="l00623"></a><span class="lineno"> 623</span>&#160; {</div>
440
- <div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a> ||</div>
441
- <div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
442
- <div class="line"><a name="l00626"></a><span class="lineno"> 626</span>&#160; }</div>
438
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00632">632</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
439
+ <div class="fragment"><div class="line"><a name="l00633"></a><span class="lineno"> 633</span>&#160; {</div>
440
+ <div class="line"><a name="l00634"></a><span class="lineno"> 634</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a> ||</div>
441
+ <div class="line"><a name="l00635"></a><span class="lineno"> 635</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
442
+ <div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; }</div>
443
443
  </div><!-- fragment -->
444
444
  </div>
445
445
  </div>
@@ -469,10 +469,10 @@ Additional Inherited Members</h2></td></tr>
469
469
 
470
470
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00613">613</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l00614"></a><span class="lineno"> 614</span>&#160; {</div>
474
- <div class="line"><a name="l00615"></a><span class="lineno"> 615</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
475
- <div class="line"><a name="l00616"></a><span class="lineno"> 616</span>&#160; }</div>
472
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00623">623</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
+ <div class="fragment"><div class="line"><a name="l00624"></a><span class="lineno"> 624</span>&#160; {</div>
474
+ <div class="line"><a name="l00625"></a><span class="lineno"> 625</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
475
+ <div class="line"><a name="l00626"></a><span class="lineno"> 626</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#l00617">617</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
504
- <div class="fragment"><div class="line"><a name="l00618"></a><span class="lineno"> 618</span>&#160; {</div>
505
- <div class="line"><a name="l00619"></a><span class="lineno"> 619</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a> ||</div>
506
- <div class="line"><a name="l00620"></a><span class="lineno"> 620</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
507
- <div class="line"><a name="l00621"></a><span class="lineno"> 621</span>&#160; }</div>
503
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00627">627</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
504
+ <div class="fragment"><div class="line"><a name="l00628"></a><span class="lineno"> 628</span>&#160; {</div>
505
+ <div class="line"><a name="l00629"></a><span class="lineno"> 629</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVFStmt::Ret</a> ||</div>
506
+ <div class="line"><a name="l00630"></a><span class="lineno"> 630</span>&#160; edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
507
+ <div class="line"><a name="l00631"></a><span class="lineno"> 631</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 call instruction at caller. </p>
535
535
 
536
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00635">635</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
537
- <div class="fragment"><div class="line"><a name="l00636"></a><span class="lineno"> 636</span>&#160; {</div>
538
- <div class="line"><a name="l00637"></a><span class="lineno"> 637</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div>
539
- <div class="line"><a name="l00638"></a><span class="lineno"> 638</span>&#160; }</div>
536
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00645">645</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
537
+ <div class="fragment"><div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160; {</div>
538
+ <div class="line"><a name="l00647"></a><span class="lineno"> 647</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div>
539
+ <div class="line"><a name="l00648"></a><span class="lineno"> 648</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#l00639">639</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
567
- <div class="fragment"><div class="line"><a name="l00640"></a><span class="lineno"> 640</span>&#160; {</div>
568
- <div class="line"><a name="l00641"></a><span class="lineno"> 641</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div>
569
- <div class="line"><a name="l00642"></a><span class="lineno"> 642</span>&#160; }</div>
566
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00649">649</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
567
+ <div class="fragment"><div class="line"><a name="l00650"></a><span class="lineno"> 650</span>&#160; {</div>
568
+ <div class="line"><a name="l00651"></a><span class="lineno"> 651</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">call</a>;</div>
569
+ <div class="line"><a name="l00652"></a><span class="lineno"> 652</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#l00643">643</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l00644"></a><span class="lineno"> 644</span>&#160; {</div>
598
- <div class="line"><a name="l00645"></a><span class="lineno"> 645</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>;</div>
599
- <div class="line"><a name="l00646"></a><span class="lineno"> 646</span>&#160; }</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00653">653</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l00654"></a><span class="lineno"> 654</span>&#160; {</div>
598
+ <div class="line"><a name="l00655"></a><span class="lineno"> 655</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">exit</a>;</div>
599
+ <div class="line"><a name="l00656"></a><span class="lineno"> 656</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#l00597">597</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#l00607">607</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#l00596">596</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#l00606">606</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#l00603">603</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#l00613">613</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 returning to </p>
768
768
 
769
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l00604">604</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#l00614">614</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
770
770
 
771
771
  </div>
772
772
  </div>
@@ -782,9 +782,9 @@ Additional Inherited Members</h2></td></tr>
782
782
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVF::SVFStmt::ThreadJoin</a></div><div class="ttdeci">@ ThreadJoin</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00077">SVFStatements.h:77</a></div></div>
783
783
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_abc65520cc2b9608c97374829eb475c57"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#abc65520cc2b9608c97374829eb475c57">SVF::AssignStmt::AssignStmt</a></div><div class="ttdeci">AssignStmt()</div><div class="ttdoc">place holder</div></div>
784
784
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a8d269a45adf13e69468f0357222ab2af">SVF::SVFStmt::Ret</a></div><div class="ttdeci">@ Ret</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00068">SVFStatements.h:68</a></div></div>
785
- <div class="ttc" id="aclassSVF_1_1RetPE_html_a6f6ccda153150b6acdd81550e45f640f"><div class="ttname"><a href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE::exit</a></div><div class="ttdeci">const FunExitICFGNode * exit</div><div class="ttdoc">the callsite statement returning to</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00604">SVFStatements.h:604</a></div></div>
785
+ <div class="ttc" id="aclassSVF_1_1RetPE_html_a6f6ccda153150b6acdd81550e45f640f"><div class="ttname"><a href="classSVF_1_1RetPE.html#a6f6ccda153150b6acdd81550e45f640f">SVF::RetPE::exit</a></div><div class="ttdeci">const FunExitICFGNode * exit</div><div class="ttdoc">the callsite statement returning to</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00614">SVFStatements.h:614</a></div></div>
786
786
  <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>
787
- <div class="ttc" id="aclassSVF_1_1RetPE_html_aa2d42edfce9d5a8c025c0bb529aee0f2"><div class="ttname"><a href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00603">SVFStatements.h:603</a></div></div>
787
+ <div class="ttc" id="aclassSVF_1_1RetPE_html_aa2d42edfce9d5a8c025c0bb529aee0f2"><div class="ttname"><a href="classSVF_1_1RetPE.html#aa2d42edfce9d5a8c025c0bb529aee0f2">SVF::RetPE::call</a></div><div class="ttdeci">const CallICFGNode * call</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00613">SVFStatements.h:613</a></div></div>
788
788
  <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#l01159">LLVMUtil.cpp:1159</a></div></div>
789
789
  <div class="ttc" id="aclassSVF_1_1AssignStmt_html_a98f731be7be9bc8e7fd09f5c2204c840"><div class="ttname"><a href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">SVF::AssignStmt::getLHSVarID</a></div><div class="ttdeci">NodeID getLHSVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00302">SVFStatements.h:302</a></div></div>
790
790
  <!-- start footer part -->