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_1ConstraintNode.html CHANGED
@@ -826,13 +826,13 @@ Private Attributes</h2></td></tr>
826
826
 
827
827
  <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a4ab1f2e5db301e4a37215905a22e6476">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a>.</p>
828
828
 
829
- <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00670">670</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
830
- <div class="fragment"><div class="line"><a name="l00671"></a><span class="lineno"> 671</span>&#160;{</div>
831
- <div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
832
- <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.begin();</div>
833
- <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; <span class="keywordflow">else</span></div>
834
- <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>.begin();</div>
835
- <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160;}</div>
829
+ <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00671">671</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
830
+ <div class="fragment"><div class="line"><a name="l00672"></a><span class="lineno"> 672</span>&#160;{</div>
831
+ <div class="line"><a name="l00673"></a><span class="lineno"> 673</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
832
+ <div class="line"><a name="l00674"></a><span class="lineno"> 674</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.begin();</div>
833
+ <div class="line"><a name="l00675"></a><span class="lineno"> 675</span>&#160; <span class="keywordflow">else</span></div>
834
+ <div class="line"><a name="l00676"></a><span class="lineno"> 676</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>.begin();</div>
835
+ <div class="line"><a name="l00677"></a><span class="lineno"> 677</span>&#160;}</div>
836
836
  </div><!-- fragment -->
837
837
  </div>
838
838
  </div>
@@ -878,13 +878,13 @@ Private Attributes</h2></td></tr>
878
878
 
879
879
  <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a19599627ba095b5452373284deab7f6c">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a>.</p>
880
880
 
881
- <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00678">678</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
882
- <div class="fragment"><div class="line"><a name="l00679"></a><span class="lineno"> 679</span>&#160;{</div>
883
- <div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
884
- <div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.end();</div>
885
- <div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; <span class="keywordflow">else</span></div>
886
- <div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>.end();</div>
887
- <div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160;}</div>
881
+ <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00679">679</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
882
+ <div class="fragment"><div class="line"><a name="l00680"></a><span class="lineno"> 680</span>&#160;{</div>
883
+ <div class="line"><a name="l00681"></a><span class="lineno"> 681</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
884
+ <div class="line"><a name="l00682"></a><span class="lineno"> 682</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a53626700d25b5c004e42354c925df83c">directInEdges</a>.end();</div>
885
+ <div class="line"><a name="l00683"></a><span class="lineno"> 683</span>&#160; <span class="keywordflow">else</span></div>
886
+ <div class="line"><a name="l00684"></a><span class="lineno"> 684</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a4d413d64bf554ecdc72709afeeb85775">copyInEdges</a>.end();</div>
887
+ <div class="line"><a name="l00685"></a><span class="lineno"> 685</span>&#160;}</div>
888
888
  </div><!-- fragment -->
889
889
  </div>
890
890
  </div>
@@ -933,13 +933,13 @@ Private Attributes</h2></td></tr>
933
933
 
934
934
  <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#aa0e258d3a92dae367f2809a6f16c80db">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a>.</p>
935
935
 
936
- <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00654">654</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
937
- <div class="fragment"><div class="line"><a name="l00655"></a><span class="lineno"> 655</span>&#160;{</div>
938
- <div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
939
- <div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.begin();</div>
940
- <div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; <span class="keywordflow">else</span></div>
941
- <div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>.begin();</div>
942
- <div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160;}</div>
936
+ <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00655">655</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
937
+ <div class="fragment"><div class="line"><a name="l00656"></a><span class="lineno"> 656</span>&#160;{</div>
938
+ <div class="line"><a name="l00657"></a><span class="lineno"> 657</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
939
+ <div class="line"><a name="l00658"></a><span class="lineno"> 658</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.begin();</div>
940
+ <div class="line"><a name="l00659"></a><span class="lineno"> 659</span>&#160; <span class="keywordflow">else</span></div>
941
+ <div class="line"><a name="l00660"></a><span class="lineno"> 660</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>.begin();</div>
942
+ <div class="line"><a name="l00661"></a><span class="lineno"> 661</span>&#160;}</div>
943
943
  </div><!-- fragment -->
944
944
  </div>
945
945
  </div>
