svf-tools 1.0.901 → 1.0.902

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 (311) hide show
  1. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +10 -10
  2. package/SVF-doxygen/html/AbstractExecution_8h_source.html +2 -2
  3. package/SVF-doxygen/html/Andersen_8h_source.html +1 -1
  4. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +2 -2
  5. package/SVF-doxygen/html/CSC_8cpp_source.html +2 -2
  6. package/SVF-doxygen/html/ConsGNode_8h_source.html +4 -4
  7. package/SVF-doxygen/html/ConsG_8cpp_source.html +760 -757
  8. package/SVF-doxygen/html/ConsG_8h_source.html +19 -19
  9. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/FlowDDA_8cpp_source.html +3 -3
  11. package/SVF-doxygen/html/FlowSensitive_8cpp_source.html +3 -3
  12. package/SVF-doxygen/html/ICFGEdge_8h_source.html +2 -2
  13. package/SVF-doxygen/html/ICFG_8cpp_source.html +2 -2
  14. package/SVF-doxygen/html/IRGraph_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
  16. package/SVF-doxygen/html/MemRegion_8cpp_source.html +2 -2
  17. package/SVF-doxygen/html/MemRegion_8h_source.html +2 -2
  18. package/SVF-doxygen/html/MemSSA_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/MemSSA_8h_source.html +2 -2
  20. package/SVF-doxygen/html/PAGBuilderFromFile_8cpp_source.html +2 -2
  21. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +14 -14
  22. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +14 -14
  23. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/SVFG_8cpp_source.html +1 -1
  25. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +60 -60
  26. package/SVF-doxygen/html/SVFIR2ConsExeState_8h_source.html +9 -9
  27. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +216 -206
  28. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +14 -14
  29. package/SVF-doxygen/html/SVFIR2Relation_8cpp_source.html +35 -35
  30. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +800 -804
  31. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +59 -59
  32. package/SVF-doxygen/html/SVFIR_8cpp_source.html +20 -20
  33. package/SVF-doxygen/html/SVFIR_8h_source.html +197 -197
  34. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +20 -20
  35. package/SVF-doxygen/html/SVFStatements_8h_source.html +1001 -953
  36. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +7 -7
  37. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +2 -2
  38. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  39. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +485 -483
  40. package/SVF-doxygen/html/SymbolTableBuilder_8h_source.html +14 -14
  41. package/SVF-doxygen/html/VFGNode_8h_source.html +10 -10
  42. package/SVF-doxygen/html/VFG_8cpp_source.html +16 -16
  43. package/SVF-doxygen/html/VFG_8h_source.html +13 -13
  44. package/SVF-doxygen/html/ae_8cpp_source.html +1 -1
  45. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +15 -15
  46. package/SVF-doxygen/html/classSVF_1_1AddrCGEdge.html +11 -11
  47. package/SVF-doxygen/html/classSVF_1_1Andersen.html +1 -1
  48. package/SVF-doxygen/html/classSVF_1_1AndersenBase.html +2 -2
  49. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +68 -68
  50. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +51 -51
  51. package/SVF-doxygen/html/classSVF_1_1BranchVFGNode.html +3 -3
  52. package/SVF-doxygen/html/classSVF_1_1CSC.html +2 -2
  53. package/SVF-doxygen/html/classSVF_1_1CallPE.html +35 -35
  54. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +97 -97
  55. package/SVF-doxygen/html/classSVF_1_1ConstraintGraph.html +514 -511
  56. package/SVF-doxygen/html/classSVF_1_1ConstraintNode.html +28 -28
  57. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +3 -3
  58. package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html +8 -2
  59. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +238 -35
  60. package/SVF-doxygen/html/classSVF_1_1FlowDDA.html +3 -3
  61. package/SVF-doxygen/html/classSVF_1_1FlowSensitive.html +3 -3
  62. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +56 -56
  63. package/SVF-doxygen/html/classSVF_1_1ICFG.html +2 -2
  64. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +19 -19
  65. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +2 -2
  66. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +2 -2
  67. package/SVF-doxygen/html/classSVF_1_1MultiOpndStmt.html +48 -48
  68. package/SVF-doxygen/html/classSVF_1_1PAGBuilderFromFile.html +15 -15
  69. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +46 -46
  70. package/SVF-doxygen/html/classSVF_1_1RetPE.html +35 -35
  71. package/SVF-doxygen/html/classSVF_1_1SVFG.html +1 -1
  72. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +137 -136
  73. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +51 -51
  74. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +197 -187
  75. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +770 -775
  76. package/SVF-doxygen/html/classSVF_1_1SVFIRReader.html +1 -1
  77. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +7 -7
  78. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +38 -38
  79. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +1 -1
  80. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +17 -17
  81. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +466 -464
  82. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +22 -22
  83. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +21 -21
  84. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +44 -44
  85. package/SVF-doxygen/html/classSVF_1_1VFG.html +16 -16
  86. package/SVF-doxygen/html/functions_func_i.html +28 -10
  87. package/SVF-doxygen/html/functions_i.html +30 -12
  88. package/SVF-doxygen/html/functions_l.html +3 -3
  89. package/SVF-doxygen/html/functions_p.html +15 -11
  90. package/SVF-doxygen/html/functions_r.html +1 -1
  91. package/SVF-doxygen/html/functions_s.html +7 -7
  92. package/SVF-doxygen/html/functions_t.html +3 -3
  93. package/SVF-doxygen/html/functions_v.html +6 -6
  94. package/SVF-doxygen/html/functions_w.html +7 -13
  95. package/SVF-doxygen/html/namespaceSVF.html +1 -1
  96. package/SVF-doxygen/html/search/all_10.js +326 -326
  97. package/SVF-doxygen/html/search/all_11.js +226 -226
  98. package/SVF-doxygen/html/search/all_12.js +574 -574
  99. package/SVF-doxygen/html/search/all_13.js +208 -208
  100. package/SVF-doxygen/html/search/all_14.js +73 -73
  101. package/SVF-doxygen/html/search/all_15.js +176 -176
  102. package/SVF-doxygen/html/search/all_16.js +77 -77
  103. package/SVF-doxygen/html/search/all_17.js +1 -1
  104. package/SVF-doxygen/html/search/all_18.js +1 -1
  105. package/SVF-doxygen/html/search/all_19.js +27 -27
  106. package/SVF-doxygen/html/search/all_1a.js +179 -179
  107. package/SVF-doxygen/html/search/all_9.js +308 -302
  108. package/SVF-doxygen/html/search/all_a.js +46 -46
  109. package/SVF-doxygen/html/search/all_b.js +26 -26
  110. package/SVF-doxygen/html/search/all_c.js +115 -115
  111. package/SVF-doxygen/html/search/all_d.js +204 -204
  112. package/SVF-doxygen/html/search/all_e.js +209 -209
  113. package/SVF-doxygen/html/search/all_f.js +122 -122
  114. package/SVF-doxygen/html/search/classes_0.js +28 -28
  115. package/SVF-doxygen/html/search/classes_1.js +11 -11
  116. package/SVF-doxygen/html/search/classes_10.js +74 -74
  117. package/SVF-doxygen/html/search/classes_11.js +14 -14
  118. package/SVF-doxygen/html/search/classes_12.js +2 -2
  119. package/SVF-doxygen/html/search/classes_13.js +10 -10
  120. package/SVF-doxygen/html/search/classes_14.js +19 -19
  121. package/SVF-doxygen/html/search/classes_15.js +1 -1
  122. package/SVF-doxygen/html/search/classes_2.js +73 -73
  123. package/SVF-doxygen/html/search/classes_3.js +35 -35
  124. package/SVF-doxygen/html/search/classes_4.js +8 -8
  125. package/SVF-doxygen/html/search/classes_5.js +28 -28
  126. package/SVF-doxygen/html/search/classes_6.js +98 -98
  127. package/SVF-doxygen/html/search/classes_7.js +38 -38
  128. package/SVF-doxygen/html/search/classes_8.js +59 -59
  129. package/SVF-doxygen/html/search/classes_9.js +1 -1
  130. package/SVF-doxygen/html/search/classes_a.js +12 -12
  131. package/SVF-doxygen/html/search/classes_b.js +29 -29
  132. package/SVF-doxygen/html/search/classes_c.js +6 -6
  133. package/SVF-doxygen/html/search/classes_d.js +19 -19
  134. package/SVF-doxygen/html/search/classes_e.js +36 -36
  135. package/SVF-doxygen/html/search/classes_f.js +25 -25
  136. package/SVF-doxygen/html/search/defines_0.js +3 -3
  137. package/SVF-doxygen/html/search/defines_1.js +3 -3
  138. package/SVF-doxygen/html/search/defines_10.js +2 -2
  139. package/SVF-doxygen/html/search/defines_2.js +30 -30
  140. package/SVF-doxygen/html/search/defines_3.js +20 -20
  141. package/SVF-doxygen/html/search/defines_4.js +3 -3
  142. package/SVF-doxygen/html/search/defines_5.js +4 -4
  143. package/SVF-doxygen/html/search/defines_6.js +2 -2
  144. package/SVF-doxygen/html/search/defines_7.js +5 -5
  145. package/SVF-doxygen/html/search/defines_8.js +11 -11
  146. package/SVF-doxygen/html/search/defines_9.js +9 -9
  147. package/SVF-doxygen/html/search/defines_a.js +2 -2
  148. package/SVF-doxygen/html/search/defines_b.js +1 -1
  149. package/SVF-doxygen/html/search/defines_c.js +4 -4
  150. package/SVF-doxygen/html/search/defines_d.js +2 -2
  151. package/SVF-doxygen/html/search/defines_e.js +8 -8
  152. package/SVF-doxygen/html/search/defines_f.js +4 -4
  153. package/SVF-doxygen/html/search/enums_0.js +4 -4
  154. package/SVF-doxygen/html/search/enums_1.js +2 -2
  155. package/SVF-doxygen/html/search/enums_10.js +1 -1
  156. package/SVF-doxygen/html/search/enums_11.js +1 -1
  157. package/SVF-doxygen/html/search/enums_2.js +9 -9
  158. package/SVF-doxygen/html/search/enums_3.js +1 -1
  159. package/SVF-doxygen/html/search/enums_4.js +4 -4
  160. package/SVF-doxygen/html/search/enums_5.js +1 -1
  161. package/SVF-doxygen/html/search/enums_6.js +2 -2
  162. package/SVF-doxygen/html/search/enums_7.js +2 -2
  163. package/SVF-doxygen/html/search/enums_8.js +4 -4
  164. package/SVF-doxygen/html/search/enums_9.js +1 -1
  165. package/SVF-doxygen/html/search/enums_a.js +1 -1
  166. package/SVF-doxygen/html/search/enums_b.js +7 -7
  167. package/SVF-doxygen/html/search/enums_c.js +1 -1
  168. package/SVF-doxygen/html/search/enums_d.js +4 -4
  169. package/SVF-doxygen/html/search/enums_e.js +2 -2
  170. package/SVF-doxygen/html/search/enums_f.js +4 -4
  171. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  172. package/SVF-doxygen/html/search/enumvalues_1.js +16 -16
  173. package/SVF-doxygen/html/search/enumvalues_10.js +36 -36
  174. package/SVF-doxygen/html/search/enumvalues_11.js +5 -5
  175. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  176. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  177. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  178. package/SVF-doxygen/html/search/enumvalues_15.js +4 -4
  179. package/SVF-doxygen/html/search/enumvalues_2.js +37 -37
  180. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  181. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  182. package/SVF-doxygen/html/search/enumvalues_5.js +50 -50
  183. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  184. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  185. package/SVF-doxygen/html/search/enumvalues_8.js +24 -24
  186. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  187. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  188. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  189. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  190. package/SVF-doxygen/html/search/enumvalues_d.js +19 -19
  191. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  192. package/SVF-doxygen/html/search/enumvalues_f.js +49 -49
  193. package/SVF-doxygen/html/search/files_0.js +16 -16
  194. package/SVF-doxygen/html/search/files_1.js +9 -9
  195. package/SVF-doxygen/html/search/files_10.js +8 -8
  196. package/SVF-doxygen/html/search/files_11.js +8 -8
  197. package/SVF-doxygen/html/search/files_12.js +2 -2
  198. package/SVF-doxygen/html/search/files_2.js +53 -53
  199. package/SVF-doxygen/html/search/files_3.js +14 -14
  200. package/SVF-doxygen/html/search/files_4.js +5 -5
  201. package/SVF-doxygen/html/search/files_5.js +13 -13
  202. package/SVF-doxygen/html/search/files_6.js +10 -10
  203. package/SVF-doxygen/html/search/files_7.js +17 -17
  204. package/SVF-doxygen/html/search/files_8.js +13 -13
  205. package/SVF-doxygen/html/search/files_9.js +18 -18
  206. package/SVF-doxygen/html/search/files_a.js +3 -3
  207. package/SVF-doxygen/html/search/files_b.js +4 -4
  208. package/SVF-doxygen/html/search/files_c.js +20 -20
  209. package/SVF-doxygen/html/search/files_d.js +4 -4
  210. package/SVF-doxygen/html/search/files_e.js +62 -62
  211. package/SVF-doxygen/html/search/files_f.js +8 -8
  212. package/SVF-doxygen/html/search/functions_0.js +13 -13
  213. package/SVF-doxygen/html/search/functions_1.js +368 -368
  214. package/SVF-doxygen/html/search/functions_10.js +140 -140
  215. package/SVF-doxygen/html/search/functions_11.js +140 -140
  216. package/SVF-doxygen/html/search/functions_12.js +299 -299
  217. package/SVF-doxygen/html/search/functions_13.js +73 -73
  218. package/SVF-doxygen/html/search/functions_14.js +41 -41
  219. package/SVF-doxygen/html/search/functions_15.js +72 -72
  220. package/SVF-doxygen/html/search/functions_16.js +38 -38
  221. package/SVF-doxygen/html/search/functions_17.js +3 -3
  222. package/SVF-doxygen/html/search/functions_18.js +179 -179
  223. package/SVF-doxygen/html/search/functions_2.js +94 -94
  224. package/SVF-doxygen/html/search/functions_3.js +261 -261
  225. package/SVF-doxygen/html/search/functions_4.js +85 -85
  226. package/SVF-doxygen/html/search/functions_5.js +57 -57
  227. package/SVF-doxygen/html/search/functions_6.js +65 -65
  228. package/SVF-doxygen/html/search/functions_7.js +872 -872
  229. package/SVF-doxygen/html/search/functions_8.js +162 -162
  230. package/SVF-doxygen/html/search/functions_9.js +446 -440
  231. package/SVF-doxygen/html/search/functions_a.js +30 -30
  232. package/SVF-doxygen/html/search/functions_b.js +2 -2
  233. package/SVF-doxygen/html/search/functions_c.js +25 -25
  234. package/SVF-doxygen/html/search/functions_d.js +82 -82
  235. package/SVF-doxygen/html/search/functions_e.js +36 -36
  236. package/SVF-doxygen/html/search/functions_f.js +58 -58
  237. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  238. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  239. package/SVF-doxygen/html/search/related_0.js +4 -4
  240. package/SVF-doxygen/html/search/related_1.js +2 -2
  241. package/SVF-doxygen/html/search/related_2.js +2 -2
  242. package/SVF-doxygen/html/search/related_3.js +2 -2
  243. package/SVF-doxygen/html/search/related_4.js +2 -2
  244. package/SVF-doxygen/html/search/related_5.js +1 -1
  245. package/SVF-doxygen/html/search/related_6.js +2 -2
  246. package/SVF-doxygen/html/search/related_7.js +5 -5
  247. package/SVF-doxygen/html/search/related_8.js +2 -2
  248. package/SVF-doxygen/html/search/related_9.js +4 -4
  249. package/SVF-doxygen/html/search/related_a.js +19 -19
  250. package/SVF-doxygen/html/search/related_b.js +4 -4
  251. package/SVF-doxygen/html/search/related_c.js +2 -2
  252. package/SVF-doxygen/html/search/related_d.js +12 -12
  253. package/SVF-doxygen/html/search/related_e.js +2 -2
  254. package/SVF-doxygen/html/search/related_f.js +2 -2
  255. package/SVF-doxygen/html/search/typedefs_0.js +19 -19
  256. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  257. package/SVF-doxygen/html/search/typedefs_10.js +65 -65
  258. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  259. package/SVF-doxygen/html/search/typedefs_12.js +13 -13
  260. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  261. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  262. package/SVF-doxygen/html/search/typedefs_2.js +125 -125
  263. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  264. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  265. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  266. package/SVF-doxygen/html/search/typedefs_6.js +54 -54
  267. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  268. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  269. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  270. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  271. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  272. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  273. package/SVF-doxygen/html/search/typedefs_d.js +15 -15
  274. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  275. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  276. package/SVF-doxygen/html/search/variables_0.js +177 -177
  277. package/SVF-doxygen/html/search/variables_1.js +77 -77
  278. package/SVF-doxygen/html/search/variables_10.js +98 -98
  279. package/SVF-doxygen/html/search/variables_11.js +46 -46
  280. package/SVF-doxygen/html/search/variables_12.js +93 -93
  281. package/SVF-doxygen/html/search/variables_13.js +76 -76
  282. package/SVF-doxygen/html/search/variables_14.js +14 -14
  283. package/SVF-doxygen/html/search/variables_15.js +49 -49
  284. package/SVF-doxygen/html/search/variables_16.js +11 -11
  285. package/SVF-doxygen/html/search/variables_17.js +1 -1
  286. package/SVF-doxygen/html/search/variables_18.js +17 -17
  287. package/SVF-doxygen/html/search/variables_2.js +40 -40
  288. package/SVF-doxygen/html/search/variables_3.js +143 -143
  289. package/SVF-doxygen/html/search/variables_4.js +51 -51
  290. package/SVF-doxygen/html/search/variables_5.js +39 -39
  291. package/SVF-doxygen/html/search/variables_6.js +66 -66
  292. package/SVF-doxygen/html/search/variables_7.js +34 -34
  293. package/SVF-doxygen/html/search/variables_8.js +8 -8
  294. package/SVF-doxygen/html/search/variables_9.js +79 -79
  295. package/SVF-doxygen/html/search/variables_a.js +4 -4
  296. package/SVF-doxygen/html/search/variables_b.js +10 -10
  297. package/SVF-doxygen/html/search/variables_c.js +45 -45
  298. package/SVF-doxygen/html/search/variables_d.js +57 -57
  299. package/SVF-doxygen/html/search/variables_e.js +123 -123
  300. package/SVF-doxygen/html/search/variables_f.js +31 -31
  301. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +120 -120
  302. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +2 -2
  303. package/SVF-doxygen/html/svf-ex_8cpp.html +14 -14
  304. package/SVF-doxygen/html/svf-ex_8cpp_source.html +14 -14
  305. package/package.json +1 -1
  306. package/svf/include/SVFIR/SVFIR.h +2 -1
  307. package/svf/include/SVFIR/SVFStatements.h +45 -3
  308. package/svf/lib/AE/Svfexe/SVFIR2ItvExeState.cpp +8 -0
  309. package/svf/lib/Graphs/ConsG.cpp +2 -1
  310. package/svf-llvm/lib/SVFIRBuilder.cpp +10 -14
  311. package/svf-llvm/lib/SymbolTableBuilder.cpp +2 -0
