svf-tools 1.0.781 → 1.0.783

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (315) hide show
  1. package/SVF-doxygen/html/html/CDG_8h.html +2 -2
  2. package/SVF-doxygen/html/html/CDG_8h_source.html +2 -2
  3. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +152 -90
  4. package/SVF-doxygen/html/html/CFBasicBlockG_8h.html +3 -1
  5. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +601 -260
  6. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +4 -4
  7. package/SVF-doxygen/html/html/ExtAPI_8cpp.html +50 -50
  8. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +180 -181
  9. package/SVF-doxygen/html/html/ExtAPI_8h.html +6 -6
  10. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +13 -13
  11. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1 -1
  12. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  14. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  15. package/SVF-doxygen/html/html/WTO_8h_source.html +6 -6
  16. package/SVF-doxygen/html/html/annotated.html +325 -333
  17. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html +19 -12
  18. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html +219 -30
  19. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -3
  20. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html +147 -39
  21. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  22. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  23. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -28
  24. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph.html +382 -184
  25. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode-members.html +51 -41
  26. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1244 -159
  27. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
  28. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +65 -25
  29. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +1 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +107 -107
  31. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +4 -5
  32. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  33. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +3 -4
  34. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
  35. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +10 -10
  36. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  37. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +1 -1
  38. package/SVF-doxygen/html/html/classes.html +266 -276
  39. package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +0 -2
  40. package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +0 -2
  41. package/SVF-doxygen/html/html/files.html +19 -21
  42. package/SVF-doxygen/html/html/functions.html +2 -33
  43. package/SVF-doxygen/html/html/functions_a.html +14 -16
  44. package/SVF-doxygen/html/html/functions_b.html +8 -9
  45. package/SVF-doxygen/html/html/functions_c.html +34 -31
  46. package/SVF-doxygen/html/html/functions_d.html +11 -13
  47. package/SVF-doxygen/html/html/functions_e.html +1 -1
  48. package/SVF-doxygen/html/html/functions_func.html +16 -18
  49. package/SVF-doxygen/html/html/functions_func_b.html +2 -3
  50. package/SVF-doxygen/html/html/functions_func_c.html +31 -31
  51. package/SVF-doxygen/html/html/functions_func_d.html +10 -12
  52. package/SVF-doxygen/html/html/functions_func_g.html +22 -59
  53. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  54. package/SVF-doxygen/html/html/functions_func_i.html +13 -26
  55. package/SVF-doxygen/html/html/functions_func_o.html +9 -9
  56. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  57. package/SVF-doxygen/html/html/functions_func_r.html +15 -15
  58. package/SVF-doxygen/html/html/functions_func_s.html +20 -29
  59. package/SVF-doxygen/html/html/functions_func_t.html +0 -2
  60. package/SVF-doxygen/html/html/functions_func_v.html +2 -3
  61. package/SVF-doxygen/html/html/functions_func_~.html +0 -12
  62. package/SVF-doxygen/html/html/functions_g.html +23 -60
  63. package/SVF-doxygen/html/html/functions_h.html +9 -12
  64. package/SVF-doxygen/html/html/functions_i.html +16 -44
  65. package/SVF-doxygen/html/html/functions_n.html +6 -8
  66. package/SVF-doxygen/html/html/functions_o.html +23 -27
  67. package/SVF-doxygen/html/html/functions_p.html +8 -12
  68. package/SVF-doxygen/html/html/functions_r.html +17 -17
  69. package/SVF-doxygen/html/html/functions_s.html +16 -33
  70. package/SVF-doxygen/html/html/functions_t.html +5 -7
  71. package/SVF-doxygen/html/html/functions_type_c.html +6 -3
  72. package/SVF-doxygen/html/html/functions_type_e.html +1 -1
  73. package/SVF-doxygen/html/html/functions_type_i.html +3 -18
  74. package/SVF-doxygen/html/html/functions_type_n.html +0 -2
  75. package/SVF-doxygen/html/html/functions_type_s.html +0 -6
  76. package/SVF-doxygen/html/html/functions_v.html +4 -5
  77. package/SVF-doxygen/html/html/functions_vars.html +2 -33
  78. package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
  79. package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
  80. package/SVF-doxygen/html/html/functions_w.html +8 -8
  81. package/SVF-doxygen/html/html/functions_~.html +0 -12
  82. package/SVF-doxygen/html/html/globals_d.html +2 -2
  83. package/SVF-doxygen/html/html/globals_defs.html +2 -2
  84. package/SVF-doxygen/html/html/hierarchy.html +458 -469
  85. package/SVF-doxygen/html/html/namespaceSVF.html +7 -78
  86. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -12
  87. package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
  88. package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -9
  89. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  90. package/SVF-doxygen/html/html/search/all_0.js +137 -147
  91. package/SVF-doxygen/html/html/search/all_1.js +484 -485
  92. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  93. package/SVF-doxygen/html/html/search/all_11.js +224 -224
  94. package/SVF-doxygen/html/html/search/all_12.js +541 -546
  95. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  96. package/SVF-doxygen/html/html/search/all_14.js +67 -67
  97. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  98. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  99. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  100. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  101. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  102. package/SVF-doxygen/html/html/search/all_1a.js +172 -176
  103. package/SVF-doxygen/html/html/search/all_2.js +167 -167
  104. package/SVF-doxygen/html/html/search/all_3.js +640 -639
  105. package/SVF-doxygen/html/html/search/all_4.js +233 -234
  106. package/SVF-doxygen/html/html/search/all_5.js +121 -120
  107. package/SVF-doxygen/html/html/search/all_6.js +225 -225
  108. package/SVF-doxygen/html/html/search/all_7.js +1037 -1056
  109. package/SVF-doxygen/html/html/search/all_8.js +194 -195
  110. package/SVF-doxygen/html/html/search/all_9.js +607 -617
  111. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  112. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  113. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  114. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  115. package/SVF-doxygen/html/html/search/all_e.js +207 -207
  116. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  117. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  118. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  119. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  120. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  121. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  122. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  123. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  124. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  125. package/SVF-doxygen/html/html/search/classes_2.js +80 -80
  126. package/SVF-doxygen/html/html/search/classes_3.js +37 -38
  127. package/SVF-doxygen/html/html/search/classes_4.js +9 -9
  128. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  129. package/SVF-doxygen/html/html/search/classes_6.js +104 -110
  130. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  131. package/SVF-doxygen/html/html/search/classes_8.js +56 -60
  132. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  133. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  134. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  135. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  136. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  137. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  138. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  139. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  140. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  141. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  142. package/SVF-doxygen/html/html/search/defines_3.js +21 -21
  143. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  144. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  145. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  146. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  147. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  148. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  149. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  150. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  151. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  152. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  153. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  154. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  155. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  156. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  157. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  158. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  159. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  160. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  161. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  162. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  163. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  164. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  165. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  166. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  167. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  168. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  169. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  170. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  171. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  172. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  173. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  174. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  175. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  176. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  177. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  178. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  179. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  180. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  181. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  182. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  183. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  184. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  185. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  186. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  187. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  188. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  189. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  190. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  191. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  192. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  193. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  194. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  195. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  196. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  197. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  198. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  199. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  200. package/SVF-doxygen/html/html/search/files_2.js +53 -53
  201. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  202. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  203. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  204. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  205. package/SVF-doxygen/html/html/search/files_7.js +14 -16
  206. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  207. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  208. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  209. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  210. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  211. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  212. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  213. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  214. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  215. package/SVF-doxygen/html/html/search/functions_1.js +356 -357
  216. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  217. package/SVF-doxygen/html/html/search/functions_11.js +138 -138
  218. package/SVF-doxygen/html/html/search/functions_12.js +276 -279
  219. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  220. package/SVF-doxygen/html/html/search/functions_14.js +39 -39
  221. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  222. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  223. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  224. package/SVF-doxygen/html/html/search/functions_18.js +172 -176
  225. package/SVF-doxygen/html/html/search/functions_2.js +86 -86
  226. package/SVF-doxygen/html/html/search/functions_3.js +257 -257
  227. package/SVF-doxygen/html/html/search/functions_4.js +75 -75
  228. package/SVF-doxygen/html/html/search/functions_5.js +53 -53
  229. package/SVF-doxygen/html/html/search/functions_6.js +59 -59
  230. package/SVF-doxygen/html/html/search/functions_7.js +848 -858
  231. package/SVF-doxygen/html/html/search/functions_8.js +146 -147
  232. package/SVF-doxygen/html/html/search/functions_9.js +425 -429
  233. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  234. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  236. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  237. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  238. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  239. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  240. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  241. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  242. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  243. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  244. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  245. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  246. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  247. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  248. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  249. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  250. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  251. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  252. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  253. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  254. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  255. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  256. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  257. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  258. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
  259. package/SVF-doxygen/html/html/search/typedefs_10.js +61 -63
  260. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  261. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  262. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  263. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  264. package/SVF-doxygen/html/html/search/typedefs_2.js +129 -128
  265. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  266. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
  267. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  268. package/SVF-doxygen/html/html/search/typedefs_6.js +55 -58
  269. package/SVF-doxygen/html/html/search/typedefs_7.js +42 -46
  270. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  271. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  272. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  273. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  274. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
  275. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  276. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  277. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  278. package/SVF-doxygen/html/html/search/variables_0.js +152 -162
  279. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  280. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  281. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  282. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  283. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  284. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  285. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  286. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  287. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  288. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  289. package/SVF-doxygen/html/html/search/variables_2.js +37 -37
  290. package/SVF-doxygen/html/html/search/variables_3.js +142 -142
  291. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  292. package/SVF-doxygen/html/html/search/variables_5.js +39 -39
  293. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  294. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  295. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  296. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  297. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  298. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  299. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  300. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  301. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  302. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  303. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html +84 -0
  304. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html +144 -0
  305. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  306. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  307. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  308. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  309. package/package.json +1 -1
  310. package/svf/include/Graphs/CFBasicBlockG.h +342 -32
  311. package/svf/include/Util/ExtAPI.h +2 -2
  312. package/svf/lib/Graphs/CFBasicBlockG.cpp +97 -36
  313. package/svf/lib/Util/ExtAPI.cpp +14 -15
  314. package/svf/include/Graphs/ICFGWrapper.h +0 -728
  315. package/svf/lib/Graphs/ICFGWrapper.cpp +0 -97
