svf-tools 1.0.304 → 1.0.308

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 (449) hide show
  1. package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +1 -1
  2. package/SVF-doxygen/html/html/AndersenLCD_8cpp_source.html +3 -3
  3. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +3 -3
  5. package/SVF-doxygen/html/html/AndersenSFR_8h_source.html +4 -4
  6. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +5 -5
  7. package/SVF-doxygen/html/html/AndersenWaveDiffWithType_8cpp_source.html +4 -4
  8. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  9. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +20 -20
  10. package/SVF-doxygen/html/html/Andersen_8h_source.html +10 -10
  11. package/SVF-doxygen/html/html/BasicTypes_8h_source.html +8 -8
  12. package/SVF-doxygen/html/html/CHG_8cpp_source.html +6 -6
  13. package/SVF-doxygen/html/html/CHG_8h_source.html +2 -2
  14. package/SVF-doxygen/html/html/CSC_8cpp_source.html +2 -2
  15. package/SVF-doxygen/html/html/CSC_8h_source.html +3 -3
  16. package/SVF-doxygen/html/html/CommonCHG_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +2 -2
  18. package/SVF-doxygen/html/html/Conditions_8cpp_source.html +2 -2
  19. package/SVF-doxygen/html/html/Conditions_8h_source.html +2 -2
  20. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +1 -1
  21. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +2 -2
  22. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  23. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +10 -10
  24. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +7 -7
  25. package/SVF-doxygen/html/html/CoreBitVector_8h.html +2 -0
  26. package/SVF-doxygen/html/html/CoreBitVector_8h_source.html +3 -1
  27. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +1 -1
  28. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +5 -5
  29. package/SVF-doxygen/html/html/DCHG_8h_source.html +3 -3
  30. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +5 -5
  31. package/SVF-doxygen/html/html/DDAClient_8h_source.html +3 -3
  32. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +11 -11
  33. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  34. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +5 -5
  35. package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +7 -7
  37. package/SVF-doxygen/html/html/DPItem_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/DataFlowUtil_8h_source.html +1 -1
  39. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +2 -2
  40. package/SVF-doxygen/html/html/ExternalPAG_8cpp_source.html +3 -3
  41. package/SVF-doxygen/html/html/ExternalPAG_8h_source.html +3 -3
  42. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +8 -8
  43. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +3 -3
  44. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +5 -5
  45. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +4 -4
  46. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +5 -5
  47. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8cpp_source.html +8 -8
  48. package/SVF-doxygen/html/html/FlowSensitiveTBHC_8h_source.html +3 -3
  49. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +14 -14
  50. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +5 -5
  51. package/SVF-doxygen/html/html/GenericGraph_8h_source.html +2 -2
  52. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +1 -1
  53. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +1 -1
  54. package/SVF-doxygen/html/html/ICFGStat_8h_source.html +1 -1
  55. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +4 -4
  56. package/SVF-doxygen/html/html/ICFG_8h_source.html +1 -1
  57. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +3 -3
  58. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +1 -1
  59. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +1 -1
  60. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +1 -1
  61. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +2 -2
  62. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +2 -2
  63. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +3 -3
  64. package/SVF-doxygen/html/html/LocationSet_8h_source.html +2 -2
  65. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +7 -7
  66. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +6 -6
  67. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -3
  68. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
  69. package/SVF-doxygen/html/html/MHP_8cpp_source.html +11 -11
  70. package/SVF-doxygen/html/html/MHP_8h_source.html +4 -4
  71. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +4 -4
  73. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +1 -1
  74. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +5 -5
  75. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +3 -3
  76. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +2 -2
  77. package/SVF-doxygen/html/html/MTAStat_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/MTA_8cpp_source.html +6 -6
  79. package/SVF-doxygen/html/html/MTA_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/MemModel_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  82. package/SVF-doxygen/html/html/MemPartition_8h_source.html +3 -3
  83. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +6 -6
  84. package/SVF-doxygen/html/html/MemRegion_8h_source.html +4 -4
  85. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +6 -6
  86. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  87. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +2 -2
  88. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +4 -4
  89. package/SVF-doxygen/html/html/NodeIDAllocator_8h_source.html +2 -2
  90. package/SVF-doxygen/html/html/OfflineConsG_8cpp_source.html +2 -2
  91. package/SVF-doxygen/html/html/OfflineConsG_8h_source.html +2 -2
  92. package/SVF-doxygen/html/html/Options_8cpp_source.html +97 -96
  93. package/SVF-doxygen/html/html/Options_8h_source.html +97 -96
  94. package/SVF-doxygen/html/html/PAGBuilder_8cpp_source.html +3 -3
  95. package/SVF-doxygen/html/html/PAGEdge_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/PAG_8cpp_source.html +7 -7
  97. package/SVF-doxygen/html/html/PAG_8h_source.html +5 -5
  98. package/SVF-doxygen/html/html/PCG_8cpp_source.html +3 -3
  99. package/SVF-doxygen/html/html/PCG_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  101. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +3 -3
  102. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +11 -10
  103. package/SVF-doxygen/html/html/PTAStat_8h_source.html +2 -2
  104. package/SVF-doxygen/html/html/PTAType_8h_source.html +4 -4
  105. package/SVF-doxygen/html/html/PathCondAllocator_8cpp_source.html +5 -5
  106. package/SVF-doxygen/html/html/PathCondAllocator_8h_source.html +3 -3
  107. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +27 -24
  108. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +3 -3
  109. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +21 -17
  110. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +72 -72
  111. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +18 -18
  112. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +5 -5
  113. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +3 -3
  114. package/SVF-doxygen/html/html/PointsTo_8h_source.html +2 -2
  115. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +4 -4
  116. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +2 -2
  117. package/SVF-doxygen/html/html/SCC_8h_source.html +3 -3
  118. package/SVF-doxygen/html/html/SVFBasicTypes_8h.html +33 -27
  119. package/SVF-doxygen/html/html/SVFBasicTypes_8h_source.html +52 -49
  120. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +6 -6
  121. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +2 -2
  122. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +3 -3
  123. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +7 -7
  124. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +3 -3
  125. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +4 -4
  126. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +3 -3
  127. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +3 -3
  128. package/SVF-doxygen/html/html/SVFG_8h_source.html +2 -2
  129. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +2 -2
  130. package/SVF-doxygen/html/html/SVFModule_8h_source.html +1 -1
  131. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +10 -9
  132. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +7 -7
  133. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  134. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +4 -4
  135. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +2 -2
  136. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +7 -7
  137. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +3 -3
  138. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +1 -1
  139. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  140. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +5 -5
  141. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +2 -2
  142. package/SVF-doxygen/html/html/TCT_8cpp_source.html +5 -5
  143. package/SVF-doxygen/html/html/TCT_8h_source.html +4 -4
  144. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +1 -1
  145. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +1 -1
  146. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  147. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +2 -2
  148. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  149. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +1 -1
  150. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8cpp_source.html +3 -3
  151. package/SVF-doxygen/html/html/TypeBasedHeapCloning_8h_source.html +2 -2
  152. package/SVF-doxygen/html/html/VFGNode_8h_source.html +2 -2
  153. package/SVF-doxygen/html/html/VFG_8cpp_source.html +4 -4
  154. package/SVF-doxygen/html/html/VFG_8h_source.html +3 -3
  155. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +10 -8
  156. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp.html +3 -0
  157. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +77 -64
  158. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h.html +3 -2
  159. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +78 -69
  160. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +2 -2
  161. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  162. package/SVF-doxygen/html/html/WPASolver_8h_source.html +2 -2
  163. package/SVF-doxygen/html/html/WorkList_8h_source.html +1 -1
  164. package/SVF-doxygen/html/html/annotated.html +189 -186
  165. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  166. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  167. package/SVF-doxygen/html/html/classSVF_1_1AddrPE.html +2 -2
  168. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +22 -22
  169. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +14 -14
  170. package/SVF-doxygen/html/html/classSVF_1_1AndersenLCD.html +3 -3
  171. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +9 -9
  172. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +2 -2
  173. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +6 -6
  174. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +3 -3
  175. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiffWithType.html +6 -6
  176. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +86 -83
  178. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPPE.html +2 -2
  179. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  180. package/SVF-doxygen/html/html/classSVF_1_1BranchCondManager.html +4 -4
  181. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +12 -12
  182. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +3 -3
  183. package/SVF-doxygen/html/html/classSVF_1_1CallBlockNode.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1CallPE.html +2 -2
  185. package/SVF-doxygen/html/html/classSVF_1_1CmpPE.html +2 -2
  186. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +116 -116
  188. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +22 -22
  189. package/SVF-doxygen/html/html/classSVF_1_1CopyPE.html +2 -2
  190. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  192. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +7 -7
  193. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +3 -3
  194. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +11 -11
  195. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +6 -6
  196. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +25 -25
  197. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +3 -3
  198. package/SVF-doxygen/html/html/classSVF_1_1ExternalPAG.html +4 -4
  199. package/SVF-doxygen/html/html/classSVF_1_1FIObjPN.html +2 -2
  200. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +13 -13
  201. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +48 -48
  202. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +5 -5
  203. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveTBHC.html +26 -26
  204. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +13 -13
  205. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  206. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  207. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  208. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  209. package/SVF-doxygen/html/html/classSVF_1_1FunEntryBlockNode.html +1 -1
  210. package/SVF-doxygen/html/html/classSVF_1_1FunExitBlockNode.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1GepObjPN.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1GepPE.html +2 -2
  214. package/SVF-doxygen/html/html/classSVF_1_1GepValPN.html +2 -2
  215. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  216. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  217. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  218. package/SVF-doxygen/html/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  219. package/SVF-doxygen/html/html/classSVF_1_1IntraBlockNode.html +2 -2
  220. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +3 -3
  221. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  222. package/SVF-doxygen/html/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  223. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +8 -8
  224. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +3 -3
  225. package/SVF-doxygen/html/html/classSVF_1_1LoadPE.html +2 -2
  226. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +3 -3
  227. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +33 -33
  228. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +4 -4
  229. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +29 -29
  230. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +22 -22
  231. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  232. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +8 -8
  233. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +9 -9
  234. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +12 -12
  235. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +18 -18
  236. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +5 -5
  237. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +1 -1
  238. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +17 -17
  239. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +2 -2
  240. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +1 -1
  241. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +8 -8
  242. package/SVF-doxygen/html/html/classSVF_1_1NormalGepPE.html +2 -2
  243. package/SVF-doxygen/html/html/classSVF_1_1ObjPN.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1OfflineConsG.html +2 -2
  245. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +3 -2
  246. package/SVF-doxygen/html/html/classSVF_1_1Options.html +125 -96
  247. package/SVF-doxygen/html/html/classSVF_1_1PAG.html +6 -6
  248. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilder.html +29 -29
  249. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +3 -3
  250. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +1 -1
  251. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +2 -2
  252. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +21 -20
  254. package/SVF-doxygen/html/html/classSVF_1_1PathCondAllocator.html +8 -8
  255. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +4 -4
  256. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +3 -3
  257. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +7 -7
  258. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +19 -16
  259. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +194 -101
  260. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +22 -22
  261. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +8 -7
  262. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +5 -5
  263. package/SVF-doxygen/html/html/classSVF_1_1RetBlockNode.html +2 -2
  264. package/SVF-doxygen/html/html/classSVF_1_1RetPE.html +2 -2
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +2 -2
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +8 -8
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +7 -7
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +8 -8
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +13 -13
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +7 -7
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobal.html +2 -2
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +2 -2
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +2 -2
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +33 -33
  275. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +4 -4
  276. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +12 -12
  277. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +1 -1
  278. package/SVF-doxygen/html/html/classSVF_1_1StorePE.html +2 -2
  279. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +17 -17
  280. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +16 -16
  281. package/SVF-doxygen/html/html/classSVF_1_1TDForkPE.html +2 -2
  282. package/SVF-doxygen/html/html/classSVF_1_1TDJoinPE.html +2 -2
  283. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +1 -1
  284. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  285. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +2 -2
  286. package/SVF-doxygen/html/html/classSVF_1_1TypeBasedHeapCloning.html +6 -6
  287. package/SVF-doxygen/html/html/classSVF_1_1TypeSystem.html +1 -1
  288. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPPE.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  290. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +3 -3
  291. package/SVF-doxygen/html/html/classSVF_1_1ValPN.html +2 -2
  292. package/SVF-doxygen/html/html/classSVF_1_1VariantGepPE.html +2 -2
  293. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +161 -162
  294. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +571 -532
  295. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +20 -21
  296. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC-members.html +83 -0
  297. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +297 -0
  298. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +2 -2
  299. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +2 -2
  300. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +12 -12
  301. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +1 -1
  303. package/SVF-doxygen/html/html/classes.html +96 -95
  304. package/SVF-doxygen/html/html/functions_b.html +11 -5
  305. package/SVF-doxygen/html/html/functions_c.html +13 -14
  306. package/SVF-doxygen/html/html/functions_d.html +13 -4
  307. package/SVF-doxygen/html/html/functions_e.html +3 -0
  308. package/SVF-doxygen/html/html/functions_f.html +1 -1
  309. package/SVF-doxygen/html/html/functions_func_b.html +6 -0
  310. package/SVF-doxygen/html/html/functions_func_d.html +7 -4
  311. package/SVF-doxygen/html/html/functions_func_f.html +1 -1
  312. package/SVF-doxygen/html/html/functions_func_g.html +15 -9
  313. package/SVF-doxygen/html/html/functions_func_i.html +11 -11
  314. package/SVF-doxygen/html/html/functions_func_m.html +0 -3
  315. package/SVF-doxygen/html/html/functions_func_n.html +1 -4
  316. package/SVF-doxygen/html/html/functions_func_o.html +6 -4
  317. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  318. package/SVF-doxygen/html/html/functions_func_r.html +4 -1
  319. package/SVF-doxygen/html/html/functions_func_s.html +1 -1
  320. package/SVF-doxygen/html/html/functions_func_v.html +2 -1
  321. package/SVF-doxygen/html/html/functions_g.html +15 -9
  322. package/SVF-doxygen/html/html/functions_i.html +26 -19
  323. package/SVF-doxygen/html/html/functions_l.html +6 -9
  324. package/SVF-doxygen/html/html/functions_m.html +1 -16
  325. package/SVF-doxygen/html/html/functions_n.html +3 -3
  326. package/SVF-doxygen/html/html/functions_o.html +17 -16
  327. package/SVF-doxygen/html/html/functions_p.html +26 -16
  328. package/SVF-doxygen/html/html/functions_r.html +9 -7
  329. package/SVF-doxygen/html/html/functions_s.html +10 -10
  330. package/SVF-doxygen/html/html/functions_t.html +5 -5
  331. package/SVF-doxygen/html/html/functions_type_l.html +1 -4
  332. package/SVF-doxygen/html/html/functions_type_m.html +1 -1
  333. package/SVF-doxygen/html/html/functions_type_n.html +3 -0
  334. package/SVF-doxygen/html/html/functions_type_o.html +0 -3
  335. package/SVF-doxygen/html/html/functions_type_v.html +0 -3
  336. package/SVF-doxygen/html/html/functions_v.html +8 -10
  337. package/SVF-doxygen/html/html/functions_vars_c.html +0 -3
  338. package/SVF-doxygen/html/html/functions_vars_d.html +6 -0
  339. package/SVF-doxygen/html/html/functions_vars_e.html +3 -0
  340. package/SVF-doxygen/html/html/functions_vars_i.html +7 -0
  341. package/SVF-doxygen/html/html/functions_vars_l.html +3 -3
  342. package/SVF-doxygen/html/html/functions_vars_m.html +0 -12
  343. package/SVF-doxygen/html/html/functions_vars_o.html +3 -3
  344. package/SVF-doxygen/html/html/functions_vars_p.html +12 -0
  345. package/SVF-doxygen/html/html/functions_vars_r.html +0 -3
  346. package/SVF-doxygen/html/html/functions_vars_v.html +3 -3
  347. package/SVF-doxygen/html/html/functions_vars_y.html +0 -3
  348. package/SVF-doxygen/html/html/functions_w.html +1 -3
  349. package/SVF-doxygen/html/html/functions_y.html +0 -3
  350. package/SVF-doxygen/html/html/globals_f.html +3 -3
  351. package/SVF-doxygen/html/html/globals_func_i.html +8 -8
  352. package/SVF-doxygen/html/html/globals_func_s.html +6 -6
  353. package/SVF-doxygen/html/html/globals_r.html +3 -3
  354. package/SVF-doxygen/html/html/globals_s.html +12 -14
  355. package/SVF-doxygen/html/html/hierarchy.html +176 -173
  356. package/SVF-doxygen/html/html/namespaceSVF.html +70 -32
  357. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +13 -12
  358. package/SVF-doxygen/html/html/namespacemembers_type_v.html +6 -0
  359. package/SVF-doxygen/html/html/namespacemembers_v.html +6 -0
  360. package/SVF-doxygen/html/html/search/all_10.js +11 -7
  361. package/SVF-doxygen/html/html/search/all_12.js +4 -4
  362. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  363. package/SVF-doxygen/html/html/search/all_14.js +5 -5
  364. package/SVF-doxygen/html/html/search/all_15.js +1 -1
  365. package/SVF-doxygen/html/html/search/all_16.js +5 -4
  366. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  367. package/SVF-doxygen/html/html/search/all_19.js +0 -1
  368. package/SVF-doxygen/html/html/search/all_2.js +2 -0
  369. package/SVF-doxygen/html/html/search/all_3.js +1 -2
  370. package/SVF-doxygen/html/html/search/all_4.js +5 -2
  371. package/SVF-doxygen/html/html/search/all_5.js +1 -0
  372. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  373. package/SVF-doxygen/html/html/search/all_7.js +5 -3
  374. package/SVF-doxygen/html/html/search/all_8.js +2 -0
  375. package/SVF-doxygen/html/html/search/all_9.js +7 -5
  376. package/SVF-doxygen/html/html/search/all_c.js +2 -3
  377. package/SVF-doxygen/html/html/search/all_d.js +1 -6
  378. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  379. package/SVF-doxygen/html/html/search/all_f.js +2 -3
  380. package/SVF-doxygen/html/html/search/classes_12.js +0 -1
  381. package/SVF-doxygen/html/html/search/classes_7.js +2 -0
  382. package/SVF-doxygen/html/html/search/classes_b.js +1 -0
  383. package/SVF-doxygen/html/html/search/classes_f.js +1 -0
  384. package/SVF-doxygen/html/html/search/functions_1.js +2 -0
  385. package/SVF-doxygen/html/html/search/functions_10.js +2 -2
  386. package/SVF-doxygen/html/html/search/functions_13.js +1 -1
  387. package/SVF-doxygen/html/html/search/functions_3.js +3 -2
  388. package/SVF-doxygen/html/html/search/functions_5.js +1 -1
  389. package/SVF-doxygen/html/html/search/functions_6.js +5 -3
  390. package/SVF-doxygen/html/html/search/functions_8.js +3 -3
  391. package/SVF-doxygen/html/html/search/functions_b.js +0 -1
  392. package/SVF-doxygen/html/html/search/functions_c.js +0 -1
  393. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  394. package/SVF-doxygen/html/html/search/functions_e.js +1 -1
  395. package/SVF-doxygen/html/html/search/functions_f.js +1 -0
  396. package/SVF-doxygen/html/html/search/typedefs_14.js +2 -1
  397. package/SVF-doxygen/html/html/search/typedefs_b.js +1 -2
  398. package/SVF-doxygen/html/html/search/typedefs_c.js +1 -1
  399. package/SVF-doxygen/html/html/search/typedefs_d.js +1 -0
  400. package/SVF-doxygen/html/html/search/typedefs_e.js +0 -1
  401. package/SVF-doxygen/html/html/search/variables_10.js +4 -0
  402. package/SVF-doxygen/html/html/search/variables_12.js +0 -1
  403. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  404. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  405. package/SVF-doxygen/html/html/search/variables_16.js +1 -1
  406. package/SVF-doxygen/html/html/search/variables_19.js +0 -1
  407. package/SVF-doxygen/html/html/search/variables_3.js +0 -1
  408. package/SVF-doxygen/html/html/search/variables_4.js +2 -0
  409. package/SVF-doxygen/html/html/search/variables_5.js +1 -0
  410. package/SVF-doxygen/html/html/search/variables_9.js +3 -1
  411. package/SVF-doxygen/html/html/search/variables_c.js +1 -1
  412. package/SVF-doxygen/html/html/search/variables_d.js +0 -4
  413. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  414. package/SVF-doxygen/html/html/search/variables_f.js +1 -1
  415. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01CoreBitVector_01_4-members.html +81 -0
  416. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01CoreBitVector_01_4.html +126 -0
  417. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +3 -3
  418. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData-members.html +83 -0
  419. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +145 -0
  420. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  421. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +1 -1
  422. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +3 -3
  423. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html +3 -3
  424. package/SVF-doxygen/html/html/structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html +3 -3
  425. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4-members.html +81 -0
  426. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +129 -0
  427. package/SVF-doxygen/html/html/svf-ex_8cpp.html +2 -2
  428. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  429. package/SVF-doxygen/html/html/tools_2DDA_2CMakeLists_8txt.html +1 -1
  430. package/SVF-doxygen/html/html/tools_2Example_2CMakeLists_8txt.html +1 -1
  431. package/SVF-doxygen/html/html/tools_2MTA_2CMakeLists_8txt.html +1 -1
  432. package/SVF-doxygen/html/html/tools_2SABER_2CMakeLists_8txt.html +1 -1
  433. package/SVF-doxygen/html/html/tools_2WPA_2CMakeLists_8txt.html +9 -9
  434. package/include/MemoryModel/PersistentPointsToCache.h +43 -34
  435. package/include/MemoryModel/PointerAnalysisImpl.h +1 -5
  436. package/include/Util/CoreBitVector.h +8 -0
  437. package/include/Util/Options.h +3 -0
  438. package/include/Util/SVFBasicTypes.h +22 -2
  439. package/include/WPA/VersionedFlowSensitive.h +96 -65
  440. package/lib/MemoryModel/PointerAnalysisImpl.cpp +7 -0
  441. package/lib/MemoryModel/PointsTo.cpp +3 -3
  442. package/lib/Util/Options.cpp +6 -0
  443. package/lib/Util/PTAStat.cpp +3 -4
  444. package/lib/Util/SVFUtil.cpp +1 -0
  445. package/lib/WPA/FlowSensitive.cpp +1 -1
  446. package/lib/WPA/VersionedFlowSensitive.cpp +503 -229
  447. package/lib/WPA/VersionedFlowSensitiveStat.cpp +23 -38
  448. package/package.json +1 -1
  449. package/tools/WPA/CMakeLists.txt +3 -1