package/SVF-doxygen/html/classSVF_1_1TDForkPE.html CHANGED
@@ -298,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
298
298
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
299
299
  <div class="textblock"><p>Thread Fork </p>
300
300
 
301
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01207">1207</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
301
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01249">1249</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
302
302
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
303
303
  <a id="a8d474c87f2f641336064270536fae8ae"></a>
304
304
  <h2 class="memtitle"><span class="permalink"><a href="#a8d474c87f2f641336064270536fae8ae">&#9670;&nbsp;</a></span>TDForkPE() <span class="overload">[1/3]</span></h2>
@@ -325,8 +325,8 @@ Additional Inherited Members</h2></td></tr>
325
325
 
326
326
  <p>Constructs empty <a class="el" href="classSVF_1_1TDForkPE.html">TDForkPE</a> (for SVFIRReader/serialization) </p>
327
327
 
328
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01214">1214</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
- <div class="fragment"><div class="line"><a name="l01214"></a><span class="lineno"> 1214</span>&#160;: <a class="code" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">CallPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>) {}</div>
328
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01256">1256</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
+ <div class="fragment"><div class="line"><a name="l01256"></a><span class="lineno"> 1256</span>&#160;: <a class="code" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">CallPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>) {}</div>
330
330
  </div><!-- fragment -->
