svf-tools 1.0.778 → 1.0.780

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 (269) hide show
  1. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +4 -4
  3. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +1 -1
  4. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +4 -4
  5. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +1 -1
  6. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +4 -4
  7. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
  8. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +1 -1
  9. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +1 -1
  10. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +6 -5
  11. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +3 -2
  12. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +3 -2
  13. package/SVF-doxygen/html/html/Options_8cpp_source.html +93 -101
  14. package/SVF-doxygen/html/html/Options_8h_source.html +44 -46
  15. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +1335 -1331
  16. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +12 -12
  17. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +9 -9
  19. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +1 -1
  20. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +4 -4
  21. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +2 -2
  22. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +4 -4
  23. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  24. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +4 -4
  25. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +7 -8
  27. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +1 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +7 -6
  29. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +88 -89
  30. package/SVF-doxygen/html/html/classSVF_1_1Options.html +17 -43
  31. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +1 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1111 -1109
  33. package/SVF-doxygen/html/html/classSVF_1_1SVFIRWriter.html +102 -100
  34. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +1 -1
  35. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +4 -4
  36. package/SVF-doxygen/html/html/functions_e.html +1 -4
  37. package/SVF-doxygen/html/html/functions_func_g.html +1 -1
  38. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  39. package/SVF-doxygen/html/html/functions_g.html +1 -1
  40. package/SVF-doxygen/html/html/functions_i.html +3 -3
  41. package/SVF-doxygen/html/html/functions_l.html +5 -5
  42. package/SVF-doxygen/html/html/functions_o.html +7 -7
  43. package/SVF-doxygen/html/html/functions_p.html +15 -11
  44. package/SVF-doxygen/html/html/functions_r.html +1 -1
  45. package/SVF-doxygen/html/html/functions_s.html +10 -12
  46. package/SVF-doxygen/html/html/functions_t.html +5 -5
  47. package/SVF-doxygen/html/html/functions_v.html +3 -3
  48. package/SVF-doxygen/html/html/functions_vars_e.html +0 -3
  49. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +1 -1
  50. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  51. package/SVF-doxygen/html/html/search/all_11.js +224 -224
  52. package/SVF-doxygen/html/html/search/all_12.js +545 -545
  53. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  54. package/SVF-doxygen/html/html/search/all_14.js +67 -67
  55. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  56. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  57. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  58. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  59. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  60. package/SVF-doxygen/html/html/search/all_1a.js +176 -176
  61. package/SVF-doxygen/html/html/search/all_5.js +18 -19
  62. package/SVF-doxygen/html/html/search/all_6.js +225 -225
  63. package/SVF-doxygen/html/html/search/all_7.js +1056 -1056
  64. package/SVF-doxygen/html/html/search/all_8.js +195 -195
  65. package/SVF-doxygen/html/html/search/all_9.js +617 -617
  66. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  67. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  68. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  69. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  70. package/SVF-doxygen/html/html/search/all_e.js +207 -207
  71. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  72. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  73. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  74. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  75. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  76. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  77. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  78. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  79. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  80. package/SVF-doxygen/html/html/search/classes_2.js +80 -80
  81. package/SVF-doxygen/html/html/search/classes_3.js +38 -38
  82. package/SVF-doxygen/html/html/search/classes_4.js +9 -9
  83. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  84. package/SVF-doxygen/html/html/search/classes_6.js +110 -110
  85. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  86. package/SVF-doxygen/html/html/search/classes_8.js +60 -60
  87. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  88. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  89. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  90. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  91. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  92. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  93. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  94. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  95. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  96. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  97. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  98. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  99. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  100. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  101. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  102. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  103. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  104. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  105. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  106. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  107. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  108. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  109. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  110. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  111. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  112. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  113. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  114. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  115. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  116. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  117. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  118. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  119. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  120. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  121. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  122. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  123. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  124. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  125. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  126. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  127. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  128. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  129. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  130. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  131. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  132. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  133. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  134. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  135. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  136. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  137. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  138. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  139. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  140. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  141. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  142. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  143. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  144. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  145. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  146. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  147. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  148. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  149. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  150. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  151. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  152. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  153. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  154. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  155. package/SVF-doxygen/html/html/search/files_2.js +53 -53
  156. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  157. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  158. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  159. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  160. package/SVF-doxygen/html/html/search/files_7.js +16 -16
  161. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  162. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  163. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  164. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  165. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  166. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  167. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  168. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  169. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  170. package/SVF-doxygen/html/html/search/functions_1.js +357 -357
  171. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  172. package/SVF-doxygen/html/html/search/functions_11.js +138 -138
  173. package/SVF-doxygen/html/html/search/functions_12.js +278 -278
  174. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  175. package/SVF-doxygen/html/html/search/functions_14.js +39 -39
  176. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  177. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  178. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  179. package/SVF-doxygen/html/html/search/functions_18.js +176 -176
  180. package/SVF-doxygen/html/html/search/functions_2.js +86 -86
  181. package/SVF-doxygen/html/html/search/functions_3.js +257 -257
  182. package/SVF-doxygen/html/html/search/functions_4.js +75 -75
  183. package/SVF-doxygen/html/html/search/functions_5.js +53 -53
  184. package/SVF-doxygen/html/html/search/functions_6.js +59 -59
  185. package/SVF-doxygen/html/html/search/functions_7.js +858 -858
  186. package/SVF-doxygen/html/html/search/functions_8.js +147 -147
  187. package/SVF-doxygen/html/html/search/functions_9.js +429 -429
  188. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  189. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  190. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  191. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  192. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  193. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  194. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  195. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  196. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  197. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  198. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  199. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  200. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  201. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  202. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  203. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  204. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  205. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  206. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  207. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  208. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  209. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  210. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  211. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  212. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  213. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
  214. package/SVF-doxygen/html/html/search/typedefs_10.js +63 -63
  215. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  216. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  217. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  218. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  219. package/SVF-doxygen/html/html/search/typedefs_2.js +128 -128
  220. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  221. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
  222. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  223. package/SVF-doxygen/html/html/search/typedefs_6.js +58 -58
  224. package/SVF-doxygen/html/html/search/typedefs_7.js +46 -46
  225. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  226. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  227. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  228. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  229. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
  230. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  231. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  232. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  233. package/SVF-doxygen/html/html/search/variables_0.js +162 -162
  234. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  235. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  236. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  237. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  238. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  239. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  240. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  241. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  242. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  243. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  244. package/SVF-doxygen/html/html/search/variables_2.js +37 -37
  245. package/SVF-doxygen/html/html/search/variables_3.js +142 -142
  246. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  247. package/SVF-doxygen/html/html/search/variables_5.js +37 -38
  248. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  249. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  250. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  251. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  252. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  253. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  254. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  255. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  256. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  257. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  258. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  259. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  260. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
  261. package/package.json +1 -1
  262. package/svf/include/Util/ExtAPI.h +1 -1
  263. package/svf/include/Util/Options.h +0 -1
  264. package/svf/lib/SVFIR/SVFFileSystem.cpp +4 -0
  265. package/svf/lib/Util/ExtAPI.cpp +3 -3
  266. package/svf/lib/Util/Options.cpp +0 -6
  267. package/svf-llvm/include/SVF-LLVM/LLVMModule.h +1 -1
  268. package/svf-llvm/lib/LLVMModule.cpp +4 -4
  269. package/svf-llvm/lib/LLVMUtil.cpp +1 -1
