svf-tools 1.0.781 → 1.0.783

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 (315) hide show
  1. package/SVF-doxygen/html/html/CDG_8h.html +2 -2
  2. package/SVF-doxygen/html/html/CDG_8h_source.html +2 -2
  3. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +152 -90
  4. package/SVF-doxygen/html/html/CFBasicBlockG_8h.html +3 -1
  5. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +601 -260
  6. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +4 -4
  7. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +50 -50
  8. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +180 -181
  9. package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
  10. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +13 -13
  11. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  15. package/SVF-doxygen/html/html/WTO_8h_source.html +6 -6
  16. package/SVF-doxygen/html/html/annotated.html +325 -333
  17. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html +19 -12
  18. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html +219 -30
  19. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -3
  20. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html +147 -39
  21. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -28
  24. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph.html +382 -184
  25. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode-members.html +51 -41
  26. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1244 -159
  27. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
  28. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +65 -25
  29. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +107 -107
  31. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +4 -5
  32. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  33. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +3 -4
  34. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
  35. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +10 -10
  36. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  37. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  38. package/SVF-doxygen/html/html/classes.html +266 -276
  39. package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +0 -2
  40. package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +0 -2
  41. package/SVF-doxygen/html/html/files.html +19 -21
  42. package/SVF-doxygen/html/html/functions.html +2 -33
  43. package/SVF-doxygen/html/html/functions_a.html +14 -16
  44. package/SVF-doxygen/html/html/functions_b.html +8 -9
  45. package/SVF-doxygen/html/html/functions_c.html +34 -31
  46. package/SVF-doxygen/html/html/functions_d.html +11 -13
  47. package/SVF-doxygen/html/html/functions_e.html +1 -1
  48. package/SVF-doxygen/html/html/functions_func.html +16 -18
  49. package/SVF-doxygen/html/html/functions_func_b.html +2 -3
  50. package/SVF-doxygen/html/html/functions_func_c.html +31 -31
  51. package/SVF-doxygen/html/html/functions_func_d.html +10 -12
  52. package/SVF-doxygen/html/html/functions_func_g.html +22 -59
  53. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  54. package/SVF-doxygen/html/html/functions_func_i.html +13 -26
  55. package/SVF-doxygen/html/html/functions_func_o.html +9 -9
  56. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  57. package/SVF-doxygen/html/html/functions_func_r.html +15 -15
  58. package/SVF-doxygen/html/html/functions_func_s.html +20 -29
  59. package/SVF-doxygen/html/html/functions_func_t.html +0 -2
  60. package/SVF-doxygen/html/html/functions_func_v.html +2 -3
  61. package/SVF-doxygen/html/html/functions_func_~.html +0 -12
  62. package/SVF-doxygen/html/html/functions_g.html +23 -60
  63. package/SVF-doxygen/html/html/functions_h.html +9 -12
  64. package/SVF-doxygen/html/html/functions_i.html +16 -44
  65. package/SVF-doxygen/html/html/functions_n.html +6 -8
  66. package/SVF-doxygen/html/html/functions_o.html +23 -27
  67. package/SVF-doxygen/html/html/functions_p.html +8 -12
  68. package/SVF-doxygen/html/html/functions_r.html +17 -17
  69. package/SVF-doxygen/html/html/functions_s.html +16 -33
  70. package/SVF-doxygen/html/html/functions_t.html +5 -7
  71. package/SVF-doxygen/html/html/functions_type_c.html +6 -3
  72. package/SVF-doxygen/html/html/functions_type_e.html +1 -1
  73. package/SVF-doxygen/html/html/functions_type_i.html +3 -18
  74. package/SVF-doxygen/html/html/functions_type_n.html +0 -2
  75. package/SVF-doxygen/html/html/functions_type_s.html +0 -6
  76. package/SVF-doxygen/html/html/functions_v.html +4 -5
  77. package/SVF-doxygen/html/html/functions_vars.html +2 -33
  78. package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
  79. package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
  80. package/SVF-doxygen/html/html/functions_w.html +8 -8
  81. package/SVF-doxygen/html/html/functions_~.html +0 -12
  82. package/SVF-doxygen/html/html/globals_d.html +2 -2
  83. package/SVF-doxygen/html/html/globals_defs.html +2 -2
  84. package/SVF-doxygen/html/html/hierarchy.html +458 -469
  85. package/SVF-doxygen/html/html/namespaceSVF.html +7 -78
  86. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -12
  87. package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
  88. package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -9
  89. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  90. package/SVF-doxygen/html/html/search/all_0.js +137 -147
  91. package/SVF-doxygen/html/html/search/all_1.js +484 -485
  92. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  93. package/SVF-doxygen/html/html/search/all_11.js +224 -224
  94. package/SVF-doxygen/html/html/search/all_12.js +541 -546
  95. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  96. package/SVF-doxygen/html/html/search/all_14.js +67 -67
  97. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  98. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  99. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  101. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  102. package/SVF-doxygen/html/html/search/all_1a.js +172 -176
  103. package/SVF-doxygen/html/html/search/all_2.js +167 -167
  104. package/SVF-doxygen/html/html/search/all_3.js +640 -639
  105. package/SVF-doxygen/html/html/search/all_4.js +233 -234
  106. package/SVF-doxygen/html/html/search/all_5.js +121 -120
  107. package/SVF-doxygen/html/html/search/all_6.js +225 -225
  108. package/SVF-doxygen/html/html/search/all_7.js +1037 -1056
  109. package/SVF-doxygen/html/html/search/all_8.js +194 -195
  110. package/SVF-doxygen/html/html/search/all_9.js +607 -617
  111. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  112. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  113. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  114. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  115. package/SVF-doxygen/html/html/search/all_e.js +207 -207
  116. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  117. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  118. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  119. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  120. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  121. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  122. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  123. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  124. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  125. package/SVF-doxygen/html/html/search/classes_2.js +80 -80
  126. package/SVF-doxygen/html/html/search/classes_3.js +37 -38
  127. package/SVF-doxygen/html/html/search/classes_4.js +9 -9
  128. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  129. package/SVF-doxygen/html/html/search/classes_6.js +104 -110
  130. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  131. package/SVF-doxygen/html/html/search/classes_8.js +56 -60
  132. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  133. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  134. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  135. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  136. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  137. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  138. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  139. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  140. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  141. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  142. package/SVF-doxygen/html/html/search/defines_3.js +21 -21
  143. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  144. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  145. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  146. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  147. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  148. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  149. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  150. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  151. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  152. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  153. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  154. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  155. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  156. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  157. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  158. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  159. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  160. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  161. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  162. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  163. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  164. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  165. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  166. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  167. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  168. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  169. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  170. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  171. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  172. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  173. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  174. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  175. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  176. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  177. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  178. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  179. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  180. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  181. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  182. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  183. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  184. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  185. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  186. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  187. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  188. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  189. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  190. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  191. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  192. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  193. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  194. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  195. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  196. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  197. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  198. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  199. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  200. package/SVF-doxygen/html/html/search/files_2.js +53 -53
  201. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  202. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  203. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  204. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  205. package/SVF-doxygen/html/html/search/files_7.js +14 -16
  206. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  207. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  208. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  209. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  210. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  211. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  212. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  213. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  214. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  215. package/SVF-doxygen/html/html/search/functions_1.js +356 -357
  216. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  217. package/SVF-doxygen/html/html/search/functions_11.js +138 -138
  218. package/SVF-doxygen/html/html/search/functions_12.js +276 -279
  219. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  220. package/SVF-doxygen/html/html/search/functions_14.js +39 -39
  221. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  222. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  223. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  224. package/SVF-doxygen/html/html/search/functions_18.js +172 -176
  225. package/SVF-doxygen/html/html/search/functions_2.js +86 -86
  226. package/SVF-doxygen/html/html/search/functions_3.js +257 -257
  227. package/SVF-doxygen/html/html/search/functions_4.js +75 -75
  228. package/SVF-doxygen/html/html/search/functions_5.js +53 -53
  229. package/SVF-doxygen/html/html/search/functions_6.js +59 -59
  230. package/SVF-doxygen/html/html/search/functions_7.js +848 -858
  231. package/SVF-doxygen/html/html/search/functions_8.js +146 -147
  232. package/SVF-doxygen/html/html/search/functions_9.js +425 -429
  233. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  234. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  236. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  237. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  238. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  239. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  240. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  241. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  243. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  244. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  245. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  246. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  247. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  248. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  249. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  250. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  251. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  252. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  253. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  254. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  255. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  256. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  257. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  258. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
  259. package/SVF-doxygen/html/html/search/typedefs_10.js +61 -63
  260. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  261. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  262. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  263. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  264. package/SVF-doxygen/html/html/search/typedefs_2.js +129 -128
  265. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  266. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
  267. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  268. package/SVF-doxygen/html/html/search/typedefs_6.js +55 -58
  269. package/SVF-doxygen/html/html/search/typedefs_7.js +42 -46
  270. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  271. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  272. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  273. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  274. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
  275. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  276. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  277. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  278. package/SVF-doxygen/html/html/search/variables_0.js +152 -162
  279. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  280. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  281. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  282. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  283. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  284. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  285. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  286. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  287. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  288. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  289. package/SVF-doxygen/html/html/search/variables_2.js +37 -37
  290. package/SVF-doxygen/html/html/search/variables_3.js +142 -142
  291. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  292. package/SVF-doxygen/html/html/search/variables_5.js +39 -39
  293. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  294. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  295. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  296. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  297. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  298. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  299. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  300. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  301. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  302. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  303. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html +84 -0
  304. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html +144 -0
  305. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  306. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  307. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  308. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  309. package/package.json +1 -1
  310. package/svf/include/Graphs/CFBasicBlockG.h +342 -32
  311. package/svf/include/Util/ExtAPI.h +2 -2
  312. package/svf/lib/Graphs/CFBasicBlockG.cpp +97 -36
  313. package/svf/lib/Util/ExtAPI.cpp +14 -15
  314. package/svf/include/Graphs/ICFGWrapper.h +0 -728
  315. package/svf/lib/Graphs/ICFGWrapper.cpp +0 -97
