svf-tools 1.0.875 → 1.0.877

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 (303) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/AbstractExecution_8cpp.html +218 -0
  3. package/SVF-doxygen/html/AbstractExecution_8cpp_source.html +2124 -0
  4. package/SVF-doxygen/html/AbstractExecution_8h.html +118 -0
  5. package/SVF-doxygen/html/AbstractExecution_8h_source.html +512 -0
  6. package/SVF-doxygen/html/BufOverflowChecker_8cpp_source.html +81 -81
  7. package/SVF-doxygen/html/BufOverflowChecker_8h.html +1 -1
  8. package/SVF-doxygen/html/BufOverflowChecker_8h_source.html +20 -20
  9. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +3 -3
  10. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CFBasicBlockGWTO_8h_source.html +2 -2
  12. package/SVF-doxygen/html/CFBasicBlockG_8h_source.html +318 -367
  13. package/SVF-doxygen/html/ae_8cpp.html +7 -7
  14. package/SVF-doxygen/html/ae_8cpp_source.html +7 -7
  15. package/SVF-doxygen/html/annotated.html +12 -12
  16. package/SVF-doxygen/html/classSVF_1_1AEAPI-members.html +2 -2
  17. package/SVF-doxygen/html/classSVF_1_1AEAPI.html +145 -145
  18. package/SVF-doxygen/html/classSVF_1_1AEStat-members.html +2 -2
  19. package/SVF-doxygen/html/classSVF_1_1AEStat.html +53 -53
  20. package/SVF-doxygen/html/classSVF_1_1AbstractExecution-members.html +137 -0
  21. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.html +2884 -0
  22. package/SVF-doxygen/html/classSVF_1_1AbstractExecution.png +0 -0
  23. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker-members.html +50 -50
  24. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.html +117 -117
  25. package/SVF-doxygen/html/classSVF_1_1BufOverflowChecker.png +0 -0
  26. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI-members.html +3 -3
  27. package/SVF-doxygen/html/classSVF_1_1BufOverflowCheckerAPI.html +38 -38
  28. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGBuilder.html +2 -2
  29. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html +1 -1
  30. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGraph.html +92 -92
  31. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode-members.html +8 -8
  32. package/SVF-doxygen/html/classSVF_1_1CFBasicBlockNode.html +51 -309
  33. package/SVF-doxygen/html/classSVF_1_1GenericNode.html +8 -8
  34. package/SVF-doxygen/html/classes.html +16 -16
  35. package/SVF-doxygen/html/dir_81caa96ab1d3de93b353e2bbe80e6067.html +1 -1
  36. package/SVF-doxygen/html/dir_fbec400583b4bd6c5f2e89c86c5943a6.html +1 -1
  37. package/SVF-doxygen/html/files.html +2 -2
  38. package/SVF-doxygen/html/functions.html +21 -21
  39. package/SVF-doxygen/html/functions_a.html +17 -17
  40. package/SVF-doxygen/html/functions_b.html +1 -1
  41. package/SVF-doxygen/html/functions_c.html +16 -16
  42. package/SVF-doxygen/html/functions_d.html +7 -11
  43. package/SVF-doxygen/html/functions_e.html +1 -1
  44. package/SVF-doxygen/html/functions_func.html +13 -13
  45. package/SVF-doxygen/html/functions_func_c.html +11 -11
  46. package/SVF-doxygen/html/functions_func_d.html +7 -11
  47. package/SVF-doxygen/html/functions_func_e.html +1 -1
  48. package/SVF-doxygen/html/functions_func_g.html +1 -1
  49. package/SVF-doxygen/html/functions_func_h.html +11 -11
  50. package/SVF-doxygen/html/functions_func_i.html +8 -8
  51. package/SVF-doxygen/html/functions_func_m.html +1 -1
  52. package/SVF-doxygen/html/functions_func_n.html +1 -1
  53. package/SVF-doxygen/html/functions_func_r.html +2 -2
  54. package/SVF-doxygen/html/functions_func_s.html +2 -2
  55. package/SVF-doxygen/html/functions_func_w.html +1 -1
  56. package/SVF-doxygen/html/functions_func_~.html +3 -3
  57. package/SVF-doxygen/html/functions_g.html +1 -1
  58. package/SVF-doxygen/html/functions_h.html +11 -11
  59. package/SVF-doxygen/html/functions_i.html +8 -8
  60. package/SVF-doxygen/html/functions_m.html +1 -1
  61. package/SVF-doxygen/html/functions_n.html +1 -1
  62. package/SVF-doxygen/html/functions_p.html +7 -7
  63. package/SVF-doxygen/html/functions_r.html +6 -8
  64. package/SVF-doxygen/html/functions_rela.html +2 -2
  65. package/SVF-doxygen/html/functions_s.html +10 -8
  66. package/SVF-doxygen/html/functions_t.html +7 -7
  67. package/SVF-doxygen/html/functions_type_c.html +1 -1
  68. package/SVF-doxygen/html/functions_v.html +1 -3
  69. package/SVF-doxygen/html/functions_vars.html +21 -21
  70. package/SVF-doxygen/html/functions_w.html +1 -1
  71. package/SVF-doxygen/html/functions_~.html +3 -3
  72. package/SVF-doxygen/html/globals.html +2 -2
  73. package/SVF-doxygen/html/globals_defs.html +1 -1
  74. package/SVF-doxygen/html/globals_s.html +1 -1
  75. package/SVF-doxygen/html/globals_vars.html +2 -2
  76. package/SVF-doxygen/html/hierarchy.html +12 -12
  77. package/SVF-doxygen/html/namespaceSVF.html +9 -9
  78. package/SVF-doxygen/html/search/all_0.js +21 -21
  79. package/SVF-doxygen/html/search/all_1.js +503 -502
  80. package/SVF-doxygen/html/search/all_10.js +325 -325
  81. package/SVF-doxygen/html/search/all_11.js +228 -228
  82. package/SVF-doxygen/html/search/all_12.js +569 -569
  83. package/SVF-doxygen/html/search/all_13.js +208 -208
  84. package/SVF-doxygen/html/search/all_14.js +69 -69
  85. package/SVF-doxygen/html/search/all_15.js +176 -176
  86. package/SVF-doxygen/html/search/all_16.js +78 -78
  87. package/SVF-doxygen/html/search/all_17.js +1 -1
  88. package/SVF-doxygen/html/search/all_18.js +1 -1
  89. package/SVF-doxygen/html/search/all_19.js +26 -26
  90. package/SVF-doxygen/html/search/all_1a.js +182 -182
  91. package/SVF-doxygen/html/search/all_2.js +182 -182
  92. package/SVF-doxygen/html/search/all_3.js +654 -654
  93. package/SVF-doxygen/html/search/all_4.js +237 -237
  94. package/SVF-doxygen/html/search/all_5.js +128 -128
  95. package/SVF-doxygen/html/search/all_6.js +232 -232
  96. package/SVF-doxygen/html/search/all_7.js +1060 -1060
  97. package/SVF-doxygen/html/search/all_8.js +217 -217
  98. package/SVF-doxygen/html/search/all_9.js +628 -628
  99. package/SVF-doxygen/html/search/all_a.js +46 -46
  100. package/SVF-doxygen/html/search/all_b.js +26 -26
  101. package/SVF-doxygen/html/search/all_c.js +115 -115
  102. package/SVF-doxygen/html/search/all_d.js +203 -203
  103. package/SVF-doxygen/html/search/all_e.js +209 -209
  104. package/SVF-doxygen/html/search/all_f.js +121 -121
  105. package/SVF-doxygen/html/search/classes_0.js +29 -29
  106. package/SVF-doxygen/html/search/classes_1.js +12 -12
  107. package/SVF-doxygen/html/search/classes_10.js +74 -74
  108. package/SVF-doxygen/html/search/classes_11.js +14 -14
  109. package/SVF-doxygen/html/search/classes_12.js +2 -2
  110. package/SVF-doxygen/html/search/classes_13.js +10 -10
  111. package/SVF-doxygen/html/search/classes_14.js +20 -20
  112. package/SVF-doxygen/html/search/classes_15.js +1 -1
  113. package/SVF-doxygen/html/search/classes_2.js +78 -78
  114. package/SVF-doxygen/html/search/classes_3.js +37 -37
  115. package/SVF-doxygen/html/search/classes_4.js +9 -9
  116. package/SVF-doxygen/html/search/classes_5.js +28 -28
  117. package/SVF-doxygen/html/search/classes_6.js +104 -104
  118. package/SVF-doxygen/html/search/classes_7.js +38 -38
  119. package/SVF-doxygen/html/search/classes_8.js +58 -58
  120. package/SVF-doxygen/html/search/classes_9.js +1 -1
  121. package/SVF-doxygen/html/search/classes_a.js +12 -12
  122. package/SVF-doxygen/html/search/classes_b.js +29 -29
  123. package/SVF-doxygen/html/search/classes_c.js +6 -6
  124. package/SVF-doxygen/html/search/classes_d.js +19 -19
  125. package/SVF-doxygen/html/search/classes_e.js +36 -36
  126. package/SVF-doxygen/html/search/classes_f.js +25 -25
  127. package/SVF-doxygen/html/search/defines_0.js +3 -3
  128. package/SVF-doxygen/html/search/defines_1.js +3 -3
  129. package/SVF-doxygen/html/search/defines_10.js +2 -2
  130. package/SVF-doxygen/html/search/defines_2.js +30 -30
  131. package/SVF-doxygen/html/search/defines_3.js +20 -20
  132. package/SVF-doxygen/html/search/defines_4.js +3 -3
  133. package/SVF-doxygen/html/search/defines_5.js +4 -4
  134. package/SVF-doxygen/html/search/defines_6.js +2 -2
  135. package/SVF-doxygen/html/search/defines_7.js +5 -5
  136. package/SVF-doxygen/html/search/defines_8.js +11 -11
  137. package/SVF-doxygen/html/search/defines_9.js +9 -9
  138. package/SVF-doxygen/html/search/defines_a.js +2 -2
  139. package/SVF-doxygen/html/search/defines_b.js +1 -1
  140. package/SVF-doxygen/html/search/defines_c.js +4 -4
  141. package/SVF-doxygen/html/search/defines_d.js +2 -2
  142. package/SVF-doxygen/html/search/defines_e.js +8 -8
  143. package/SVF-doxygen/html/search/defines_f.js +4 -4
  144. package/SVF-doxygen/html/search/enums_0.js +4 -4
  145. package/SVF-doxygen/html/search/enums_1.js +2 -2
  146. package/SVF-doxygen/html/search/enums_10.js +1 -1
  147. package/SVF-doxygen/html/search/enums_11.js +1 -1
  148. package/SVF-doxygen/html/search/enums_2.js +8 -8
  149. package/SVF-doxygen/html/search/enums_3.js +1 -1
  150. package/SVF-doxygen/html/search/enums_4.js +4 -4
  151. package/SVF-doxygen/html/search/enums_5.js +1 -1
  152. package/SVF-doxygen/html/search/enums_6.js +2 -2
  153. package/SVF-doxygen/html/search/enums_7.js +2 -2
  154. package/SVF-doxygen/html/search/enums_8.js +4 -4
  155. package/SVF-doxygen/html/search/enums_9.js +1 -1
  156. package/SVF-doxygen/html/search/enums_a.js +1 -1
  157. package/SVF-doxygen/html/search/enums_b.js +7 -7
  158. package/SVF-doxygen/html/search/enums_c.js +1 -1
  159. package/SVF-doxygen/html/search/enums_d.js +4 -4
  160. package/SVF-doxygen/html/search/enums_e.js +2 -2
  161. package/SVF-doxygen/html/search/enums_f.js +4 -4
  162. package/SVF-doxygen/html/search/enumvalues_0.js +15 -15
  163. package/SVF-doxygen/html/search/enumvalues_1.js +15 -15
  164. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  165. package/SVF-doxygen/html/search/enumvalues_11.js +4 -4
  166. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  167. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  168. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  169. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  170. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  171. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  172. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  173. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  174. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  175. package/SVF-doxygen/html/search/enumvalues_7.js +8 -8
  176. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  177. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  178. package/SVF-doxygen/html/search/enumvalues_a.js +17 -17
  179. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  180. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  181. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  182. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  183. package/SVF-doxygen/html/search/enumvalues_f.js +47 -47
  184. package/SVF-doxygen/html/search/files_0.js +16 -15
  185. package/SVF-doxygen/html/search/files_1.js +9 -9
  186. package/SVF-doxygen/html/search/files_10.js +8 -8
  187. package/SVF-doxygen/html/search/files_11.js +8 -8
  188. package/SVF-doxygen/html/search/files_12.js +2 -2
  189. package/SVF-doxygen/html/search/files_2.js +58 -58
  190. package/SVF-doxygen/html/search/files_3.js +14 -14
  191. package/SVF-doxygen/html/search/files_4.js +5 -5
  192. package/SVF-doxygen/html/search/files_5.js +13 -13
  193. package/SVF-doxygen/html/search/files_6.js +10 -10
  194. package/SVF-doxygen/html/search/files_7.js +15 -15
  195. package/SVF-doxygen/html/search/files_8.js +13 -13
  196. package/SVF-doxygen/html/search/files_9.js +18 -18
  197. package/SVF-doxygen/html/search/files_a.js +3 -3
  198. package/SVF-doxygen/html/search/files_b.js +4 -4
  199. package/SVF-doxygen/html/search/files_c.js +20 -20
  200. package/SVF-doxygen/html/search/files_d.js +4 -4
  201. package/SVF-doxygen/html/search/files_e.js +62 -62
  202. package/SVF-doxygen/html/search/files_f.js +8 -8
  203. package/SVF-doxygen/html/search/functions_0.js +13 -13
  204. package/SVF-doxygen/html/search/functions_1.js +374 -374
  205. package/SVF-doxygen/html/search/functions_10.js +140 -140
  206. package/SVF-doxygen/html/search/functions_11.js +142 -142
  207. package/SVF-doxygen/html/search/functions_12.js +298 -298
  208. package/SVF-doxygen/html/search/functions_13.js +74 -74
  209. package/SVF-doxygen/html/search/functions_14.js +40 -40
  210. package/SVF-doxygen/html/search/functions_15.js +72 -72
  211. package/SVF-doxygen/html/search/functions_16.js +38 -38
  212. package/SVF-doxygen/html/search/functions_17.js +3 -3
  213. package/SVF-doxygen/html/search/functions_18.js +182 -182
  214. package/SVF-doxygen/html/search/functions_2.js +95 -95
  215. package/SVF-doxygen/html/search/functions_3.js +266 -266
  216. package/SVF-doxygen/html/search/functions_4.js +84 -84
  217. package/SVF-doxygen/html/search/functions_5.js +57 -57
  218. package/SVF-doxygen/html/search/functions_6.js +65 -65
  219. package/SVF-doxygen/html/search/functions_7.js +867 -867
  220. package/SVF-doxygen/html/search/functions_8.js +164 -164
  221. package/SVF-doxygen/html/search/functions_9.js +440 -440
  222. package/SVF-doxygen/html/search/functions_a.js +30 -30
  223. package/SVF-doxygen/html/search/functions_b.js +2 -2
  224. package/SVF-doxygen/html/search/functions_c.js +25 -25
  225. package/SVF-doxygen/html/search/functions_d.js +81 -81
  226. package/SVF-doxygen/html/search/functions_e.js +36 -36
  227. package/SVF-doxygen/html/search/functions_f.js +58 -58
  228. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  229. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  230. package/SVF-doxygen/html/search/related_0.js +4 -4
  231. package/SVF-doxygen/html/search/related_1.js +2 -2
  232. package/SVF-doxygen/html/search/related_2.js +3 -3
  233. package/SVF-doxygen/html/search/related_3.js +2 -2
  234. package/SVF-doxygen/html/search/related_4.js +2 -2
  235. package/SVF-doxygen/html/search/related_5.js +1 -1
  236. package/SVF-doxygen/html/search/related_6.js +2 -2
  237. package/SVF-doxygen/html/search/related_7.js +4 -4
  238. package/SVF-doxygen/html/search/related_8.js +2 -2
  239. package/SVF-doxygen/html/search/related_9.js +4 -4
  240. package/SVF-doxygen/html/search/related_a.js +19 -19
  241. package/SVF-doxygen/html/search/related_b.js +4 -4
  242. package/SVF-doxygen/html/search/related_c.js +2 -2
  243. package/SVF-doxygen/html/search/related_d.js +12 -12
  244. package/SVF-doxygen/html/search/related_e.js +2 -2
  245. package/SVF-doxygen/html/search/related_f.js +2 -2
  246. package/SVF-doxygen/html/search/typedefs_0.js +20 -20
  247. package/SVF-doxygen/html/search/typedefs_1.js +27 -27
  248. package/SVF-doxygen/html/search/typedefs_10.js +63 -63
  249. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  250. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  251. package/SVF-doxygen/html/search/typedefs_13.js +40 -40
  252. package/SVF-doxygen/html/search/typedefs_14.js +11 -11
  253. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  254. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  255. package/SVF-doxygen/html/search/typedefs_4.js +18 -18
  256. package/SVF-doxygen/html/search/typedefs_5.js +42 -42
  257. package/SVF-doxygen/html/search/typedefs_6.js +57 -57
  258. package/SVF-doxygen/html/search/typedefs_7.js +47 -47
  259. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  260. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  261. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  262. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  263. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  264. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  265. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  266. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  267. package/SVF-doxygen/html/search/variables_0.js +182 -182
  268. package/SVF-doxygen/html/search/variables_1.js +76 -76
  269. package/SVF-doxygen/html/search/variables_10.js +98 -98
  270. package/SVF-doxygen/html/search/variables_11.js +46 -46
  271. package/SVF-doxygen/html/search/variables_12.js +93 -93
  272. package/SVF-doxygen/html/search/variables_13.js +76 -76
  273. package/SVF-doxygen/html/search/variables_14.js +14 -14
  274. package/SVF-doxygen/html/search/variables_15.js +49 -49
  275. package/SVF-doxygen/html/search/variables_16.js +11 -11
  276. package/SVF-doxygen/html/search/variables_17.js +1 -1
  277. package/SVF-doxygen/html/search/variables_18.js +17 -17
  278. package/SVF-doxygen/html/search/variables_2.js +41 -41
  279. package/SVF-doxygen/html/search/variables_3.js +142 -142
  280. package/SVF-doxygen/html/search/variables_4.js +51 -51
  281. package/SVF-doxygen/html/search/variables_5.js +39 -39
  282. package/SVF-doxygen/html/search/variables_6.js +66 -66
  283. package/SVF-doxygen/html/search/variables_7.js +34 -34
  284. package/SVF-doxygen/html/search/variables_8.js +8 -8
  285. package/SVF-doxygen/html/search/variables_9.js +78 -78
  286. package/SVF-doxygen/html/search/variables_a.js +4 -4
  287. package/SVF-doxygen/html/search/variables_b.js +10 -10
  288. package/SVF-doxygen/html/search/variables_c.js +45 -45
  289. package/SVF-doxygen/html/search/variables_d.js +57 -57
  290. package/SVF-doxygen/html/search/variables_e.js +123 -123
  291. package/SVF-doxygen/html/search/variables_f.js +31 -31
  292. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +102 -102
  293. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  294. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  295. package/SVF-doxygen/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  296. package/build.sh +1 -1
  297. package/package.json +1 -1
  298. package/svf/include/AE/Svfexe/{AE.h → AbstractExecution.h} +13 -14
  299. package/svf/include/AE/Svfexe/BufOverflowChecker.h +5 -5
  300. package/svf/include/Graphs/CFBasicBlockG.h +0 -43
  301. package/svf/lib/AE/Svfexe/{AE.cpp → AbstractExecution.cpp} +33 -33
  302. package/svf/lib/AE/Svfexe/BufOverflowChecker.cpp +2 -2
  303. package/svf-llvm/tools/AE/ae.cpp +1 -1