@@ -985,13 +985,13 @@ Private Attributes</h2></td></tr>
985
985
 
986
986
  <p>Reimplemented from <a class="el" href="classSVF_1_1GenericNode.html#a5950d69d4ba6c2122dd06b93911e4992">SVF::GenericNode&lt; ConstraintNode, ConstraintEdge &gt;</a>.</p>
987
987
 
988
- <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00662">662</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
989
- <div class="fragment"><div class="line"><a name="l00663"></a><span class="lineno"> 663</span>&#160;{</div>
990
- <div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
991
- <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.end();</div>
992
- <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; <span class="keywordflow">else</span></div>
993
- <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>.end();</div>
994
- <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160;}</div>
988
+ <p class="definition">Definition at line <a class="el" href="ConsG_8cpp_source.html#l00663">663</a> of file <a class="el" href="ConsG_8cpp_source.html">ConsG.cpp</a>.</p>
989
+ <div class="fragment"><div class="line"><a name="l00664"></a><span class="lineno"> 664</span>&#160;{</div>
990
+ <div class="line"><a name="l00665"></a><span class="lineno"> 665</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1Options.html#a3fc22d0a45be551110d1e326380f3202">Options::DetectPWC</a>())</div>
991
+ <div class="line"><a name="l00666"></a><span class="lineno"> 666</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#affb426040b05678fcbce62002a02bb06">directOutEdges</a>.end();</div>
992
+ <div class="line"><a name="l00667"></a><span class="lineno"> 667</span>&#160; <span class="keywordflow">else</span></div>
993
+ <div class="line"><a name="l00668"></a><span class="lineno"> 668</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConstraintNode.html#a12df688fd9b5b7617daadc7bee0fff40">copyOutEdges</a>.end();</div>
994
+ <div class="line"><a name="l00669"></a><span class="lineno"> 669</span>&#160;}</div>
995
995
  </div><!-- fragment -->
996
996
  </div>
997
997
  </div>
package/SVF-doxygen/html/classSVF_1_1ContextDDA.html CHANGED
@@ -2187,7 +2187,7 @@ Additional Inherited Members</h2></td></tr>
2187
2187
  <div class="ttc" id="aclassSVF_1_1SVFStat_html_ab03780f736bed7861c9be14637e37ba3"><div class="ttname"><a href="classSVF_1_1SVFStat.html#ab03780f736bed7861c9be14637e37ba3">SVF::SVFStat::performStatPerQuery</a></div><div class="ttdeci">virtual void performStatPerQuery(NodeID)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStat_8h_source.html#l00087">SVFStat.h:87</a></div></div>
2188
2188
  <div class="ttc" id="aclassSVF_1_1ContextDDA_html_a2a23f0235fc49a177b2694f668b02551"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a2a23f0235fc49a177b2694f668b02551">SVF::ContextDDA::flowDDA</a></div><div class="ttdeci">FlowDDA * flowDDA</div><div class="ttdoc">downgrade to flowDDA if out-of-budget</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00224">ContextDDA.h:224</a></div></div>
2189
2189
  <div class="ttc" id="aclassSVF_1_1ContextDDA_html_a6ae16be6774994932aaa594c9b9cb397"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a6ae16be6774994932aaa594c9b9cb397">SVF::ContextDDA::getPtrNodeID</a></div><div class="ttdeci">virtual NodeID getPtrNodeID(const CxtVar &amp;var) const override</div><div class="ttdoc">Override parent method.</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00100">ContextDDA.h:100</a></div></div>
2190
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00549">SVFStatements.h:549</a></div></div>
2190
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a0ddf180a0f7ba64fc8655687910e3788"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a0ddf180a0f7ba64fc8655687910e3788">SVF::GepStmt::isVariantFieldGep</a></div><div class="ttdeci">bool isVariantFieldGep() const</div><div class="ttdoc">Gep statement with a variant field index (pointer arithmetic) for struct field access.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00591">SVFStatements.h:591</a></div></div>
2191
2191
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;</a></div></div>
2192
2192
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_aa1d1b6e8cc23f0a6d3935cbe4f02cbdf"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#aa1d1b6e8cc23f0a6d3935cbe4f02cbdf">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::_ander</a></div><div class="ttdeci">AndersenWaveDiff * _ander</div><div class="ttdoc">Andersen's analysis.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00776">DDAVFSolver.h:776</a></div></div>
2193
2193
  <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>