package/SVF-doxygen/html/html/classSVF_1_1Options.html CHANGED
@@ -320,8 +320,6 @@ Static Public Attributes</h2></td></tr>
320
320
  <tr class="separator:a3fc22d0a45be551110d1e326380f3202"><td class="memSeparator" colspan="2">&#160;</td></tr>
321
321
  <tr class="memitem:a88bb706e03a3dd04546b4ce62af7b140"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a88bb706e03a3dd04546b4ce62af7b140">VtableInSVFIR</a></td></tr>
322
322
  <tr class="separator:a88bb706e03a3dd04546b4ce62af7b140"><td class="memSeparator" colspan="2">&#160;</td></tr>
323
- <tr class="memitem:a2ed1e6f7911ae5cfbf79213e4d07531e"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a2ed1e6f7911ae5cfbf79213e4d07531e">ExtAPIInput</a></td></tr>
324
- <tr class="separator:a2ed1e6f7911ae5cfbf79213e4d07531e"><td class="memSeparator" colspan="2">&#160;</td></tr>
325
323
  <tr class="memitem:aea9e5e0cc5de48f3b959fa25d6ef5e1f"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#aea9e5e0cc5de48f3b959fa25d6ef5e1f">AnderSVFG</a></td></tr>
326
324
  <tr class="separator:aea9e5e0cc5de48f3b959fa25d6ef5e1f"><td class="memSeparator" colspan="2">&#160;</td></tr>
327
325
  <tr class="memitem:a93970b0b5e0a6148a86ab192a812f34b"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classOption.html">Option</a>&lt; bool &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1Options.html#a93970b0b5e0a6148a86ab192a812f34b">SABERFULLSVFG</a></td></tr>
@@ -433,7 +431,7 @@ Static Public Attributes</h2></td></tr>
433
431
  </table>
434
432
  </div><div class="memdoc">
435
433
 
436
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00256">256</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
434
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00255">255</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
437
435
 
438
436
  </div>
439
437
  </div>
@@ -505,7 +503,7 @@ Static Public Attributes</h2></td></tr>
505
503
  </table>