@@ -1,126 +1,126 @@
1
1
  var searchData=
2
2
  [
3
- ['n_12041',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
4
- ['name_12042',['name',['../classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf',1,'SVF::SVFStructType::name()'],['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../classOptionBase.html#a494ea256d6484e4f7e8751de499889fc',1,'OptionBase::name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp']]],
5
- ['negconds_12043',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
6
- ['newbvnumwords_12044',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
7
- ['newchild_12045',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
8
- ['newitem_12046',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
9
- ['newsbvnumwords_12047',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
10
- ['newterminalsubscript_12048',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
11
- ['next_12049',['next',['../structcJSON.html#ade862b880379b5e2a591f7326401fa8d',1,'cJSON::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()'],['../cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7',1,'next(): cJSON.cpp']]],
12
- ['noalloc_12050',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
13
- ['node_12051',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
14
- ['nodeallocstrat_12052',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
15
- ['nodekind_12053',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
16
- ['nodemapping_12054',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
17
- ['nodenum_12055',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
18
- ['nodenumafterpagbuild_12056',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
19
- ['nodeset_12057',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
20
- ['nodestack_12058',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
21
- ['nodestobecollapsed_12059',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
22
- ['nodetodpitemsmap_12060',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
23
- ['nodetoecmap_12061',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
24
- ['nodetorepmap_12062',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
25
- ['nodetosubsmap_12063',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
26
- ['noncandidatefuncmhprelmap_12064',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
27
- ['nonterminals_12065',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
28
- ['normalized_12066',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
29
- ['null_12067',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
30
- ['nullpointerid_12068',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
31
- ['number_12069',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
32
- ['numgtintregions_12070',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
33
- ['numnodes_12071',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
34
- ['numnontrivialregionobjects_12072',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
35
- ['numobjects_12073',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
36
- ['numofactualin_12074',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
37
- ['numofactualout_12075',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
38
- ['numofactualparam_12076',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
39
- ['numofactualret_12077',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
40
- ['numofaddr_12078',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
41
- ['numofaliasld_12079',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
42
- ['numofaliasst_12080',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
43
- ['numofallld_12081',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
44
- ['numofallst_12082',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
45
- ['numofannotatedld_12083',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
46
- ['numofannotatedst_12084',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
47
- ['numofaverageptsinregion_12085',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
48
- ['numofbbhasmssaphi_12086',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
49
- ['numofcalledges_12087',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
50
- ['numofcallnodes_12088',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
51
- ['numofchecks_12089',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
52
- ['numofcopy_12090',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
53
- ['numofcschi_12091',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
54
- ['numofcshaschi_12092',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
55
- ['numofcshasmu_12093',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
56
- ['numofcsmu_12094',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
57
- ['numofedges_12095',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
58
- ['numofelement_12096',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
59
- ['numofentrychi_12097',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
60
- ['numofentrynodes_12098',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
61
- ['numofexitnodes_12099',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
62
- ['numoffieldexpand_12100',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
63
- ['numofflattenelements_12101',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
64
- ['numofflattenfields_12102',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
65
- ['numofformalin_12103',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
66
- ['numofformalout_12104',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
67
- ['numofformalparam_12105',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
68
- ['numofformalret_12106',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
69
- ['numoffunhasentrychi_12107',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
70
- ['numoffunhasretmu_12108',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
71
- ['numofgep_12109',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
72
- ['numofintraedges_12110',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
73
- ['numofintranodes_12111',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
74
- ['numofiteration_12112',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
75
- ['numofload_12113',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
76
- ['numofloadhasmu_12114',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
77
- ['numofloadmu_12115',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
78
- ['numoflockedqueries_12116',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
79
- ['numofmaxregion_12117',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
80
- ['numofmemregions_12118',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
81
- ['numofmhpld_12119',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
82
- ['numofmhpqueries_12120',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
83
- ['numofmhpst_12121',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
84
- ['numofmssaphi_12122',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
85
- ['numofnewsvfgedges_12123',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
86
- ['numofnodes_12124',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
87
- ['numofnodesinscc_12125',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
88
- ['numofnonlocalld_12126',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
89
- ['numofnonlocalst_12127',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
90
- ['numofnonterminaledges_12128',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
91
- ['numofphi_12129',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
92
- ['numofprocessedactualparam_12130',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
93
- ['numofprocessedaddr_12131',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
94
- ['numofprocessedcopy_12132',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
95
- ['numofprocessedformalret_12133',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
96
- ['numofprocessedgep_12134',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
97
- ['numofprocessedload_12135',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
98
- ['numofprocessedmssanode_12136',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
99
- ['numofprocessedphi_12137',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
100
- ['numofprocessedstore_12138',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
101
- ['numofremovedpts_12139',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
102
- ['numofremovedsvfgedges_12140',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
103
- ['numofresolvedindcalledge_12141',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
104
- ['numofretedges_12142',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
105
- ['numofretmu_12143',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
106
- ['numofretnodes_12144',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
107
- ['numofscc_12145',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
108
- ['numofsccdetection_12146',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
109
- ['numofsfrs_12147',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
110
- ['numofstartedges_12148',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
111
- ['numofstore_12149',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
112
- ['numofstorechi_12150',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
113
- ['numofstorehaschi_12151',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
114
- ['numoftemporarynonterminaledges_12152',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
115
- ['numofterminaledges_12153',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
116
- ['numoftotalqueries_12154',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
117
- ['numperquerystatmap_12155',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
118
- ['numprelabelednodes_12156',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
119
- ['numprelabelversions_12157',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
120
- ['numregions_12158',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
121
- ['numsymbols_12159',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
122
- ['numtostrmap_12160',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
123
- ['numtypes_12161',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
124
- ['numvalues_12162',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
125
- ['nvthunkfunlabel_12163',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
3
+ ['n_12043',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
4
+ ['name_12044',['name',['../classSVF_1_1SVFStructType.html#a21782d68a616fb955d4988382eea61cf',1,'SVF::SVFStructType::name()'],['../classSVF_1_1SVFValue.html#aba56a2dc0ad508bf0ab2bbe52d557f07',1,'SVF::SVFValue::name()'],['../classOptionBase.html#a494ea256d6484e4f7e8751de499889fc',1,'OptionBase::name()'],['../cJSON_8h.html#a25d22ecc7e656d2c59332072684e8766',1,'name(): cJSON.h'],['../cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39',1,'name(): cJSON.cpp']]],
5
+ ['negconds_12045',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
6
+ ['newbvnumwords_12046',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
7
+ ['newchild_12047',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
8
+ ['newitem_12048',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
9
+ ['newsbvnumwords_12049',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
10
+ ['newterminalsubscript_12050',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
11
+ ['next_12051',['next',['../structcJSON.html#ade862b880379b5e2a591f7326401fa8d',1,'cJSON::next()'],['../classSVF_1_1List_1_1ListNode.html#a6fb535e702af0e4f54274050ee0c06c5',1,'SVF::List::ListNode::next()'],['../cJSON_8cpp.html#a2599f74bdbbc1b3fd1ba8db3789a0be7',1,'next(): cJSON.cpp']]],
12
+ ['noalloc_12052',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
13
+ ['node_12053',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
14
+ ['nodeallocstrat_12054',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
15
+ ['nodekind_12055',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
16
+ ['nodemapping_12056',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
17
+ ['nodenum_12057',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
18
+ ['nodenumafterpagbuild_12058',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
19
+ ['nodeset_12059',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
20
+ ['nodestack_12060',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
21
+ ['nodestobecollapsed_12061',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
22
+ ['nodetodpitemsmap_12062',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
23
+ ['nodetoecmap_12063',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
24
+ ['nodetorepmap_12064',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
25
+ ['nodetosubsmap_12065',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
26
+ ['noncandidatefuncmhprelmap_12066',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
27
+ ['nonterminals_12067',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
28
+ ['normalized_12068',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
29
+ ['null_12069',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
30
+ ['nullpointerid_12070',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
31
+ ['number_12071',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
32
+ ['numgtintregions_12072',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
33
+ ['numnodes_12073',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
34
+ ['numnontrivialregionobjects_12074',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
35
+ ['numobjects_12075',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
36
+ ['numofactualin_12076',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
37
+ ['numofactualout_12077',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
38
+ ['numofactualparam_12078',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
39
+ ['numofactualret_12079',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
40
+ ['numofaddr_12080',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
41
+ ['numofaliasld_12081',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
42
+ ['numofaliasst_12082',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
43
+ ['numofallld_12083',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
44
+ ['numofallst_12084',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
45
+ ['numofannotatedld_12085',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
46
+ ['numofannotatedst_12086',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
47
+ ['numofaverageptsinregion_12087',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
48
+ ['numofbbhasmssaphi_12088',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
49
+ ['numofcalledges_12089',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
50
+ ['numofcallnodes_12090',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
51
+ ['numofchecks_12091',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
52
+ ['numofcopy_12092',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
53
+ ['numofcschi_12093',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
54
+ ['numofcshaschi_12094',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
55
+ ['numofcshasmu_12095',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
56
+ ['numofcsmu_12096',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
57
+ ['numofedges_12097',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
58
+ ['numofelement_12098',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
59
+ ['numofentrychi_12099',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
60
+ ['numofentrynodes_12100',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
61
+ ['numofexitnodes_12101',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
62
+ ['numoffieldexpand_12102',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
63
+ ['numofflattenelements_12103',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
64
+ ['numofflattenfields_12104',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
65
+ ['numofformalin_12105',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
66
+ ['numofformalout_12106',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
67
+ ['numofformalparam_12107',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
68
+ ['numofformalret_12108',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
69
+ ['numoffunhasentrychi_12109',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
70
+ ['numoffunhasretmu_12110',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
71
+ ['numofgep_12111',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
72
+ ['numofintraedges_12112',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
73
+ ['numofintranodes_12113',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
74
+ ['numofiteration_12114',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
75
+ ['numofload_12115',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
76
+ ['numofloadhasmu_12116',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
77
+ ['numofloadmu_12117',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
78
+ ['numoflockedqueries_12118',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
79
+ ['numofmaxregion_12119',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
80
+ ['numofmemregions_12120',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
81
+ ['numofmhpld_12121',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
82
+ ['numofmhpqueries_12122',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
83
+ ['numofmhpst_12123',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
84
+ ['numofmssaphi_12124',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
85
+ ['numofnewsvfgedges_12125',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
86
+ ['numofnodes_12126',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
87
+ ['numofnodesinscc_12127',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
88
+ ['numofnonlocalld_12128',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
89
+ ['numofnonlocalst_12129',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
90
+ ['numofnonterminaledges_12130',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
91
+ ['numofphi_12131',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
92
+ ['numofprocessedactualparam_12132',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
93
+ ['numofprocessedaddr_12133',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
94
+ ['numofprocessedcopy_12134',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
95
+ ['numofprocessedformalret_12135',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
96
+ ['numofprocessedgep_12136',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
97
+ ['numofprocessedload_12137',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
98
+ ['numofprocessedmssanode_12138',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
99
+ ['numofprocessedphi_12139',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
100
+ ['numofprocessedstore_12140',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
101
+ ['numofremovedpts_12141',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
102
+ ['numofremovedsvfgedges_12142',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
103
+ ['numofresolvedindcalledge_12143',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
104
+ ['numofretedges_12144',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
105
+ ['numofretmu_12145',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
106
+ ['numofretnodes_12146',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
107
+ ['numofscc_12147',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
108
+ ['numofsccdetection_12148',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
109
+ ['numofsfrs_12149',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
110
+ ['numofstartedges_12150',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
111
+ ['numofstore_12151',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
112
+ ['numofstorechi_12152',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
113
+ ['numofstorehaschi_12153',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
114
+ ['numoftemporarynonterminaledges_12154',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
115
+ ['numofterminaledges_12155',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
116
+ ['numoftotalqueries_12156',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
117
+ ['numperquerystatmap_12157',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
118
+ ['numprelabelednodes_12158',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
119
+ ['numprelabelversions_12159',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
120
+ ['numregions_12160',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
121
+ ['numsymbols_12161',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
122
+ ['numtostrmap_12162',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
123
+ ['numtypes_12163',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
124
+ ['numvalues_12164',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
125
+ ['nvthunkfunlabel_12165',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
126
126
  ];
@@ -1,34 +1,34 @@
1
1
  var searchData=
2
2
  [
3
- ['o_12164',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
4
- ['object_12165',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
5
- ['objmap_12166',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
6
- ['objsymmap_12167',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
7
- ['objtonsrevptsmap_12168',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
8
- ['ocgdotgraph_12169',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
9
- ['offset_12170',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
10
- ['onstack_12171',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
11
- ['ontheflyiterbudgetforstat_12172',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
12
- ['opcode_12173',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
13
- ['opicfgnodes_12174',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
14
- ['opincomingbbs_12175',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
15
- ['opit_12176',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
16
- ['optionvalues_12177',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
17
- ['optsvfg_12178',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
18
- ['opvars_12179',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
19
- ['opver_12180',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
20
- ['opvers_12181',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
21
- ['originalbvnumwords_12182',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
22
- ['originalsbvnumwords_12183',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
23
- ['othervalueset_12184',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
24
- ['outcfledges_12185',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
25
- ['outedgekindtosetmap_12186',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
26
- ['outedges_12187',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
27
- ['outicfgedges_12188',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
28
- ['outofbudgetdpms_12189',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
29
- ['outofbudgetquery_12190',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
30
- ['outputname_12191',['OutputName',['../classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662',1,'SVF::Options']]],
31
- ['outupdatedvarmap_12192',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
32
- ['owned_5fctx_12193',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
33
- ['owned_5fmodules_12194',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
3
+ ['o_12166',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
4
+ ['object_12167',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
5
+ ['objmap_12168',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
6
+ ['objsymmap_12169',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
7
+ ['objtonsrevptsmap_12170',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
8
+ ['ocgdotgraph_12171',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
9
+ ['offset_12172',['offset',['../classSVF_1_1DCHEdge.html#a41bd0d95d588aa7fb77e83dc91654493',1,'SVF::DCHEdge::offset()'],['../classSVF_1_1CoreBitVector.html#a79dfa9f4c2efb6a0a2de18c6359c41bd',1,'SVF::CoreBitVector::offset()'],['../structparse__buffer.html#af727920073077579942a79de519bb31a',1,'parse_buffer::offset()'],['../structprintbuffer.html#a3ed6f9d24d6591047680492a962dc7c9',1,'printbuffer::offset()'],['../cJSON_8cpp.html#a95bf816579e97b6f33bdb5e25ed6d5de',1,'offset(): cJSON.cpp']]],
10
+ ['onstack_12173',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
11
+ ['ontheflyiterbudgetforstat_12174',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
12
+ ['opcode_12175',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
13
+ ['opicfgnodes_12176',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
14
+ ['opincomingbbs_12177',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
15
+ ['opit_12178',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
16
+ ['optionvalues_12179',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
17
+ ['optsvfg_12180',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
18
+ ['opvars_12181',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
19
+ ['opver_12182',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
20
+ ['opvers_12183',['opVers',['../classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139',1,'SVF::MSSAPHISVFGNode::opVers()'],['../classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c',1,'SVF::CmpVFGNode::opVers()'],['../classSVF_1_1BinaryOPVFGNode.html#ae803603f567cc28f5a7e1b66fb324cbc',1,'SVF::BinaryOPVFGNode::opVers()'],['../classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1',1,'SVF::UnaryOPVFGNode::opVers()'],['../classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca',1,'SVF::PHIVFGNode::opVers()'],['../classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271',1,'SVF::MSSAPHI::opVers()']]],
21
+ ['originalbvnumwords_12184',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
22
+ ['originalsbvnumwords_12185',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
23
+ ['othervalueset_12186',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
24
+ ['outcfledges_12187',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
25
+ ['outedgekindtosetmap_12188',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
26
+ ['outedges_12189',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
27
+ ['outicfgedges_12190',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
28
+ ['outofbudgetdpms_12191',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
29
+ ['outofbudgetquery_12192',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
30
+ ['outputname_12193',['OutputName',['../classSVF_1_1Options.html#ad989eab7d521e9933ac8e46e1c29f662',1,'SVF::Options']]],
31
+ ['outupdatedvarmap_12194',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
32
+ ['owned_5fctx_12195',['owned_ctx',['../classSVF_1_1LLVMModuleSet.html#a4b678ce8642fcdab0582cd626b7ac7c5',1,'SVF::LLVMModuleSet']]],
33
+ ['owned_5fmodules_12196',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
34
34
  ];