@@ -2227,7 +2227,7 @@ Additional Inherited Members</h2></td></tr>
2227
2227
  <div class="ttc" id="aclassSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00081">GenericGraph.h:81</a></div></div>
2228
2228
  <div class="ttc" id="aclassSVF_1_1CallICFGNode_html"><div class="ttname"><a href="classSVF_1_1CallICFGNode.html">SVF::CallICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00385">ICFGNode.h:385</a></div></div>
2229
2229
  <div class="ttc" id="aclassSVF_1_1CxtStmtDPItem_html_a35c0c0d5194983769e313d6e31b3d7ec"><div class="ttname"><a href="classSVF_1_1CxtStmtDPItem.html#a35c0c0d5194983769e313d6e31b3d7ec">SVF::CxtStmtDPItem::matchContext</a></div><div class="ttdeci">bool matchContext(NodeID cxt)</div><div class="ttdoc">Match context.</div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00430">DPItem.h:430</a></div></div>
2230
- <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00514">SVFStatements.h:514</a></div></div>
2230
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html_a6c74f234a6b40bc5292bb14874c2e600"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a6c74f234a6b40bc5292bb14874c2e600">SVF::GepStmt::getAccessPath</a></div><div class="ttdeci">const AccessPath &amp; getAccessPath() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00556">SVFStatements.h:556</a></div></div>
2231
2231
  <div class="ttc" id="aclassSVF_1_1ContextCond_html"><div class="ttname"><a href="classSVF_1_1ContextCond.html">SVF::ContextCond</a></div><div class="ttdef"><b>Definition:</b> <a href="DPItem_8h_source.html#l00206">DPItem.h:206</a></div></div>
2232
2232
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_abd652b2627f68d7d4f8bf3bdb20ce975"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#abd652b2627f68d7d4f8bf3bdb20ce975">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::setCallGraphSCC</a></div><div class="ttdeci">void setCallGraphSCC(CallGraphSCC *scc)</div><div class="ttdoc">Set callgraphSCC.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00632">DDAVFSolver.h:632</a></div></div>
2233
2233
  <div class="ttc" id="aclassSVF_1_1ContextDDA_html_ae3b04859ed69c47302177988aa68a70b"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#ae3b04859ed69c47302177988aa68a70b">SVF::ContextDDA::_client</a></div><div class="ttdeci">DDAClient * _client</div><div class="ttdoc">DDA client.</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00225">ContextDDA.h:225</a></div></div>
@@ -2257,7 +2257,7 @@ Additional Inherited Members</h2></td></tr>
2257
2257
  <div class="ttc" id="aclassSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node.</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00406">GenericGraph.h:406</a></div></div>
2258
2258
  <div class="ttc" id="aclassSVF_1_1PointerAnalysis_html_adc7f5c71efb9cd1bec4f5ca9127654c3"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#adc7f5c71efb9cd1bec4f5ca9127654c3">SVF::PointerAnalysis::pag</a></div><div class="ttdeci">static SVFIR * pag</div><div class="ttdoc">SVFIR.</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00141">PointerAnalysis.h:141</a></div></div>