@@ -1,126 +1,126 @@
1
1
  var searchData=
2
2
  [
3
- ['n_11616',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
4
- ['name_11617',['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_11618',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
6
- ['newbvnumwords_11619',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
7
- ['newchild_11620',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
8
- ['newitem_11621',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
9
- ['newsbvnumwords_11622',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
10
- ['newterminalsubscript_11623',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
11
- ['next_11624',['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_11625',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
13
- ['node_11626',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
14
- ['nodeallocstrat_11627',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
15
- ['nodekind_11628',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
16
- ['nodemapping_11629',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
17
- ['nodenum_11630',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
18
- ['nodenumafterpagbuild_11631',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
19
- ['nodeset_11632',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
20
- ['nodestack_11633',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
21
- ['nodestobecollapsed_11634',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
22
- ['nodetodpitemsmap_11635',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
23
- ['nodetoecmap_11636',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
24
- ['nodetorepmap_11637',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
25
- ['nodetosubsmap_11638',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
26
- ['noncandidatefuncmhprelmap_11639',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
27
- ['nonterminals_11640',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
28
- ['normalized_11641',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
29
- ['null_11642',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
30
- ['nullpointerid_11643',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
31
- ['number_11644',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
32
- ['numgtintregions_11645',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
33
- ['numnodes_11646',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
34
- ['numnontrivialregionobjects_11647',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
35
- ['numobjects_11648',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
36
- ['numofactualin_11649',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
37
- ['numofactualout_11650',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
38
- ['numofactualparam_11651',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
39
- ['numofactualret_11652',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
40
- ['numofaddr_11653',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
41
- ['numofaliasld_11654',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
42
- ['numofaliasst_11655',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
43
- ['numofallld_11656',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
44
- ['numofallst_11657',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
45
- ['numofannotatedld_11658',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
46
- ['numofannotatedst_11659',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
47
- ['numofaverageptsinregion_11660',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
48
- ['numofbbhasmssaphi_11661',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
49
- ['numofcalledges_11662',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
50
- ['numofcallnodes_11663',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
51
- ['numofchecks_11664',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
52
- ['numofcopy_11665',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
53
- ['numofcschi_11666',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
54
- ['numofcshaschi_11667',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
55
- ['numofcshasmu_11668',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
56
- ['numofcsmu_11669',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
57
- ['numofedges_11670',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
58
- ['numofelement_11671',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
59
- ['numofentrychi_11672',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
60
- ['numofentrynodes_11673',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
61
- ['numofexitnodes_11674',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
62
- ['numoffieldexpand_11675',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
63
- ['numofflattenelements_11676',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
64
- ['numofflattenfields_11677',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
65
- ['numofformalin_11678',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
66
- ['numofformalout_11679',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
67
- ['numofformalparam_11680',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
68
- ['numofformalret_11681',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
69
- ['numoffunhasentrychi_11682',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
70
- ['numoffunhasretmu_11683',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
71
- ['numofgep_11684',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
72
- ['numofintraedges_11685',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
73
- ['numofintranodes_11686',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
74
- ['numofiteration_11687',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
75
- ['numofload_11688',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
76
- ['numofloadhasmu_11689',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
77
- ['numofloadmu_11690',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
78
- ['numoflockedqueries_11691',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
79
- ['numofmaxregion_11692',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
80
- ['numofmemregions_11693',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
81
- ['numofmhpld_11694',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
82
- ['numofmhpqueries_11695',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
83
- ['numofmhpst_11696',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
84
- ['numofmssaphi_11697',['numOfMSSAPhi',['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()'],['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()']]],
85
- ['numofnewsvfgedges_11698',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
86
- ['numofnodes_11699',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
87
- ['numofnodesinscc_11700',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
88
- ['numofnonlocalld_11701',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
89
- ['numofnonlocalst_11702',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
90
- ['numofnonterminaledges_11703',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
91
- ['numofphi_11704',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
92
- ['numofprocessedactualparam_11705',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
93
- ['numofprocessedaddr_11706',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
94
- ['numofprocessedcopy_11707',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
95
- ['numofprocessedformalret_11708',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
96
- ['numofprocessedgep_11709',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
97
- ['numofprocessedload_11710',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
98
- ['numofprocessedmssanode_11711',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
99
- ['numofprocessedphi_11712',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
100
- ['numofprocessedstore_11713',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
101
- ['numofremovedpts_11714',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
102
- ['numofremovedsvfgedges_11715',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
103
- ['numofresolvedindcalledge_11716',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
104
- ['numofretedges_11717',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
105
- ['numofretmu_11718',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
106
- ['numofretnodes_11719',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
107
- ['numofscc_11720',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
108
- ['numofsccdetection_11721',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
109
- ['numofsfrs_11722',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
110
- ['numofstartedges_11723',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
111
- ['numofstore_11724',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
112
- ['numofstorechi_11725',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
113
- ['numofstorehaschi_11726',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
114
- ['numoftemporarynonterminaledges_11727',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
115
- ['numofterminaledges_11728',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
116
- ['numoftotalqueries_11729',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
117
- ['numperquerystatmap_11730',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
118
- ['numprelabelednodes_11731',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
119
- ['numprelabelversions_11732',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
120
- ['numregions_11733',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
121
- ['numsymbols_11734',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
122
- ['numtostrmap_11735',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
123
- ['numtypes_11736',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
124
- ['numvalues_11737',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
125
- ['nvthunkfunlabel_11738',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
3
+ ['n_11521',['n',['../cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a',1,'cJSON.cpp']]],
4
+ ['name_11522',['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_11523',['negConds',['../classSVF_1_1SaberCondAllocator.html#a4267ed81d5100d49581a4216f46e660c',1,'SVF::SaberCondAllocator']]],
6
+ ['newbvnumwords_11524',['NewBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9',1,'SVF::NodeIDAllocator::Clusterer']]],
7
+ ['newchild_11525',['newchild',['../cJSON_8cpp.html#a81f8a22ccfd48d5d5f5b911c24892ca9',1,'cJSON.cpp']]],
8
+ ['newitem_11526',['newitem',['../cJSON_8h.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.h'],['../cJSON_8cpp.html#a9ceb585442a991aa043b67fcca10a745',1,'newitem(): cJSON.cpp']]],
9
+ ['newsbvnumwords_11527',['NewSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a779446e2fe92518401f1732fb809f066',1,'SVF::NodeIDAllocator::Clusterer']]],
10
+ ['newterminalsubscript_11528',['newTerminalSubscript',['../classSVF_1_1CFGrammar.html#ae2648458abb2ead76191a0a65394a95c',1,'SVF::CFGrammar']]],
11
+ ['next_11529',['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_11530',['noalloc',['../structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368',1,'printbuffer::noalloc()'],['../cJSON_8cpp.html#a2212121102d55231315839f800aa1350',1,'noalloc(): cJSON.cpp']]],
13
+ ['node_11531',['node',['../classSVF_1_1NullPtrVFGNode.html#adef43dcc86e61145a7fdc6711b28239d',1,'SVF::NullPtrVFGNode']]],
14
+ ['nodeallocstrat_11532',['NodeAllocStrat',['../classSVF_1_1Options.html#a38107576f4f242191cdbfb1ca51f93cd',1,'SVF::Options']]],
15
+ ['nodekind_11533',['nodeKind',['../classSVF_1_1GenericNode.html#a586df5473d1e7cdcb9051683914d0220',1,'SVF::GenericNode']]],
16
+ ['nodemapping_11534',['nodeMapping',['../classSVF_1_1PointsTo.html#acd7eab32125de90020c55c757d6adfda',1,'SVF::PointsTo']]],
17
+ ['nodenum_11535',['nodeNum',['../classSVF_1_1GenericGraph.html#a38122734cbe71551a420dfb7fee2012e',1,'SVF::GenericGraph']]],
18
+ ['nodenumafterpagbuild_11536',['nodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a80cf14bf43accb89cb82490b4f173598',1,'SVF::IRGraph']]],
19
+ ['nodeset_11537',['nodeSet',['../classSVF_1_1List.html#a8d9ffc8497d53e0e1de230e0d8a50fec',1,'SVF::List']]],
20
+ ['nodestack_11538',['nodeStack',['../classSVF_1_1WPAFSSolver.html#a2cb80102611c663c4daddd68b4f4b75f',1,'SVF::WPAFSSolver']]],
21
+ ['nodestobecollapsed_11539',['nodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#af3406f1e191d9d6d9c33d23bdd2d564b',1,'SVF::ConstraintGraph']]],
22
+ ['nodetodpitemsmap_11540',['nodeToDPItemsMap',['../classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4',1,'SVF::SrcSnkDDA']]],
23
+ ['nodetoecmap_11541',['nodeToECMap',['../classSVF_1_1Steensgaard.html#a0dccd5cc44d4d56a035514e9251e70f6',1,'SVF::Steensgaard']]],
24
+ ['nodetorepmap_11542',['nodeToRepMap',['../classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2',1,'SVF::ConstraintGraph']]],
25
+ ['nodetosubsmap_11543',['nodeToSubsMap',['../classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60',1,'SVF::ConstraintGraph::nodeToSubsMap()'],['../classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b',1,'SVF::Steensgaard::nodeToSubsMap()']]],
26
+ ['noncandidatefuncmhprelmap_11544',['nonCandidateFuncMHPRelMap',['../classSVF_1_1MHP.html#a1f057ef082484a1997cb02287e063f00',1,'SVF::MHP']]],
27
+ ['nonterminals_11545',['nonterminals',['../classSVF_1_1GrammarBase.html#ac0e54c6a5e87f9d91a5296504914849b',1,'SVF::GrammarBase']]],
28
+ ['normalized_11546',['normalized',['../classSVF_1_1CondPTAImpl.html#ab4115f25e2e477bfd73d01f069f47241',1,'SVF::CondPTAImpl']]],
29
+ ['null_11547',['NULL',['../cJSON_8cpp.html#a1a05ede2ad100bf5de5dfa7ccdfa4397',1,'cJSON.cpp']]],
30
+ ['nullpointerid_11548',['nullPointerId',['../classSVF_1_1NodeIDAllocator.html#a1e3a98be74d5dfd3b4c1b5f9c0941353',1,'SVF::NodeIDAllocator']]],
31
+ ['number_11549',['number',['../cJSON_8h.html#a6288dae99eabb0a393b1d4974e01cde7',1,'number(): cJSON.h'],['../cJSON_8cpp.html#a0b3e94800c28aaf801bbbf0b9b69fee4',1,'number(): cJSON.cpp']]],
32
+ ['numgtintregions_11550',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
33
+ ['numnodes_11551',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
34
+ ['numnontrivialregionobjects_11552',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
35
+ ['numobjects_11553',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
36
+ ['numofactualin_11554',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
37
+ ['numofactualout_11555',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
38
+ ['numofactualparam_11556',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],
39
+ ['numofactualret_11557',['numOfActualRet',['../classSVF_1_1SVFGStat.html#ad37e5b2e57e02f8e4319f6d038c51414',1,'SVF::SVFGStat']]],
40
+ ['numofaddr_11558',['numOfAddr',['../classSVF_1_1SVFGStat.html#aa6a39e0f1d41d67cb3441389a943bf5f',1,'SVF::SVFGStat']]],
41
+ ['numofaliasld_11559',['numOfAliasLd',['../classSVF_1_1MTAAnnotator.html#aa1572c2a9f260ff66c9da661fd669a5f',1,'SVF::MTAAnnotator']]],
42
+ ['numofaliasst_11560',['numOfAliasSt',['../classSVF_1_1MTAAnnotator.html#a71178ddc585c9ca7c9e5c3b52378cd7d',1,'SVF::MTAAnnotator']]],
43
+ ['numofallld_11561',['numOfAllLd',['../classSVF_1_1MTAAnnotator.html#a5c1743a40d54fdbde2f9dadb612de608',1,'SVF::MTAAnnotator']]],
44
+ ['numofallst_11562',['numOfAllSt',['../classSVF_1_1MTAAnnotator.html#aa0149b932b4148b14b36e2c5cf9b614b',1,'SVF::MTAAnnotator']]],
45
+ ['numofannotatedld_11563',['numOfAnnotatedLd',['../classSVF_1_1MTAAnnotator.html#a57df091dbdd4fc947cc5e7aaec123700',1,'SVF::MTAAnnotator']]],
46
+ ['numofannotatedst_11564',['numOfAnnotatedSt',['../classSVF_1_1MTAAnnotator.html#afbb8c25a126362ab0a4101866b4fc0ee',1,'SVF::MTAAnnotator']]],
47
+ ['numofaverageptsinregion_11565',['NumOfAveragePtsInRegion',['../classSVF_1_1MemSSAStat.html#a6e29fa9c935de324441c765e40faa2a5',1,'SVF::MemSSAStat']]],
48
+ ['numofbbhasmssaphi_11566',['NumOfBBHasMSSAPhi',['../classSVF_1_1MemSSAStat.html#a67d9c55f52cb59168e89320c3264a15a',1,'SVF::MemSSAStat']]],
49
+ ['numofcalledges_11567',['numOfCallEdges',['../classSVF_1_1ICFGStat.html#ab924988ff980c57a4e9155adaa5c0ff2',1,'SVF::ICFGStat']]],
50
+ ['numofcallnodes_11568',['numOfCallNodes',['../classSVF_1_1ICFGStat.html#a7f8d88b6d8d4892e85006320b39c7dc4',1,'SVF::ICFGStat']]],
51
+ ['numofchecks_11569',['numOfChecks',['../classSVF_1_1CFLBase.html#a49b12231195521d2b53b045962f0a3f6',1,'SVF::CFLBase::numOfChecks()'],['../classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520',1,'SVF::CFLSolver::numOfChecks()']]],
52
+ ['numofcopy_11570',['numOfCopy',['../classSVF_1_1SVFGStat.html#ac86d6d7cb0090ab665729b56111ca464',1,'SVF::SVFGStat']]],
53
+ ['numofcschi_11571',['NumOfCSChi',['../classSVF_1_1MemSSAStat.html#a921a0f4eba4b891ab9b7699ea0d3f91c',1,'SVF::MemSSAStat']]],
54
+ ['numofcshaschi_11572',['NumOfCSHasChi',['../classSVF_1_1MemSSAStat.html#ae57c6e5b97581150b7561c93e0887569',1,'SVF::MemSSAStat']]],
55
+ ['numofcshasmu_11573',['NumOfCSHasMu',['../classSVF_1_1MemSSAStat.html#af5855348e45f50d16cd41cfa9c28f67c',1,'SVF::MemSSAStat']]],
56
+ ['numofcsmu_11574',['NumOfCSMu',['../classSVF_1_1MemSSAStat.html#a7b07190a20361e30999cd9107749599d',1,'SVF::MemSSAStat']]],
57
+ ['numofedges_11575',['numOfEdges',['../classSVF_1_1ICFGStat.html#a5e9bb5ae47aacba7c625a9fa3e349e82',1,'SVF::ICFGStat']]],
58
+ ['numofelement_11576',['numOfElement',['../classSVF_1_1SVFArrayType.html#a5438a991fcd2a1cf1409464125d2c31b',1,'SVF::SVFArrayType']]],
59
+ ['numofentrychi_11577',['NumOfEntryChi',['../classSVF_1_1MemSSAStat.html#ad96437d0c28f8088c711a718d2f2730e',1,'SVF::MemSSAStat']]],
60
+ ['numofentrynodes_11578',['numOfEntryNodes',['../classSVF_1_1ICFGStat.html#ad37793e64fe58a8faba201c18d876685',1,'SVF::ICFGStat']]],
61
+ ['numofexitnodes_11579',['numOfExitNodes',['../classSVF_1_1ICFGStat.html#ad7e00680fb8ca31afbd166f9a4adc5ec',1,'SVF::ICFGStat']]],
62
+ ['numoffieldexpand_11580',['numOfFieldExpand',['../classSVF_1_1AndersenBase.html#a9f453ec1b4236b8194ae590981217259',1,'SVF::AndersenBase']]],
63
+ ['numofflattenelements_11581',['numOfFlattenElements',['../classSVF_1_1StInfo.html#a7aa5b5018b4dec4913eb6aecf25568a4',1,'SVF::StInfo']]],
64
+ ['numofflattenfields_11582',['numOfFlattenFields',['../classSVF_1_1StInfo.html#aa9b4e659f4a4421aadf736a3de24ca50',1,'SVF::StInfo']]],
65
+ ['numofformalin_11583',['numOfFormalIn',['../classSVF_1_1SVFGStat.html#abc5e079242666bb55ec7dbc7f258b3db',1,'SVF::SVFGStat']]],
66
+ ['numofformalout_11584',['numOfFormalOut',['../classSVF_1_1SVFGStat.html#ab20900eb0ecb0d2e1e601755848ac531',1,'SVF::SVFGStat']]],
67
+ ['numofformalparam_11585',['numOfFormalParam',['../classSVF_1_1SVFGStat.html#a1e9ddd5678b05e145af41a6d53f47748',1,'SVF::SVFGStat']]],
68
+ ['numofformalret_11586',['numOfFormalRet',['../classSVF_1_1SVFGStat.html#a29807c066e60ef3905a5e01e0b86ffd2',1,'SVF::SVFGStat']]],
69
+ ['numoffunhasentrychi_11587',['NumOfFunHasEntryChi',['../classSVF_1_1MemSSAStat.html#aee2e0df55c40745a9b9aac415aa7a399',1,'SVF::MemSSAStat']]],
70
+ ['numoffunhasretmu_11588',['NumOfFunHasRetMu',['../classSVF_1_1MemSSAStat.html#ab1cdbd2ebe54dc5bb752a89d069423b7',1,'SVF::MemSSAStat']]],
71
+ ['numofgep_11589',['numOfGep',['../classSVF_1_1SVFGStat.html#a862cd075a7c9d5019acfabe608ab7905',1,'SVF::SVFGStat']]],
72
+ ['numofintraedges_11590',['numOfIntraEdges',['../classSVF_1_1ICFGStat.html#a3ddf933064f2a7f2efbd3a1af2ae7658',1,'SVF::ICFGStat']]],
73
+ ['numofintranodes_11591',['numOfIntraNodes',['../classSVF_1_1ICFGStat.html#ad88dbfaabae9b36f02a6e6e815d08e3e',1,'SVF::ICFGStat']]],
74
+ ['numofiteration_11592',['numOfIteration',['../classSVF_1_1CFLBase.html#aa807cf1b8605a463d6d68d5096f3e0e8',1,'SVF::CFLBase::numOfIteration()'],['../classSVF_1_1WPASolver.html#ab3369caa278da03e6e6697a839985cd6',1,'SVF::WPASolver::numOfIteration()']]],
75
+ ['numofload_11593',['numOfLoad',['../classSVF_1_1SVFGStat.html#a7c80f2332b97a3228e2ad7621162167a',1,'SVF::SVFGStat']]],
76
+ ['numofloadhasmu_11594',['NumOfLoadHasMu',['../classSVF_1_1MemSSAStat.html#ad3139d2643f5e79dcd4ca9569ebbe7df',1,'SVF::MemSSAStat']]],
77
+ ['numofloadmu_11595',['NumOfLoadMu',['../classSVF_1_1MemSSAStat.html#a284dbb01e051945a40179b315bdb112f',1,'SVF::MemSSAStat']]],
78
+ ['numoflockedqueries_11596',['numOfLockedQueries',['../classSVF_1_1LockAnalysis.html#a80c56ebc6b9b594e97b56767f451ff8b',1,'SVF::LockAnalysis']]],
79
+ ['numofmaxregion_11597',['NumOfMaxRegion',['../classSVF_1_1MemSSAStat.html#acf3732557238de882bf7f34c49bd6cee',1,'SVF::MemSSAStat']]],
80
+ ['numofmemregions_11598',['NumOfMemRegions',['../classSVF_1_1MemSSAStat.html#a95695aa32886776804e192b4c4ddcc1d',1,'SVF::MemSSAStat']]],
81
+ ['numofmhpld_11599',['numOfMHPLd',['../classSVF_1_1MTAAnnotator.html#a29e0123620ab072fddc45331c6aa46e8',1,'SVF::MTAAnnotator']]],
82
+ ['numofmhpqueries_11600',['numOfMHPQueries',['../classSVF_1_1MHP.html#ab8bd382e0c70b0feb2a291ecc4043106',1,'SVF::MHP']]],
83
+ ['numofmhpst_11601',['numOfMHPSt',['../classSVF_1_1MTAAnnotator.html#a3a53e90b4f361d1298983bc89795b3d2',1,'SVF::MTAAnnotator']]],
84
+ ['numofmssaphi_11602',['NumOfMSSAPhi',['../classSVF_1_1MemSSAStat.html#a4b598cb1d06c4c0963787036862b1c3d',1,'SVF::MemSSAStat::NumOfMSSAPhi()'],['../classSVF_1_1SVFGStat.html#a9fc87025af3b7e54442e78f46ebe0360',1,'SVF::SVFGStat::numOfMSSAPhi()']]],
85
+ ['numofnewsvfgedges_11603',['numOfNewSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a019a4597074fdad6e51d936ed4ead0d9',1,'SVF::MTASVFGBuilder']]],
86
+ ['numofnodes_11604',['numOfNodes',['../classSVF_1_1ICFGStat.html#a8e71a19c266aacd7acb1fee6bb339788',1,'SVF::ICFGStat::numOfNodes()'],['../classSVF_1_1SVFGStat.html#ab499c24856a990dd4adb366107eb3302',1,'SVF::SVFGStat::numOfNodes()']]],
87
+ ['numofnodesinscc_11605',['numOfNodesInSCC',['../classSVF_1_1FlowSensitive.html#a9f3fe97202db8170fa9f47c5684bce75',1,'SVF::FlowSensitive']]],
88
+ ['numofnonlocalld_11606',['numOfNonLocalLd',['../classSVF_1_1MTAAnnotator.html#ad53ac0cec797f84d3bc14bdb6bab1ab3',1,'SVF::MTAAnnotator']]],
89
+ ['numofnonlocalst_11607',['numOfNonLocalSt',['../classSVF_1_1MTAAnnotator.html#a3c07f9964623b3895b1bab59a63dccfb',1,'SVF::MTAAnnotator']]],
90
+ ['numofnonterminaledges_11608',['numOfNonterminalEdges',['../classSVF_1_1CFLBase.html#a4c03b83cb2a3c0c166d96550d6771a1b',1,'SVF::CFLBase']]],
91
+ ['numofphi_11609',['numOfPhi',['../classSVF_1_1SVFGStat.html#a0e1fcb9154aad266406c4da4861ba020',1,'SVF::SVFGStat']]],
92
+ ['numofprocessedactualparam_11610',['numOfProcessedActualParam',['../classSVF_1_1FlowSensitive.html#abdc30e45347579986c42795a436a1251',1,'SVF::FlowSensitive']]],
93
+ ['numofprocessedaddr_11611',['numOfProcessedAddr',['../classSVF_1_1AndersenBase.html#a4acad18a6eb585ba9e3d2276dd591067',1,'SVF::AndersenBase::numOfProcessedAddr()'],['../classSVF_1_1FlowSensitive.html#ae4253bc632ffffe2498263c90f456ca7',1,'SVF::FlowSensitive::numOfProcessedAddr()']]],
94
+ ['numofprocessedcopy_11612',['numOfProcessedCopy',['../classSVF_1_1AndersenBase.html#a04acd871bd1b98cd9e83e395334ac130',1,'SVF::AndersenBase::numOfProcessedCopy()'],['../classSVF_1_1FlowSensitive.html#a19e017f3ed6429fa30687018e64dae54',1,'SVF::FlowSensitive::numOfProcessedCopy()']]],
95
+ ['numofprocessedformalret_11613',['numOfProcessedFormalRet',['../classSVF_1_1FlowSensitive.html#ae048cc5350cf2b075c05f5d84777a3c5',1,'SVF::FlowSensitive']]],
96
+ ['numofprocessedgep_11614',['numOfProcessedGep',['../classSVF_1_1AndersenBase.html#aa1246b392aeae1fd10c8a9ebedcc2dd9',1,'SVF::AndersenBase::numOfProcessedGep()'],['../classSVF_1_1FlowSensitive.html#a88a111b6bc347d6562db7af8bd8f2f0e',1,'SVF::FlowSensitive::numOfProcessedGep()']]],
97
+ ['numofprocessedload_11615',['numOfProcessedLoad',['../classSVF_1_1AndersenBase.html#a69aae96fc1c99bf108075e5061f50f9e',1,'SVF::AndersenBase::numOfProcessedLoad()'],['../classSVF_1_1FlowSensitive.html#a0e1a0bdbf4f81a3600ac26ac011ac268',1,'SVF::FlowSensitive::numOfProcessedLoad()']]],
98
+ ['numofprocessedmssanode_11616',['numOfProcessedMSSANode',['../classSVF_1_1FlowSensitive.html#af71a5ae3aef022c569e89f40515072cf',1,'SVF::FlowSensitive']]],
99
+ ['numofprocessedphi_11617',['numOfProcessedPhi',['../classSVF_1_1FlowSensitive.html#ac39abcb40e4b568ab59b7cf48ed10f70',1,'SVF::FlowSensitive']]],
100
+ ['numofprocessedstore_11618',['numOfProcessedStore',['../classSVF_1_1AndersenBase.html#a2b763519509ce21cf40893c01f8357b6',1,'SVF::AndersenBase::numOfProcessedStore()'],['../classSVF_1_1FlowSensitive.html#a669e8f1dd8572b7dcff373c9787a923d',1,'SVF::FlowSensitive::numOfProcessedStore()']]],
101
+ ['numofremovedpts_11619',['numOfRemovedPTS',['../classSVF_1_1MTASVFGBuilder.html#a07c3f5fa2e0092dac28521cf901a26cf',1,'SVF::MTASVFGBuilder']]],
102
+ ['numofremovedsvfgedges_11620',['numOfRemovedSVFGEdges',['../classSVF_1_1MTASVFGBuilder.html#a0319d1d2e78c79f9943f2e2f65da26ed',1,'SVF::MTASVFGBuilder']]],
103
+ ['numofresolvedindcalledge_11621',['numOfResolvedIndCallEdge',['../classSVF_1_1PTACallGraph.html#adf05313ea8bcc7973acebd3fbcd75c92',1,'SVF::PTACallGraph']]],
104
+ ['numofretedges_11622',['numOfRetEdges',['../classSVF_1_1ICFGStat.html#a3bd1a0b0b206baadea52bfa88e029dfa',1,'SVF::ICFGStat']]],
105
+ ['numofretmu_11623',['NumOfRetMu',['../classSVF_1_1MemSSAStat.html#a1459465f0a76c09b5dd7d777467ac2e4',1,'SVF::MemSSAStat']]],
106
+ ['numofretnodes_11624',['numOfRetNodes',['../classSVF_1_1ICFGStat.html#ac9bfce40c058ed7ab178fe1f1818e9de',1,'SVF::ICFGStat']]],
107
+ ['numofscc_11625',['numOfSCC',['../classSVF_1_1FlowSensitive.html#a0ac955bf06261eec1c6bb78ec99652e3',1,'SVF::FlowSensitive']]],
108
+ ['numofsccdetection_11626',['numOfSCCDetection',['../classSVF_1_1AndersenBase.html#a0d7298cbf83568f24fd2bd1926a32968',1,'SVF::AndersenBase']]],
109
+ ['numofsfrs_11627',['numOfSfrs',['../classSVF_1_1AndersenBase.html#a25b00d9ca71cbdd27530fc5d0dc84ee5',1,'SVF::AndersenBase']]],
110
+ ['numofstartedges_11628',['numOfStartEdges',['../classSVF_1_1CFLBase.html#a25a593cb2a855a93d3593efba382a58c',1,'SVF::CFLBase']]],
111
+ ['numofstore_11629',['numOfStore',['../classSVF_1_1SVFGStat.html#a4d15f2de3f226c26cb2af57176444ec9',1,'SVF::SVFGStat']]],
112
+ ['numofstorechi_11630',['NumOfStoreChi',['../classSVF_1_1MemSSAStat.html#a810965c025da84c58575c8066bc84056',1,'SVF::MemSSAStat']]],
113
+ ['numofstorehaschi_11631',['NumOfStoreHasChi',['../classSVF_1_1MemSSAStat.html#a3bc14307bd0f986cbd8ba5970f1abf0f',1,'SVF::MemSSAStat']]],
114
+ ['numoftemporarynonterminaledges_11632',['numOfTemporaryNonterminalEdges',['../classSVF_1_1CFLBase.html#ac3b408acb295e2c319e3542539e6df47',1,'SVF::CFLBase']]],
115
+ ['numofterminaledges_11633',['numOfTerminalEdges',['../classSVF_1_1CFLBase.html#abc5502f15583f0546bbc2a678d2f2ed9',1,'SVF::CFLBase']]],
116
+ ['numoftotalqueries_11634',['numOfTotalQueries',['../classSVF_1_1LockAnalysis.html#ad648ad9cda4070f9aec1addef0067627',1,'SVF::LockAnalysis::numOfTotalQueries()'],['../classSVF_1_1MHP.html#a26ae18993915d76b704232cded9811c2',1,'SVF::MHP::numOfTotalQueries()']]],
117
+ ['numperquerystatmap_11635',['NumPerQueryStatMap',['../classSVF_1_1DDAStat.html#a7dabcdacf00844415bd23ca241d885e9',1,'SVF::DDAStat']]],
118
+ ['numprelabelednodes_11636',['numPrelabeledNodes',['../classSVF_1_1VersionedFlowSensitive.html#aff5029fca933376be1fa374bec790da6',1,'SVF::VersionedFlowSensitive']]],
119
+ ['numprelabelversions_11637',['numPrelabelVersions',['../classSVF_1_1VersionedFlowSensitive.html#a207ae4d1f2e0ccab8e36add0a45578af',1,'SVF::VersionedFlowSensitive']]],
120
+ ['numregions_11638',['NumRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ac5fe44f10cdbca9754444943a0f5c3c1',1,'SVF::NodeIDAllocator::Clusterer']]],
121
+ ['numsymbols_11639',['numSymbols',['../classSVF_1_1NodeIDAllocator.html#a3a160f4c6e761a130b863a3df0af7f96',1,'SVF::NodeIDAllocator']]],
122
+ ['numtostrmap_11640',['numToStrMap',['../classSVF_1_1SVFIRWriter.html#a7f9d7bb88e4f98f71f542d01107878e4',1,'SVF::SVFIRWriter']]],
123
+ ['numtypes_11641',['numTypes',['../classSVF_1_1DCHGraph.html#a76fd3154a31584bb64683f2d762cc56c',1,'SVF::DCHGraph']]],
124
+ ['numvalues_11642',['numValues',['../classSVF_1_1NodeIDAllocator.html#a001c25f6998b8b0a9a7e5e00810e155f',1,'SVF::NodeIDAllocator']]],
125
+ ['nvthunkfunlabel_11643',['NVThunkFunLabel',['../CppUtil_8cpp.html#a86fe6d521904f944bcf1b3164cfb5d4b',1,'CppUtil.cpp']]]
126
126
  ];
@@ -1,33 +1,33 @@
1
1
  var searchData=
2
2
  [
3
- ['o_11739',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
4
- ['object_11740',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
5
- ['objmap_11741',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
6
- ['objsymmap_11742',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
7
- ['objtonsrevptsmap_11743',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
8
- ['ocgdotgraph_11744',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
9
- ['offset_11745',['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
- ['offsetvarandgeptypepairs_11746',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath']]],
11
- ['onstack_11747',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
12
- ['ontheflyiterbudgetforstat_11748',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
13
- ['opcode_11749',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
14
- ['opicfgnodes_11750',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
15
- ['opincomingbbs_11751',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
16
- ['opit_11752',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
17
- ['optionvalues_11753',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
18
- ['optsvfg_11754',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
19
- ['opvars_11755',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
20
- ['opver_11756',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
21
- ['opvers_11757',['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()']]],
22
- ['originalbvnumwords_11758',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
23
- ['originalsbvnumwords_11759',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
24
- ['othervalueset_11760',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
25
- ['outcfledges_11761',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
26
- ['outedgekindtosetmap_11762',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
27
- ['outedges_11763',['OutEdges',['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()'],['../classSVF_1_1ICFGNodeWrapper.html#a4441d57e784b94ada205c0dbafd09547',1,'SVF::ICFGNodeWrapper::OutEdges()']]],
28
- ['outicfgedges_11764',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
29
- ['outofbudgetdpms_11765',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
30
- ['outofbudgetquery_11766',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
31
- ['outupdatedvarmap_11767',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
32
- ['owned_5fmodules_11768',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
3
+ ['o_11644',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
4
+ ['object_11645',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
5
+ ['objmap_11646',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
6
+ ['objsymmap_11647',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],
7
+ ['objtonsrevptsmap_11648',['objToNSRevPtsMap',['../classSVF_1_1CondPTAImpl.html#a22c23f3ba1ee7e0aaccf0b8a1b58e33e',1,'SVF::CondPTAImpl']]],
8
+ ['ocgdotgraph_11649',['OCGDotGraph',['../classSVF_1_1Options.html#ad6c9b07d4dc8af20fbe2b93711cc2101',1,'SVF::Options']]],
9
+ ['offset_11650',['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
+ ['offsetvarandgeptypepairs_11651',['offsetVarAndGepTypePairs',['../classSVF_1_1AccessPath.html#aa9f0a1290083a9b077c6065cad054163',1,'SVF::AccessPath']]],
11
+ ['onstack_11652',['onStack',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a0eb5f6b9985b9b512a76537d55b092b5',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
12
+ ['ontheflyiterbudgetforstat_11653',['OnTheFlyIterBudgetForStat',['../classSVF_1_1PointerAnalysis.html#afc320fbf269404fe128e69c98e6f9cac',1,'SVF::PointerAnalysis']]],
13
+ ['opcode_11654',['opcode',['../classSVF_1_1BinaryOPStmt.html#a0c4f900cf7321e8385b4f45e5cba3d1a',1,'SVF::BinaryOPStmt::opcode()'],['../classSVF_1_1UnaryOPStmt.html#a099df135a83d28a2e6f344e008fe1cc6',1,'SVF::UnaryOPStmt::opcode()']]],
14
+ ['opicfgnodes_11655',['opICFGNodes',['../classSVF_1_1PhiStmt.html#a4c75a8f8430621aaec62a5189db136b5',1,'SVF::PhiStmt']]],
15
+ ['opincomingbbs_11656',['opIncomingBBs',['../classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4',1,'SVF::IntraPHIVFGNode']]],
16
+ ['opit_11657',['OpIt',['../classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e',1,'llvm::generic_bridge_gep_type_iterator']]],
17
+ ['optionvalues_11658',['optionValues',['../classOptionMultiple.html#a037e34107c423615f1ba0c3fdab04b1f',1,'OptionMultiple']]],
18
+ ['optsvfg_11659',['OPTSVFG',['../classSVF_1_1Options.html#ab7741246d969021c9afc448b084699af',1,'SVF::Options']]],
19
+ ['opvars_11660',['opVars',['../classSVF_1_1MultiOpndStmt.html#a172025849492f4de8f87564ef08f5880',1,'SVF::MultiOpndStmt']]],
20
+ ['opver_11661',['opVer',['../classSVF_1_1MSSACHI.html#a86f2f3f6e2215cdbe31caee048510757',1,'SVF::MSSACHI']]],
21
+ ['opvers_11662',['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()']]],
22
+ ['originalbvnumwords_11663',['OriginalBvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af2786eae11ee13845da336ad23bc97e9',1,'SVF::NodeIDAllocator::Clusterer']]],
23
+ ['originalsbvnumwords_11664',['OriginalSbvNumWords',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a639b887e30115c2a6cd108c65f18fcc1',1,'SVF::NodeIDAllocator::Clusterer']]],
24
+ ['othervalueset_11665',['OtherValueSet',['../classSVF_1_1SVFModule.html#a99da46c17993e1faef5d3737bcca8d64',1,'SVF::SVFModule']]],
25
+ ['outcfledges_11666',['outCFLEdges',['../classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33',1,'SVF::CFLNode']]],
26
+ ['outedgekindtosetmap_11667',['OutEdgeKindToSetMap',['../classSVF_1_1SVFVar.html#a3775dd07e89ea6b25950a8b900a4ceab',1,'SVF::SVFVar']]],
27
+ ['outedges_11668',['OutEdges',['../classSVF_1_1CFBasicBlockNode.html#a046a15f230ab41d50b04f0390df179f1',1,'SVF::CFBasicBlockNode::OutEdges()'],['../classSVF_1_1GenericNode.html#a04aa14df71ffa60a54c870842c552889',1,'SVF::GenericNode::OutEdges()']]],
28
+ ['outicfgedges_11669',['outICFGEdges',['../classSVF_1_1SVFLoop.html#ad17edf0d1dcca5eebc9789a5015c769d',1,'SVF::SVFLoop']]],
29
+ ['outofbudgetdpms_11670',['outOfBudgetDpms',['../classSVF_1_1DDAVFSolver.html#aad57a954473f3099188cf8c8fba87880',1,'SVF::DDAVFSolver']]],
30
+ ['outofbudgetquery_11671',['outOfBudgetQuery',['../classSVF_1_1DDAVFSolver.html#afdecfbacc64cb8d694268aa73ec8a7b6',1,'SVF::DDAVFSolver']]],
31
+ ['outupdatedvarmap_11672',['outUpdatedVarMap',['../classSVF_1_1MutableIncDFPTData.html#af5f7db6c55037a0e117a36982736039e',1,'SVF::MutableIncDFPTData::outUpdatedVarMap()'],['../classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0',1,'SVF::PersistentIncDFPTData::outUpdatedVarMap()']]],
32
+ ['owned_5fmodules_11673',['owned_modules',['../classSVF_1_1LLVMModuleSet.html#ae365189769640adb919a23c36978e5e2',1,'SVF::LLVMModuleSet']]]
33
33
  ];
@@ -0,0 +1,84 @@
1
+ <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2
+ <html xmlns="http://www.w3.org/1999/xhtml">
3
+ <head>
4
+ <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
5
+ <meta http-equiv="X-UA-Compatible" content="IE=9"/>
6
+ <meta name="generator" content="Doxygen 1.8.17"/>
7
+ <meta name="viewport" content="width=device-width, initial-scale=1"/>
8
+ <title>Static Value-Flow Analysis: Member List</title>
9
+ <link href="tabs.css" rel="stylesheet" type="text/css"/>
10
+ <script type="text/javascript" src="jquery.js"></script>
11
+ <script type="text/javascript" src="dynsections.js"></script>
12
+ <link href="search/search.css" rel="stylesheet" type="text/css"/>
13
+ <script type="text/javascript" src="search/searchdata.js"></script>
14
+ <script type="text/javascript" src="search/search.js"></script>
15
+ <link href="doxygen.css" rel="stylesheet" type="text/css" />
16
+ </head>
17
+ <body>
18
+ <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
19
+ <div id="titlearea">
20
+ <table cellspacing="0" cellpadding="0">
21
+ <tbody>
22
+ <tr style="height: 56px;">
23
+ <td id="projectalign" style="padding-left: 0.5em;">
24
+ <div id="projectname">Static Value-Flow Analysis
25
+ </div>
26
+ </td>
27
+ </tr>
28
+ </tbody>
29
+ </table>
30
+ </div>
31
+ <!-- end header part -->
32
+ <!-- Generated by Doxygen 1.8.17 -->
33
+ <script type="text/javascript">
34
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
35
+ var searchBox = new SearchBox("searchBox", "search",false,'Search');
36
+ /* @license-end */
37
+ </script>
38
+ <script type="text/javascript" src="menudata.js"></script>
39
+ <script type="text/javascript" src="menu.js"></script>
40
+ <script type="text/javascript">
41
+ /* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
42
+ $(function() {
43
+ initMenu('',true,false,'search.php','Search');
44
+ $(document).ready(function() { init_search(); });
45
+ });
46
+ /* @license-end */</script>
47
+ <div id="main-nav"></div>
48
+ <!-- window showing the filter options -->
49
+ <div id="MSearchSelectWindow"
50
+ onmouseover="return searchBox.OnSearchSelectShow()"
51
+ onmouseout="return searchBox.OnSearchSelectHide()"
52
+ onkeydown="return searchBox.OnSearchSelectKey(event)">
53
+ </div>
54
+
55
+ <!-- iframe showing the search results (closed by default) -->
56
+ <div id="MSearchResultsWindow">
57
+ <iframe src="javascript:void(0)" frameborder="0"
58
+ name="MSearchResults" id="MSearchResults">
59
+ </iframe>
60
+ </div>
61
+
62
+ <div id="nav-path" class="navpath">
63
+ <ul>
64
+ <li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1CFBasicBlockEdge.html">CFBasicBlockEdge</a></li><li class="navelem"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">equalCFBBEdge</a></li> </ul>
65
+ </div>
66
+ </div><!-- top -->
67
+ <div class="header">
68
+ <div class="headertitle">
69
+ <div class="title">SVF::CFBasicBlockEdge::equalCFBBEdge Member List</div> </div>
70
+ </div><!--header-->
71
+ <div class="contents">
72
+
73
+ <p>This is the complete list of members for <a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">SVF::CFBasicBlockEdge::equalCFBBEdge</a>, including all inherited members.</p>
74
+ <table class="directory">
75
+ <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html#a98d11fc92ce13e41762ad33cddd77e07">operator()</a>(const CFBasicBlockEdge *lhs, const CFBasicBlockEdge *rhs) const</td><td class="entry"><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html">SVF::CFBasicBlockEdge::equalCFBBEdge</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
76
+ </table></div><!-- contents -->
77
+ <!-- start footer part -->
78
+ <hr class="footer"/><address class="footer"><small>
79
+ Generated by &#160;<a href="http://www.doxygen.org/index.html">
80
+ <img class="footer" src="doxygen.png" alt="doxygen"/>
81
+ </a> 1.8.17
82
+ </small></address>
83
+ </body>
84
+ </html>