svf-tools 1.0.747 → 1.0.749

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 (270) hide show
  1. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +168 -144
  2. package/SVF-doxygen/html/html/SVFBugReport_8h.html +4 -0
  3. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +167 -125
  4. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  5. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +5 -4
  6. package/SVF-doxygen/html/html/annotated.html +292 -290
  7. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug-members.html +11 -9
  8. package/SVF-doxygen/html/html/classSVF_1_1BufferOverflowBug.html +4 -1
  9. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug-members.html +11 -9
  10. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeBug.html +4 -1
  11. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  12. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +1 -1
  13. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug-members.html +11 -9
  14. package/SVF-doxygen/html/html/classSVF_1_1FileNeverCloseBug.html +4 -1
  15. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug-members.html +11 -9
  16. package/SVF-doxygen/html/html/classSVF_1_1FilePartialCloseBug.html +4 -1
  17. package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug-members.html +11 -9
  18. package/SVF-doxygen/html/html/classSVF_1_1FullBufferOverflowBug.html +4 -1
  19. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug-members.html +107 -0
  20. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.html +302 -0
  21. package/SVF-doxygen/html/html/classSVF_1_1FullNullPtrDereferenceBug.png +0 -0
  22. package/SVF-doxygen/html/html/classSVF_1_1GenericBug-members.html +11 -9
  23. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.html +21 -14
  24. package/SVF-doxygen/html/html/classSVF_1_1GenericBug.png +0 -0
  25. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +1 -1
  26. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug-members.html +12 -10
  27. package/SVF-doxygen/html/html/classSVF_1_1NeverFreeBug.html +4 -1
  28. package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug-members.html +12 -10
  29. package/SVF-doxygen/html/html/classSVF_1_1PartialBufferOverflowBug.html +4 -1
  30. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug-members.html +12 -10
  31. package/SVF-doxygen/html/html/classSVF_1_1PartialLeakBug.html +4 -1
  32. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug-members.html +107 -0
  33. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.html +302 -0
  34. package/SVF-doxygen/html/html/classSVF_1_1PartialNullPtrDereferenceBug.png +0 -0
  35. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +49 -49
  36. package/SVF-doxygen/html/html/classSVF_1_1SVFBugReport.html +169 -169
  37. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver-members.html +2 -2
  38. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkSolver.html +12 -12
  39. package/SVF-doxygen/html/html/classes.html +334 -332
  40. package/SVF-doxygen/html/html/functions_c.html +21 -17
  41. package/SVF-doxygen/html/html/functions_eval_f.html +3 -0
  42. package/SVF-doxygen/html/html/functions_eval_p.html +3 -0
  43. package/SVF-doxygen/html/html/functions_f.html +21 -15
  44. package/SVF-doxygen/html/html/functions_func_c.html +23 -21
  45. package/SVF-doxygen/html/html/functions_func_f.html +3 -0
  46. package/SVF-doxygen/html/html/functions_func_g.html +19 -17
  47. package/SVF-doxygen/html/html/functions_func_p.html +8 -3
  48. package/SVF-doxygen/html/html/functions_g.html +21 -19
  49. package/SVF-doxygen/html/html/functions_i.html +2 -2
  50. package/SVF-doxygen/html/html/functions_l.html +5 -5
  51. package/SVF-doxygen/html/html/functions_o.html +17 -17
  52. package/SVF-doxygen/html/html/functions_p.html +34 -28
  53. package/SVF-doxygen/html/html/functions_r.html +2 -2
  54. package/SVF-doxygen/html/html/functions_s.html +11 -11
  55. package/SVF-doxygen/html/html/functions_t.html +4 -4
  56. package/SVF-doxygen/html/html/functions_type_g.html +1 -1
  57. package/SVF-doxygen/html/html/functions_type_i.html +1 -1
  58. package/SVF-doxygen/html/html/functions_w.html +9 -9
  59. package/SVF-doxygen/html/html/hierarchy.html +4 -2
  60. package/SVF-doxygen/html/html/namespaceSVF.html +4 -0
  61. package/SVF-doxygen/html/html/search/all_10.js +325 -323
  62. package/SVF-doxygen/html/html/search/all_11.js +208 -208
  63. package/SVF-doxygen/html/html/search/all_12.js +546 -546
  64. package/SVF-doxygen/html/html/search/all_13.js +189 -189
  65. package/SVF-doxygen/html/html/search/all_14.js +66 -66
  66. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  67. package/SVF-doxygen/html/html/search/all_16.js +60 -60
  68. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  69. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  70. package/SVF-doxygen/html/html/search/all_19.js +10 -10
  71. package/SVF-doxygen/html/html/search/all_1a.js +169 -169
  72. package/SVF-doxygen/html/html/search/all_3.js +1 -1
  73. package/SVF-doxygen/html/html/search/all_6.js +70 -68
  74. package/SVF-doxygen/html/html/search/all_7.js +1012 -1012
  75. package/SVF-doxygen/html/html/search/all_8.js +192 -192
  76. package/SVF-doxygen/html/html/search/all_9.js +597 -597
  77. package/SVF-doxygen/html/html/search/all_a.js +47 -47
  78. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  79. package/SVF-doxygen/html/html/search/all_c.js +113 -113
  80. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  81. package/SVF-doxygen/html/html/search/all_e.js +206 -206
  82. package/SVF-doxygen/html/html/search/all_f.js +122 -122
  83. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  84. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  85. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  86. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  87. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  88. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  89. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  90. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  91. package/SVF-doxygen/html/html/search/classes_2.js +76 -76
  92. package/SVF-doxygen/html/html/search/classes_3.js +35 -35
  93. package/SVF-doxygen/html/html/search/classes_4.js +10 -10
  94. package/SVF-doxygen/html/html/search/classes_5.js +28 -27
  95. package/SVF-doxygen/html/html/search/classes_6.js +98 -98
  96. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  97. package/SVF-doxygen/html/html/search/classes_8.js +56 -56
  98. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  99. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  100. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  101. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  102. package/SVF-doxygen/html/html/search/classes_d.js +19 -19
  103. package/SVF-doxygen/html/html/search/classes_e.js +36 -35
  104. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  105. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  106. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  107. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  108. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  109. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  110. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  111. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  112. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  113. package/SVF-doxygen/html/html/search/defines_8.js +13 -13
  114. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  115. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  116. package/SVF-doxygen/html/html/search/defines_b.js +2 -2
  117. package/SVF-doxygen/html/html/search/defines_c.js +2 -2
  118. package/SVF-doxygen/html/html/search/defines_d.js +6 -6
  119. package/SVF-doxygen/html/html/search/defines_e.js +3 -3
  120. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  121. package/SVF-doxygen/html/html/search/enums_1.js +1 -1
  122. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  123. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  124. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  125. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  126. package/SVF-doxygen/html/html/search/enums_4.js +4 -4
  127. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  128. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  129. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  130. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  131. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  132. package/SVF-doxygen/html/html/search/enums_a.js +2 -2
  133. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  134. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  135. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  136. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  137. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  138. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  139. package/SVF-doxygen/html/html/search/enumvalues_1.js +13 -13
  140. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  141. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  142. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  143. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  144. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  145. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  146. package/SVF-doxygen/html/html/search/enumvalues_2.js +40 -40
  147. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  148. package/SVF-doxygen/html/html/search/enumvalues_4.js +34 -34
  149. package/SVF-doxygen/html/html/search/enumvalues_5.js +48 -47
  150. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  151. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  152. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  153. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  154. package/SVF-doxygen/html/html/search/enumvalues_a.js +17 -17
  155. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  156. package/SVF-doxygen/html/html/search/enumvalues_c.js +6 -6
  157. package/SVF-doxygen/html/html/search/enumvalues_d.js +17 -16
  158. package/SVF-doxygen/html/html/search/enumvalues_e.js +11 -11
  159. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  160. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  161. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  162. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  163. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  164. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  165. package/SVF-doxygen/html/html/search/files_2.js +50 -50
  166. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  167. package/SVF-doxygen/html/html/search/files_4.js +4 -4
  168. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  169. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  170. package/SVF-doxygen/html/html/search/files_7.js +14 -14
  171. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  172. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  173. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  174. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  175. package/SVF-doxygen/html/html/search/files_c.js +19 -19
  176. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  177. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  178. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  179. package/SVF-doxygen/html/html/search/functions_0.js +351 -351
  180. package/SVF-doxygen/html/html/search/functions_1.js +80 -80
  181. package/SVF-doxygen/html/html/search/functions_10.js +121 -121
  182. package/SVF-doxygen/html/html/search/functions_11.js +282 -282
  183. package/SVF-doxygen/html/html/search/functions_12.js +55 -55
  184. package/SVF-doxygen/html/html/search/functions_13.js +38 -38
  185. package/SVF-doxygen/html/html/search/functions_14.js +71 -71
  186. package/SVF-doxygen/html/html/search/functions_15.js +29 -29
  187. package/SVF-doxygen/html/html/search/functions_16.js +2 -2
  188. package/SVF-doxygen/html/html/search/functions_17.js +169 -169
  189. package/SVF-doxygen/html/html/search/functions_2.js +251 -251
  190. package/SVF-doxygen/html/html/search/functions_3.js +72 -72
  191. package/SVF-doxygen/html/html/search/functions_4.js +55 -55
  192. package/SVF-doxygen/html/html/search/functions_5.js +55 -54
  193. package/SVF-doxygen/html/html/search/functions_6.js +832 -832
  194. package/SVF-doxygen/html/html/search/functions_7.js +144 -144
  195. package/SVF-doxygen/html/html/search/functions_8.js +417 -417
  196. package/SVF-doxygen/html/html/search/functions_9.js +29 -29
  197. package/SVF-doxygen/html/html/search/functions_a.js +2 -2
  198. package/SVF-doxygen/html/html/search/functions_b.js +23 -23
  199. package/SVF-doxygen/html/html/search/functions_c.js +75 -75
  200. package/SVF-doxygen/html/html/search/functions_d.js +35 -35
  201. package/SVF-doxygen/html/html/search/functions_e.js +56 -56
  202. package/SVF-doxygen/html/html/search/functions_f.js +143 -142
  203. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  204. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  205. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  206. package/SVF-doxygen/html/html/search/related_1.js +1 -1
  207. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  208. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  209. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  210. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  211. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  212. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  213. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  214. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  215. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  216. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  217. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  218. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  219. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  220. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  221. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  222. package/SVF-doxygen/html/html/search/typedefs_1.js +25 -25
  223. package/SVF-doxygen/html/html/search/typedefs_10.js +60 -60
  224. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  225. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  226. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  227. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  228. package/SVF-doxygen/html/html/search/typedefs_2.js +126 -126
  229. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  230. package/SVF-doxygen/html/html/search/typedefs_4.js +16 -16
  231. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  232. package/SVF-doxygen/html/html/search/typedefs_6.js +52 -52
  233. package/SVF-doxygen/html/html/search/typedefs_7.js +40 -40
  234. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  235. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  236. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  237. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  238. package/SVF-doxygen/html/html/search/typedefs_c.js +40 -40
  239. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  240. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  241. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  242. package/SVF-doxygen/html/html/search/variables_0.js +146 -146
  243. package/SVF-doxygen/html/html/search/variables_1.js +74 -74
  244. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  245. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  246. package/SVF-doxygen/html/html/search/variables_12.js +93 -93
  247. package/SVF-doxygen/html/html/search/variables_13.js +77 -77
  248. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  249. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  250. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  251. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  252. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  253. package/SVF-doxygen/html/html/search/variables_2.js +35 -35
  254. package/SVF-doxygen/html/html/search/variables_3.js +148 -148
  255. package/SVF-doxygen/html/html/search/variables_4.js +56 -56
  256. package/SVF-doxygen/html/html/search/variables_5.js +40 -40
  257. package/SVF-doxygen/html/html/search/variables_6.js +67 -67
  258. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  259. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  260. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  261. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  262. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  263. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  264. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  265. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  266. package/SVF-doxygen/html/html/search/variables_f.js +33 -33
  267. package/package.json +1 -1
  268. package/svf/include/SABER/SrcSnkSolver.h +2 -2
  269. package/svf/include/Util/SVFBugReport.h +33 -1
  270. package/svf/lib/Util/SVFBugReport.cpp +24 -0
