svf-tools 1.0.782 → 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 (300) 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/WTO_8h_source.html +6 -6
  8. package/SVF-doxygen/html/html/annotated.html +325 -333
  9. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge-members.html +19 -12
  10. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockEdge.html +219 -30
  11. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder-members.html +4 -3
  12. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGBuilder.html +147 -39
  13. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTOCycle.html +1 -1
  14. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGWTONode.html +1 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph-members.html +32 -28
  16. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockGraph.html +382 -184
  17. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode-members.html +51 -41
  18. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +1244 -159
  19. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
  20. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +65 -25
  21. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +4 -5
  22. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  23. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +3 -4
  24. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
  25. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +10 -10
  26. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  27. package/SVF-doxygen/html/html/classes.html +266 -276
  28. package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +0 -2
  29. package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +0 -2
  30. package/SVF-doxygen/html/html/files.html +19 -21
  31. package/SVF-doxygen/html/html/functions.html +2 -33
  32. package/SVF-doxygen/html/html/functions_a.html +14 -16
  33. package/SVF-doxygen/html/html/functions_b.html +8 -9
  34. package/SVF-doxygen/html/html/functions_c.html +34 -31
  35. package/SVF-doxygen/html/html/functions_d.html +11 -13
  36. package/SVF-doxygen/html/html/functions_e.html +1 -1
  37. package/SVF-doxygen/html/html/functions_func.html +16 -18
  38. package/SVF-doxygen/html/html/functions_func_b.html +2 -3
  39. package/SVF-doxygen/html/html/functions_func_c.html +31 -31
  40. package/SVF-doxygen/html/html/functions_func_d.html +10 -12
  41. package/SVF-doxygen/html/html/functions_func_g.html +22 -59
  42. package/SVF-doxygen/html/html/functions_func_h.html +9 -12
  43. package/SVF-doxygen/html/html/functions_func_i.html +13 -26
  44. package/SVF-doxygen/html/html/functions_func_o.html +9 -9
  45. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  46. package/SVF-doxygen/html/html/functions_func_r.html +15 -15
  47. package/SVF-doxygen/html/html/functions_func_s.html +19 -28
  48. package/SVF-doxygen/html/html/functions_func_t.html +0 -2
  49. package/SVF-doxygen/html/html/functions_func_v.html +2 -3
  50. package/SVF-doxygen/html/html/functions_func_~.html +0 -12
  51. package/SVF-doxygen/html/html/functions_g.html +23 -60
  52. package/SVF-doxygen/html/html/functions_h.html +9 -12
  53. package/SVF-doxygen/html/html/functions_i.html +16 -44
  54. package/SVF-doxygen/html/html/functions_n.html +6 -8
  55. package/SVF-doxygen/html/html/functions_o.html +23 -27
  56. package/SVF-doxygen/html/html/functions_p.html +8 -12
  57. package/SVF-doxygen/html/html/functions_r.html +17 -17
  58. package/SVF-doxygen/html/html/functions_s.html +15 -32
  59. package/SVF-doxygen/html/html/functions_t.html +5 -7
  60. package/SVF-doxygen/html/html/functions_type_c.html +6 -3
  61. package/SVF-doxygen/html/html/functions_type_e.html +1 -1
  62. package/SVF-doxygen/html/html/functions_type_i.html +3 -18
  63. package/SVF-doxygen/html/html/functions_type_n.html +0 -2
  64. package/SVF-doxygen/html/html/functions_type_s.html +0 -6
  65. package/SVF-doxygen/html/html/functions_v.html +4 -5
  66. package/SVF-doxygen/html/html/functions_vars.html +2 -33
  67. package/SVF-doxygen/html/html/functions_vars_i.html +2 -2
  68. package/SVF-doxygen/html/html/functions_vars_o.html +2 -2
  69. package/SVF-doxygen/html/html/functions_w.html +8 -8
  70. package/SVF-doxygen/html/html/functions_~.html +0 -12
  71. package/SVF-doxygen/html/html/hierarchy.html +458 -469
  72. package/SVF-doxygen/html/html/namespaceSVF.html +7 -78
  73. package/SVF-doxygen/html/html/namespacemembers_g.html +3 -12
  74. package/SVF-doxygen/html/html/namespacemembers_n.html +1 -1
  75. package/SVF-doxygen/html/html/namespacemembers_type_g.html +0 -9
  76. package/SVF-doxygen/html/html/namespacemembers_type_n.html +1 -1
  77. package/SVF-doxygen/html/html/search/all_0.js +137 -147
  78. package/SVF-doxygen/html/html/search/all_1.js +484 -485
  79. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  80. package/SVF-doxygen/html/html/search/all_11.js +224 -224
  81. package/SVF-doxygen/html/html/search/all_12.js +541 -546
  82. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  83. package/SVF-doxygen/html/html/search/all_14.js +67 -67
  84. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  85. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  86. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  87. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  88. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  89. package/SVF-doxygen/html/html/search/all_1a.js +172 -176
  90. package/SVF-doxygen/html/html/search/all_2.js +167 -167
  91. package/SVF-doxygen/html/html/search/all_3.js +640 -639
  92. package/SVF-doxygen/html/html/search/all_4.js +233 -234
  93. package/SVF-doxygen/html/html/search/all_5.js +121 -120
  94. package/SVF-doxygen/html/html/search/all_6.js +225 -225
  95. package/SVF-doxygen/html/html/search/all_7.js +1037 -1056
  96. package/SVF-doxygen/html/html/search/all_8.js +194 -195
  97. package/SVF-doxygen/html/html/search/all_9.js +607 -617
  98. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  99. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  100. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  101. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  102. package/SVF-doxygen/html/html/search/all_e.js +207 -207
  103. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  104. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  105. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  106. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  107. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  108. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  109. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  110. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  111. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  112. package/SVF-doxygen/html/html/search/classes_2.js +80 -80
  113. package/SVF-doxygen/html/html/search/classes_3.js +37 -38
  114. package/SVF-doxygen/html/html/search/classes_4.js +9 -9
  115. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  116. package/SVF-doxygen/html/html/search/classes_6.js +104 -110
  117. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  118. package/SVF-doxygen/html/html/search/classes_8.js +56 -60
  119. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  120. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  121. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  122. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  123. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  124. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  125. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  126. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  127. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  128. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  129. package/SVF-doxygen/html/html/search/defines_3.js +21 -21
  130. package/SVF-doxygen/html/html/search/defines_4.js +2 -2
  131. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  132. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  133. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  134. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  135. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  136. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  137. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  138. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  139. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  140. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  141. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  142. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  143. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  144. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  145. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  146. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  147. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  148. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  149. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  150. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  151. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  152. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  153. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  154. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  155. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  156. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  157. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  158. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  159. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  160. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  161. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  162. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  163. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  164. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  165. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  166. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  167. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  168. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  169. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  170. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  171. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  172. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  173. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  174. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  175. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  176. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  177. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  178. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  179. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  180. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  181. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  182. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  183. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  184. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  185. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  186. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  187. package/SVF-doxygen/html/html/search/files_2.js +53 -53
  188. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  189. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  190. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  191. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  192. package/SVF-doxygen/html/html/search/files_7.js +14 -16
  193. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  194. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  195. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  196. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  197. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  198. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  199. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  200. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  201. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  202. package/SVF-doxygen/html/html/search/functions_1.js +356 -357
  203. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  204. package/SVF-doxygen/html/html/search/functions_11.js +138 -138
  205. package/SVF-doxygen/html/html/search/functions_12.js +276 -279
  206. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  207. package/SVF-doxygen/html/html/search/functions_14.js +39 -39
  208. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  209. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  210. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  211. package/SVF-doxygen/html/html/search/functions_18.js +172 -176
  212. package/SVF-doxygen/html/html/search/functions_2.js +86 -86
  213. package/SVF-doxygen/html/html/search/functions_3.js +257 -257
  214. package/SVF-doxygen/html/html/search/functions_4.js +75 -75
  215. package/SVF-doxygen/html/html/search/functions_5.js +53 -53
  216. package/SVF-doxygen/html/html/search/functions_6.js +59 -59
  217. package/SVF-doxygen/html/html/search/functions_7.js +848 -858
  218. package/SVF-doxygen/html/html/search/functions_8.js +146 -147
  219. package/SVF-doxygen/html/html/search/functions_9.js +425 -429
  220. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  221. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  222. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  223. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  224. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  225. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  226. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  227. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  228. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  229. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  230. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  231. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  232. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  233. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  234. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  235. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  236. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  237. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  238. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  239. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  240. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  241. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  242. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  243. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  244. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  245. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -26
  246. package/SVF-doxygen/html/html/search/typedefs_10.js +61 -63
  247. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  248. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  249. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  250. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  251. package/SVF-doxygen/html/html/search/typedefs_2.js +129 -128
  252. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  253. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -17
  254. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  255. package/SVF-doxygen/html/html/search/typedefs_6.js +55 -58
  256. package/SVF-doxygen/html/html/search/typedefs_7.js +42 -46
  257. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  258. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  259. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  260. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  261. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -41
  262. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  263. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  264. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  265. package/SVF-doxygen/html/html/search/variables_0.js +152 -162
  266. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  267. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  268. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  269. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  270. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  271. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  272. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  273. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  274. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  275. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  276. package/SVF-doxygen/html/html/search/variables_2.js +37 -37
  277. package/SVF-doxygen/html/html/search/variables_3.js +142 -142
  278. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  279. package/SVF-doxygen/html/html/search/variables_5.js +39 -39
  280. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  281. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  282. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  283. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  284. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  285. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  286. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  287. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  288. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  289. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  290. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge-members.html +84 -0
  291. package/SVF-doxygen/html/html/structSVF_1_1CFBasicBlockEdge_1_1equalCFBBEdge.html +144 -0
  292. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +40 -40
  293. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFBasicBlockNode_01_5_01_4_01_4.html +1 -1
  294. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html +2 -2
  295. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFBasicBlockNode_01_5_01_4.html +1 -1
  296. package/package.json +1 -1
  297. package/svf/include/Graphs/CFBasicBlockG.h +342 -32
  298. package/svf/lib/Graphs/CFBasicBlockG.cpp +97 -36
  299. package/svf/include/Graphs/ICFGWrapper.h +0 -728
  300. 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>