506
504
  </div><div class="memdoc">
507
505
 
508
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00252">252</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
506
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00251">251</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
509
507
 
510
508
  </div>
511
509
  </div>
@@ -627,7 +625,7 @@ Static Public Attributes</h2></td></tr>
627
625
  </table>
628
626
  </div><div class="memdoc">
629
627
 
630
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00263">263</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
628
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00262">262</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
631
629
 
632
630
  </div>
633
631
  </div>
@@ -651,7 +649,7 @@ Static Public Attributes</h2></td></tr>
651
649
  </table>
652
650
  </div><div class="memdoc">
653
651
 
654
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00267">267</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
652
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00266">266</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
655
653
 
656
654
  </div>
657
655
  </div>
@@ -872,7 +870,7 @@ Static Public Attributes</h2></td></tr>
872
870
  </table>
873
871
  </div><div class="memdoc">
874
872
 
875
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00270">270</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
873
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00269">269</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
876
874
 
877
875
  </div>
878
876
  </div>
@@ -1380,30 +1378,6 @@ Static Public Attributes</h2></td></tr>
1380
1378
 
1381
1379
  <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00144">144</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1382
1380
 
1383
- </div>
1384
- </div>
1385
- <a id="a2ed1e6f7911ae5cfbf79213e4d07531e"></a>
1386
- <h2 class="memtitle"><span class="permalink"><a href="#a2ed1e6f7911ae5cfbf79213e4d07531e">&#9670;&nbsp;</a></span>ExtAPIInput</h2>
1387
-
1388
- <div class="memitem">
1389
- <div class="memproto">
1390
- <table class="mlabels">
1391
- <tr>
1392
- <td class="mlabels-left">
1393
- <table class="memname">
1394
- <tr>
1395
- <td class="memname">const <a class="el" href="classOption.html">Option</a>&lt; <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &gt; SVF::Options::ExtAPIInput</td>
1396
- </tr>
1397
- </table>
1398
- </td>
1399
- <td class="mlabels-right">
1400
- <span class="mlabels"><span class="mlabel">static</span></span> </td>
1401
- </tr>
1402
- </table>
1403
- </div><div class="memdoc">
1404
-
1405
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00251">251</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1406
-
1407
1381
  </div>
1408
1382
  </div>
1409
1383
  <a id="a12e88ce4ba3d39017203ec4cd3ccccea"></a>
@@ -1450,7 +1424,7 @@ Static Public Attributes</h2></td></tr>
1450
1424
  </table>
1451
1425
  </div><div class="memdoc">
1452
1426
 
1453
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00265">265</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1427
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00264">264</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1454
1428
 
1455
1429
  </div>
1456
1430
  </div>
@@ -1572,7 +1546,7 @@ Static Public Attributes</h2></td></tr>
1572
1546
  </table>
1573
1547
  </div><div class="memdoc">
1574
1548
 
1575
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00262">262</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1549
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00261">261</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1576
1550
 
1577
1551
  </div>
1578
1552
  </div>
@@ -1860,7 +1834,7 @@ Static Public Attributes</h2></td></tr>
1860
1834
  </table>
1861
1835
  </div><div class="memdoc">
1862
1836
 
1863
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00273">273</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1837
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00272">272</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1864
1838
 
1865
1839
  </div>
1866
1840
  </div>
@@ -1884,7 +1858,7 @@ Static Public Attributes</h2></td></tr>
1884
1858
  </table>
1885
1859
  </div><div class="memdoc">
1886
1860
 
1887
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00274">274</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1861
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00273">273</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
1888
1862
 
1889
1863
  </div>
1890
1864
  </div>
@@ -2320,7 +2294,7 @@ Static Public Attributes</h2></td></tr>
2320
2294
  </table>
2321
2295
  </div><div class="memdoc">
2322
2296
 
2323
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00255">255</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2297
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00254">254</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2324
2298
 
2325
2299
  </div>
2326
2300
  </div>
@@ -2344,7 +2318,7 @@ Static Public Attributes</h2></td></tr>
2344
2318
  </table>
2345
2319
  </div><div class="memdoc">
2346
2320
 
2347
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00266">266</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2321
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00265">265</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2348
2322
 
2349
2323
  </div>
2350
2324
  </div>
@@ -2394,7 +2368,7 @@ Static Public Attributes</h2></td></tr>
2394
2368
  </table>
2395
2369
  </div><div class="memdoc">
2396
2370
 
2397
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00268">268</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2371
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00267">267</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2398
2372
 
2399
2373
  </div>
2400
2374
  </div>
@@ -2418,7 +2392,7 @@ Static Public Attributes</h2></td></tr>
2418
2392
  </table>
2419
2393
  </div><div class="memdoc">
2420
2394
 
2421
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00269">269</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2395
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00268">268</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2422
2396
 