package/SVF-doxygen/html/html/annotated.html CHANGED
@@ -290,296 +290,298 @@ $(function() {
290
290
  <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_1FormalRetVFGNode.html" target="_self">FormalRetVFGNode</a></td><td class="desc"></td></tr>
291
291
  <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_1FSMPTA.html" target="_self">FSMPTA</a></td><td class="desc"></td></tr>
292
292
  <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_1FullBufferOverflowBug.html" target="_self">FullBufferOverflowBug</a></td><td class="desc"></td></tr>
293
- <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_1FunEntryICFGNode.html" target="_self">FunEntryICFGNode</a></td><td class="desc"></td></tr>
294
- <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_1FunExitICFGNode.html" target="_self">FunExitICFGNode</a></td><td class="desc"></td></tr>
295
- <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_1FunptrDDAClient.html" target="_self">FunptrDDAClient</a></td><td class="desc"></td></tr>
296
- <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_1GenericBug.html" target="_self">GenericBug</a></td><td class="desc"></td></tr>
297
- <tr id="row_2_143_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_143_" class="arrow" onclick="toggleFolder('2_143_')">&#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>
298
- <tr id="row_2_143_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>
299
- <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_1GenericGraph.html" target="_self">GenericGraph</a></td><td class="desc"></td></tr>
300
- <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_1GenericGraphReader.html" target="_self">GenericGraphReader</a></td><td class="desc"></td></tr>
301
- <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="structSVF_1_1GenericGraphTraits.html" target="_self">GenericGraphTraits</a></td><td class="desc"></td></tr>
302
- <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="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>
303
- <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="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>
304
- <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="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>
305
- <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="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>
306
- <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="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>
307
- <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_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>
308
- <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_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>
309
- <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_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>
310
- <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_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>
311
- <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_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>
312
- <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_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>
313
- <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_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>
314
- <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_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a></td><td class="desc"></td></tr>
315
- <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_01SVF_1_1CFBasicBlockNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockNode * &gt;</a></td><td class="desc"></td></tr>
316
- <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_01SVF_1_1CFLGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a></td><td class="desc"></td></tr>
317
- <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_01SVF_1_1CFLNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLNode * &gt;</a></td><td class="desc"></td></tr>
318
- <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_01SVF_1_1CHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHGraph * &gt;</a></td><td class="desc"></td></tr>
319
- <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_01SVF_1_1CHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHNode * &gt;</a></td><td class="desc"></td></tr>
320
- <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_01SVF_1_1ConstraintGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a></td><td class="desc"></td></tr>
321
- <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_1ConstraintNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintNode * &gt;</a></td><td class="desc"></td></tr>
322
- <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_1DCHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a></td><td class="desc"></td></tr>
323
- <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_1DCHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHNode * &gt;</a></td><td class="desc"></td></tr>
324
- <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_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>
325
- <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_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>
326
- <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_1ICFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFG * &gt;</a></td><td class="desc"></td></tr>
327
- <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_1ICFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGNode * &gt;</a></td><td class="desc"></td></tr>
328
- <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_1IRGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::IRGraph * &gt;</a></td><td class="desc"></td></tr>
329
- <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_1PTACallGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a></td><td class="desc"></td></tr>
330
- <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_1PTACallGraphNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraphNode * &gt;</a></td><td class="desc"></td></tr>
331
- <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_1SVFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFG * &gt;</a></td><td class="desc"></td></tr>
332
- <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_1SVFVar_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFVar * &gt;</a></td><td class="desc"></td></tr>
333
- <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_1TCT_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCT * &gt;</a></td><td class="desc"></td></tr>
334
- <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_1TCTNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCTNode * &gt;</a></td><td class="desc"></td></tr>
335
- <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_1VFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFG * &gt;</a></td><td class="desc"></td></tr>
336
- <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_1VFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFGNode * &gt;</a></td><td class="desc"></td></tr>
337
- <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="classSVF_1_1GenericGraphWriter.html" target="_self">GenericGraphWriter</a></td><td class="desc"></td></tr>
338
- <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="classSVF_1_1GenericNode.html" target="_self">GenericNode</a></td><td class="desc"></td></tr>
339
- <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="classSVF_1_1GepCGEdge.html" target="_self">GepCGEdge</a></td><td class="desc"></td></tr>
340
- <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="classSVF_1_1GepObjVar.html" target="_self">GepObjVar</a></td><td class="desc"></td></tr>
341
- <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="classSVF_1_1GepStmt.html" target="_self">GepStmt</a></td><td class="desc"></td></tr>
342
- <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="classSVF_1_1GepValVar.html" target="_self">GepValVar</a></td><td class="desc"></td></tr>
343
- <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="classSVF_1_1GepVFGNode.html" target="_self">GepVFGNode</a></td><td class="desc"></td></tr>
344
- <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="classSVF_1_1GlobalICFGNode.html" target="_self">GlobalICFGNode</a></td><td class="desc"></td></tr>
345
- <tr id="row_2_190_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_190_" class="arrow" onclick="toggleFolder('2_190_')">&#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>
346
- <tr id="row_2_190_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>
347
- <tr id="row_2_190_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>
348
- <tr id="row_2_190_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>
349
- <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_1GrammarBuilder.html" target="_self">GrammarBuilder</a></td><td class="desc"></td></tr>
350
- <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_1GraphPrinter.html" target="_self">GraphPrinter</a></td><td class="desc"></td></tr>
351
- <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_1GraphReachSolver.html" target="_self">GraphReachSolver</a></td><td class="desc"></td></tr>
352
- <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_1GraphWriter.html" target="_self">GraphWriter</a></td><td class="desc"></td></tr>
353
- <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_1HareParForEdge.html" target="_self">HareParForEdge</a></td><td class="desc"></td></tr>
354
- <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="structSVF_1_1Hash.html" target="_self">Hash</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
355
- <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="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
356
- <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="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
357
- <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="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>
358
- <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_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
359
- <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_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
360
- <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_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
361
- <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_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
362
- <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_1ICFGReader.html" target="_self">ICFGReader</a></td><td class="desc"></td></tr>
363
- <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_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
364
- <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_1ICFGWriter.html" target="_self">ICFGWriter</a></td><td class="desc"></td></tr>
365
- <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_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
366
- <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_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
367
- <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_1InterICFGNode.html" target="_self">InterICFGNode</a></td><td class="desc"></td></tr>
368
- <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_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
369
- <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_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
370
- <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_1IntervalExeState.html" target="_self">IntervalExeState</a></td><td class="desc"></td></tr>
371
- <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_1IntervalValue.html" target="_self">IntervalValue</a></td><td class="desc"></td></tr>
372
- <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_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
373
- <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_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
374
- <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_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
375
- <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_1IntraICFGNode.html" target="_self">IntraICFGNode</a></td><td class="desc"></td></tr>
376
- <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_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
377
- <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_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
378
- <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_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
379
- <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="structSVF_1_1Inverse.html" target="_self">Inverse</a></td><td class="desc"></td></tr>
380
- <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_1IRGraph.html" target="_self">IRGraph</a></td><td class="desc"></td></tr>
381
- <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_1iter__adaptor__base.html" target="_self">iter_adaptor_base</a></td><td class="desc"></td></tr>
382
- <tr id="row_2_224_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_224_" class="arrow" onclick="toggleFolder('2_224_')">&#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>
383
- <tr id="row_2_224_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>
384
- <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_1iter__range.html" target="_self">iter_range</a></td><td class="desc"></td></tr>
385
- <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="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>
386
- <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="structSVF_1_1LeadingZerosCounter.html" target="_self">LeadingZerosCounter</a></td><td class="desc"></td></tr>
387
- <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_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
388
- <tr id="row_2_229_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_229_" class="arrow" onclick="toggleFolder('2_229_')">&#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>
389
- <tr id="row_2_229_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>
390
- <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_1LLVMLoopAnalysis.html" target="_self">LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
391
- <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_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
392
- <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_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
393
- <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_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
394
- <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_1LoadStmt.html" target="_self">LoadStmt</a></td><td class="desc"></td></tr>
395
- <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_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
396
- <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_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
397
- <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_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
398
- <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="classSVF_1_1mapped__iter.html" target="_self">mapped_iter</a></td><td class="desc"></td></tr>
399
- <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_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
400
- <tr id="row_2_240_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_240_" class="arrow" onclick="toggleFolder('2_240_')">&#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>
401
- <tr id="row_2_240_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>
402
- <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_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
403
- <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_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
404
- <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_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
405
- <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_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
406
- <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_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
407
- <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_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
408
- <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_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
409
- <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_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
410
- <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_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
411
- <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_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
412
- <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_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
413
- <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_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
414
- <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_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
415
- <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_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
416
- <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_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
417
- <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_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
418
- <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_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
419
- <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_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
420
- <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_1MultiOpndStmt.html" target="_self">MultiOpndStmt</a></td><td class="desc"></td></tr>
421
- <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_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
422
- <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_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>
423
- <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_1MutableIncDFPTData.html" target="_self">MutableIncDFPTData</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
424
- <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_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>
425
- <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_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
426
- <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_1NeverFreeBug.html" target="_self">NeverFreeBug</a></td><td class="desc"></td></tr>
427
- <tr id="row_2_266_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_266_" class="arrow" onclick="toggleFolder('2_266_')">&#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>
428
- <tr id="row_2_266_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>
429
- <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_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
430
- <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_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
431
- <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_1NumericLiteral.html" target="_self">NumericLiteral</a></td><td class="desc"></td></tr>
432
- <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_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
433
- <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_1ObjVar.html" target="_self">ObjVar</a></td><td class="desc"></td></tr>
434
- <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_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
435
- <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_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
436
- <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_1PartialBufferOverflowBug.html" target="_self">PartialBufferOverflowBug</a></td><td class="desc"></td></tr>
437
- <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_1PartialLeakBug.html" target="_self">PartialLeakBug</a></td><td class="desc"></td></tr>
438
- <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_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
439
- <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_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>
440
- <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_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>
441
- <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_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
442
- <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_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
443
- <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_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>
444
- <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_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
445
- <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_1PhiStmt.html" target="_self">PhiStmt</a></td><td class="desc"></td></tr>
446
- <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_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
447
- <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_1POCRAlias.html" target="_self">POCRAlias</a></td><td class="desc"></td></tr>
448
- <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_1POCRHybrid.html" target="_self">POCRHybrid</a></td><td class="desc"></td></tr>
449
- <tr id="row_2_287_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_287_" class="arrow" onclick="toggleFolder('2_287_')">&#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>
450
- <tr id="row_2_287_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>
451
- <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_1POCRSolver.html" target="_self">POCRSolver</a></td><td class="desc">Solver Utilize CFLData </td></tr>
452
- <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="structSVF_1_1pointee__iter.html" target="_self">pointee_iter</a></td><td class="desc"></td></tr>
453
- <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_1pointer__iterator.html" target="_self">pointer_iterator</a></td><td class="desc"></td></tr>
454
- <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_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
455
- <tr id="row_2_292_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_292_" class="arrow" onclick="toggleFolder('2_292_')">&#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>
456
- <tr id="row_2_292_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>
457
- <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="structSVF_1_1PopulationCounter.html" target="_self">PopulationCounter</a></td><td class="desc"></td></tr>
458
- <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="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html" target="_self">PopulationCounter&lt; T, 8 &gt;</a></td><td class="desc"></td></tr>
459
- <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_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
460
- <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_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
461
- <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_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
462
- <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_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
463
- <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_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
464
- <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_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
465
- <tr id="row_2_301_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_301_" class="arrow" onclick="toggleFolder('2_301_')">&#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>
466
- <tr id="row_2_301_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>
467
- <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_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
468
- <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_1ReaderIDToObjMap.html" target="_self">ReaderIDToObjMap</a></td><td class="desc">Keeps a map from IDs to T objects, such as XXNode </td></tr>
469
- <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_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>
470
- <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_1RelationSolver.html" target="_self">RelationSolver</a></td><td class="desc"></td></tr>
471
- <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_1RelExeState.html" target="_self">RelExeState</a></td><td class="desc"></td></tr>
472
- <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_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
473
- <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_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
474
- <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_1RetICFGNode.html" target="_self">RetICFGNode</a></td><td class="desc"></td></tr>
475
- <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_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
476
- <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="classSVF_1_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
477
- <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_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
478
- <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_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
479
- <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_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
480
- <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_1SaberCondAllocator.html" target="_self">SaberCondAllocator</a></td><td class="desc"></td></tr>
481
- <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_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
482
- <tr id="row_2_317_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_317_" class="arrow" onclick="toggleFolder('2_317_')">&#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>
483
- <tr id="row_2_317_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>
484
- <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_1SelectStmt.html" target="_self">SelectStmt</a></td><td class="desc"></td></tr>
485
- <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_1SingleAbsValue.html" target="_self">SingleAbsValue</a></td><td class="desc"></td></tr>
486
- <tr id="row_2_320_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_320_" class="arrow" onclick="toggleFolder('2_320_')">&#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>
487
- <tr id="row_2_320_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>
488
- <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="structSVF_1_1SparseBitVectorElement.html" target="_self">SparseBitVectorElement</a></td><td class="desc"></td></tr>
489
- <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_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
490
- <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_1SrcSnkSolver.html" target="_self">SrcSnkSolver</a></td><td class="desc"></td></tr>
491
- <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_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
492
- <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_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
493
- <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_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
494
- <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_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
495
- <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_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
496
- <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_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
497
- <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_1StoreStmt.html" target="_self">StoreStmt</a></td><td class="desc"></td></tr>
498
- <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_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
499
- <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_1SVFArgument.html" target="_self">SVFArgument</a></td><td class="desc"></td></tr>
500
- <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_1SVFArrayType.html" target="_self">SVFArrayType</a></td><td class="desc"></td></tr>
501
- <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_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
502
- <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_1SVFBlackHoleValue.html" target="_self">SVFBlackHoleValue</a></td><td class="desc"></td></tr>
503
- <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_1SVFBugEvent.html" target="_self">SVFBugEvent</a></td><td class="desc"></td></tr>
504
- <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_1SVFBugReport.html" target="_self">SVFBugReport</a></td><td class="desc"></td></tr>
505
- <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_1SVFCallInst.html" target="_self">SVFCallInst</a></td><td class="desc"></td></tr>
506
- <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_1SVFConstant.html" target="_self">SVFConstant</a></td><td class="desc"></td></tr>
507
- <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_1SVFConstantData.html" target="_self">SVFConstantData</a></td><td class="desc"></td></tr>
508
- <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_1SVFConstantFP.html" target="_self">SVFConstantFP</a></td><td class="desc"></td></tr>
509
- <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_1SVFConstantInt.html" target="_self">SVFConstantInt</a></td><td class="desc"></td></tr>
510
- <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_1SVFConstantNullPtr.html" target="_self">SVFConstantNullPtr</a></td><td class="desc"></td></tr>
511
- <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_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
512
- <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_1SVFFunctionType.html" target="_self">SVFFunctionType</a></td><td class="desc"></td></tr>
513
- <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_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
514
- <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_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
515
- <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_1SVFGlobalValue.html" target="_self">SVFGlobalValue</a></td><td class="desc"></td></tr>
516
- <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_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
517
- <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_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
518
- <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_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
519
- <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_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
520
- <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_1SVFIntegerType.html" target="_self">SVFIntegerType</a></td><td class="desc"></td></tr>
521
- <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_1SVFIR.html" target="_self">SVFIR</a></td><td class="desc"></td></tr>
522
- <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_1SVFIR2ConsExeState.html" target="_self">SVFIR2ConsExeState</a></td><td class="desc"></td></tr>
523
- <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_1SVFIR2ItvExeState.html" target="_self">SVFIR2ItvExeState</a></td><td class="desc"></td></tr>
524
- <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_1SVFIRBuilder.html" target="_self">SVFIRBuilder</a></td><td class="desc"></td></tr>
525
- <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_1SVFIRReader.html" target="_self">SVFIRReader</a></td><td class="desc"></td></tr>
526
- <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_1SVFIRWriter.html" target="_self">SVFIRWriter</a></td><td class="desc"></td></tr>
527
- <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_1SVFLoop.html" target="_self">SVFLoop</a></td><td class="desc"></td></tr>
528
- <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_1SVFLoopAndDomInfo.html" target="_self">SVFLoopAndDomInfo</a></td><td class="desc"></td></tr>
529
- <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_1SVFMetadataAsValue.html" target="_self">SVFMetadataAsValue</a></td><td class="desc"></td></tr>
530
- <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_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
531
- <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_1SVFModuleReader.html" target="_self">SVFModuleReader</a></td><td class="desc"></td></tr>
532
- <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_1SVFModuleWriter.html" target="_self">SVFModuleWriter</a></td><td class="desc"></td></tr>
533
- <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_1SVFOtherType.html" target="_self">SVFOtherType</a></td><td class="desc"></td></tr>
534
- <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_1SVFOtherValue.html" target="_self">SVFOtherValue</a></td><td class="desc"></td></tr>
535
- <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_1SVFPointerType.html" target="_self">SVFPointerType</a></td><td class="desc"></td></tr>
536
- <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_1SVFStat.html" target="_self">SVFStat</a></td><td class="desc"></td></tr>
537
- <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_1SVFStmt.html" target="_self">SVFStmt</a></td><td class="desc"></td></tr>
538
- <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_1SVFStructType.html" target="_self">SVFStructType</a></td><td class="desc"></td></tr>
539
- <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_1SVFType.html" target="_self">SVFType</a></td><td class="desc"></td></tr>
540
- <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_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
541
- <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_1SVFVar.html" target="_self">SVFVar</a></td><td class="desc"></td></tr>
542
- <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_1SVFVirtualCallInst.html" target="_self">SVFVirtualCallInst</a></td><td class="desc"></td></tr>
543
- <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_1SymbolTableBuilder.html" target="_self">SymbolTableBuilder</a></td><td class="desc"></td></tr>
544
- <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_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
545
- <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_1SymbolTableInfoReader.html" target="_self">SymbolTableInfoReader</a></td><td class="desc"></td></tr>
546
- <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_1SymState.html" target="_self">SymState</a></td><td class="desc"></td></tr>
547
- <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_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
548
- <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_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
549
- <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_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
550
- <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_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
551
- <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_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
552
- <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_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
553
- <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_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
554
- <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_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
555
- <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_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
556
- <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_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
557
- <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_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
558
- <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="structSVF_1_1TrailingZerosCounter.html" target="_self">TrailingZerosCounter</a></td><td class="desc"></td></tr>
559
- <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_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
560
- <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_1UnaryOPStmt.html" target="_self">UnaryOPStmt</a></td><td class="desc"></td></tr>
561
- <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_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
562
- <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_1ValVar.html" target="_self">ValVar</a></td><td class="desc"></td></tr>
563
- <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_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
564
- <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_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
565
- <tr id="row_2_398_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_398_" class="arrow" onclick="toggleFolder('2_398_')">&#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>
566
- <tr id="row_2_398_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_2_398_0_" class="arrow" onclick="toggleFolder('2_398_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>
567
- <tr id="row_2_398_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>
568
- <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_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
569
- <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_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
570
- <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_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>
571
- <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_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
572
- <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_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
573
- <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_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
574
- <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_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
575
- <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_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
576
- <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_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
577
- <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_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
578
- <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_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
579
- <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_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>
580
- <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_1WTOCycleDepth.html" target="_self">WTOCycleDepth</a></td><td class="desc"></td></tr>
581
- <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_1WTOVisitor.html" target="_self">WTOVisitor</a></td><td class="desc"></td></tr>
582
- <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_1Z3Expr.html" target="_self">Z3Expr</a></td><td class="desc"></td></tr>
293
+ <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_1FullNullPtrDereferenceBug.html" target="_self">FullNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
294
+ <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_1FunEntryICFGNode.html" target="_self">FunEntryICFGNode</a></td><td class="desc"></td></tr>
295
+ <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_1FunExitICFGNode.html" target="_self">FunExitICFGNode</a></td><td class="desc"></td></tr>
296
+ <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_1FunptrDDAClient.html" target="_self">FunptrDDAClient</a></td><td class="desc"></td></tr>
297
+ <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_1GenericBug.html" target="_self">GenericBug</a></td><td class="desc"></td></tr>
298
+ <tr id="row_2_144_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_144_" class="arrow" onclick="toggleFolder('2_144_')">&#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>
299
+ <tr id="row_2_144_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>
300
+ <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_1GenericGraph.html" target="_self">GenericGraph</a></td><td class="desc"></td></tr>
301
+ <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_1GenericGraphReader.html" target="_self">GenericGraphReader</a></td><td class="desc"></td></tr>
302
+ <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="structSVF_1_1GenericGraphTraits.html" target="_self">GenericGraphTraits</a></td><td class="desc"></td></tr>
303
+ <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="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>
304
+ <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="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>
305
+ <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="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>
306
+ <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="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>
307
+ <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_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>
308
+ <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_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>
309
+ <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_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>
310
+ <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_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>
311
+ <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_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>
312
+ <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_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>
313
+ <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_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>
314
+ <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_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>
315
+ <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_01SVF_1_1CFBasicBlockGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockGraph * &gt;</a></td><td class="desc"></td></tr>
316
+ <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_01SVF_1_1CFBasicBlockNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFBasicBlockNode * &gt;</a></td><td class="desc"></td></tr>
317
+ <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_01SVF_1_1CFLGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a></td><td class="desc"></td></tr>
318
+ <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_01SVF_1_1CFLNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CFLNode * &gt;</a></td><td class="desc"></td></tr>
319
+ <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_01SVF_1_1CHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHGraph * &gt;</a></td><td class="desc"></td></tr>
320
+ <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_01SVF_1_1CHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::CHNode * &gt;</a></td><td class="desc"></td></tr>
321
+ <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_1ConstraintGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a></td><td class="desc"></td></tr>
322
+ <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_1ConstraintNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ConstraintNode * &gt;</a></td><td class="desc"></td></tr>
323
+ <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_1DCHGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a></td><td class="desc"></td></tr>
324
+ <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_1DCHNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::DCHNode * &gt;</a></td><td class="desc"></td></tr>
325
+ <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_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>
326
+ <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_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>
327
+ <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_1ICFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFG * &gt;</a></td><td class="desc"></td></tr>
328
+ <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_1ICFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::ICFGNode * &gt;</a></td><td class="desc"></td></tr>
329
+ <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_1IRGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::IRGraph * &gt;</a></td><td class="desc"></td></tr>
330
+ <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_1PTACallGraph_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a></td><td class="desc"></td></tr>
331
+ <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_1PTACallGraphNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::PTACallGraphNode * &gt;</a></td><td class="desc"></td></tr>
332
+ <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_1SVFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFG * &gt;</a></td><td class="desc"></td></tr>
333
+ <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_1SVFVar_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::SVFVar * &gt;</a></td><td class="desc"></td></tr>
334
+ <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_1TCT_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCT * &gt;</a></td><td class="desc"></td></tr>
335
+ <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_1TCTNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::TCTNode * &gt;</a></td><td class="desc"></td></tr>
336
+ <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_1VFG_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFG * &gt;</a></td><td class="desc"></td></tr>
337
+ <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_1VFGNode_01_5_01_4.html" target="_self">GenericGraphTraits&lt; SVF::VFGNode * &gt;</a></td><td class="desc"></td></tr>
338
+ <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="classSVF_1_1GenericGraphWriter.html" target="_self">GenericGraphWriter</a></td><td class="desc"></td></tr>
339
+ <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="classSVF_1_1GenericNode.html" target="_self">GenericNode</a></td><td class="desc"></td></tr>
340
+ <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="classSVF_1_1GepCGEdge.html" target="_self">GepCGEdge</a></td><td class="desc"></td></tr>
341
+ <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="classSVF_1_1GepObjVar.html" target="_self">GepObjVar</a></td><td class="desc"></td></tr>
342
+ <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="classSVF_1_1GepStmt.html" target="_self">GepStmt</a></td><td class="desc"></td></tr>
343
+ <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="classSVF_1_1GepValVar.html" target="_self">GepValVar</a></td><td class="desc"></td></tr>
344
+ <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="classSVF_1_1GepVFGNode.html" target="_self">GepVFGNode</a></td><td class="desc"></td></tr>
345
+ <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="classSVF_1_1GlobalICFGNode.html" target="_self">GlobalICFGNode</a></td><td class="desc"></td></tr>
346
+ <tr id="row_2_191_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_191_" class="arrow" onclick="toggleFolder('2_191_')">&#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>
347
+ <tr id="row_2_191_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>
348
+ <tr id="row_2_191_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>
349
+ <tr id="row_2_191_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>
350
+ <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_1GrammarBuilder.html" target="_self">GrammarBuilder</a></td><td class="desc"></td></tr>
351
+ <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_1GraphPrinter.html" target="_self">GraphPrinter</a></td><td class="desc"></td></tr>
352
+ <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_1GraphReachSolver.html" target="_self">GraphReachSolver</a></td><td class="desc"></td></tr>
353
+ <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_1GraphWriter.html" target="_self">GraphWriter</a></td><td class="desc"></td></tr>
354
+ <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_1HareParForEdge.html" target="_self">HareParForEdge</a></td><td class="desc"></td></tr>
355
+ <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="structSVF_1_1Hash.html" target="_self">Hash</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
356
+ <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="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
357
+ <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="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
358
+ <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="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>
359
+ <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_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
360
+ <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_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
361
+ <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_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
362
+ <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_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
363
+ <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_1ICFGReader.html" target="_self">ICFGReader</a></td><td class="desc"></td></tr>
364
+ <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_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
365
+ <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_1ICFGWriter.html" target="_self">ICFGWriter</a></td><td class="desc"></td></tr>
366
+ <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_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
367
+ <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_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
368
+ <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_1InterICFGNode.html" target="_self">InterICFGNode</a></td><td class="desc"></td></tr>
369
+ <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_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
370
+ <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_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
371
+ <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_1IntervalExeState.html" target="_self">IntervalExeState</a></td><td class="desc"></td></tr>
372
+ <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_1IntervalValue.html" target="_self">IntervalValue</a></td><td class="desc"></td></tr>
373
+ <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_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
374
+ <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_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
375
+ <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_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
376
+ <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_1IntraICFGNode.html" target="_self">IntraICFGNode</a></td><td class="desc"></td></tr>
377
+ <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_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
378
+ <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_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
379
+ <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_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
380
+ <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="structSVF_1_1Inverse.html" target="_self">Inverse</a></td><td class="desc"></td></tr>
381
+ <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_1IRGraph.html" target="_self">IRGraph</a></td><td class="desc"></td></tr>
382
+ <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_1iter__adaptor__base.html" target="_self">iter_adaptor_base</a></td><td class="desc"></td></tr>
383
+ <tr id="row_2_225_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_225_" class="arrow" onclick="toggleFolder('2_225_')">&#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>
384
+ <tr id="row_2_225_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>
385
+ <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_1iter__range.html" target="_self">iter_range</a></td><td class="desc"></td></tr>
386
+ <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="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>
387
+ <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="structSVF_1_1LeadingZerosCounter.html" target="_self">LeadingZerosCounter</a></td><td class="desc"></td></tr>
388
+ <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_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
389
+ <tr id="row_2_230_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_230_" class="arrow" onclick="toggleFolder('2_230_')">&#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>
390
+ <tr id="row_2_230_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>
391
+ <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_1LLVMLoopAnalysis.html" target="_self">LLVMLoopAnalysis</a></td><td class="desc"></td></tr>
392
+ <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_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
393
+ <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_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
394
+ <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_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
395
+ <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_1LoadStmt.html" target="_self">LoadStmt</a></td><td class="desc"></td></tr>
396
+ <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_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
397
+ <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_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
398
+ <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="classSVF_1_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
399
+ <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_1mapped__iter.html" target="_self">mapped_iter</a></td><td class="desc"></td></tr>
400
+ <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_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
401
+ <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_1MemRegion.html" target="_self">MemRegion</a></td><td class="desc">Memory Region class </td></tr>
402
+ <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="structSVF_1_1MemRegion_1_1equalMemRegion.html" target="_self">equalMemRegion</a></td><td class="desc"></td></tr>
403
+ <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_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
404
+ <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_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
405
+ <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_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
406
+ <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_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
407
+ <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_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
408
+ <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_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
409
+ <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_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
410
+ <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_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
411
+ <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_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
412
+ <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_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
413
+ <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_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
414
+ <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_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
415
+ <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_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
416
+ <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_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
417
+ <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_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
418
+ <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_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
419
+ <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_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
420
+ <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_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
421
+ <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_1MultiOpndStmt.html" target="_self">MultiOpndStmt</a></td><td class="desc"></td></tr>
422
+ <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_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
423
+ <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_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>
424
+ <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_1MutableIncDFPTData.html" target="_self">MutableIncDFPTData</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
425
+ <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_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>
426
+ <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_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
427
+ <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_1NeverFreeBug.html" target="_self">NeverFreeBug</a></td><td class="desc"></td></tr>
428
+ <tr id="row_2_267_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_267_" class="arrow" onclick="toggleFolder('2_267_')">&#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>
429
+ <tr id="row_2_267_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>
430
+ <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_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
431
+ <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_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
432
+ <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_1NumericLiteral.html" target="_self">NumericLiteral</a></td><td class="desc"></td></tr>
433
+ <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_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
434
+ <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_1ObjVar.html" target="_self">ObjVar</a></td><td class="desc"></td></tr>
435
+ <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_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
436
+ <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_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
437
+ <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_1PartialBufferOverflowBug.html" target="_self">PartialBufferOverflowBug</a></td><td class="desc"></td></tr>
438
+ <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_1PartialLeakBug.html" target="_self">PartialLeakBug</a></td><td class="desc"></td></tr>
439
+ <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_1PartialNullPtrDereferenceBug.html" target="_self">PartialNullPtrDereferenceBug</a></td><td class="desc"></td></tr>
440
+ <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_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
441
+ <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_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>
442
+ <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_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>
443
+ <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_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
444
+ <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_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
445
+ <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_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>
446
+ <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_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
447
+ <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_1PhiStmt.html" target="_self">PhiStmt</a></td><td class="desc"></td></tr>
448
+ <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_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
449
+ <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_1POCRAlias.html" target="_self">POCRAlias</a></td><td class="desc"></td></tr>
450
+ <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_1POCRHybrid.html" target="_self">POCRHybrid</a></td><td class="desc"></td></tr>
451
+ <tr id="row_2_289_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_289_" class="arrow" onclick="toggleFolder('2_289_')">&#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>
452
+ <tr id="row_2_289_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>
453
+ <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_1POCRSolver.html" target="_self">POCRSolver</a></td><td class="desc">Solver Utilize CFLData </td></tr>
454
+ <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="structSVF_1_1pointee__iter.html" target="_self">pointee_iter</a></td><td class="desc"></td></tr>
455
+ <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_1pointer__iterator.html" target="_self">pointer_iterator</a></td><td class="desc"></td></tr>
456
+ <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_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
457
+ <tr id="row_2_294_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_294_" class="arrow" onclick="toggleFolder('2_294_')">&#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>
458
+ <tr id="row_2_294_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>
459
+ <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="structSVF_1_1PopulationCounter.html" target="_self">PopulationCounter</a></td><td class="desc"></td></tr>
460
+ <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="structSVF_1_1PopulationCounter_3_01T_00_018_01_4.html" target="_self">PopulationCounter&lt; T, 8 &gt;</a></td><td class="desc"></td></tr>
461
+ <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_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
462
+ <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_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
463
+ <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_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
464
+ <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_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
465
+ <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_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
466
+ <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_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
467
+ <tr id="row_2_303_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_303_" class="arrow" onclick="toggleFolder('2_303_')">&#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>
468
+ <tr id="row_2_303_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>
469
+ <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_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
470
+ <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_1ReaderIDToObjMap.html" target="_self">ReaderIDToObjMap</a></td><td class="desc">Keeps a map from IDs to T objects, such as XXNode </td></tr>
471
+ <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_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>
472
+ <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_1RelationSolver.html" target="_self">RelationSolver</a></td><td class="desc"></td></tr>
473
+ <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_1RelExeState.html" target="_self">RelExeState</a></td><td class="desc"></td></tr>
474
+ <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_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
475
+ <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_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
476
+ <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="classSVF_1_1RetICFGNode.html" target="_self">RetICFGNode</a></td><td class="desc"></td></tr>
477
+ <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_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
478
+ <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_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
479
+ <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_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
480
+ <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_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
481
+ <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_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
482
+ <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_1SaberCondAllocator.html" target="_self">SaberCondAllocator</a></td><td class="desc"></td></tr>
483
+ <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_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
484
+ <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_1SCCDetection.html" target="_self">SCCDetection</a></td><td class="desc"></td></tr>
485
+ <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_1SCCDetection_1_1GNodeSCCInfo.html" target="_self">GNodeSCCInfo</a></td><td class="desc"></td></tr>
486
+ <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_1SelectStmt.html" target="_self">SelectStmt</a></td><td class="desc"></td></tr>
487
+ <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_1SingleAbsValue.html" target="_self">SingleAbsValue</a></td><td class="desc"></td></tr>
488
+ <tr id="row_2_322_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_322_" class="arrow" onclick="toggleFolder('2_322_')">&#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>
489
+ <tr id="row_2_322_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>
490
+ <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="structSVF_1_1SparseBitVectorElement.html" target="_self">SparseBitVectorElement</a></td><td class="desc"></td></tr>
491
+ <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_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
492
+ <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_1SrcSnkSolver.html" target="_self">SrcSnkSolver</a></td><td class="desc"></td></tr>
493
+ <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_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
494
+ <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_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
495
+ <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_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
496
+ <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_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
497
+ <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_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
498
+ <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_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
499
+ <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_1StoreStmt.html" target="_self">StoreStmt</a></td><td class="desc"></td></tr>
500
+ <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_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
501
+ <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_1SVFArgument.html" target="_self">SVFArgument</a></td><td class="desc"></td></tr>
502
+ <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_1SVFArrayType.html" target="_self">SVFArrayType</a></td><td class="desc"></td></tr>
503
+ <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_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
504
+ <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_1SVFBlackHoleValue.html" target="_self">SVFBlackHoleValue</a></td><td class="desc"></td></tr>
505
+ <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_1SVFBugEvent.html" target="_self">SVFBugEvent</a></td><td class="desc"></td></tr>
506
+ <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_1SVFBugReport.html" target="_self">SVFBugReport</a></td><td class="desc"></td></tr>
507
+ <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_1SVFCallInst.html" target="_self">SVFCallInst</a></td><td class="desc"></td></tr>
508
+ <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_1SVFConstant.html" target="_self">SVFConstant</a></td><td class="desc"></td></tr>
509
+ <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_1SVFConstantData.html" target="_self">SVFConstantData</a></td><td class="desc"></td></tr>
510
+ <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_1SVFConstantFP.html" target="_self">SVFConstantFP</a></td><td class="desc"></td></tr>
511
+ <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_1SVFConstantInt.html" target="_self">SVFConstantInt</a></td><td class="desc"></td></tr>
512
+ <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_1SVFConstantNullPtr.html" target="_self">SVFConstantNullPtr</a></td><td class="desc"></td></tr>
513
+ <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_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
514
+ <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_1SVFFunctionType.html" target="_self">SVFFunctionType</a></td><td class="desc"></td></tr>
515
+ <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_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
516
+ <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_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
517
+ <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_1SVFGlobalValue.html" target="_self">SVFGlobalValue</a></td><td class="desc"></td></tr>
518
+ <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_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
519
+ <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_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
520
+ <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_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
521
+ <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_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
522
+ <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_1SVFIntegerType.html" target="_self">SVFIntegerType</a></td><td class="desc"></td></tr>
523
+ <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_1SVFIR.html" target="_self">SVFIR</a></td><td class="desc"></td></tr>
524
+ <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_1SVFIR2ConsExeState.html" target="_self">SVFIR2ConsExeState</a></td><td class="desc"></td></tr>
525
+ <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_1SVFIR2ItvExeState.html" target="_self">SVFIR2ItvExeState</a></td><td class="desc"></td></tr>
526
+ <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_1SVFIRBuilder.html" target="_self">SVFIRBuilder</a></td><td class="desc"></td></tr>
527
+ <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_1SVFIRReader.html" target="_self">SVFIRReader</a></td><td class="desc"></td></tr>
528
+ <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_1SVFIRWriter.html" target="_self">SVFIRWriter</a></td><td class="desc"></td></tr>
529
+ <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_1SVFLoop.html" target="_self">SVFLoop</a></td><td class="desc"></td></tr>
530
+ <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_1SVFLoopAndDomInfo.html" target="_self">SVFLoopAndDomInfo</a></td><td class="desc"></td></tr>
531
+ <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_1SVFMetadataAsValue.html" target="_self">SVFMetadataAsValue</a></td><td class="desc"></td></tr>
532
+ <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_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
533
+ <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_1SVFModuleReader.html" target="_self">SVFModuleReader</a></td><td class="desc"></td></tr>
534
+ <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_1SVFModuleWriter.html" target="_self">SVFModuleWriter</a></td><td class="desc"></td></tr>
535
+ <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_1SVFOtherType.html" target="_self">SVFOtherType</a></td><td class="desc"></td></tr>
536
+ <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_1SVFOtherValue.html" target="_self">SVFOtherValue</a></td><td class="desc"></td></tr>
537
+ <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_1SVFPointerType.html" target="_self">SVFPointerType</a></td><td class="desc"></td></tr>
538
+ <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_1SVFStat.html" target="_self">SVFStat</a></td><td class="desc"></td></tr>
539
+ <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_1SVFStmt.html" target="_self">SVFStmt</a></td><td class="desc"></td></tr>
540
+ <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_1SVFStructType.html" target="_self">SVFStructType</a></td><td class="desc"></td></tr>
541
+ <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_1SVFType.html" target="_self">SVFType</a></td><td class="desc"></td></tr>
542
+ <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_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
543
+ <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_1SVFVar.html" target="_self">SVFVar</a></td><td class="desc"></td></tr>
544
+ <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_1SVFVirtualCallInst.html" target="_self">SVFVirtualCallInst</a></td><td class="desc"></td></tr>
545
+ <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_1SymbolTableBuilder.html" target="_self">SymbolTableBuilder</a></td><td class="desc"></td></tr>
546
+ <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_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
547
+ <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_1SymbolTableInfoReader.html" target="_self">SymbolTableInfoReader</a></td><td class="desc"></td></tr>
548
+ <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_1SymState.html" target="_self">SymState</a></td><td class="desc"></td></tr>
549
+ <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_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
550
+ <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_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
551
+ <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_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
552
+ <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_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
553
+ <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_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
554
+ <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_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
555
+ <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_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
556
+ <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_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
557
+ <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_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
558
+ <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_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
559
+ <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_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
560
+ <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="structSVF_1_1TrailingZerosCounter.html" target="_self">TrailingZerosCounter</a></td><td class="desc"></td></tr>
561
+ <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_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
562
+ <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_1UnaryOPStmt.html" target="_self">UnaryOPStmt</a></td><td class="desc"></td></tr>
563
+ <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_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
564
+ <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_1ValVar.html" target="_self">ValVar</a></td><td class="desc"></td></tr>
565
+ <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_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
566
+ <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_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
567
+ <tr id="row_2_400_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_400_" class="arrow" onclick="toggleFolder('2_400_')">&#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>
568
+ <tr id="row_2_400_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_2_400_0_" class="arrow" onclick="toggleFolder('2_400_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>
569
+ <tr id="row_2_400_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>
570
+ <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_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
571
+ <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_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
572
+ <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_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>
573
+ <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_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
574
+ <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_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
575
+ <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_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
576
+ <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_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
577
+ <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_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
578
+ <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_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
579
+ <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_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
580
+ <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_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
581
+ <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_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>
582
+ <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_1WTOCycleDepth.html" target="_self">WTOCycleDepth</a></td><td class="desc"></td></tr>
583
+ <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_1WTOVisitor.html" target="_self">WTOVisitor</a></td><td class="desc"></td></tr>
584
+ <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_1Z3Expr.html" target="_self">Z3Expr</a></td><td class="desc"></td></tr>
583
585
  <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>
584
586
  <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>
585
587
  <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>