package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html ADDED
@@ -0,0 +1,144 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: SVF::CFBasicBlockEdge::equalCFBBEdge Struct Reference</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a></li><li class="navelem"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">equalCFBBEdge</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="summary">
69
+ <a href="#pub-methods">Public Member Functions</a> &#124;
70
+ <a href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html">List of all members</a> </div>
71
+ <div class="headertitle">
72
+ <div class="title">SVF::CFBasicBlockEdge::equalCFBBEdge Struct Reference</div> </div>
73
+ </div><!--header-->
74
+ <div class="contents">
75
+
76
+ <p><code>#include &lt;<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>&gt;</code></p>
77
+ <table class="memberdecls">
78
+ <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
79
+ Public Member Functions</h2></td></tr>
80
+ <tr class="memitem:a98d11fc92ce13e41762ad33cddd77e07"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07">operator()</a> (const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *lhs, const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *rhs) const</td></tr>
81
+ <tr class="separator:a98d11fc92ce13e41762ad33cddd77e07"><td class="memSeparator" colspan="2">&#160;</td></tr>
82
+ </table>
83
+ <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
84
+ <div class="textblock">
85
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00046">46</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
86
+ </div><h2 class="groupheader">Member Function Documentation</h2>
87
+ <a id="a98d11fc92ce13e41762ad33cddd77e07"></a>
88
+ <h2 class="memtitle"><span class="permalink"><a href="#a98d11fc92ce13e41762ad33cddd77e07">&#9670;&nbsp;</a></span>operator()()</h2>
89
+
90
+ <div class="memitem">
91
+ <div class="memproto">
92
+ <table class="mlabels">
93
+ <tr>
94
+ <td class="mlabels-left">
95
+ <table class="memname">
96
+ <tr>
97
+ <td class="memname">bool SVF::CFBasicBlockEdge::equalCFBBEdge::operator() </td>
98
+ <td>(</td>
99
+ <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *&#160;</td>
100
+ <td class="paramname"><em>lhs</em>, </td>
101
+ </tr>
102
+ <tr>
103
+ <td class="paramkey"></td>
104
+ <td></td>
105
+ <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a> *&#160;</td>
106
+ <td class="paramname"><em>rhs</em>&#160;</td>
107
+ </tr>
108
+ <tr>
109
+ <td></td>
110
+ <td>)</td>
111
+ <td></td><td> const</td>
112
+ </tr>
113
+ </table>
114
+ </td>
115
+ <td class="mlabels-right">
116
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
117
+ </tr>
118
+ </table>
119
+ </div><div class="memdoc">
120
+
121
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00049">49</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
122
+ <div class="fragment"><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; {</div>
123
+ <div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <span class="keywordflow">if</span> (lhs-&gt;getSrcID() != rhs-&gt;getSrcID())</div>
124
+ <div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <span class="keywordflow">return</span> lhs-&gt;getSrcID() &lt; rhs-&gt;getSrcID();</div>
125
+ <div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (lhs-&gt;getDstID() != rhs-&gt;getDstID())</div>
126
+ <div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; <span class="keywordflow">return</span> lhs-&gt;getDstID() &lt; rhs-&gt;getDstID();</div>
127
+ <div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160; <span class="keywordflow">else</span></div>
128
+ <div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <span class="keywordflow">return</span> lhs-&gt;getICFGEdge() &lt; rhs-&gt;getICFGEdge();</div>
129
+ <div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; }</div>
130
+ </div><!-- fragment -->
131
+ </div>
132
+ </div>
133
+ <hr/>The documentation for this struct was generated from the following file:<ul>
134
+ <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
135
+ </ul>
136
+ </div><!-- contents -->
137
+ <!-- start footer part -->
138
+ <hr class="footer"/><address class="footer"><small>
139
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
140
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
141
+ </a> 1.8.17
142
+ </small></address>
143
+ </body>
144
+ </html>
package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html CHANGED
@@ -175,7 +175,7 @@ Additional Inherited Members</h2></td></tr>
175
175
  </table>
