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
@@ -189,7 +189,8 @@ $(function() {
189
189
  <tr id="row_2_42_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CDGBuilder.html" target="_self">CDGBuilder</a></td><td class="desc"></td></tr>
190
190
  <tr id="row_2_43_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CDGEdge.html" target="_self">CDGEdge</a></td><td class="desc"></td></tr>
191
191
  <tr id="row_2_44_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CDGNode.html" target="_self">CDGNode</a></td><td class="desc"></td></tr>
192
- <tr id="row_2_45_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockEdge.html" target="_self">CFBasicBlockEdge</a></td><td class="desc"></td></tr>
192
+ <tr id="row_2_45_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_45_" class="arrow" onclick="toggleFolder('2_45_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockEdge.html" target="_self">CFBasicBlockEdge</a></td><td class="desc"></td></tr>
193
+ <tr id="row_2_45_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html" target="_self">equalCFBBEdge</a></td><td class="desc"></td></tr>
193
194
  <tr id="row_2_46_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html" target="_self">CFBasicBlockGBuilder</a></td><td class="desc"></td></tr>
194
195
  <tr id="row_2_47_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockGraph.html" target="_self">CFBasicBlockGraph</a></td><td class="desc"></td></tr>
195
196
  <tr id="row_2_48_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_48_" class="arrow" onclick="toggleFolder('2_48_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html" target="_self">CFBasicBlockGWTO</a></td><td class="desc"></td></tr>
@@ -264,338 +265,329 @@ $(function() {
264
265
  <tr id="row_2_113_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html" target="_self">DOTGraphTraits&lt; PTACallGraph * &gt;</a></td><td class="desc"></td></tr>
265
266
  <tr id="row_2_114_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html" target="_self">DOTGraphTraits&lt; SVF::CDG * &gt;</a></td><td class="desc"></td></tr>
266
267
  <tr id="row_2_115_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html" target="_self">DOTGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a></td><td class="desc"></td></tr>
267
- <tr id="row_2_116_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html" target="_self">DOTGraphTraits&lt; SVF::ICFGWrapper * &gt;</a></td><td class="desc"></td></tr>
268
- <tr id="row_2_117_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html" target="_self">DOTGraphTraits&lt; SVFG * &gt;</a></td><td class="desc"></td></tr>
269
- <tr id="row_2_118_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html" target="_self">DOTGraphTraits&lt; TCT * &gt;</a></td><td class="desc"></td></tr>
270
- <tr id="row_2_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html" target="_self">DOTGraphTraits&lt; VFG * &gt;</a></td><td class="desc"></td></tr>
271
- <tr id="row_2_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeBug.html" target="_self">DoubleFreeBug</a></td><td class="desc"></td></tr>
272
- <tr id="row_2_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeChecker.html" target="_self">DoubleFreeChecker</a></td><td class="desc"></td></tr>
273
- <tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DPItem.html" target="_self">DPItem</a></td><td class="desc"></td></tr>
274
- <tr id="row_2_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyObjVar.html" target="_self">DummyObjVar</a></td><td class="desc"></td></tr>
275
- <tr id="row_2_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyValVar.html" target="_self">DummyValVar</a></td><td class="desc"></td></tr>
276
- <tr id="row_2_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html" target="_self">DummyVersionPropSVFGNode</a></td><td class="desc"></td></tr>
277
- <tr id="row_2_126_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1EntryCHI.html" target="_self">EntryCHI</a></td><td class="desc"></td></tr>
278
- <tr id="row_2_127_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExeState.html" target="_self">ExeState</a></td><td class="desc"></td></tr>
279
- <tr id="row_2_128_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">ExtAPI</a></td><td class="desc"></td></tr>
280
- <tr id="row_2_129_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">FIFOWorkList</a></td><td class="desc"></td></tr>
281
- <tr id="row_2_130_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileChecker.html" target="_self">FileChecker</a></td><td class="desc"></td></tr>
282
- <tr id="row_2_131_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileNeverCloseBug.html" target="_self">FileNeverCloseBug</a></td><td class="desc"></td></tr>
283
- <tr id="row_2_132_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FilePartialCloseBug.html" target="_self">FilePartialCloseBug</a></td><td class="desc"></td></tr>
284
- <tr id="row_2_133_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FILOWorkList.html" target="_self">FILOWorkList</a></td><td class="desc"></td></tr>
285
- <tr id="row_2_134_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIObjVar.html" target="_self">FIObjVar</a></td><td class="desc"></td></tr>
286
- <tr id="row_2_135_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">FlowDDA</a></td><td class="desc"></td></tr>
287
- <tr id="row_2_136_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">FlowSensitive</a></td><td class="desc"></td></tr>
288
- <tr id="row_2_137_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveStat.html" target="_self">FlowSensitiveStat</a></td><td class="desc"></td></tr>
289
- <tr id="row_2_138_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ForkJoinAnalysis.html" target="_self">ForkJoinAnalysis</a></td><td class="desc"></td></tr>
290
- <tr id="row_2_139_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalINSVFGNode.html" target="_self">FormalINSVFGNode</a></td><td class="desc"></td></tr>
291
- <tr id="row_2_140_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html" target="_self">FormalOUTSVFGNode</a></td><td class="desc"></td></tr>
292
- <tr id="row_2_141_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalParmVFGNode.html" target="_self">FormalParmVFGNode</a></td><td class="desc"></td></tr>
293
- <tr id="row_2_142_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalRetVFGNode.html" target="_self">FormalRetVFGNode</a></td><td class="desc"></td></tr>
294
- <tr id="row_2_143_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">FSMPTA</a></td><td class="desc"></td></tr>
295
- <tr id="row_2_144_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FullBufferOverflowBug.html" target="_self">FullBufferOverflowBug</a></td><td class="desc"></td></tr>
296
- <tr id="row_2_145_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html" target="_self">FullNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
297
- <tr id="row_2_146_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunEntryICFGNode.html" target="_self">FunEntryICFGNode</a></td><td class="desc"></td></tr>
298
- <tr id="row_2_147_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunExitICFGNode.html" target="_self">FunExitICFGNode</a></td><td class="desc"></td></tr>
299
- <tr id="row_2_148_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunptrDDAClient.html" target="_self">FunptrDDAClient</a></td><td class="desc"></td></tr>
300
- <tr id="row_2_149_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericBug.html" target="_self">GenericBug</a></td><td class="desc"></td></tr>
301
- <tr id="row_2_150_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_150_" class="arrow" onclick="toggleFolder('2_150_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericEdge.html" target="_self">GenericEdge</a></td><td class="desc"></td></tr>
302
- <tr id="row_2_150_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html" target="_self">equalGEdge</a></td><td class="desc">Add the hash function for std::set (we also can overload operator&lt; to implement this) </td></tr>
303
- <tr id="row_2_151_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">GenericGraph</a></td><td class="desc"></td></tr>
304
- <tr id="row_2_152_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraphReader.html" target="_self">GenericGraphReader</a></td><td class="desc"></td></tr>
305
- <tr id="row_2_153_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits.html" target="_self">GenericGraphTraits</a></td><td class="desc"></td></tr>
306
- <tr id="row_2_154_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; Inverse&lt; T &gt; &gt; &gt;</a></td><td class="desc"></td></tr>
307
- <tr id="row_2_155_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CDGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal </td></tr>
308
- <tr id="row_2_156_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CFBasicBlockNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal </td></tr>
309
- <tr id="row_2_157_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CFLNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
310
- <tr id="row_2_158_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a></td><td class="desc"></td></tr>
311
- <tr id="row_2_159_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::ConstraintNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal </td></tr>
312
- <tr id="row_2_160_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::DCHNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
313
- <tr id="row_2_161_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt; &gt;</a></td><td class="desc"></td></tr>
314
- <tr id="row_2_162_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
315
- <tr id="row_2_163_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::ICFGNodeWrapper * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal </td></tr>
316
- <tr id="row_2_164_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
317
- <tr id="row_2_165_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::SVFVar * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> node, it is used for inverse traversal </td></tr>
318
- <tr id="row_2_166_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal </td></tr>
319
- <tr id="row_2_167_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
320
- <tr id="row_2_168_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CDG * &gt;</a></td><td class="desc"></td></tr>
321
- <tr id="row_2_169_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CDGNode * &gt;</a></td><td class="desc"></td></tr>
322
- <tr id="row_2_170_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a></td><td class="desc"></td></tr>
323
- <tr id="row_2_171_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockNode * &gt;</a></td><td class="desc"></td></tr>
324
- <tr id="row_2_172_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a></td><td class="desc"></td></tr>
325
- <tr id="row_2_173_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLNode * &gt;</a></td><td class="desc"></td></tr>
326
- <tr id="row_2_174_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHGraph * &gt;</a></td><td class="desc"></td></tr>
327
- <tr id="row_2_175_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHNode * &gt;</a></td><td class="desc"></td></tr>
328
- <tr id="row_2_176_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a></td><td class="desc"></td></tr>
329
- <tr id="row_2_177_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintNode * &gt;</a></td><td class="desc"></td></tr>
330
- <tr id="row_2_178_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a></td><td class="desc"></td></tr>
331
- <tr id="row_2_179_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHNode * &gt;</a></td><td class="desc"></td></tr>
332
- <tr id="row_2_180_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;</a></td><td class="desc"></td></tr>
333
- <tr id="row_2_181_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a></td><td class="desc"></td></tr>
334
- <tr id="row_2_182_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFG * &gt;</a></td><td class="desc"></td></tr>
335
- <tr id="row_2_183_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGNode * &gt;</a></td><td class="desc"></td></tr>
336
- <tr id="row_2_184_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGNodeWrapper * &gt;</a></td><td class="desc"></td></tr>
337
- <tr id="row_2_185_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGWrapper * &gt;</a></td><td class="desc"></td></tr>
338
- <tr id="row_2_186_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::IRGraph * &gt;</a></td><td class="desc"></td></tr>
339
- <tr id="row_2_187_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a></td><td class="desc"></td></tr>
340
- <tr id="row_2_188_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraphNode * &gt;</a></td><td class="desc"></td></tr>
341
- <tr id="row_2_189_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFG * &gt;</a></td><td class="desc"></td></tr>
342
- <tr id="row_2_190_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFVar * &gt;</a></td><td class="desc"></td></tr>
343
- <tr id="row_2_191_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCT * &gt;</a></td><td class="desc"></td></tr>
344
- <tr id="row_2_192_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCTNode * &gt;</a></td><td class="desc"></td></tr>
345
- <tr id="row_2_193_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFG * &gt;</a></td><td class="desc"></td></tr>
346
- <tr id="row_2_194_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFGNode * &gt;</a></td><td class="desc"></td></tr>
347
- <tr id="row_2_195_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraphWriter.html" target="_self">GenericGraphWriter</a></td><td class="desc"></td></tr>
348
- <tr id="row_2_196_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">GenericNode</a></td><td class="desc"></td></tr>
349
- <tr id="row_2_197_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepCGEdge.html" target="_self">GepCGEdge</a></td><td class="desc"></td></tr>
350
- <tr id="row_2_198_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepObjVar.html" target="_self">GepObjVar</a></td><td class="desc"></td></tr>
351
- <tr id="row_2_199_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepStmt.html" target="_self">GepStmt</a></td><td class="desc"></td></tr>
352
- <tr id="row_2_200_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepValVar.html" target="_self">GepValVar</a></td><td class="desc"></td></tr>
353
- <tr id="row_2_201_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepVFGNode.html" target="_self">GepVFGNode</a></td><td class="desc"></td></tr>
354
- <tr id="row_2_202_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalICFGNode.html" target="_self">GlobalICFGNode</a></td><td class="desc"></td></tr>
355
- <tr id="row_2_203_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_203_" class="arrow" onclick="toggleFolder('2_203_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase.html" target="_self">GrammarBase</a></td><td class="desc"></td></tr>
356
- <tr id="row_2_203_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html" target="_self">Symbol</a></td><td class="desc"></td></tr>
357
- <tr id="row_2_203_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html" target="_self">SymbolHash</a></td><td class="desc"></td></tr>
358
- <tr id="row_2_203_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html" target="_self">SymbolVectorHash</a></td><td class="desc"></td></tr>
359
- <tr id="row_2_204_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBuilder.html" target="_self">GrammarBuilder</a></td><td class="desc"></td></tr>
360
- <tr id="row_2_205_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphPrinter.html" target="_self">GraphPrinter</a></td><td class="desc"></td></tr>
361
- <tr id="row_2_206_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphReachSolver.html" target="_self">GraphReachSolver</a></td><td class="desc"></td></tr>
362
- <tr id="row_2_207_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphWriter.html" target="_self">GraphWriter</a></td><td class="desc"></td></tr>
363
- <tr id="row_2_208_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1HareParForEdge.html" target="_self">HareParForEdge</a></td><td class="desc"></td></tr>
364
- <tr id="row_2_209_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash.html" target="_self">Hash</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
365
- <tr id="row_2_210_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
366
- <tr id="row_2_211_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
367
- <tr id="row_2_212_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html" target="_self">Hash&lt; std::pair&lt; S, T &gt; &gt;</a></td><td class="desc"></td></tr>
368
- <tr id="row_2_213_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
369
- <tr id="row_2_214_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
370
- <tr id="row_2_215_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
371
- <tr id="row_2_216_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_216_" class="arrow" onclick="toggleFolder('2_216_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdgeWrapper.html" target="_self">ICFGEdgeWrapper</a></td><td class="desc"></td></tr>
372
- <tr id="row_2_216_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html" target="_self">equalICFGEdgeWrapper</a></td><td class="desc"></td></tr>
373
- <tr id="row_2_217_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
374
- <tr id="row_2_218_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNodeWrapper.html" target="_self">ICFGNodeWrapper</a></td><td class="desc"></td></tr>
375
- <tr id="row_2_219_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGReader.html" target="_self">ICFGReader</a></td><td class="desc"></td></tr>
376
- <tr id="row_2_220_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
377
- <tr id="row_2_221_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGWrapper.html" target="_self">ICFGWrapper</a></td><td class="desc"></td></tr>
378
- <tr id="row_2_222_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGWrapperBuilder.html" target="_self">ICFGWrapperBuilder</a></td><td class="desc"></td></tr>
379
- <tr id="row_2_223_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGWriter.html" target="_self">ICFGWriter</a></td><td class="desc"></td></tr>
380
- <tr id="row_2_224_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
381
- <tr id="row_2_225_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
382
- <tr id="row_2_226_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterICFGNode.html" target="_self">InterICFGNode</a></td><td class="desc"></td></tr>
383
- <tr id="row_2_227_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
384
- <tr id="row_2_228_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
385
- <tr id="row_2_229_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalExeState.html" target="_self">IntervalExeState</a></td><td class="desc"></td></tr>
386
- <tr id="row_2_230_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalValue.html" target="_self">IntervalValue</a></td><td class="desc"></td></tr>
387
- <tr id="row_2_231_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
388
- <tr id="row_2_232_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
389
- <tr id="row_2_233_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
390
- <tr id="row_2_234_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraICFGNode.html" target="_self">IntraICFGNode</a></td><td class="desc"></td></tr>
391
- <tr id="row_2_235_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
392
- <tr id="row_2_236_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
393
- <tr id="row_2_237_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
394
- <tr id="row_2_238_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Inverse.html" target="_self">Inverse</a></td><td class="desc"></td></tr>
395
- <tr id="row_2_239_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IRGraph.html" target="_self">IRGraph</a></td><td class="desc"></td></tr>
396
- <tr id="row_2_240_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">iter_adaptor_base</a></td><td class="desc"></td></tr>
397
- <tr id="row_2_241_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_241_" class="arrow" onclick="toggleFolder('2_241_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">iter_facade_base</a></td><td class="desc"></td></tr>
398
- <tr id="row_2_241_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html" target="_self">ReferenceProxy</a></td><td class="desc"></td></tr>
399
- <tr id="row_2_242_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__range.html" target="_self">iter_range</a></td><td class="desc"></td></tr>
400
- <tr id="row_2_243_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1KindBaseHelper.html" target="_self">KindBaseHelper</a></td><td class="desc">Type trait to get base type. Helper struct to detect inheritance from Node/Edge </td></tr>
401
- <tr id="row_2_244_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1LeadingZerosCounter.html" target="_self">LeadingZerosCounter</a></td><td class="desc"></td></tr>
402
- <tr id="row_2_245_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
403
- <tr id="row_2_246_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_246_" class="arrow" onclick="toggleFolder('2_246_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List.html" target="_self">List</a></td><td class="desc"></td></tr>
404
- <tr id="row_2_246_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List_1_1ListNode.html" target="_self">ListNode</a></td><td class="desc"></td></tr>
405
- <tr id="row_2_247_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMLoopAnalysis.html" target="_self">LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
406
- <tr id="row_2_248_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
407
- <tr id="row_2_249_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
408
- <tr id="row_2_250_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
409
- <tr id="row_2_251_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadStmt.html" target="_self">LoadStmt</a></td><td class="desc"></td></tr>
410
- <tr id="row_2_252_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
411
- <tr id="row_2_253_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
412
- <tr id="row_2_254_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
413
- <tr id="row_2_255_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1mapped__iter.html" target="_self">mapped_iter</a></td><td class="desc"></td></tr>
414
- <tr id="row_2_256_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
415
- <tr id="row_2_257_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_257_" class="arrow" onclick="toggleFolder('2_257_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemRegion.html" target="_self">MemRegion</a></td><td class="desc">Memory Region class </td></tr>
416
- <tr id="row_2_257_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">equalMemRegion</a></td><td class="desc"></td></tr>
417
- <tr id="row_2_258_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
418
- <tr id="row_2_259_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
419
- <tr id="row_2_260_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
420
- <tr id="row_2_261_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
421
- <tr id="row_2_262_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
422
- <tr id="row_2_263_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
423
- <tr id="row_2_264_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
424
- <tr id="row_2_265_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
425
- <tr id="row_2_266_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
426
- <tr id="row_2_267_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
427
- <tr id="row_2_268_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
428
- <tr id="row_2_269_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
429
- <tr id="row_2_270_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
430
- <tr id="row_2_271_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
431
- <tr id="row_2_272_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
432
- <tr id="row_2_273_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
433
- <tr id="row_2_274_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
434
- <tr id="row_2_275_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
435
- <tr id="row_2_276_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MultiOpndStmt.html" target="_self">MultiOpndStmt</a></td><td class="desc"></td></tr>
436
- <tr id="row_2_277_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
437
- <tr id="row_2_278_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDiffPTData.html" target="_self">MutableDiffPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with points-to sets which are updated continuously </td></tr>
438
- <tr id="row_2_279_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableIncDFPTData.html" target="_self">MutableIncDFPTData</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
439
- <tr id="row_2_280_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">MutablePTData</a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> implemented using points-to sets which are created once and updated continuously </td></tr>
440
- <tr id="row_2_281_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
441
- <tr id="row_2_282_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NeverFreeBug.html" target="_self">NeverFreeBug</a></td><td class="desc"></td></tr>
442
- <tr id="row_2_283_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_283_" class="arrow" onclick="toggleFolder('2_283_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator.html" target="_self">NodeIDAllocator</a></td><td class="desc"></td></tr>
443
- <tr id="row_2_283_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html" target="_self">Clusterer</a></td><td class="desc"></td></tr>
444
- <tr id="row_2_284_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
445
- <tr id="row_2_285_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
446
- <tr id="row_2_286_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NumericLiteral.html" target="_self">NumericLiteral</a></td><td class="desc"></td></tr>
447
- <tr id="row_2_287_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
448
- <tr id="row_2_288_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjVar.html" target="_self">ObjVar</a></td><td class="desc"></td></tr>
449
- <tr id="row_2_289_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
450
- <tr id="row_2_290_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
451
- <tr id="row_2_291_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialBufferOverflowBug.html" target="_self">PartialBufferOverflowBug</a></td><td class="desc"></td></tr>
452
- <tr id="row_2_292_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialLeakBug.html" target="_self">PartialLeakBug</a></td><td class="desc"></td></tr>
453
- <tr id="row_2_293_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html" target="_self">PartialNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
454
- <tr id="row_2_294_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
455
- <tr id="row_2_295_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">PersistentDFPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
456
- <tr id="row_2_296_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDiffPTData.html" target="_self">PersistentDiffPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
457
- <tr id="row_2_297_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
458
- <tr id="row_2_298_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
459
- <tr id="row_2_299_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">PersistentPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
460
- <tr id="row_2_300_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
461
- <tr id="row_2_301_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PhiStmt.html" target="_self">PhiStmt</a></td><td class="desc"></td></tr>
462
- <tr id="row_2_302_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
463
- <tr id="row_2_303_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRAlias.html" target="_self">POCRAlias</a></td><td class="desc"></td></tr>
464
- <tr id="row_2_304_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRHybrid.html" target="_self">POCRHybrid</a></td><td class="desc"></td></tr>
465
- <tr id="row_2_305_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_305_" class="arrow" onclick="toggleFolder('2_305_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRHybridSolver.html" target="_self">POCRHybridSolver</a></td><td class="desc">Solver Utilize Hybrid Representation of Graph </td></tr>
466
- <tr id="row_2_305_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html" target="_self">TreeNode</a></td><td class="desc"></td></tr>
467
- <tr id="row_2_306_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRSolver.html" target="_self">POCRSolver</a></td><td class="desc">Solver Utilize CFLData </td></tr>
468
- <tr id="row_2_307_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1pointee__iter.html" target="_self">pointee_iter</a></td><td class="desc"></td></tr>
469
- <tr id="row_2_308_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1pointer__iterator.html" target="_self">pointer_iterator</a></td><td class="desc"></td></tr>
470
- <tr id="row_2_309_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
471
- <tr id="row_2_310_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_310_" class="arrow" onclick="toggleFolder('2_310_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">PointsTo</a></td><td class="desc"></td></tr>
472
- <tr id="row_2_310_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">PointsToIterator</a></td><td class="desc"></td></tr>
473
- <tr id="row_2_311_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter.html" target="_self">PopulationCounter</a></td><td class="desc"></td></tr>
474
- <tr id="row_2_312_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html" target="_self">PopulationCounter&lt; T, 8 &gt;</a></td><td class="desc"></td></tr>
475
- <tr id="row_2_313_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
476
- <tr id="row_2_314_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
477
- <tr id="row_2_315_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
478
- <tr id="row_2_316_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
479
- <tr id="row_2_317_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
480
- <tr id="row_2_318_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
481
- <tr id="row_2_319_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_319_" class="arrow" onclick="toggleFolder('2_319_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
482
- <tr id="row_2_319_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html" target="_self">AccessPair</a></td><td class="desc"></td></tr>
483
- <tr id="row_2_320_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
484
- <tr id="row_2_321_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ReaderIDToObjMap.html" target="_self">ReaderIDToObjMap</a></td><td class="desc">Keeps a map from IDs to T objects, such as XXNode </td></tr>
485
- <tr id="row_2_322_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ReaderPtrPool.html" target="_self">ReaderPtrPool</a></td><td class="desc">Reverse of <a class="el" href="classSVF_1_1WriterPtrPool.html" title="Bookkeeping class to keep track of the IDs of objects that doesn&#39;t have any ID. E....">WriterPtrPool</a> where T is object type without ID field </td></tr>
486
- <tr id="row_2_323_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelationSolver.html" target="_self">RelationSolver</a></td><td class="desc"></td></tr>
487
- <tr id="row_2_324_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelExeState.html" target="_self">RelExeState</a></td><td class="desc"></td></tr>
488
- <tr id="row_2_325_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
489
- <tr id="row_2_326_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
490
- <tr id="row_2_327_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetICFGNode.html" target="_self">RetICFGNode</a></td><td class="desc"></td></tr>
491
- <tr id="row_2_328_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
492
- <tr id="row_2_329_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
493
- <tr id="row_2_330_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
494
- <tr id="row_2_331_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
495
- <tr id="row_2_332_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
496
- <tr id="row_2_333_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCondAllocator.html" target="_self">SaberCondAllocator</a></td><td class="desc"></td></tr>
497
- <tr id="row_2_334_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
498
- <tr id="row_2_335_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_335_" class="arrow" onclick="toggleFolder('2_335_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection.html" target="_self">SCCDetection</a></td><td class="desc"></td></tr>
499
- <tr id="row_2_335_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html" target="_self">GNodeSCCInfo</a></td><td class="desc"></td></tr>
500
- <tr id="row_2_336_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SelectStmt.html" target="_self">SelectStmt</a></td><td class="desc"></td></tr>
501
- <tr id="row_2_337_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SingleAbsValue.html" target="_self">SingleAbsValue</a></td><td class="desc"></td></tr>
502
- <tr id="row_2_338_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_338_" class="arrow" onclick="toggleFolder('2_338_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector.html" target="_self">SparseBitVector</a></td><td class="desc"></td></tr>
503
- <tr id="row_2_338_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html" target="_self">SparseBitVectorIterator</a></td><td class="desc"></td></tr>
504
- <tr id="row_2_339_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SparseBitVectorElement.html" target="_self">SparseBitVectorElement</a></td><td class="desc"></td></tr>
505
- <tr id="row_2_340_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
506
- <tr id="row_2_341_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkSolver.html" target="_self">SrcSnkSolver</a></td><td class="desc"></td></tr>
507
- <tr id="row_2_342_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
508
- <tr id="row_2_343_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
509
- <tr id="row_2_344_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
510
- <tr id="row_2_345_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
511
- <tr id="row_2_346_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
512
- <tr id="row_2_347_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
513
- <tr id="row_2_348_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreStmt.html" target="_self">StoreStmt</a></td><td class="desc"></td></tr>
514
- <tr id="row_2_349_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
515
- <tr id="row_2_350_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArgument.html" target="_self">SVFArgument</a></td><td class="desc"></td></tr>
516
- <tr id="row_2_351_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArrayType.html" target="_self">SVFArrayType</a></td><td class="desc"></td></tr>
517
- <tr id="row_2_352_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
518
- <tr id="row_2_353_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBlackHoleValue.html" target="_self">SVFBlackHoleValue</a></td><td class="desc"></td></tr>
519
- <tr id="row_2_354_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBugEvent.html" target="_self">SVFBugEvent</a></td><td class="desc"></td></tr>
520
- <tr id="row_2_355_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBugReport.html" target="_self">SVFBugReport</a></td><td class="desc"></td></tr>
521
- <tr id="row_2_356_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFCallInst.html" target="_self">SVFCallInst</a></td><td class="desc"></td></tr>
522
- <tr id="row_2_357_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstant.html" target="_self">SVFConstant</a></td><td class="desc"></td></tr>
523
- <tr id="row_2_358_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantData.html" target="_self">SVFConstantData</a></td><td class="desc"></td></tr>
524
- <tr id="row_2_359_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantFP.html" target="_self">SVFConstantFP</a></td><td class="desc"></td></tr>
525
- <tr id="row_2_360_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantInt.html" target="_self">SVFConstantInt</a></td><td class="desc"></td></tr>
526
- <tr id="row_2_361_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantNullPtr.html" target="_self">SVFConstantNullPtr</a></td><td class="desc"></td></tr>
527
- <tr id="row_2_362_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
528
- <tr id="row_2_363_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunctionType.html" target="_self">SVFFunctionType</a></td><td class="desc"></td></tr>
529
- <tr id="row_2_364_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
530
- <tr id="row_2_365_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
531
- <tr id="row_2_366_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGlobalValue.html" target="_self">SVFGlobalValue</a></td><td class="desc"></td></tr>
532
- <tr id="row_2_367_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
533
- <tr id="row_2_368_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
534
- <tr id="row_2_369_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
535
- <tr id="row_2_370_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
536
- <tr id="row_2_371_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIntegerType.html" target="_self">SVFIntegerType</a></td><td class="desc"></td></tr>
537
- <tr id="row_2_372_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR.html" target="_self">SVFIR</a></td><td class="desc"></td></tr>
538
- <tr id="row_2_373_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html" target="_self">SVFIR2ConsExeState</a></td><td class="desc"></td></tr>
539
- <tr id="row_2_374_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html" target="_self">SVFIR2ItvExeState</a></td><td class="desc"></td></tr>
540
- <tr id="row_2_375_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRBuilder.html" target="_self">SVFIRBuilder</a></td><td class="desc"></td></tr>
541
- <tr id="row_2_376_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRReader.html" target="_self">SVFIRReader</a></td><td class="desc"></td></tr>
542
- <tr id="row_2_377_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRWriter.html" target="_self">SVFIRWriter</a></td><td class="desc"></td></tr>
543
- <tr id="row_2_378_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoop.html" target="_self">SVFLoop</a></td><td class="desc"></td></tr>
544
- <tr id="row_2_379_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html" target="_self">SVFLoopAndDomInfo</a></td><td class="desc"></td></tr>
545
- <tr id="row_2_380_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFMetadataAsValue.html" target="_self">SVFMetadataAsValue</a></td><td class="desc"></td></tr>
546
- <tr id="row_2_381_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
547
- <tr id="row_2_382_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleReader.html" target="_self">SVFModuleReader</a></td><td class="desc"></td></tr>
548
- <tr id="row_2_383_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleWriter.html" target="_self">SVFModuleWriter</a></td><td class="desc"></td></tr>
549
- <tr id="row_2_384_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherType.html" target="_self">SVFOtherType</a></td><td class="desc"></td></tr>
550
- <tr id="row_2_385_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherValue.html" target="_self">SVFOtherValue</a></td><td class="desc"></td></tr>
551
- <tr id="row_2_386_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFPointerType.html" target="_self">SVFPointerType</a></td><td class="desc"></td></tr>
552
- <tr id="row_2_387_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStat.html" target="_self">SVFStat</a></td><td class="desc"></td></tr>
553
- <tr id="row_2_388_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStmt.html" target="_self">SVFStmt</a></td><td class="desc"></td></tr>
554
- <tr id="row_2_389_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStructType.html" target="_self">SVFStructType</a></td><td class="desc"></td></tr>
555
- <tr id="row_2_390_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFType.html" target="_self">SVFType</a></td><td class="desc"></td></tr>
556
- <tr id="row_2_391_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
557
- <tr id="row_2_392_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVar.html" target="_self">SVFVar</a></td><td class="desc"></td></tr>
558
- <tr id="row_2_393_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVirtualCallInst.html" target="_self">SVFVirtualCallInst</a></td><td class="desc"></td></tr>
559
- <tr id="row_2_394_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableBuilder.html" target="_self">SymbolTableBuilder</a></td><td class="desc"></td></tr>
560
- <tr id="row_2_395_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
561
- <tr id="row_2_396_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfoReader.html" target="_self">SymbolTableInfoReader</a></td><td class="desc"></td></tr>
562
- <tr id="row_2_397_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymState.html" target="_self">SymState</a></td><td class="desc"></td></tr>
563
- <tr id="row_2_398_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
564
- <tr id="row_2_399_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
565
- <tr id="row_2_400_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
566
- <tr id="row_2_401_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
567
- <tr id="row_2_402_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
568
- <tr id="row_2_403_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
569
- <tr id="row_2_404_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
570
- <tr id="row_2_405_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
571
- <tr id="row_2_406_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
572
- <tr id="row_2_407_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
573
- <tr id="row_2_408_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
574
- <tr id="row_2_409_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1TrailingZerosCounter.html" target="_self">TrailingZerosCounter</a></td><td class="desc"></td></tr>
575
- <tr id="row_2_410_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
576
- <tr id="row_2_411_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPStmt.html" target="_self">UnaryOPStmt</a></td><td class="desc"></td></tr>
577
- <tr id="row_2_412_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
578
- <tr id="row_2_413_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ValVar.html" target="_self">ValVar</a></td><td class="desc"></td></tr>
579
- <tr id="row_2_414_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
580
- <tr id="row_2_415_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
581
- <tr id="row_2_416_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_416_" class="arrow" onclick="toggleFolder('2_416_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">VersionedFlowSensitive</a></td><td class="desc"></td></tr>
582
- <tr id="row_2_416_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_2_416_0_" class="arrow" onclick="toggleFolder('2_416_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html" target="_self">SCC</a></td><td class="desc"></td></tr>
583
- <tr id="row_2_416_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html" target="_self">NodeData</a></td><td class="desc"></td></tr>
584
- <tr id="row_2_417_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
585
- <tr id="row_2_418_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
586
- <tr id="row_2_419_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html" target="_self">VFCFLGraphBuilder</a></td><td class="desc"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html" title="VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.">VFCFLGraphBuilder</a>: a <a class="el" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a> specialized for handling value-flow </td></tr>
587
- <tr id="row_2_420_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
588
- <tr id="row_2_421_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
589
- <tr id="row_2_422_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
590
- <tr id="row_2_423_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
591
- <tr id="row_2_424_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
592
- <tr id="row_2_425_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
593
- <tr id="row_2_426_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
594
- <tr id="row_2_427_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
595
- <tr id="row_2_428_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WriterPtrPool.html" target="_self">WriterPtrPool</a></td><td class="desc">Bookkeeping class to keep track of the IDs of objects that doesn't have any ID. E.g., <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>, XXXEdge </td></tr>
596
- <tr id="row_2_429_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WTOCycleDepth.html" target="_self">WTOCycleDepth</a></td><td class="desc"></td></tr>
597
- <tr id="row_2_430_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WTOVisitor.html" target="_self">WTOVisitor</a></td><td class="desc"></td></tr>
598
- <tr id="row_2_431_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">Z3Expr</a></td><td class="desc"></td></tr>
268
+ <tr id="row_2_116_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html" target="_self">DOTGraphTraits&lt; SVFG * &gt;</a></td><td class="desc"></td></tr>
269
+ <tr id="row_2_117_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html" target="_self">DOTGraphTraits&lt; TCT * &gt;</a></td><td class="desc"></td></tr>
270
+ <tr id="row_2_118_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html" target="_self">DOTGraphTraits&lt; VFG * &gt;</a></td><td class="desc"></td></tr>
271
+ <tr id="row_2_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeBug.html" target="_self">DoubleFreeBug</a></td><td class="desc"></td></tr>
272
+ <tr id="row_2_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DoubleFreeChecker.html" target="_self">DoubleFreeChecker</a></td><td class="desc"></td></tr>
273
+ <tr id="row_2_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DPItem.html" target="_self">DPItem</a></td><td class="desc"></td></tr>
274
+ <tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyObjVar.html" target="_self">DummyObjVar</a></td><td class="desc"></td></tr>
275
+ <tr id="row_2_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyValVar.html" target="_self">DummyValVar</a></td><td class="desc"></td></tr>
276
+ <tr id="row_2_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html" target="_self">DummyVersionPropSVFGNode</a></td><td class="desc"></td></tr>
277
+ <tr id="row_2_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1EntryCHI.html" target="_self">EntryCHI</a></td><td class="desc"></td></tr>
278
+ <tr id="row_2_126_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExeState.html" target="_self">ExeState</a></td><td class="desc"></td></tr>
279
+ <tr id="row_2_127_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ExtAPI.html" target="_self">ExtAPI</a></td><td class="desc"></td></tr>
280
+ <tr id="row_2_128_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIFOWorkList.html" target="_self">FIFOWorkList</a></td><td class="desc"></td></tr>
281
+ <tr id="row_2_129_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileChecker.html" target="_self">FileChecker</a></td><td class="desc"></td></tr>
282
+ <tr id="row_2_130_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FileNeverCloseBug.html" target="_self">FileNeverCloseBug</a></td><td class="desc"></td></tr>
283
+ <tr id="row_2_131_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FilePartialCloseBug.html" target="_self">FilePartialCloseBug</a></td><td class="desc"></td></tr>
284
+ <tr id="row_2_132_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FILOWorkList.html" target="_self">FILOWorkList</a></td><td class="desc"></td></tr>
285
+ <tr id="row_2_133_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FIObjVar.html" target="_self">FIObjVar</a></td><td class="desc"></td></tr>
286
+ <tr id="row_2_134_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">FlowDDA</a></td><td class="desc"></td></tr>
287
+ <tr id="row_2_135_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">FlowSensitive</a></td><td class="desc"></td></tr>
288
+ <tr id="row_2_136_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveStat.html" target="_self">FlowSensitiveStat</a></td><td class="desc"></td></tr>
289
+ <tr id="row_2_137_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ForkJoinAnalysis.html" target="_self">ForkJoinAnalysis</a></td><td class="desc"></td></tr>
290
+ <tr id="row_2_138_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalINSVFGNode.html" target="_self">FormalINSVFGNode</a></td><td class="desc"></td></tr>
291
+ <tr id="row_2_139_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalOUTSVFGNode.html" target="_self">FormalOUTSVFGNode</a></td><td class="desc"></td></tr>
292
+ <tr id="row_2_140_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalParmVFGNode.html" target="_self">FormalParmVFGNode</a></td><td class="desc"></td></tr>
293
+ <tr id="row_2_141_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FormalRetVFGNode.html" target="_self">FormalRetVFGNode</a></td><td class="desc"></td></tr>
294
+ <tr id="row_2_142_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FSMPTA.html" target="_self">FSMPTA</a></td><td class="desc"></td></tr>
295
+ <tr id="row_2_143_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FullBufferOverflowBug.html" target="_self">FullBufferOverflowBug</a></td><td class="desc"></td></tr>
296
+ <tr id="row_2_144_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FullNullPtrDereferenceBug.html" target="_self">FullNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
297
+ <tr id="row_2_145_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunEntryICFGNode.html" target="_self">FunEntryICFGNode</a></td><td class="desc"></td></tr>
298
+ <tr id="row_2_146_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunExitICFGNode.html" target="_self">FunExitICFGNode</a></td><td class="desc"></td></tr>
299
+ <tr id="row_2_147_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FunptrDDAClient.html" target="_self">FunptrDDAClient</a></td><td class="desc"></td></tr>
300
+ <tr id="row_2_148_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericBug.html" target="_self">GenericBug</a></td><td class="desc"></td></tr>
301
+ <tr id="row_2_149_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_149_" class="arrow" onclick="toggleFolder('2_149_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericEdge.html" target="_self">GenericEdge</a></td><td class="desc"></td></tr>
302
+ <tr id="row_2_149_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html" target="_self">equalGEdge</a></td><td class="desc">Add the hash function for std::set (we also can overload operator&lt; to implement this) </td></tr>
303
+ <tr id="row_2_150_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraph.html" target="_self">GenericGraph</a></td><td class="desc"></td></tr>
304
+ <tr id="row_2_151_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraphReader.html" target="_self">GenericGraphReader</a></td><td class="desc"></td></tr>
305
+ <tr id="row_2_152_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits.html" target="_self">GenericGraphTraits</a></td><td class="desc"></td></tr>
306
+ <tr id="row_2_153_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; Inverse&lt; T &gt; &gt; &gt;</a></td><td class="desc"></td></tr>
307
+ <tr id="row_2_154_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CDGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal </td></tr>
308
+ <tr id="row_2_155_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CFBasicBlockNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse ICFGTraversal </td></tr>
309
+ <tr id="row_2_156_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CFLNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
310
+ <tr id="row_2_157_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a></td><td class="desc"></td></tr>
311
+ <tr id="row_2_158_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::ConstraintNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal </td></tr>
312
+ <tr id="row_2_159_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::DCHNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
313
+ <tr id="row_2_160_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt; &gt;</a></td><td class="desc"></td></tr>
314
+ <tr id="row_2_161_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
315
+ <tr id="row_2_162_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
316
+ <tr id="row_2_163_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::SVFVar * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> node, it is used for inverse traversal </td></tr>
317
+ <tr id="row_2_164_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal </td></tr>
318
+ <tr id="row_2_165_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html" target="_self">GenericGraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &gt;</a></td><td class="desc"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal </td></tr>
319
+ <tr id="row_2_166_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CDG * &gt;</a></td><td class="desc"></td></tr>
320
+ <tr id="row_2_167_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CDGNode * &gt;</a></td><td class="desc"></td></tr>
321
+ <tr id="row_2_168_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a></td><td class="desc"></td></tr>
322
+ <tr id="row_2_169_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockNode * &gt;</a></td><td class="desc"></td></tr>
323
+ <tr id="row_2_170_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a></td><td class="desc"></td></tr>
324
+ <tr id="row_2_171_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLNode * &gt;</a></td><td class="desc"></td></tr>
325
+ <tr id="row_2_172_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHGraph * &gt;</a></td><td class="desc"></td></tr>
326
+ <tr id="row_2_173_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHNode * &gt;</a></td><td class="desc"></td></tr>
327
+ <tr id="row_2_174_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a></td><td class="desc"></td></tr>
328
+ <tr id="row_2_175_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintNode * &gt;</a></td><td class="desc"></td></tr>
329
+ <tr id="row_2_176_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a></td><td class="desc"></td></tr>
330
+ <tr id="row_2_177_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHNode * &gt;</a></td><td class="desc"></td></tr>
331
+ <tr id="row_2_178_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;</a></td><td class="desc"></td></tr>
332
+ <tr id="row_2_179_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a></td><td class="desc"></td></tr>
333
+ <tr id="row_2_180_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFG * &gt;</a></td><td class="desc"></td></tr>
334
+ <tr id="row_2_181_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGNode * &gt;</a></td><td class="desc"></td></tr>
335
+ <tr id="row_2_182_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::IRGraph * &gt;</a></td><td class="desc"></td></tr>
336
+ <tr id="row_2_183_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a></td><td class="desc"></td></tr>
337
+ <tr id="row_2_184_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraphNode * &gt;</a></td><td class="desc"></td></tr>
338
+ <tr id="row_2_185_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFG * &gt;</a></td><td class="desc"></td></tr>
339
+ <tr id="row_2_186_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFVar * &gt;</a></td><td class="desc"></td></tr>
340
+ <tr id="row_2_187_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCT * &gt;</a></td><td class="desc"></td></tr>
341
+ <tr id="row_2_188_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCTNode * &gt;</a></td><td class="desc"></td></tr>
342
+ <tr id="row_2_189_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFG * &gt;</a></td><td class="desc"></td></tr>
343
+ <tr id="row_2_190_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFGNode * &gt;</a></td><td class="desc"></td></tr>
344
+ <tr id="row_2_191_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericGraphWriter.html" target="_self">GenericGraphWriter</a></td><td class="desc"></td></tr>
345
+ <tr id="row_2_192_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GenericNode.html" target="_self">GenericNode</a></td><td class="desc"></td></tr>
346
+ <tr id="row_2_193_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepCGEdge.html" target="_self">GepCGEdge</a></td><td class="desc"></td></tr>
347
+ <tr id="row_2_194_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepObjVar.html" target="_self">GepObjVar</a></td><td class="desc"></td></tr>
348
+ <tr id="row_2_195_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepStmt.html" target="_self">GepStmt</a></td><td class="desc"></td></tr>
349
+ <tr id="row_2_196_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepValVar.html" target="_self">GepValVar</a></td><td class="desc"></td></tr>
350
+ <tr id="row_2_197_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GepVFGNode.html" target="_self">GepVFGNode</a></td><td class="desc"></td></tr>
351
+ <tr id="row_2_198_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalICFGNode.html" target="_self">GlobalICFGNode</a></td><td class="desc"></td></tr>
352
+ <tr id="row_2_199_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_199_" class="arrow" onclick="toggleFolder('2_199_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase.html" target="_self">GrammarBase</a></td><td class="desc"></td></tr>
353
+ <tr id="row_2_199_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html" target="_self">Symbol</a></td><td class="desc"></td></tr>
354
+ <tr id="row_2_199_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBase_1_1SymbolHash.html" target="_self">SymbolHash</a></td><td class="desc"></td></tr>
355
+ <tr id="row_2_199_2_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1GrammarBase_1_1SymbolVectorHash.html" target="_self">SymbolVectorHash</a></td><td class="desc"></td></tr>
356
+ <tr id="row_2_200_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GrammarBuilder.html" target="_self">GrammarBuilder</a></td><td class="desc"></td></tr>
357
+ <tr id="row_2_201_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphPrinter.html" target="_self">GraphPrinter</a></td><td class="desc"></td></tr>
358
+ <tr id="row_2_202_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphReachSolver.html" target="_self">GraphReachSolver</a></td><td class="desc"></td></tr>
359
+ <tr id="row_2_203_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GraphWriter.html" target="_self">GraphWriter</a></td><td class="desc"></td></tr>
360
+ <tr id="row_2_204_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1HareParForEdge.html" target="_self">HareParForEdge</a></td><td class="desc"></td></tr>
361
+ <tr id="row_2_205_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash.html" target="_self">Hash</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
362
+ <tr id="row_2_206_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
363
+ <tr id="row_2_207_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
364
+ <tr id="row_2_208_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html" target="_self">Hash&lt; std::pair&lt; S, T &gt; &gt;</a></td><td class="desc"></td></tr>
365
+ <tr id="row_2_209_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
366
+ <tr id="row_2_210_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
367
+ <tr id="row_2_211_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
368
+ <tr id="row_2_212_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
369
+ <tr id="row_2_213_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGReader.html" target="_self">ICFGReader</a></td><td class="desc"></td></tr>
370
+ <tr id="row_2_214_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
371
+ <tr id="row_2_215_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGWriter.html" target="_self">ICFGWriter</a></td><td class="desc"></td></tr>
372
+ <tr id="row_2_216_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
373
+ <tr id="row_2_217_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
374
+ <tr id="row_2_218_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterICFGNode.html" target="_self">InterICFGNode</a></td><td class="desc"></td></tr>
375
+ <tr id="row_2_219_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
376
+ <tr id="row_2_220_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
377
+ <tr id="row_2_221_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalExeState.html" target="_self">IntervalExeState</a></td><td class="desc"></td></tr>
378
+ <tr id="row_2_222_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntervalValue.html" target="_self">IntervalValue</a></td><td class="desc"></td></tr>
379
+ <tr id="row_2_223_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
380
+ <tr id="row_2_224_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
381
+ <tr id="row_2_225_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
382
+ <tr id="row_2_226_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraICFGNode.html" target="_self">IntraICFGNode</a></td><td class="desc"></td></tr>
383
+ <tr id="row_2_227_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
384
+ <tr id="row_2_228_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
385
+ <tr id="row_2_229_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
386
+ <tr id="row_2_230_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Inverse.html" target="_self">Inverse</a></td><td class="desc"></td></tr>
387
+ <tr id="row_2_231_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IRGraph.html" target="_self">IRGraph</a></td><td class="desc"></td></tr>
388
+ <tr id="row_2_232_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__adaptor__base.html" target="_self">iter_adaptor_base</a></td><td class="desc"></td></tr>
389
+ <tr id="row_2_233_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_233_" class="arrow" onclick="toggleFolder('2_233_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base.html" target="_self">iter_facade_base</a></td><td class="desc"></td></tr>
390
+ <tr id="row_2_233_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html" target="_self">ReferenceProxy</a></td><td class="desc"></td></tr>
391
+ <tr id="row_2_234_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1iter__range.html" target="_self">iter_range</a></td><td class="desc"></td></tr>
392
+ <tr id="row_2_235_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1KindBaseHelper.html" target="_self">KindBaseHelper</a></td><td class="desc">Type trait to get base type. Helper struct to detect inheritance from Node/Edge </td></tr>
393
+ <tr id="row_2_236_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1LeadingZerosCounter.html" target="_self">LeadingZerosCounter</a></td><td class="desc"></td></tr>
394
+ <tr id="row_2_237_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
395
+ <tr id="row_2_238_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_238_" class="arrow" onclick="toggleFolder('2_238_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List.html" target="_self">List</a></td><td class="desc"></td></tr>
396
+ <tr id="row_2_238_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1List_1_1ListNode.html" target="_self">ListNode</a></td><td class="desc"></td></tr>
397
+ <tr id="row_2_239_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMLoopAnalysis.html" target="_self">LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
398
+ <tr id="row_2_240_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
399
+ <tr id="row_2_241_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
400
+ <tr id="row_2_242_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
401
+ <tr id="row_2_243_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadStmt.html" target="_self">LoadStmt</a></td><td class="desc"></td></tr>
402
+ <tr id="row_2_244_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
403
+ <tr id="row_2_245_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
404
+ <tr id="row_2_246_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
405
+ <tr id="row_2_247_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1mapped__iter.html" target="_self">mapped_iter</a></td><td class="desc"></td></tr>
406
+ <tr id="row_2_248_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
407
+ <tr id="row_2_249_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_249_" class="arrow" onclick="toggleFolder('2_249_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemRegion.html" target="_self">MemRegion</a></td><td class="desc">Memory Region class </td></tr>
408
+ <tr id="row_2_249_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">equalMemRegion</a></td><td class="desc"></td></tr>
409
+ <tr id="row_2_250_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
410
+ <tr id="row_2_251_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
411
+ <tr id="row_2_252_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
412
+ <tr id="row_2_253_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
413
+ <tr id="row_2_254_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
414
+ <tr id="row_2_255_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
415
+ <tr id="row_2_256_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
416
+ <tr id="row_2_257_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
417
+ <tr id="row_2_258_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
418
+ <tr id="row_2_259_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
419
+ <tr id="row_2_260_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
420
+ <tr id="row_2_261_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
421
+ <tr id="row_2_262_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
422
+ <tr id="row_2_263_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
423
+ <tr id="row_2_264_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
424
+ <tr id="row_2_265_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
425
+ <tr id="row_2_266_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
426
+ <tr id="row_2_267_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
427
+ <tr id="row_2_268_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MultiOpndStmt.html" target="_self">MultiOpndStmt</a></td><td class="desc"></td></tr>
428
+ <tr id="row_2_269_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
429
+ <tr id="row_2_270_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDiffPTData.html" target="_self">MutableDiffPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with points-to sets which are updated continuously </td></tr>
430
+ <tr id="row_2_271_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableIncDFPTData.html" target="_self">MutableIncDFPTData</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
431
+ <tr id="row_2_272_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutablePTData.html" target="_self">MutablePTData</a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> implemented using points-to sets which are created once and updated continuously </td></tr>
432
+ <tr id="row_2_273_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
433
+ <tr id="row_2_274_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NeverFreeBug.html" target="_self">NeverFreeBug</a></td><td class="desc"></td></tr>
434
+ <tr id="row_2_275_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_275_" class="arrow" onclick="toggleFolder('2_275_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator.html" target="_self">NodeIDAllocator</a></td><td class="desc"></td></tr>
435
+ <tr id="row_2_275_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html" target="_self">Clusterer</a></td><td class="desc"></td></tr>
436
+ <tr id="row_2_276_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
437
+ <tr id="row_2_277_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
438
+ <tr id="row_2_278_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1NumericLiteral.html" target="_self">NumericLiteral</a></td><td class="desc"></td></tr>
439
+ <tr id="row_2_279_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
440
+ <tr id="row_2_280_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjVar.html" target="_self">ObjVar</a></td><td class="desc"></td></tr>
441
+ <tr id="row_2_281_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
442
+ <tr id="row_2_282_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
443
+ <tr id="row_2_283_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialBufferOverflowBug.html" target="_self">PartialBufferOverflowBug</a></td><td class="desc"></td></tr>
444
+ <tr id="row_2_284_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialLeakBug.html" target="_self">PartialLeakBug</a></td><td class="desc"></td></tr>
445
+ <tr id="row_2_285_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PartialNullPtrDereferenceBug.html" target="_self">PartialNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
446
+ <tr id="row_2_286_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
447
+ <tr id="row_2_287_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">PersistentDFPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
448
+ <tr id="row_2_288_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDiffPTData.html" target="_self">PersistentDiffPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
449
+ <tr id="row_2_289_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
450
+ <tr id="row_2_290_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
451
+ <tr id="row_2_291_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPTData.html" target="_self">PersistentPTData</a></td><td class="desc"><a class="el" href="classSVF_1_1PTData.html">PTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a> </td></tr>
452
+ <tr id="row_2_292_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
453
+ <tr id="row_2_293_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PhiStmt.html" target="_self">PhiStmt</a></td><td class="desc"></td></tr>
454
+ <tr id="row_2_294_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
455
+ <tr id="row_2_295_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRAlias.html" target="_self">POCRAlias</a></td><td class="desc"></td></tr>
456
+ <tr id="row_2_296_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRHybrid.html" target="_self">POCRHybrid</a></td><td class="desc"></td></tr>
457
+ <tr id="row_2_297_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_297_" class="arrow" onclick="toggleFolder('2_297_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRHybridSolver.html" target="_self">POCRHybridSolver</a></td><td class="desc">Solver Utilize Hybrid Representation of Graph </td></tr>
458
+ <tr id="row_2_297_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1POCRHybridSolver_1_1TreeNode.html" target="_self">TreeNode</a></td><td class="desc"></td></tr>
459
+ <tr id="row_2_298_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1POCRSolver.html" target="_self">POCRSolver</a></td><td class="desc">Solver Utilize CFLData </td></tr>
460
+ <tr id="row_2_299_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1pointee__iter.html" target="_self">pointee_iter</a></td><td class="desc"></td></tr>
461
+ <tr id="row_2_300_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1pointer__iterator.html" target="_self">pointer_iterator</a></td><td class="desc"></td></tr>
462
+ <tr id="row_2_301_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
463
+ <tr id="row_2_302_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_302_" class="arrow" onclick="toggleFolder('2_302_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">PointsTo</a></td><td class="desc"></td></tr>
464
+ <tr id="row_2_302_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">PointsToIterator</a></td><td class="desc"></td></tr>
465
+ <tr id="row_2_303_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter.html" target="_self">PopulationCounter</a></td><td class="desc"></td></tr>
466
+ <tr id="row_2_304_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html" target="_self">PopulationCounter&lt; T, 8 &gt;</a></td><td class="desc"></td></tr>
467
+ <tr id="row_2_305_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
468
+ <tr id="row_2_306_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
469
+ <tr id="row_2_307_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
470
+ <tr id="row_2_308_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
471
+ <tr id="row_2_309_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
472
+ <tr id="row_2_310_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
473
+ <tr id="row_2_311_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_311_" class="arrow" onclick="toggleFolder('2_311_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
474
+ <tr id="row_2_311_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html" target="_self">AccessPair</a></td><td class="desc"></td></tr>
475
+ <tr id="row_2_312_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
476
+ <tr id="row_2_313_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ReaderIDToObjMap.html" target="_self">ReaderIDToObjMap</a></td><td class="desc">Keeps a map from IDs to T objects, such as XXNode </td></tr>
477
+ <tr id="row_2_314_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ReaderPtrPool.html" target="_self">ReaderPtrPool</a></td><td class="desc">Reverse of <a class="el" href="classSVF_1_1WriterPtrPool.html" title="Bookkeeping class to keep track of the IDs of objects that doesn&#39;t have any ID. E....">WriterPtrPool</a> where T is object type without ID field </td></tr>
478
+ <tr id="row_2_315_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelationSolver.html" target="_self">RelationSolver</a></td><td class="desc"></td></tr>
479
+ <tr id="row_2_316_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RelExeState.html" target="_self">RelExeState</a></td><td class="desc"></td></tr>
480
+ <tr id="row_2_317_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
481
+ <tr id="row_2_318_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
482
+ <tr id="row_2_319_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetICFGNode.html" target="_self">RetICFGNode</a></td><td class="desc"></td></tr>
483
+ <tr id="row_2_320_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
484
+ <tr id="row_2_321_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
485
+ <tr id="row_2_322_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
486
+ <tr id="row_2_323_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
487
+ <tr id="row_2_324_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
488
+ <tr id="row_2_325_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberCondAllocator.html" target="_self">SaberCondAllocator</a></td><td class="desc"></td></tr>
489
+ <tr id="row_2_326_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
490
+ <tr id="row_2_327_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_327_" class="arrow" onclick="toggleFolder('2_327_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection.html" target="_self">SCCDetection</a></td><td class="desc"></td></tr>
491
+ <tr id="row_2_327_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html" target="_self">GNodeSCCInfo</a></td><td class="desc"></td></tr>
492
+ <tr id="row_2_328_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SelectStmt.html" target="_self">SelectStmt</a></td><td class="desc"></td></tr>
493
+ <tr id="row_2_329_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SingleAbsValue.html" target="_self">SingleAbsValue</a></td><td class="desc"></td></tr>
494
+ <tr id="row_2_330_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_330_" class="arrow" onclick="toggleFolder('2_330_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector.html" target="_self">SparseBitVector</a></td><td class="desc"></td></tr>
495
+ <tr id="row_2_330_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html" target="_self">SparseBitVectorIterator</a></td><td class="desc"></td></tr>
496
+ <tr id="row_2_331_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1SparseBitVectorElement.html" target="_self">SparseBitVectorElement</a></td><td class="desc"></td></tr>
497
+ <tr id="row_2_332_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
498
+ <tr id="row_2_333_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkSolver.html" target="_self">SrcSnkSolver</a></td><td class="desc"></td></tr>
499
+ <tr id="row_2_334_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
500
+ <tr id="row_2_335_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
501
+ <tr id="row_2_336_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
502
+ <tr id="row_2_337_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
503
+ <tr id="row_2_338_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
504
+ <tr id="row_2_339_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
505
+ <tr id="row_2_340_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreStmt.html" target="_self">StoreStmt</a></td><td class="desc"></td></tr>
506
+ <tr id="row_2_341_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
507
+ <tr id="row_2_342_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArgument.html" target="_self">SVFArgument</a></td><td class="desc"></td></tr>
508
+ <tr id="row_2_343_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFArrayType.html" target="_self">SVFArrayType</a></td><td class="desc"></td></tr>
509
+ <tr id="row_2_344_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
510
+ <tr id="row_2_345_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBlackHoleValue.html" target="_self">SVFBlackHoleValue</a></td><td class="desc"></td></tr>
511
+ <tr id="row_2_346_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBugEvent.html" target="_self">SVFBugEvent</a></td><td class="desc"></td></tr>
512
+ <tr id="row_2_347_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFBugReport.html" target="_self">SVFBugReport</a></td><td class="desc"></td></tr>
513
+ <tr id="row_2_348_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFCallInst.html" target="_self">SVFCallInst</a></td><td class="desc"></td></tr>
514
+ <tr id="row_2_349_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstant.html" target="_self">SVFConstant</a></td><td class="desc"></td></tr>
515
+ <tr id="row_2_350_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantData.html" target="_self">SVFConstantData</a></td><td class="desc"></td></tr>
516
+ <tr id="row_2_351_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantFP.html" target="_self">SVFConstantFP</a></td><td class="desc"></td></tr>
517
+ <tr id="row_2_352_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantInt.html" target="_self">SVFConstantInt</a></td><td class="desc"></td></tr>
518
+ <tr id="row_2_353_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFConstantNullPtr.html" target="_self">SVFConstantNullPtr</a></td><td class="desc"></td></tr>
519
+ <tr id="row_2_354_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
520
+ <tr id="row_2_355_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFFunctionType.html" target="_self">SVFFunctionType</a></td><td class="desc"></td></tr>
521
+ <tr id="row_2_356_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
522
+ <tr id="row_2_357_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
523
+ <tr id="row_2_358_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGlobalValue.html" target="_self">SVFGlobalValue</a></td><td class="desc"></td></tr>
524
+ <tr id="row_2_359_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
525
+ <tr id="row_2_360_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
526
+ <tr id="row_2_361_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
527
+ <tr id="row_2_362_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
528
+ <tr id="row_2_363_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIntegerType.html" target="_self">SVFIntegerType</a></td><td class="desc"></td></tr>
529
+ <tr id="row_2_364_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR.html" target="_self">SVFIR</a></td><td class="desc"></td></tr>
530
+ <tr id="row_2_365_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR2ConsExeState.html" target="_self">SVFIR2ConsExeState</a></td><td class="desc"></td></tr>
531
+ <tr id="row_2_366_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIR2ItvExeState.html" target="_self">SVFIR2ItvExeState</a></td><td class="desc"></td></tr>
532
+ <tr id="row_2_367_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRBuilder.html" target="_self">SVFIRBuilder</a></td><td class="desc"></td></tr>
533
+ <tr id="row_2_368_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRReader.html" target="_self">SVFIRReader</a></td><td class="desc"></td></tr>
534
+ <tr id="row_2_369_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFIRWriter.html" target="_self">SVFIRWriter</a></td><td class="desc"></td></tr>
535
+ <tr id="row_2_370_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoop.html" target="_self">SVFLoop</a></td><td class="desc"></td></tr>
536
+ <tr id="row_2_371_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFLoopAndDomInfo.html" target="_self">SVFLoopAndDomInfo</a></td><td class="desc"></td></tr>
537
+ <tr id="row_2_372_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFMetadataAsValue.html" target="_self">SVFMetadataAsValue</a></td><td class="desc"></td></tr>
538
+ <tr id="row_2_373_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
539
+ <tr id="row_2_374_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleReader.html" target="_self">SVFModuleReader</a></td><td class="desc"></td></tr>
540
+ <tr id="row_2_375_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFModuleWriter.html" target="_self">SVFModuleWriter</a></td><td class="desc"></td></tr>
541
+ <tr id="row_2_376_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherType.html" target="_self">SVFOtherType</a></td><td class="desc"></td></tr>
542
+ <tr id="row_2_377_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFOtherValue.html" target="_self">SVFOtherValue</a></td><td class="desc"></td></tr>
543
+ <tr id="row_2_378_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFPointerType.html" target="_self">SVFPointerType</a></td><td class="desc"></td></tr>
544
+ <tr id="row_2_379_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStat.html" target="_self">SVFStat</a></td><td class="desc"></td></tr>
545
+ <tr id="row_2_380_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStmt.html" target="_self">SVFStmt</a></td><td class="desc"></td></tr>
546
+ <tr id="row_2_381_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFStructType.html" target="_self">SVFStructType</a></td><td class="desc"></td></tr>
547
+ <tr id="row_2_382_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFType.html" target="_self">SVFType</a></td><td class="desc"></td></tr>
548
+ <tr id="row_2_383_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
549
+ <tr id="row_2_384_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVar.html" target="_self">SVFVar</a></td><td class="desc"></td></tr>
550
+ <tr id="row_2_385_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFVirtualCallInst.html" target="_self">SVFVirtualCallInst</a></td><td class="desc"></td></tr>
551
+ <tr id="row_2_386_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableBuilder.html" target="_self">SymbolTableBuilder</a></td><td class="desc"></td></tr>
552
+ <tr id="row_2_387_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
553
+ <tr id="row_2_388_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfoReader.html" target="_self">SymbolTableInfoReader</a></td><td class="desc"></td></tr>
554
+ <tr id="row_2_389_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymState.html" target="_self">SymState</a></td><td class="desc"></td></tr>
555
+ <tr id="row_2_390_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
556
+ <tr id="row_2_391_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
557
+ <tr id="row_2_392_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
558
+ <tr id="row_2_393_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
559
+ <tr id="row_2_394_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
560
+ <tr id="row_2_395_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
561
+ <tr id="row_2_396_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
562
+ <tr id="row_2_397_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
563
+ <tr id="row_2_398_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
564
+ <tr id="row_2_399_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
565
+ <tr id="row_2_400_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
566
+ <tr id="row_2_401_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1TrailingZerosCounter.html" target="_self">TrailingZerosCounter</a></td><td class="desc"></td></tr>
567
+ <tr id="row_2_402_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
568
+ <tr id="row_2_403_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPStmt.html" target="_self">UnaryOPStmt</a></td><td class="desc"></td></tr>
569
+ <tr id="row_2_404_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
570
+ <tr id="row_2_405_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ValVar.html" target="_self">ValVar</a></td><td class="desc"></td></tr>
571
+ <tr id="row_2_406_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
572
+ <tr id="row_2_407_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
573
+ <tr id="row_2_408_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_408_" class="arrow" onclick="toggleFolder('2_408_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive.html" target="_self">VersionedFlowSensitive</a></td><td class="desc"></td></tr>
574
+ <tr id="row_2_408_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_2_408_0_" class="arrow" onclick="toggleFolder('2_408_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitive_1_1SCC.html" target="_self">SCC</a></td><td class="desc"></td></tr>
575
+ <tr id="row_2_408_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html" target="_self">NodeData</a></td><td class="desc"></td></tr>
576
+ <tr id="row_2_409_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
577
+ <tr id="row_2_410_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
578
+ <tr id="row_2_411_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html" target="_self">VFCFLGraphBuilder</a></td><td class="desc"><a class="el" href="classSVF_1_1VFCFLGraphBuilder.html" title="VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow.">VFCFLGraphBuilder</a>: a <a class="el" href="classSVF_1_1CFLGraphBuilder.html">CFLGraphBuilder</a> specialized for handling value-flow </td></tr>
579
+ <tr id="row_2_412_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
580
+ <tr id="row_2_413_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
581
+ <tr id="row_2_414_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
582
+ <tr id="row_2_415_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
583
+ <tr id="row_2_416_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
584
+ <tr id="row_2_417_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
585
+ <tr id="row_2_418_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
586
+ <tr id="row_2_419_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
587
+ <tr id="row_2_420_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WriterPtrPool.html" target="_self">WriterPtrPool</a></td><td class="desc">Bookkeeping class to keep track of the IDs of objects that doesn't have any ID. E.g., <a class="el" href="classSVF_1_1SVFValue.html">SVFValue</a>, XXXEdge </td></tr>
588
+ <tr id="row_2_421_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WTOCycleDepth.html" target="_self">WTOCycleDepth</a></td><td class="desc"></td></tr>
589
+ <tr id="row_2_422_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WTOVisitor.html" target="_self">WTOVisitor</a></td><td class="desc"></td></tr>
590
+ <tr id="row_2_423_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Z3Expr.html" target="_self">Z3Expr</a></td><td class="desc"></td></tr>
599
591
  <tr id="row_3_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structcJSON.html" target="_self">cJSON</a></td><td class="desc"></td></tr>
600
592
  <tr id="row_4_" class="even"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structcJSON__Hooks.html" target="_self">cJSON_Hooks</a></td><td class="desc"></td></tr>
601
593
  <tr id="row_5_"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structerror.html" target="_self">error</a></td><td class="desc"></td></tr>