331
331
  </div>
332
332
  </div>
@@ -406,10 +406,10 @@ Additional Inherited Members</h2></td></tr>
406
406
 
407
407
  <p>constructor </p>
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01236">1236</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l01238"></a><span class="lineno"> 1238</span>&#160; : <a class="code" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">CallPE</a>(s, d, i, <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div>
411
- <div class="line"><a name="l01239"></a><span class="lineno"> 1239</span>&#160; {</div>
412
- <div class="line"><a name="l01240"></a><span class="lineno"> 1240</span>&#160; }</div>
409
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01278">1278</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>&#160; : <a class="code" href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">CallPE</a>(s, d, i, <a class="code" href="classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372">entry</a>, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>)</div>
411
+ <div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>&#160; {</div>
412
+ <div class="line"><a name="l01282"></a><span class="lineno"> 1282</span>&#160; }</div>
413
413
  </div><!-- fragment -->
414
414
  </div>
415
415
  </div>
@@ -438,10 +438,10 @@ Additional Inherited Members</h2></td></tr>
438
438
  </table>
439
439
  </div><div class="memdoc">
440
440
 
441
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01229">1229</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
- <div class="fragment"><div class="line"><a name="l01230"></a><span class="lineno"> 1230</span>&#160; {</div>
443
- <div class="line"><a name="l01231"></a><span class="lineno"> 1231</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
444
- <div class="line"><a name="l01232"></a><span class="lineno"> 1232</span>&#160; }</div>
441
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01271">1271</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
+ <div class="fragment"><div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>&#160; {</div>
443
+ <div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
444
+ <div class="line"><a name="l01274"></a><span class="lineno"> 1274</span>&#160; }</div>
445
445
  </div><!-- fragment -->