176
176
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
177
177
  <div class="textblock">
178
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00222">222</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
178
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00532">532</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
179
179
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
180
180
  <a id="a10af45bcbdbb34263454107c0e5184d4"></a>
181
181
  <h2 class="memtitle"><span class="permalink"><a href="#a10af45bcbdbb34263454107c0e5184d4">&#9670;&nbsp;</a></span>NodeType</h2>
@@ -189,7 +189,7 @@ Additional Inherited Members</h2></td></tr>
189
189
  </table>
190
190
  </div><div class="memdoc">
191
191
 
192
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00225">225</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
192
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00535">535</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
193
193
 
194
194
  </div>
195
195
  </div>
@@ -218,11 +218,11 @@ Additional Inherited Members</h2></td></tr>
218
218
  </table>
219
219
  </div><div class="memdoc">
220
220
 
221
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00227">227</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
222
- <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; :</div>
223
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; DOTGraphTraits&lt;SVF::SVFIR *&gt;(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
224
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div>
225
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; }</div>
221
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00537">537</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
222
+ <div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; :</div>
223
+ <div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; DOTGraphTraits&lt;SVF::SVFIR *&gt;(<a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>)</div>
224
+ <div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; {</div>
225
+ <div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; }</div>
226
226
  </div><!-- fragment -->