2259
2259
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a2f70e9c830b18f25c56b530722f106c4"><div class="ttname"><a href="classSVF_1_1MemObj.html#a2f70e9c830b18f25c56b530722f106c4">SVF::MemObj::getValue</a></div><div class="ttdeci">const SVFValue * getValue() const</div><div class="ttdoc">Get the reference value to this object.</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8h_source.html#l00406">SymbolTableInfo.h:406</a></div></div>
2260
- <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00484">SVFStatements.h:484</a></div></div>
2260
+ <div class="ttc" id="aclassSVF_1_1GepStmt_html"><div class="ttname"><a href="classSVF_1_1GepStmt.html">SVF::GepStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00526">SVFStatements.h:526</a></div></div>
2261
2261
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_abda052b73e869ed6d7c139ad1528da11"><div class="ttname"><a href="classSVF_1_1SVFIR.html#abda052b73e869ed6d7c139ad1528da11">SVF::SVFIR::getICFG</a></div><div class="ttdeci">ICFG * getICFG() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00170">SVFIR.h:170</a></div></div>
2262
2262
  <div class="ttc" id="aclassSVF_1_1DDAVFSolver_html_afc2b0eeb1d5d5f292690f3c949217c38"><div class="ttname"><a href="classSVF_1_1DDAVFSolver.html#afc2b0eeb1d5d5f292690f3c949217c38">SVF::DDAVFSolver&lt; CxtVar, CxtPtSet, CxtLocDPItem &gt;::setCallGraph</a></div><div class="ttdeci">void setCallGraph(PTACallGraph *cg)</div><div class="ttdoc">Set callgraph.</div><div class="ttdef"><b>Definition:</b> <a href="DDAVFSolver_8h_source.html#l00627">DDAVFSolver.h:627</a></div></div>
2263
2263
  <div class="ttc" id="aclassSVF_1_1ContextDDA_html_a1b9bfe46777c8a57781452a05635fb02"><div class="ttname"><a href="classSVF_1_1ContextDDA.html#a1b9bfe46777c8a57781452a05635fb02">SVF::ContextDDA::handleOutOfBudgetDpm</a></div><div class="ttdeci">void handleOutOfBudgetDpm(const CxtLocDPItem &amp;dpm)</div><div class="ttdoc">Handle out-of-budget dpm.</div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8cpp_source.html#l00115">ContextDDA.cpp:115</a></div></div>
package/SVF-doxygen/html/classSVF_1_1CopyStmt-members.html CHANGED
@@ -132,7 +132,13 @@ $(function() {
132
132
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">Inst2LabelMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
133
133
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#abb83549118bcd7216a053d82f7180d1c">inst2LabelMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
134
134
  <tr><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a32b1e88bbb7433ed8071e9dd9daa2c83">INTTOPTR</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"></td></tr>
135
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#a8d6022251e0206d91bb7118fb98934aa">isBitCast</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ae245fd42fe22f013d57d1484db38554f">isInt2Ptr</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
135
137
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0b6c03af568b70903da6b200ac86c951">isPTAEdge</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
138
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#a51f26dcc5316ffdabd5c0a4a4240ca4d">isPtr2Int</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
139
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ae5104b29355cc319b0329073b2e490e0">isSext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
140
+ <tr><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ac05a1827caf102cb00c4605ba2ccd807">isValueCopy</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
141
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#a3b86c7bb4d9d59af3195537a932958b9">isZext</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
136
142
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a93fc6c4c991931c78c48500c2db50f66">KindToSVFStmtMapTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
137
143
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a62ac8480c43fcc657c631ec0003b15d5">Load</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
138
144
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a3b20523aed66ac8943d7d00ff777137b">makeEdgeFlagWithAddionalOpnd</a>(GEdgeKind k, const SVFVar *var)</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
@@ -170,8 +176,8 @@ $(function() {
170
176
  <tr><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a821cd6daeaee15b117b41a272f743ff1">UITOFP</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"></td></tr>
171
177
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad2a5e6fe0f2b5fefb53abb9e91c57688">UnaryOp</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"></td></tr>
172
178
  <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a629c2be49658085b1209823f00a97ec3">value</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
173
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">var2LabelMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
174
- <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">Var2LabelMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
179
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#ad178ccbc7800527c3dc406ad5fa069bb">Var2LabelMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
180
+ <tr><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#a24c64109d27ef7549d1c7a07c391e007">var2LabelMap</a></td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
175
181
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html#ae041bbd93e3839193fd7ffe9611a4ca1a16c9ba88473e39f9a105b74b016af046">ZEXT</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></td><td class="entry"></td></tr>
176
182
  <tr><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html#a548daea0cac6491de91d4840b7297741">~GenericEdge</a>()</td><td class="entry"><a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
177
183
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html#aac79c7e8d390f297002782afb0ba3ff0">~SVFStmt</a>()</td><td class="entry"><a class="el" href="classSVF_1_1SVFStmt.html">SVF::SVFStmt</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>