446
446
  </div>
447
447
  </div>
@@ -469,10 +469,10 @@ Additional Inherited Members</h2></td></tr>
469
469
  </table>
470
470
  </div><div class="memdoc">
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01225">1225</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l01226"></a><span class="lineno"> 1226</span>&#160; {</div>
474
- <div class="line"><a name="l01227"></a><span class="lineno"> 1227</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
475
- <div class="line"><a name="l01228"></a><span class="lineno"> 1228</span>&#160; }</div>
472
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01267">1267</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
+ <div class="fragment"><div class="line"><a name="l01268"></a><span class="lineno"> 1268</span>&#160; {</div>
474
+ <div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a375b956af2119d7abca8f1995f7701fd">SVFStmt::ThreadFork</a>;</div>
475
+ <div class="line"><a name="l01270"></a><span class="lineno"> 1270</span>&#160; }</div>
476
476
  </div><!-- fragment -->
477
477
  </div>
478
478
  </div>
@@ -502,10 +502,10 @@ Additional Inherited Members</h2></td></tr>
502
502
 
503
503
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
504
504
 
505
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01221">1221</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
- <div class="fragment"><div class="line"><a name="l01222"></a><span class="lineno"> 1222</span>&#160; {</div>
507
- <div class="line"><a name="l01223"></a><span class="lineno"> 1223</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
- <div class="line"><a name="l01224"></a><span class="lineno"> 1224</span>&#160; }</div>
505
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01263">1263</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
+ <div class="fragment"><div class="line"><a name="l01264"></a><span class="lineno"> 1264</span>&#160; {</div>
507
+ <div class="line"><a name="l01265"></a><span class="lineno"> 1265</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
+ <div class="line"><a name="l01266"></a><span class="lineno"> 1266</span>&#160; }</div>
509
509
  </div><!-- fragment -->