227
227
  </div>
228
228
  </div>
@@ -269,10 +269,10 @@ template&lt;class EdgeIter &gt; </div>
269
269
  </table>
270
270
  </div><div class="memdoc">
271
271
 
272
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00263">263</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
273
- <div class="fragment"><div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
274
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
275
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
272
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00573">573</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
273
+ <div class="fragment"><div class="line"><a name="l00574"></a><span class="lineno"> 574</span>&#160; {</div>
274
+ <div class="line"><a name="l00575"></a><span class="lineno"> 575</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;style=solid&quot;</span>;</div>
275
+ <div class="line"><a name="l00576"></a><span class="lineno"> 576</span>&#160; }</div>
276
276
  </div><!-- fragment -->
277
277
  </div>
278
278
  </div>
@@ -312,10 +312,10 @@ template&lt;class EdgeIter &gt; </div>
312
312
  </table>
313
313
  </div><div class="memdoc">
314
314
 
315
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00269">269</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
316
- <div class="fragment"><div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; {</div>
317
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
318
- <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; }</div>
315
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00579">579</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
316
+ <div class="fragment"><div class="line"><a name="l00580"></a><span class="lineno"> 580</span>&#160; {</div>
317
+ <div class="line"><a name="l00581"></a><span class="lineno"> 581</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div>
318
+ <div class="line"><a name="l00582"></a><span class="lineno"> 582</span>&#160; }</div>
319
319
  </div><!-- fragment -->
320
320
  </div>
321
321
  </div>
@@ -345,10 +345,10 @@ template&lt;class EdgeIter &gt; </div>
345
345
 
346
346
  <p>Return name of the graph. </p>
347
347
 