2423
2397
  </div>
2424
2398
  </div>
@@ -2467,7 +2441,7 @@ Static Public Attributes</h2></td></tr>
2467
2441
  </table>
2468
2442
  </div><div class="memdoc">
2469
2443
 
2470
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00254">254</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2444
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00253">253</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2471
2445
 
2472
2446
  </div>
2473
2447
  </div>
@@ -2491,7 +2465,7 @@ Static Public Attributes</h2></td></tr>
2491
2465
  </table>
2492
2466
  </div><div class="memdoc">
2493
2467
 
2494
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00264">264</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2468
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00263">263</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2495
2469
 
2496
2470
  </div>
2497
2471
  </div>
@@ -2979,7 +2953,7 @@ Static Public Attributes</h2></td></tr>
2979
2953
  </table>
2980
2954
  </div><div class="memdoc">
2981
2955
 
2982
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00253">253</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2956
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00252">252</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
2983
2957
 
2984
2958
  </div>
2985
2959
  </div>
@@ -3027,7 +3001,7 @@ Static Public Attributes</h2></td></tr>
3027
3001
  </table>
3028
3002
  </div><div class="memdoc">
3029
3003
 
3030
- <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00259">259</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3004
+ <p class="definition">Definition at line <a class="el" href="Options_8h_source.html#l00258">258</a> of file <a class="el" href="Options_8h_source.html">Options.h</a>.</p>
3031
3005
 
3032
3006
  </div>
3033
3007
  </div>
package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html CHANGED
@@ -4752,7 +4752,7 @@ Private Attributes</h2></td></tr>
4752
4752
  <div class="ttc" id="anamespaceSVF_1_1LLVMUtil_html_ad8ee8de153df3f1bbdebb67185a2731c"><div class="ttname"><a href="namespaceSVF_1_1LLVMUtil.html#ad8ee8de153df3f1bbdebb67185a2731c">SVF::LLVMUtil::isConstantObjSym</a></div><div class="ttdeci">bool isConstantObjSym(const SVFValue *val)</div><div class="ttdoc">Check whether this value points-to a constant object.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l00841">LLVMUtil.cpp:841</a></div></div>
4753
4753
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_aa54b93ebf36944b548aaa74dbf8a144f"><div class="ttname"><a href="classSVF_1_1SVFIR.html#aa54b93ebf36944b548aaa74dbf8a144f">SVF::SVFIR::addCopyStmt</a></div><div class="ttdeci">CopyStmt * addCopyStmt(NodeID src, NodeID dst)</div><div class="ttdoc">Add Copy edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00064">SVFIR.cpp:64</a></div></div>
4754
4754
  <div class="ttc" id="aclassSVF_1_1LLVMModuleSet_html_a50fc24901350df9db890ba16a9b87e33"><div class="ttname"><a href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet::getSVFFunction</a></div><div class="ttdeci">SVFFunction * getSVFFunction(const Function *fun) const</div><div class="ttdef"><b>Definition:</b> <a href="LLVMModule_8h_source.html#l00198">LLVMModule.h:198</a></div></div>
4755
- <div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option&lt; bool &gt; LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00273">Options.h:273</a></div></div>
4755
+ <div class="ttc" id="aclassSVF_1_1Options_html_abfd13c7d998333290b39354178739f2c"><div class="ttname"><a href="classSVF_1_1Options.html#abfd13c7d998333290b39354178739f2c">SVF::Options::LoopAnalysis</a></div><div class="ttdeci">static const Option&lt; bool &gt; LoopAnalysis</div><div class="ttdef"><b>Definition:</b> <a href="Options_8h_source.html#l00272">Options.h:272</a></div></div>
4756
4756
  <div class="ttc" id="anamespaceSVF_html_a90b263fd2f541eca78135078114cabda"><div class="ttname"><a href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">SVF::Value</a></div><div class="ttdeci">llvm::Value Value</div><div class="ttdoc">LLVM Basic classes.</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00080">BasicTypes.h:80</a></div></div>
4757
4757
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a3abcab8c3155c5c5d4a04f05ea207260"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a3abcab8c3155c5c5d4a04f05ea207260">SVF::SVFIR::addNormalGepStmt</a></div><div class="ttdeci">GepStmt * addNormalGepStmt(NodeID src, NodeID dst, const AccessPath &amp;ap)</div><div class="ttdoc">Add Offset(Gep) edge.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00346">SVFIR.cpp:346</a></div></div>
4758
4758
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a2358a8194b5e2c4bcbb5218dee7fcbcd"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath::addOffsetVarAndGepTypePair</a></div><div class="ttdeci">bool addOffsetVarAndGepTypePair(const SVFVar *var, const SVFType *gepIterType)</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8cpp_source.html#l00042">AccessPath.cpp:42</a></div></div>