510
510
  </div>
511
511
  </div>
@@ -598,7 +598,7 @@ Additional Inherited Members</h2></td></tr>
598
598
  </table>
599
599
  </div><div class="memdoc">
600
600
 
601
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01210">1210</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
601
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01252">1252</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
602
602
 
603
603
  </div>
604
604
  </div>
@@ -622,7 +622,7 @@ Additional Inherited Members</h2></td></tr>
622
622
  </table>
623
623
  </div><div class="memdoc">
624
624
 
625
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01209">1209</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
625
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01251">1251</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
626
626
 
627
627
  </div>
628
628
  </div>
@@ -631,7 +631,7 @@ Additional Inherited Members</h2></td></tr>
631
631
  <li>/home/runner/work/SVF/SVF/svf/lib/SVFIR/<a class="el" href="SVFStatements_8cpp_source.html">SVFStatements.cpp</a></li>
632
632
  </ul>
633
633
  </div><!-- contents -->
634
- <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#l00578">SVFStatements.h:578</a></div></div>
634
+ <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#l00620">SVFStatements.h:620</a></div></div>
635
635
  <div class="ttc" id="aclassSVF_1_1CallPE_html_a1e09f62a8e3ce2d3bc3fadb29e32a50e"><div class="ttname"><a href="classSVF_1_1CallPE.html#a1e09f62a8e3ce2d3bc3fadb29e32a50e">SVF::CallPE::CallPE</a></div><div class="ttdeci">CallPE(const CallPE &amp;)</div><div class="ttdoc">place holder</div></div>
636
636
  <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#l00122">Options.h:122</a></div></div>
637
637
  <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>
package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html CHANGED
@@ -298,7 +298,7 @@ Additional Inherited Members</h2></td></tr>
298
298
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
299
299
  <div class="textblock"><p>Thread Join </p>
300
300
 
301
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01248">1248</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
301
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01290">1290</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
302
302
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
303
303
  <a id="a3a7edc9b921598336ff2bbb6412e2160"></a>
304
304
  <h2 class="memtitle"><span class="permalink"><a href="#a3a7edc9b921598336ff2bbb6412e2160">&#9670;&nbsp;</a></span>TDJoinPE() <span class="overload">[1/3]</span></h2>
@@ -325,8 +325,8 @@ Additional Inherited Members</h2></td></tr>
325
325
 
326
326
  <p>Constructs empty <a class="el" href="classSVF_1_1TDJoinPE.html">TDJoinPE</a> (for SVFIRReader/serialization) </p>
327
327
 
328
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01255">1255</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
- <div class="fragment"><div class="line"><a name="l01255"></a><span class="lineno"> 1255</span>&#160;: <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>) {}</div>
328
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01297">1297</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
329
+ <div class="fragment"><div class="line"><a name="l01297"></a><span class="lineno"> 1297</span>&#160;: <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>) {}</div>
330
330
  </div><!-- fragment -->
331
331
  </div>
332
332
  </div>
@@ -406,10 +406,10 @@ Additional Inherited Members</h2></td></tr>
406
406
 
407
407
  <p>Constructor. </p>
408
408
 
409
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01277">1277</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
- <div class="fragment"><div class="line"><a name="l01279"></a><span class="lineno"> 1279</span>&#160; : <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(s, d, i, e, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div>
411
- <div class="line"><a name="l01280"></a><span class="lineno"> 1280</span>&#160; {</div>
412
- <div class="line"><a name="l01281"></a><span class="lineno"> 1281</span>&#160; }</div>
409
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01319">1319</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
410
+ <div class="fragment"><div class="line"><a name="l01321"></a><span class="lineno"> 1321</span>&#160; : <a class="code" href="classSVF_1_1RetPE.html#a0af89e939e91a980a083f931b209aea0">RetPE</a>(s, d, i, e, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>)</div>
411
+ <div class="line"><a name="l01322"></a><span class="lineno"> 1322</span>&#160; {</div>
412
+ <div class="line"><a name="l01323"></a><span class="lineno"> 1323</span>&#160; }</div>
413
413
  </div><!-- fragment -->
414
414
  </div>
415
415
  </div>