348
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00233">233</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
349
- <div class="fragment"><div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; {</div>
350
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;CFBasicBlockGraph&quot;</span>;</div>
351
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; }</div>
348
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00543">543</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
349
+ <div class="fragment"><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; {</div>
350
+ <div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; <span class="keywordflow">return</span> <span class="stringliteral">&quot;CFBasicBlockGraph&quot;</span>;</div>
351
+ <div class="line"><a name="l00546"></a><span class="lineno"> 546</span>&#160; }</div>
352
352
  </div><!-- fragment -->
353
353
  </div>
354
354
  </div>
@@ -386,13 +386,13 @@ template&lt;class EdgeIter &gt; </div>
386
386
  </table>
387
387
  </div><div class="memdoc">
388
388
 
389
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00254">254</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
390
- <div class="fragment"><div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; {</div>
391
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
392
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; std::stringstream rawstr(str);</div>
393
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;color=black&quot;</span>;</div>
394
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
395
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; }</div>
389
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00564">564</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
390
+ <div class="fragment"><div class="line"><a name="l00565"></a><span class="lineno"> 565</span>&#160; {</div>
391
+ <div class="line"><a name="l00566"></a><span class="lineno"> 566</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
392
+ <div class="line"><a name="l00567"></a><span class="lineno"> 567</span>&#160; std::stringstream rawstr(str);</div>
393
+ <div class="line"><a name="l00568"></a><span class="lineno"> 568</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;color=black&quot;</span>;</div>
394
+ <div class="line"><a name="l00569"></a><span class="lineno"> 569</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
395
+ <div class="line"><a name="l00570"></a><span class="lineno"> 570</span>&#160; }</div>
396
396
  </div><!-- fragment -->
397
397
  </div>
398
398
  </div>
@@ -430,10 +430,10 @@ template&lt;class EdgeIter &gt; </div>
430
430
  </table>
431
431
  </div><div class="memdoc">
432
432
 
433
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00238">238</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
434
- <div class="fragment"><div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
435
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">getSimpleNodeLabel</a>(node, graph);</div>
436
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; }</div>
433
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00548">548</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
434
+ <div class="fragment"><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; {</div>
435
+ <div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; <span class="keywordflow">return</span> <a class="code" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">getSimpleNodeLabel</a>(node, graph);</div>
436
+ <div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; }</div>
437
437
  </div><!-- fragment -->
438
438
  </div>
439
439
  </div>
@@ -473,15 +473,15 @@ template&lt;class EdgeIter &gt; </div>
473
473
 
474
474
  <p>Return the label of an <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> node. </p>
475
475
 
476
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00244">244</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
477
- <div class="fragment"><div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div>
478
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
479
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; std::stringstream rawstr(str);</div>
480
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
481
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; rawstr &lt;&lt; node-&gt;toString();</div>
482
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; </div>
483
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
484
- <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; }</div>
476
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00554">554</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
477
+ <div class="fragment"><div class="line"><a name="l00555"></a><span class="lineno"> 555</span>&#160; {</div>
478
+ <div class="line"><a name="l00556"></a><span class="lineno"> 556</span>&#160; <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
479
+ <div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; std::stringstream rawstr(str);</div>
480
+ <div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; rawstr &lt;&lt; <span class="stringliteral">&quot;NodeID: &quot;</span> &lt;&lt; node-&gt;getId() &lt;&lt; <span class="stringliteral">&quot;\n&quot;</span>;</div>
481
+ <div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; rawstr &lt;&lt; node-&gt;toString();</div>
482
+ <div class="line"><a name="l00560"></a><span class="lineno"> 560</span>&#160; </div>
483
+ <div class="line"><a name="l00561"></a><span class="lineno"> 561</span>&#160; <span class="keywordflow">return</span> rawstr.str();</div>
484
+ <div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; }</div>
485
485
  </div><!-- fragment -->
486
486
  </div>
487
487
  </div>
@@ -490,7 +490,7 @@ template&lt;class EdgeIter &gt; </div>
490
490
  </ul>
491
491
  </div><!-- contents -->
492
492
  <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>