package/SVF-doxygen/html/html/annotated.html CHANGED
@@ -63,7 +63,7 @@ $(function() {
63
63
  </div><!--header-->
64
64
  <div class="contents">
65
65
  <div class="textblock">Here are the classes, structs, unions and interfaces with brief descriptions:</div><div class="directory">
66
- <div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span>]</div><table class="directory">
66
+ <div class="levels">[detail level <span onclick="javascript:toggleLevel(1);">1</span><span onclick="javascript:toggleLevel(2);">2</span><span onclick="javascript:toggleLevel(3);">3</span><span onclick="javascript:toggleLevel(4);">4</span>]</div><table class="directory">
67
67
  <tr id="row_0_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_0_" class="arrow" onclick="toggleFolder('0_')">&#9658;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespacellvm.html" target="_self">llvm</a></td><td class="desc"></td></tr>
68
68
  <tr id="row_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html" target="_self">DOTGraphTraits&lt; CHGraph * &gt;</a></td><td class="desc"></td></tr>
69
69
  <tr id="row_0_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html" target="_self">DOTGraphTraits&lt; ConstraintGraph * &gt;</a></td><td class="desc"></td></tr>
@@ -109,23 +109,24 @@ $(function() {
109
109
  <tr id="row_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc">Specialise hash for CondVar </td></tr>
110
110
  <tr id="row_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html" target="_self">hash&lt; const SVF::ContextCond &gt;</a></td><td class="desc">Specialise hash for ContextCond </td></tr>
111
111
  <tr id="row_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html" target="_self">hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a></td><td class="desc">Specialise hash for SparseBitVectors </td></tr>
112
- <tr id="row_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html" target="_self">hash&lt; SVF::CallSite &gt;</a></td><td class="desc">Specialise hash for CallSites </td></tr>
113
- <tr id="row_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html" target="_self">hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a></td><td class="desc"></td></tr>
114
- <tr id="row_1_5_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc"></td></tr>
115
- <tr id="row_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html" target="_self">hash&lt; SVF::ContextCond &gt;</a></td><td class="desc"></td></tr>
116
- <tr id="row_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html" target="_self">hash&lt; SVF::CxtDPItem &gt;</a></td><td class="desc">Specialise hash for CxtDPItem </td></tr>
117
- <tr id="row_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html" target="_self">hash&lt; SVF::CxtProc &gt;</a></td><td class="desc"></td></tr>
118
- <tr id="row_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html" target="_self">hash&lt; SVF::CxtStmt &gt;</a></td><td class="desc"></td></tr>
119
- <tr id="row_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for CxtStmtDPItem </td></tr>
120
- <tr id="row_1_11_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html" target="_self">hash&lt; SVF::CxtThread &gt;</a></td><td class="desc"></td></tr>
121
- <tr id="row_1_12_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html" target="_self">hash&lt; SVF::CxtThreadProc &gt;</a></td><td class="desc"></td></tr>
122
- <tr id="row_1_13_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html" target="_self">hash&lt; SVF::CxtThreadStmt &gt;</a></td><td class="desc"></td></tr>
123
- <tr id="row_1_14_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html" target="_self">hash&lt; SVF::LocationSet &gt;</a></td><td class="desc"></td></tr>
124
- <tr id="row_1_15_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html" target="_self">hash&lt; SVF::NodePair &gt;</a></td><td class="desc"></td></tr>
125
- <tr id="row_1_16_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html" target="_self">hash&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
126
- <tr id="row_1_17_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html" target="_self">hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a></td><td class="desc">Specialise hash for SmallVectors </td></tr>
127
- <tr id="row_1_18_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for StmtDPItem </td></tr>
128
- <tr id="row_1_19_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html" target="_self">hash&lt; SVF::SVFGNodeLockSpan &gt;</a></td><td class="desc"></td></tr>
112
+ <tr id="row_1_3_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html" target="_self">hash&lt; std::vector&lt; T &gt; &gt;</a></td><td class="desc"></td></tr>
113
+ <tr id="row_1_4_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html" target="_self">hash&lt; SVF::CallSite &gt;</a></td><td class="desc">Specialise hash for CallSites </td></tr>
114
+ <tr id="row_1_5_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html" target="_self">hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a></td><td class="desc"></td></tr>
115
+ <tr id="row_1_6_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc"></td></tr>
116
+ <tr id="row_1_7_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html" target="_self">hash&lt; SVF::ContextCond &gt;</a></td><td class="desc"></td></tr>
117
+ <tr id="row_1_8_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html" target="_self">hash&lt; SVF::CxtDPItem &gt;</a></td><td class="desc">Specialise hash for CxtDPItem </td></tr>
118
+ <tr id="row_1_9_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html" target="_self">hash&lt; SVF::CxtProc &gt;</a></td><td class="desc"></td></tr>
119
+ <tr id="row_1_10_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html" target="_self">hash&lt; SVF::CxtStmt &gt;</a></td><td class="desc"></td></tr>
120
+ <tr id="row_1_11_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for CxtStmtDPItem </td></tr>
121
+ <tr id="row_1_12_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html" target="_self">hash&lt; SVF::CxtThread &gt;</a></td><td class="desc"></td></tr>
122
+ <tr id="row_1_13_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html" target="_self">hash&lt; SVF::CxtThreadProc &gt;</a></td><td class="desc"></td></tr>
123
+ <tr id="row_1_14_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html" target="_self">hash&lt; SVF::CxtThreadStmt &gt;</a></td><td class="desc"></td></tr>
124
+ <tr id="row_1_15_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html" target="_self">hash&lt; SVF::LocationSet &gt;</a></td><td class="desc"></td></tr>
125
+ <tr id="row_1_16_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html" target="_self">hash&lt; SVF::NodePair &gt;</a></td><td class="desc"></td></tr>
126
+ <tr id="row_1_17_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html" target="_self">hash&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
127
+ <tr id="row_1_18_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html" target="_self">hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a></td><td class="desc">Specialise hash for SmallVectors </td></tr>
128
+ <tr id="row_1_19_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for StmtDPItem </td></tr>
129
+ <tr id="row_1_20_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html" target="_self">hash&lt; SVF::SVFGNodeLockSpan &gt;</a></td><td class="desc"></td></tr>
129
130
  <tr id="row_2_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_2_" class="arrow" onclick="toggleFolder('2_')">&#9658;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF.html" target="_self">SVF</a></td><td class="desc">For isBitcode </td></tr>
130
131
  <tr id="row_2_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_0_" class="arrow" onclick="toggleFolder('2_0_')">&#9658;</span><span class="icona"><span class="icon">N</span></span><a class="el" href="namespaceSVF_1_1cppUtil.html" target="_self">cppUtil</a></td><td class="desc"></td></tr>
131
132
  <tr id="row_2_0_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_1cppUtil_1_1DemangledName.html" target="_self">DemangledName</a></td><td class="desc"></td></tr>
@@ -277,174 +278,176 @@ $(function() {
277
278
  <tr id="row_2_116_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1GlobalBlockNode.html" target="_self">GlobalBlockNode</a></td><td class="desc"></td></tr>
278
279
  <tr id="row_2_117_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1HareParForEdge.html" target="_self">HareParForEdge</a></td><td class="desc"></td></tr>
279
280
  <tr id="row_2_118_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash.html" target="_self">Hash</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
280
- <tr id="row_2_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
281
- <tr id="row_2_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="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>
282
- <tr id="row_2_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
283
- <tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
284
- <tr id="row_2_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
285
- <tr id="row_2_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
286
- <tr id="row_2_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGPrinter.html" target="_self">ICFGPrinter</a></td><td class="desc"></td></tr>
287
- <tr id="row_2_126_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
288
- <tr id="row_2_127_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
289
- <tr id="row_2_128_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterBlockNode.html" target="_self">InterBlockNode</a></td><td class="desc"></td></tr>
290
- <tr id="row_2_129_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
291
- <tr id="row_2_130_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
292
- <tr id="row_2_131_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
293
- <tr id="row_2_132_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraBlockNode.html" target="_self">IntraBlockNode</a></td><td class="desc"></td></tr>
294
- <tr id="row_2_133_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
295
- <tr id="row_2_134_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
296
- <tr id="row_2_135_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
297
- <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_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
298
- <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_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
299
- <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_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
300
- <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_1IRAnnotator.html" target="_self">IRAnnotator</a></td><td class="desc"></td></tr>
301
- <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_1IteratedDominanceFrontier.html" target="_self">IteratedDominanceFrontier</a></td><td class="desc"></td></tr>
302
- <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_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
303
- <tr id="row_2_142_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_142_" class="arrow" onclick="toggleFolder('2_142_')">&#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>
304
- <tr id="row_2_142_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>
305
- <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_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
306
- <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_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
307
- <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_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
308
- <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_1LoadPE.html" target="_self">LoadPE</a></td><td class="desc"></td></tr>
309
- <tr id="row_2_147_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
310
- <tr id="row_2_148_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocationSet.html" target="_self">LocationSet</a></td><td class="desc"></td></tr>
311
- <tr id="row_2_149_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
312
- <tr id="row_2_150_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
313
- <tr id="row_2_151_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocObjTypeInfo.html" target="_self">LocObjTypeInfo</a></td><td class="desc"></td></tr>
314
- <tr id="row_2_152_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocSymTableInfo.html" target="_self">LocSymTableInfo</a></td><td class="desc"></td></tr>
315
- <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="classSVF_1_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
316
- <tr id="row_2_154_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_154_" class="arrow" onclick="toggleFolder('2_154_')">&#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>
317
- <tr id="row_2_154_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>
318
- <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="classSVF_1_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
319
- <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="classSVF_1_1MemSSADF.html" target="_self">MemSSADF</a></td><td class="desc"></td></tr>
320
- <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="classSVF_1_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
321
- <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="classSVF_1_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
322
- <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="classSVF_1_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
323
- <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="classSVF_1_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
324
- <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="classSVF_1_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
325
- <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="classSVF_1_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
326
- <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="classSVF_1_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
327
- <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="classSVF_1_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
328
- <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="classSVF_1_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
329
- <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="classSVF_1_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
330
- <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="classSVF_1_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
331
- <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="classSVF_1_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
332
- <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="classSVF_1_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
333
- <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="classSVF_1_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
334
- <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="classSVF_1_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
335
- <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="classSVF_1_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
336
- <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="classSVF_1_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
337
- <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="classSVF_1_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
338
- <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="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>
339
- <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="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>
340
- <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="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>
341
- <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="classSVF_1_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
342
- <tr id="row_2_179_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_179_" class="arrow" onclick="toggleFolder('2_179_')">&#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>
343
- <tr id="row_2_179_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>
344
- <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="classSVF_1_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
345
- <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="classSVF_1_1NormalGepPE.html" target="_self">NormalGepPE</a></td><td class="desc"></td></tr>
346
- <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_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
347
- <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_1ObjPN.html" target="_self">ObjPN</a></td><td class="desc"></td></tr>
348
- <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_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
349
- <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_1OfflineConsG.html" target="_self">OfflineConsG</a></td><td class="desc"></td></tr>
350
- <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_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
351
- <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_1PAG.html" target="_self">PAG</a></td><td class="desc"></td></tr>
352
- <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_1PAGBuilder.html" target="_self">PAGBuilder</a></td><td class="desc"></td></tr>
353
- <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_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
354
- <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_1PAGEdge.html" target="_self">PAGEdge</a></td><td class="desc"></td></tr>
355
- <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_1PAGNode.html" target="_self">PAGNode</a></td><td class="desc"></td></tr>
356
- <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_1PathCondAllocator.html" target="_self">PathCondAllocator</a></td><td class="desc"></td></tr>
357
- <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_1PathStmtDPItem.html" target="_self">PathStmtDPItem</a></td><td class="desc"></td></tr>
358
- <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_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
359
- <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_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>
360
- <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_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>
361
- <tr id="row_2_197_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
362
- <tr id="row_2_198_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
363
- <tr id="row_2_199_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_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>
364
- <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_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
365
- <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_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
366
- <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_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
367
- <tr id="row_2_203_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_203_" class="arrow" onclick="toggleFolder('2_203_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo.html" target="_self">PointsTo</a></td><td class="desc"></td></tr>
368
- <tr id="row_2_203_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">PointsToIterator</a></td><td class="desc"></td></tr>
369
- <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_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
370
- <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_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
371
- <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_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
372
- <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_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
373
- <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_1PTACFInfoBuilder.html" target="_self">PTACFInfoBuilder</a></td><td class="desc"></td></tr>
374
- <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_1PTASCEV.html" target="_self">PTASCEV</a></td><td class="desc"></td></tr>
375
- <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_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
376
- <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_1PTAType.html" target="_self">PTAType</a></td><td class="desc"></td></tr>
377
- <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_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
378
- <tr id="row_2_213_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_213_" class="arrow" onclick="toggleFolder('2_213_')">&#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>
379
- <tr id="row_2_213_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>
380
- <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_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
381
- <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_1RetBlockNode.html" target="_self">RetBlockNode</a></td><td class="desc"></td></tr>
382
- <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_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
383
- <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_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
384
- <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_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
385
- <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_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
386
- <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_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
387
- <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_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
388
- <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_1SaberAnnotator.html" target="_self">SaberAnnotator</a></td><td class="desc"></td></tr>
389
- <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_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
390
- <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_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
391
- <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_1SCCDetection.html" target="_self">SCCDetection</a></td><td class="desc"></td></tr>
392
- <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_1SCCDetection_1_1GNodeSCCInfo.html" target="_self">GNodeSCCInfo</a></td><td class="desc"></td></tr>
393
- <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_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
394
- <tr id="row_2_227_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
395
- <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_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
396
- <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_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
397
- <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_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
398
- <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_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
399
- <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_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
400
- <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_1StorePE.html" target="_self">StorePE</a></td><td class="desc"></td></tr>
401
- <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_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
402
- <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_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
403
- <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_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
404
- <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_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
405
- <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_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
406
- <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_1SVFGlobal.html" target="_self">SVFGlobal</a></td><td class="desc"></td></tr>
407
- <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_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
408
- <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_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
409
- <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_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
410
- <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_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
411
- <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_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
412
- <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_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
413
- <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_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
414
- <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_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
415
- <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_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
416
- <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_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
417
- <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_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
418
- <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_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
419
- <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_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
420
- <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_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
421
- <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_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
422
- <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_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
423
- <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_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
424
- <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_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
425
- <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_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
426
- <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_1TypeBasedHeapCloning.html" target="_self">TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
427
- <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_1TypeSet.html" target="_self">TypeSet</a></td><td class="desc"></td></tr>
428
- <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_1TypeSystem.html" target="_self">TypeSystem</a></td><td class="desc"></td></tr>
429
- <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_1UnaryOPPE.html" target="_self">UnaryOPPE</a></td><td class="desc"></td></tr>
430
- <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_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
431
- <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_1ValPN.html" target="_self">ValPN</a></td><td class="desc"></td></tr>
432
- <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_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
433
- <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_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
434
- <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_1VariantGepPE.html" target="_self">VariantGepPE</a></td><td class="desc"></td></tr>
435
- <tr id="row_2_268_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_268_" class="arrow" onclick="toggleFolder('2_268_')">&#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>
436
- <tr id="row_2_268_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_1VersionedFlowSensitive_1_1VersionCache.html" target="_self">VersionCache</a></td><td class="desc">For caching the first step in LocVersionMaps </td></tr>
437
- <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_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
438
- <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_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
439
- <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_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
440
- <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_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
441
- <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_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
442
- <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_1VFPathCond.html" target="_self">VFPathCond</a></td><td class="desc"></td></tr>
443
- <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_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
444
- <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_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
445
- <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_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
446
- <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_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
447
- <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_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
281
+ <tr id="row_2_119_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
282
+ <tr id="row_2_120_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
283
+ <tr id="row_2_121_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="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>
284
+ <tr id="row_2_122_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFG.html" target="_self">ICFG</a></td><td class="desc"></td></tr>
285
+ <tr id="row_2_123_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGBuilder.html" target="_self">ICFGBuilder</a></td><td class="desc"></td></tr>
286
+ <tr id="row_2_124_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGEdge.html" target="_self">ICFGEdge</a></td><td class="desc"></td></tr>
287
+ <tr id="row_2_125_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGNode.html" target="_self">ICFGNode</a></td><td class="desc"></td></tr>
288
+ <tr id="row_2_126_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGPrinter.html" target="_self">ICFGPrinter</a></td><td class="desc"></td></tr>
289
+ <tr id="row_2_127_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ICFGStat.html" target="_self">ICFGStat</a></td><td class="desc"></td></tr>
290
+ <tr id="row_2_128_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IndirectSVFGEdge.html" target="_self">IndirectSVFGEdge</a></td><td class="desc"></td></tr>
291
+ <tr id="row_2_129_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterBlockNode.html" target="_self">InterBlockNode</a></td><td class="desc"></td></tr>
292
+ <tr id="row_2_130_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterDisjointMRG.html" target="_self">InterDisjointMRG</a></td><td class="desc"></td></tr>
293
+ <tr id="row_2_131_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterMSSAPHISVFGNode.html" target="_self">InterMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
294
+ <tr id="row_2_132_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1InterPHIVFGNode.html" target="_self">InterPHIVFGNode</a></td><td class="desc"></td></tr>
295
+ <tr id="row_2_133_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraBlockNode.html" target="_self">IntraBlockNode</a></td><td class="desc"></td></tr>
296
+ <tr id="row_2_134_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraCFGEdge.html" target="_self">IntraCFGEdge</a></td><td class="desc"></td></tr>
297
+ <tr id="row_2_135_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDirSVFGEdge.html" target="_self">IntraDirSVFGEdge</a></td><td class="desc"></td></tr>
298
+ <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_1IntraDisjointMRG.html" target="_self">IntraDisjointMRG</a></td><td class="desc"></td></tr>
299
+ <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_1IntraIndSVFGEdge.html" target="_self">IntraIndSVFGEdge</a></td><td class="desc"></td></tr>
300
+ <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_1IntraMSSAPHISVFGNode.html" target="_self">IntraMSSAPHISVFGNode</a></td><td class="desc"></td></tr>
301
+ <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_1IntraPHIVFGNode.html" target="_self">IntraPHIVFGNode</a></td><td class="desc"></td></tr>
302
+ <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_1IRAnnotator.html" target="_self">IRAnnotator</a></td><td class="desc"></td></tr>
303
+ <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_1IteratedDominanceFrontier.html" target="_self">IteratedDominanceFrontier</a></td><td class="desc"></td></tr>
304
+ <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_1LeakChecker.html" target="_self">LeakChecker</a></td><td class="desc"></td></tr>
305
+ <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_1List.html" target="_self">List</a></td><td class="desc"></td></tr>
306
+ <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="classSVF_1_1List_1_1ListNode.html" target="_self">ListNode</a></td><td class="desc"></td></tr>
307
+ <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_1LLVMModuleSet.html" target="_self">LLVMModuleSet</a></td><td class="desc"></td></tr>
308
+ <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_1LoadCGEdge.html" target="_self">LoadCGEdge</a></td><td class="desc"></td></tr>
309
+ <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_1LoadMU.html" target="_self">LoadMU</a></td><td class="desc"></td></tr>
310
+ <tr id="row_2_147_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadPE.html" target="_self">LoadPE</a></td><td class="desc"></td></tr>
311
+ <tr id="row_2_148_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LoadVFGNode.html" target="_self">LoadVFGNode</a></td><td class="desc"></td></tr>
312
+ <tr id="row_2_149_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocationSet.html" target="_self">LocationSet</a></td><td class="desc"></td></tr>
313
+ <tr id="row_2_150_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockAnalysis.html" target="_self">LockAnalysis</a></td><td class="desc"></td></tr>
314
+ <tr id="row_2_151_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LockResultValidator.html" target="_self">LockResultValidator</a></td><td class="desc"></td></tr>
315
+ <tr id="row_2_152_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1LocObjTypeInfo.html" target="_self">LocObjTypeInfo</a></td><td class="desc"></td></tr>
316
+ <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="classSVF_1_1LocSymTableInfo.html" target="_self">LocSymTableInfo</a></td><td class="desc"></td></tr>
317
+ <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="classSVF_1_1MemObj.html" target="_self">MemObj</a></td><td class="desc"></td></tr>
318
+ <tr id="row_2_155_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_155_" class="arrow" onclick="toggleFolder('2_155_')">&#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>
319
+ <tr id="row_2_155_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>
320
+ <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="classSVF_1_1MemSSA.html" target="_self">MemSSA</a></td><td class="desc"></td></tr>
321
+ <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="classSVF_1_1MemSSADF.html" target="_self">MemSSADF</a></td><td class="desc"></td></tr>
322
+ <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="classSVF_1_1MemSSAStat.html" target="_self">MemSSAStat</a></td><td class="desc"></td></tr>
323
+ <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="classSVF_1_1MergeFunctionRets.html" target="_self">MergeFunctionRets</a></td><td class="desc"></td></tr>
324
+ <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="classSVF_1_1MHP.html" target="_self">MHP</a></td><td class="desc"></td></tr>
325
+ <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="classSVF_1_1MHPValidator.html" target="_self">MHPValidator</a></td><td class="desc"></td></tr>
326
+ <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="classSVF_1_1MRGenerator.html" target="_self">MRGenerator</a></td><td class="desc"></td></tr>
327
+ <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="classSVF_1_1MRSVFGNode.html" target="_self">MRSVFGNode</a></td><td class="desc"></td></tr>
328
+ <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="classSVF_1_1MRVer.html" target="_self">MRVer</a></td><td class="desc"></td></tr>
329
+ <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="classSVF_1_1MSSACHI.html" target="_self">MSSACHI</a></td><td class="desc"></td></tr>
330
+ <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="classSVF_1_1MSSADEF.html" target="_self">MSSADEF</a></td><td class="desc"></td></tr>
331
+ <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="classSVF_1_1MSSAMU.html" target="_self">MSSAMU</a></td><td class="desc"></td></tr>
332
+ <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="classSVF_1_1MSSAPHI.html" target="_self">MSSAPHI</a></td><td class="desc"></td></tr>
333
+ <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="classSVF_1_1MSSAPHISVFGNode.html" target="_self">MSSAPHISVFGNode</a></td><td class="desc"></td></tr>
334
+ <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="classSVF_1_1MTA.html" target="_self">MTA</a></td><td class="desc"></td></tr>
335
+ <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="classSVF_1_1MTAAnnotator.html" target="_self">MTAAnnotator</a></td><td class="desc"></td></tr>
336
+ <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="classSVF_1_1MTAResultValidator.html" target="_self">MTAResultValidator</a></td><td class="desc"></td></tr>
337
+ <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="classSVF_1_1MTAStat.html" target="_self">MTAStat</a></td><td class="desc"></td></tr>
338
+ <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="classSVF_1_1MTASVFGBuilder.html" target="_self">MTASVFGBuilder</a></td><td class="desc"></td></tr>
339
+ <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="classSVF_1_1MutableDFPTData.html" target="_self">MutableDFPTData</a></td><td class="desc"></td></tr>
340
+ <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="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>
341
+ <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="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>
342
+ <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="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>
343
+ <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="classSVF_1_1MutableVersionedPTData.html" target="_self">MutableVersionedPTData</a></td><td class="desc"></td></tr>
344
+ <tr id="row_2_180_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_180_" class="arrow" onclick="toggleFolder('2_180_')">&#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>
345
+ <tr id="row_2_180_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>
346
+ <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="classSVF_1_1NormalGepCGEdge.html" target="_self">NormalGepCGEdge</a></td><td class="desc"></td></tr>
347
+ <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_1NormalGepPE.html" target="_self">NormalGepPE</a></td><td class="desc"></td></tr>
348
+ <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_1NullPtrVFGNode.html" target="_self">NullPtrVFGNode</a></td><td class="desc"></td></tr>
349
+ <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_1ObjPN.html" target="_self">ObjPN</a></td><td class="desc"></td></tr>
350
+ <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_1ObjTypeInfo.html" target="_self">ObjTypeInfo</a></td><td class="desc"></td></tr>
351
+ <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_1OfflineConsG.html" target="_self">OfflineConsG</a></td><td class="desc"></td></tr>
352
+ <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_1Options.html" target="_self">Options</a></td><td class="desc">Carries around command line options </td></tr>
353
+ <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_1PAG.html" target="_self">PAG</a></td><td class="desc"></td></tr>
354
+ <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_1PAGBuilder.html" target="_self">PAGBuilder</a></td><td class="desc"></td></tr>
355
+ <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_1PAGBuilderFromFile.html" target="_self">PAGBuilderFromFile</a></td><td class="desc"></td></tr>
356
+ <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_1PAGEdge.html" target="_self">PAGEdge</a></td><td class="desc"></td></tr>
357
+ <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_1PAGNode.html" target="_self">PAGNode</a></td><td class="desc"></td></tr>
358
+ <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_1PathCondAllocator.html" target="_self">PathCondAllocator</a></td><td class="desc"></td></tr>
359
+ <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_1PathStmtDPItem.html" target="_self">PathStmtDPItem</a></td><td class="desc"></td></tr>
360
+ <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_1PCG.html" target="_self">PCG</a></td><td class="desc"></td></tr>
361
+ <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_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>
362
+ <tr id="row_2_197_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_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>
363
+ <tr id="row_2_198_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentIncDFPTData.html" target="_self">PersistentIncDFPTData</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
364
+ <tr id="row_2_199_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentPointsToCache.html" target="_self">PersistentPointsToCache</a></td><td class="desc"></td></tr>
365
+ <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_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>
366
+ <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_1PersistentVersionedPTData.html" target="_self">PersistentVersionedPTData</a></td><td class="desc"></td></tr>
367
+ <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_1PHIVFGNode.html" target="_self">PHIVFGNode</a></td><td class="desc"></td></tr>
368
+ <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_1PointerAnalysis.html" target="_self">PointerAnalysis</a></td><td class="desc"></td></tr>
369
+ <tr id="row_2_204_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_204_" class="arrow" onclick="toggleFolder('2_204_')">&#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>
370
+ <tr id="row_2_204_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>
371
+ <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_1ProgSlice.html" target="_self">ProgSlice</a></td><td class="desc"></td></tr>
372
+ <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_1PTACallGraph.html" target="_self">PTACallGraph</a></td><td class="desc"></td></tr>
373
+ <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_1PTACallGraphEdge.html" target="_self">PTACallGraphEdge</a></td><td class="desc"></td></tr>
374
+ <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_1PTACallGraphNode.html" target="_self">PTACallGraphNode</a></td><td class="desc"></td></tr>
375
+ <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_1PTACFInfoBuilder.html" target="_self">PTACFInfoBuilder</a></td><td class="desc"></td></tr>
376
+ <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_1PTASCEV.html" target="_self">PTASCEV</a></td><td class="desc"></td></tr>
377
+ <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_1PTAStat.html" target="_self">PTAStat</a></td><td class="desc"></td></tr>
378
+ <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_1PTAType.html" target="_self">PTAType</a></td><td class="desc"></td></tr>
379
+ <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_1PTData.html" target="_self">PTData</a></td><td class="desc"></td></tr>
380
+ <tr id="row_2_214_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_214_" class="arrow" onclick="toggleFolder('2_214_')">&#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>
381
+ <tr id="row_2_214_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>
382
+ <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_1RaceValidator.html" target="_self">RaceValidator</a></td><td class="desc"></td></tr>
383
+ <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_1RetBlockNode.html" target="_self">RetBlockNode</a></td><td class="desc"></td></tr>
384
+ <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_1RetCFGEdge.html" target="_self">RetCFGEdge</a></td><td class="desc"></td></tr>
385
+ <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_1RetDirSVFGEdge.html" target="_self">RetDirSVFGEdge</a></td><td class="desc"></td></tr>
386
+ <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_1RetIndSVFGEdge.html" target="_self">RetIndSVFGEdge</a></td><td class="desc"></td></tr>
387
+ <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_1RetMU.html" target="_self">RetMU</a></td><td class="desc"></td></tr>
388
+ <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_1RetPE.html" target="_self">RetPE</a></td><td class="desc"></td></tr>
389
+ <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_1RetPN.html" target="_self">RetPN</a></td><td class="desc"></td></tr>
390
+ <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_1SaberAnnotator.html" target="_self">SaberAnnotator</a></td><td class="desc"></td></tr>
391
+ <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_1SaberCheckerAPI.html" target="_self">SaberCheckerAPI</a></td><td class="desc"></td></tr>
392
+ <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_1SaberSVFGBuilder.html" target="_self">SaberSVFGBuilder</a></td><td class="desc"></td></tr>
393
+ <tr id="row_2_226_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_226_" class="arrow" onclick="toggleFolder('2_226_')">&#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>
394
+ <tr id="row_2_226_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>
395
+ <tr id="row_2_227_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SrcSnkDDA.html" target="_self">SrcSnkDDA</a></td><td class="desc"></td></tr>
396
+ <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_1Steensgaard.html" target="_self">Steensgaard</a></td><td class="desc"></td></tr>
397
+ <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_1StInfo.html" target="_self">StInfo</a></td><td class="desc"></td></tr>
398
+ <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_1StmtDPItem.html" target="_self">StmtDPItem</a></td><td class="desc"></td></tr>
399
+ <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_1StmtVFGNode.html" target="_self">StmtVFGNode</a></td><td class="desc"></td></tr>
400
+ <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_1StoreCGEdge.html" target="_self">StoreCGEdge</a></td><td class="desc"></td></tr>
401
+ <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_1StoreCHI.html" target="_self">StoreCHI</a></td><td class="desc"></td></tr>
402
+ <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_1StorePE.html" target="_self">StorePE</a></td><td class="desc"></td></tr>
403
+ <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_1StoreVFGNode.html" target="_self">StoreVFGNode</a></td><td class="desc"></td></tr>
404
+ <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_1SVFBasicBlock.html" target="_self">SVFBasicBlock</a></td><td class="desc"></td></tr>
405
+ <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_1SVFFunction.html" target="_self">SVFFunction</a></td><td class="desc"></td></tr>
406
+ <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_1SVFG.html" target="_self">SVFG</a></td><td class="desc"></td></tr>
407
+ <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_1SVFGBuilder.html" target="_self">SVFGBuilder</a></td><td class="desc"></td></tr>
408
+ <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_1SVFGlobal.html" target="_self">SVFGlobal</a></td><td class="desc"></td></tr>
409
+ <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_1SVFGNodeLockSpan.html" target="_self">SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
410
+ <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_1SVFGOPT.html" target="_self">SVFGOPT</a></td><td class="desc"></td></tr>
411
+ <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_1SVFGStat.html" target="_self">SVFGStat</a></td><td class="desc"></td></tr>
412
+ <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_1SVFInstruction.html" target="_self">SVFInstruction</a></td><td class="desc"></td></tr>
413
+ <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_1SVFModule.html" target="_self">SVFModule</a></td><td class="desc"></td></tr>
414
+ <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_1SVFValue.html" target="_self">SVFValue</a></td><td class="desc"></td></tr>
415
+ <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_1SymbolTableInfo.html" target="_self">SymbolTableInfo</a></td><td class="desc"></td></tr>
416
+ <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_1TCT.html" target="_self">TCT</a></td><td class="desc"></td></tr>
417
+ <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_1TCTEdge.html" target="_self">TCTEdge</a></td><td class="desc"></td></tr>
418
+ <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_1TCTNode.html" target="_self">TCTNode</a></td><td class="desc"></td></tr>
419
+ <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_1TDForkPE.html" target="_self">TDForkPE</a></td><td class="desc"></td></tr>
420
+ <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_1TDJoinPE.html" target="_self">TDJoinPE</a></td><td class="desc"></td></tr>
421
+ <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_1ThreadAPI.html" target="_self">ThreadAPI</a></td><td class="desc"></td></tr>
422
+ <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_1ThreadCallGraph.html" target="_self">ThreadCallGraph</a></td><td class="desc"></td></tr>
423
+ <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_1ThreadCallGraphBuilder.html" target="_self">ThreadCallGraphBuilder</a></td><td class="desc"></td></tr>
424
+ <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_1ThreadForkEdge.html" target="_self">ThreadForkEdge</a></td><td class="desc"></td></tr>
425
+ <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_1ThreadJoinEdge.html" target="_self">ThreadJoinEdge</a></td><td class="desc"></td></tr>
426
+ <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_1ThreadMHPIndSVFGEdge.html" target="_self">ThreadMHPIndSVFGEdge</a></td><td class="desc"></td></tr>
427
+ <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_1TypeAnalysis.html" target="_self">TypeAnalysis</a></td><td class="desc"></td></tr>
428
+ <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_1TypeBasedHeapCloning.html" target="_self">TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
429
+ <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_1TypeSet.html" target="_self">TypeSet</a></td><td class="desc"></td></tr>
430
+ <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_1TypeSystem.html" target="_self">TypeSystem</a></td><td class="desc"></td></tr>
431
+ <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_1UnaryOPPE.html" target="_self">UnaryOPPE</a></td><td class="desc"></td></tr>
432
+ <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_1UnaryOPVFGNode.html" target="_self">UnaryOPVFGNode</a></td><td class="desc"></td></tr>
433
+ <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_1ValPN.html" target="_self">ValPN</a></td><td class="desc"></td></tr>
434
+ <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_1VarArgPN.html" target="_self">VarArgPN</a></td><td class="desc"></td></tr>
435
+ <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_1VariantGepCGEdge.html" target="_self">VariantGepCGEdge</a></td><td class="desc"></td></tr>
436
+ <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_1VariantGepPE.html" target="_self">VariantGepPE</a></td><td class="desc"></td></tr>
437
+ <tr id="row_2_269_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_2_269_" class="arrow" onclick="toggleFolder('2_269_')">&#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>
438
+ <tr id="row_2_269_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_2_269_0_" class="arrow" onclick="toggleFolder('2_269_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>
439
+ <tr id="row_2_269_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>
440
+ <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_1VersionedFlowSensitiveStat.html" target="_self">VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
441
+ <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_1VersionedPTData.html" target="_self">VersionedPTData</a></td><td class="desc"></td></tr>
442
+ <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_1VFG.html" target="_self">VFG</a></td><td class="desc"></td></tr>
443
+ <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_1VFGEdge.html" target="_self">VFGEdge</a></td><td class="desc"></td></tr>
444
+ <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_1VFGNode.html" target="_self">VFGNode</a></td><td class="desc"></td></tr>
445
+ <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_1VFPathCond.html" target="_self">VFPathCond</a></td><td class="desc"></td></tr>
446
+ <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_1WPAFSSolver.html" target="_self">WPAFSSolver</a></td><td class="desc"></td></tr>
447
+ <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_1WPAMinimumSolver.html" target="_self">WPAMinimumSolver</a></td><td class="desc"></td></tr>
448
+ <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_1WPAPass.html" target="_self">WPAPass</a></td><td class="desc"></td></tr>
449
+ <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_1WPASCCSolver.html" target="_self">WPASCCSolver</a></td><td class="desc"></td></tr>
450
+ <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_1WPASolver.html" target="_self">WPASolver</a></td><td class="desc"></td></tr>
448
451
  <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="structcuddPathPair.html" target="_self">cuddPathPair</a></td><td class="desc"></td></tr>
449
452
  <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="structDdCache.html" target="_self">DdCache</a></td><td class="desc"></td></tr>
450
453
  <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="structDdChildren.html" target="_self">DdChildren</a></td><td class="desc"></td></tr>