@@ -438,10 +438,10 @@ Additional Inherited Members</h2></td></tr>
438
438
  </table>
439
439
  </div><div class="memdoc">
440
440
 
441
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01270">1270</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
- <div class="fragment"><div class="line"><a name="l01271"></a><span class="lineno"> 1271</span>&#160; {</div>
443
- <div class="line"><a name="l01272"></a><span class="lineno"> 1272</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
444
- <div class="line"><a name="l01273"></a><span class="lineno"> 1273</span>&#160; }</div>
441
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01312">1312</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
442
+ <div class="fragment"><div class="line"><a name="l01313"></a><span class="lineno"> 1313</span>&#160; {</div>
443
+ <div class="line"><a name="l01314"></a><span class="lineno"> 1314</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
444
+ <div class="line"><a name="l01315"></a><span class="lineno"> 1315</span>&#160; }</div>
445
445
  </div><!-- fragment -->
446
446
  </div>
447
447
  </div>
@@ -469,10 +469,10 @@ Additional Inherited Members</h2></td></tr>
469
469
  </table>
470
470
  </div><div class="memdoc">
471
471
 
472
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01266">1266</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
- <div class="fragment"><div class="line"><a name="l01267"></a><span class="lineno"> 1267</span>&#160; {</div>
474
- <div class="line"><a name="l01268"></a><span class="lineno"> 1268</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
475
- <div class="line"><a name="l01269"></a><span class="lineno"> 1269</span>&#160; }</div>
472
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01308">1308</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
473
+ <div class="fragment"><div class="line"><a name="l01309"></a><span class="lineno"> 1309</span>&#160; {</div>
474
+ <div class="line"><a name="l01310"></a><span class="lineno"> 1310</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a3c3f8883c2d3b50aef6331d5da97ffb0">SVFStmt::ThreadJoin</a>;</div>
475
+ <div class="line"><a name="l01311"></a><span class="lineno"> 1311</span>&#160; }</div>
476
476
  </div><!-- fragment -->
477
477
  </div>
478
478
  </div>
@@ -502,10 +502,10 @@ Additional Inherited Members</h2></td></tr>
502
502
 
503
503
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
504
504
 
505
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01262">1262</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
- <div class="fragment"><div class="line"><a name="l01263"></a><span class="lineno"> 1263</span>&#160; {</div>
507
- <div class="line"><a name="l01264"></a><span class="lineno"> 1264</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
- <div class="line"><a name="l01265"></a><span class="lineno"> 1265</span>&#160; }</div>
505
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01304">1304</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
506
+ <div class="fragment"><div class="line"><a name="l01305"></a><span class="lineno"> 1305</span>&#160; {</div>
507
+ <div class="line"><a name="l01306"></a><span class="lineno"> 1306</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
508
+ <div class="line"><a name="l01307"></a><span class="lineno"> 1307</span>&#160; }</div>
509
509
  </div><!-- fragment -->
510
510
  </div>
511
511
  </div>
@@ -598,7 +598,7 @@ Additional Inherited Members</h2></td></tr>
598
598
  </table>
599
599
  </div><div class="memdoc">
600
600
 
601
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01251">1251</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
601
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01293">1293</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
602
602
 
603
603
  </div>
604
604
  </div>
@@ -622,7 +622,7 @@ Additional Inherited Members</h2></td></tr>
622
622
  </table>
623
623
  </div><div class="memdoc">
624
624
 
625
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01250">1250</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
625
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01292">1292</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
626
626
 
627
627
  </div>
628
628
  </div>
package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html CHANGED
@@ -285,7 +285,7 @@ Additional Inherited Members</h2></td></tr>
285
285
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
286
286
  <div class="textblock"><p>Unary statement </p>
287
287
 
288
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01050">1050</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
288
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01092">1092</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
289
289
  </div><h2 class="groupheader">Member Enumeration Documentation</h2>
290
290
  <a id="ad06357c3d2abbd0eae12ba71d5206742"></a>
291
291
  <h2 class="memtitle"><span class="permalink"><a href="#ad06357c3d2abbd0eae12ba71d5206742">&#9670;&nbsp;</a></span>OpCode</h2>
@@ -304,11 +304,11 @@ Additional Inherited Members</h2></td></tr>
304
304
  <tr><th colspan="2">Enumerator</th></tr><tr><td class="fieldname"><a id="ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"></a>FNeg&#160;</td><td class="fielddoc"></td></tr>
305
305
  </table>
306
306
 
307
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01069">1069</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
308
- <div class="fragment"><div class="line"><a name="l01069"></a><span class="lineno"> 1069</span>&#160; : <span class="keywordtype">unsigned</span></div>
309
- <div class="line"><a name="l01070"></a><span class="lineno"> 1070</span>&#160; {</div>
310
- <div class="line"><a name="l01071"></a><span class="lineno"> 1071</span>&#160; <a class="code" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">FNeg</a> = 12</div>
311
- <div class="line"><a name="l01072"></a><span class="lineno"> 1072</span>&#160; };</div>
307
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01111">1111</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
308
+ <div class="fragment"><div class="line"><a name="l01111"></a><span class="lineno"> 1111</span>&#160; : <span class="keywordtype">unsigned</span></div>
309
+ <div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160; {</div>
310
+ <div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160; <a class="code" href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">FNeg</a> = 12</div>
311
+ <div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160; };</div>
312
312
  </div><!-- fragment -->
313
313
  </div>
314
314
  </div>
@@ -338,8 +338,8 @@ Additional Inherited Members</h2></td></tr>
338
338
 
339
339
  <p>Constructs empty <a class="el" href="classSVF_1_1UnaryOPStmt.html">UnaryOPStmt</a> (for SVFIRReader/serialization) </p>
340
340
 