493
- <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00244">CFBasicBlockG.h:244</a></div></div>
493
+ <div class="ttc" id="astructSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4_html_a66e6c63670681d78c6bd42f828b274c0"><div class="ttname"><a href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html#a66e6c63670681d78c6bd42f828b274c0">SVF::DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;::getSimpleNodeLabel</a></div><div class="ttdeci">static std::string getSimpleNodeLabel(NodeType *node, SVF::CFBasicBlockGraph *)</div><div class="ttdoc">Return the label of an ICFG node.</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00554">CFBasicBlockG.h:554</a></div></div>
494
494
  <div class="ttc" id="astructSVF_1_1DefaultDOTGraphTraits_html_acc82bc6228128e5bb98a6b00d6dc5f77"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits::isSimple</a></div><div class="ttdeci">bool isSimple()</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00035">DOTGraphTraits.h:35</a></div></div>
495
495
  <!-- start footer part -->
496
496
  <hr class="footer"/><address class="footer"><small>
package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html CHANGED
@@ -95,7 +95,7 @@ Additional Inherited Members</h2></td></tr>
95
95
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
96
96
  <div class="textblock"><p><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal. </p>
97
97
 
98
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00209">209</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
98
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00519">519</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
99
99
  </div><hr/>The documentation for this struct was generated from the following file:<ul>
100
100
  <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
101
101
  </ul>
package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html CHANGED
@@ -94,7 +94,7 @@ Public Types</h2></td></tr>
94
94
  </table>
95
95
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
96
96
  <div class="textblock">
97
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00215">215</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
97
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00525">525</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
98
98
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
99
99
  <a id="a0d7eb2f1c00f0499d99f5508ce5055f5"></a>
100
100
  <h2 class="memtitle"><span class="permalink"><a href="#a0d7eb2f1c00f0499d99f5508ce5055f5">&#9670;&nbsp;</a></span>NodeRef</h2>
@@ -108,7 +108,7 @@ Public Types</h2></td></tr>
108
108
  </table>
109
109
  </div><div class="memdoc">
110
110
 
111
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00218">218</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
111
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00528">528</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
112
112
 
113
113
  </div>
114
114
  </div>
package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html CHANGED
@@ -91,7 +91,7 @@ Additional Inherited Members</h2></td></tr>
91
91
  </table>
92
92
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
93
93
  <div class="textblock">
94
- <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00202">202</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
94
+ <p class="definition">Definition at line <a class="el" href="CFBasicBlockG_8h_source.html#l00512">512</a> of file <a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a>.</p>
95
95
  </div><hr/>The documentation for this struct was generated from the following file:<ul>
96
96
  <li>/home/runner/work/SVF/SVF/svf/include/Graphs/<a class="el" href="CFBasicBlockG_8h_source.html">CFBasicBlockG.h</a></li>
97
97
  </ul>
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-tools",
3
- "version": "1.0.781",
3
+ "version": "1.0.783",
4
4
  "description": "* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.sh`](https://github.com/SVF-tools/SVF/blob/master/build.sh) in your terminal, that's it!</b> * <b>SVF now supports LLVM-10.0.0! </b> * <b>We thank [bsauce](https://github.com/bsauce) for writing a user manual of SVF ([link1](https://www.jianshu.com/p/068a08ec749c) and [link2](https://www.jianshu.com/p/777c30d4240e)) in Chinese </b> * <b>SVF now supports LLVM-9.0.0 (Thank [Byoungyoung Lee](https://github.com/SVF-tools/SVF/issues/142) for his help!). </b> * <b>SVF now supports a set of [field-sensitive pointer analyses](https://yuleisui.github.io/publications/sas2019a.pdf). </b> * <b>[Use SVF as an external lib](https://github.com/SVF-tools/SVF/wiki/Using-SVF-as-a-lib-in-your-own-tool) for your own project (Contributed by [Hongxu Chen](https://github.com/HongxuChen)). </b> * <b>SVF now supports LLVM-7.0.0. </b> * <b>SVF now supports Docker. [Try SVF in Docker](https://github.com/SVF-tools/SVF/wiki/Try-SVF-in-Docker)! </b> * <b>SVF now supports [LLVM-6.0.0](https://github.com/svf-tools/SVF/pull/38) (Contributed by [Jack Anthony](https://github.com/jackanth)). </b> * <b>SVF now supports [LLVM-4.0.0](https://github.com/svf-tools/SVF/pull/23) (Contributed by Jared Carlson. Thank [Jared](https://github.com/jcarlson23) and [Will](https://github.com/dtzWill) for their in-depth [discussions](https://github.com/svf-tools/SVF/pull/18) about updating SVF!) </b> * <b>SVF now supports analysis for C++ programs.</b> <br />",
5
5
  "main": "index.js",
6
6
  "scripts": {