341
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01057">1057</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
342
- <div class="fragment"><div class="line"><a name="l01057"></a><span class="lineno"> 1057</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>) {}</div>
341
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01099">1099</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
342
+ <div class="fragment"><div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160;: <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(<a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>) {}</div>
343
343
  </div><!-- fragment -->
344
344
  </div>
345
345
  </div>
@@ -413,10 +413,10 @@ Additional Inherited Members</h2></td></tr>
413
413
 
414
414
  <p>constructor </p>
415
415
 
416
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01091">1091</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
417
- <div class="fragment"><div class="line"><a name="l01092"></a><span class="lineno"> 1092</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>), <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>(oc)</div>
418
- <div class="line"><a name="l01093"></a><span class="lineno"> 1093</span>&#160; {</div>
419
- <div class="line"><a name="l01094"></a><span class="lineno"> 1094</span>&#160; }</div>
416
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01133">1133</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
417
+ <div class="fragment"><div class="line"><a name="l01134"></a><span class="lineno"> 1134</span>&#160; : <a class="code" href="classSVF_1_1SVFStmt.html#a4f4159567121416cbe78d124f5c6a8b6">SVFStmt</a>(s, d, <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>), <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>(oc)</div>
418
+ <div class="line"><a name="l01135"></a><span class="lineno"> 1135</span>&#160; {</div>
419
+ <div class="line"><a name="l01136"></a><span class="lineno"> 1136</span>&#160; }</div>
420
420
  </div><!-- fragment -->
421
421
  </div>
422
422
  </div>
@@ -445,10 +445,10 @@ Additional Inherited Members</h2></td></tr>
445
445
  </table>
446
446
  </div><div class="memdoc">
447
447
 
448
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01084">1084</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
449
- <div class="fragment"><div class="line"><a name="l01085"></a><span class="lineno"> 1085</span>&#160; {</div>
450
- <div class="line"><a name="l01086"></a><span class="lineno"> 1086</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
451
- <div class="line"><a name="l01087"></a><span class="lineno"> 1087</span>&#160; }</div>
448
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01126">1126</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
449
+ <div class="fragment"><div class="line"><a name="l01127"></a><span class="lineno"> 1127</span>&#160; {</div>
450
+ <div class="line"><a name="l01128"></a><span class="lineno"> 1128</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
451
+ <div class="line"><a name="l01129"></a><span class="lineno"> 1129</span>&#160; }</div>
452
452
  </div><!-- fragment -->
453
453
  </div>
454
454
  </div>
@@ -476,10 +476,10 @@ Additional Inherited Members</h2></td></tr>
476
476
  </table>
477
477
  </div><div class="memdoc">
478
478
 
479
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01080">1080</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
480
- <div class="fragment"><div class="line"><a name="l01081"></a><span class="lineno"> 1081</span>&#160; {</div>
481
- <div class="line"><a name="l01082"></a><span class="lineno"> 1082</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
482
- <div class="line"><a name="l01083"></a><span class="lineno"> 1083</span>&#160; }</div>
479
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01122">1122</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
480
+ <div class="fragment"><div class="line"><a name="l01123"></a><span class="lineno"> 1123</span>&#160; {</div>
481
+ <div class="line"><a name="l01124"></a><span class="lineno"> 1124</span>&#160; <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVFStmt::UnaryOp</a>;</div>
482
+ <div class="line"><a name="l01125"></a><span class="lineno"> 1125</span>&#160; }</div>
483
483
  </div><!-- fragment -->
484
484
  </div>
485
485
  </div>
@@ -509,10 +509,10 @@ Additional Inherited Members</h2></td></tr>
509
509
 
510
510
  <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
511
511
 
512
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01076">1076</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
513
- <div class="fragment"><div class="line"><a name="l01077"></a><span class="lineno"> 1077</span>&#160; {</div>
514
- <div class="line"><a name="l01078"></a><span class="lineno"> 1078</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
515
- <div class="line"><a name="l01079"></a><span class="lineno"> 1079</span>&#160; }</div>
512
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01118">1118</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
513
+ <div class="fragment"><div class="line"><a name="l01119"></a><span class="lineno"> 1119</span>&#160; {</div>
514
+ <div class="line"><a name="l01120"></a><span class="lineno"> 1120</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
515
+ <div class="line"><a name="l01121"></a><span class="lineno"> 1121</span>&#160; }</div>
516
516
  </div><!-- fragment -->
517
517
  </div>
518
518
  </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#l01096">1096</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
- <div class="fragment"><div class="line"><a name="l01097"></a><span class="lineno"> 1097</span>&#160; {</div>
598
- <div class="line"><a name="l01098"></a><span class="lineno"> 1098</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>;</div>
599
- <div class="line"><a name="l01099"></a><span class="lineno"> 1099</span>&#160; }</div>
596
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01138">1138</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
597
+ <div class="fragment"><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160; {</div>
598
+ <div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">opcode</a>;</div>
599
+ <div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160; }</div>
600
600
  </div><!-- fragment -->
601
601
  </div>
602
602
  </div>
@@ -623,10 +623,10 @@ Additional Inherited Members</h2></td></tr>
623
623
  </table>
624
624
  </div><div class="memdoc">
625
625
 
626
- <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>
627
- <div class="fragment"><div class="line"><a name="l01101"></a><span class="lineno"> 1101</span>&#160; {</div>
628
- <div class="line"><a name="l01102"></a><span class="lineno"> 1102</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVFStmt::getSrcNode</a>();</div>
629
- <div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160; }</div>
626
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01142">1142</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
627
+ <div class="fragment"><div class="line"><a name="l01143"></a><span class="lineno"> 1143</span>&#160; {</div>
628
+ <div class="line"><a name="l01144"></a><span class="lineno"> 1144</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVFStmt::getSrcNode</a>();</div>
629
+ <div class="line"><a name="l01145"></a><span class="lineno"> 1145</span>&#160; }</div>
630
630
  </div><!-- fragment -->
631
631
  </div>
632
632
  </div>
@@ -675,10 +675,10 @@ Additional Inherited Members</h2></td></tr>
675
675
  </table>
676
676
  </div><div class="memdoc">
677
677
 
678
- <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>
679
- <div class="fragment"><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160; {</div>
680
- <div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
681
- <div class="line"><a name="l01107"></a><span class="lineno"> 1107</span>&#160; }</div>
678
+ <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>
679
+ <div class="fragment"><div class="line"><a name="l01147"></a><span class="lineno"> 1147</span>&#160; {</div>
680
+ <div class="line"><a name="l01148"></a><span class="lineno"> 1148</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVFStmt::getDstNode</a>();</div>
681
+ <div class="line"><a name="l01149"></a><span class="lineno"> 1149</span>&#160; }</div>
682
682
  </div><!-- fragment -->
683
683
  </div>
684
684
  </div>
@@ -847,7 +847,7 @@ Additional Inherited Members</h2></td></tr>
847
847
  </table>
848
848
  </div><div class="memdoc">
849
849
 
850
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01053">1053</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
850
+ <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>
851
851
 
852
852
  </div>
853
853
  </div>
@@ -871,7 +871,7 @@ Additional Inherited Members</h2></td></tr>
871
871
  </table>
872
872
  </div><div class="memdoc">
873
873
 
874
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01052">1052</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
874
+ <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>
875
875
 
876
876
  </div>
877
877
  </div>
@@ -896,7 +896,7 @@ Additional Inherited Members</h2></td></tr>
896
896
  </table>
897
897
  </div><div class="memdoc">
898
898
 
899
- <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01065">1065</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
899
+ <p class="definition">Definition at line <a class="el" href="SVFStatements_8h_source.html#l01107">1107</a> of file <a class="el" href="SVFStatements_8h_source.html">SVFStatements.h</a>.</p>
900
900
 
901
901
  </div>
902
902
  </div>
@@ -908,18 +908,18 @@ Additional Inherited Members</h2></td></tr>
908
908
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ab47ca533c415841ef75456cbad439589"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ab47ca533c415841ef75456cbad439589">SVF::GenericEdge::getSrcNode</a></div><div class="ttdeci">NodeType * getSrcNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00097">GenericGraph.h:97</a></div></div>
909
909
  <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>
910
910
  <div class="ttc" id="aclassSVF_1_1SVFStmt_html_a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688"><div class="ttname"><a href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">SVF::SVFStmt::UnaryOp</a></div><div class="ttdeci">@ UnaryOp</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00074">SVFStatements.h:74</a></div></div>
911
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">SVF::UnaryOPStmt::FNeg</a></div><div class="ttdeci">@ FNeg</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01071">SVFStatements.h:1071</a></div></div>
911
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ad06357c3d2abbd0eae12ba71d5206742ad6ff65c6ca19f968051e811b09745ad8">SVF::UnaryOPStmt::FNeg</a></div><div class="ttdeci">@ FNeg</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01113">SVFStatements.h:1113</a></div></div>
912
912
  <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#l00122">Options.h:122</a></div></div>
913
913
  <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>
914
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a099df135a83d28a2e6f344e008fe1cc6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01065">SVFStatements.h:1065</a></div></div>
914
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a099df135a83d28a2e6f344e008fe1cc6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6">SVF::UnaryOPStmt::opcode</a></div><div class="ttdeci">u32_t opcode</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01107">SVFStatements.h:1107</a></div></div>
915
915
  <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>
916
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01100">SVFStatements.h:1100</a></div></div>
916
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_abde2b32d5bbd37df0e194b1a4e78483b"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#abde2b32d5bbd37df0e194b1a4e78483b">SVF::UnaryOPStmt::getOpVar</a></div><div class="ttdeci">const SVFVar * getOpVar() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01142">SVFStatements.h:1142</a></div></div>
917
917
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_ae2ffeaec2d2e4de69826495006c35856"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#ae2ffeaec2d2e4de69826495006c35856">SVF::UnaryOPStmt::getResID</a></div><div class="ttdeci">NodeID getResID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00298">SVFStatements.cpp:298</a></div></div>
918
918
  <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a8029b46bccda153ca2e677686c2655e2"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a8029b46bccda153ca2e677686c2655e2">SVF::UnaryOPStmt::getOpVarID</a></div><div class="ttdeci">NodeID getOpVarID() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8cpp_source.html#l00294">SVFStatements.cpp:294</a></div></div>
919
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01104">SVFStatements.h:1104</a></div></div>
919
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_a919db9b8c9287c3802f563840b56c4f1"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#a919db9b8c9287c3802f563840b56c4f1">SVF::UnaryOPStmt::getRes</a></div><div class="ttdeci">const SVFVar * getRes() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01146">SVFStatements.h:1146</a></div></div>
920
920
  <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>
921
921
  <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#l00931">LLVMUtil.cpp:931</a></div></div>
922
- <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01096">SVFStatements.h:1096</a></div></div>
922
+ <div class="ttc" id="aclassSVF_1_1UnaryOPStmt_html_af29723d5e777b10d53d48263a786f5b6"><div class="ttname"><a href="classSVF_1_1UnaryOPStmt.html#af29723d5e777b10d53d48263a786f5b6">SVF::UnaryOPStmt::getOpcode</a></div><div class="ttdeci">u32_t getOpcode() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l01138">SVFStatements.h:1138</a></div></div>
923
923
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00101">GenericGraph.h:101</a></div></div>
924
924
  <!-- start footer part -->
925
925
  <hr class="footer"/><address class="footer"><small>