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/hierarchy.html CHANGED
@@ -328,179 +328,182 @@ $(function() {
328
328
  <tr id="row_90_" 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="structSVF_1_1Hash.html" target="_self">SVF::Hash&lt; T &gt;</a></td><td class="desc">Provide extra hash function for std::pair handling </td></tr>
329
329
  <tr id="row_91_"><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="structstd_1_1hash_3_01const_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">std::hash&lt; const SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc">Specialise hash for CondVar </td></tr>
330
330
  <tr id="row_92_" 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="structstd_1_1hash_3_01const_01SVF_1_1ContextCond_01_4.html" target="_self">std::hash&lt; const SVF::ContextCond &gt;</a></td><td class="desc">Specialise hash for ContextCond </td></tr>
331
- <tr id="row_93_"><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="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html" target="_self">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a></td><td class="desc">Specialise hash for SparseBitVectors </td></tr>
332
- <tr id="row_94_" 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="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">SVF::Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
333
- <tr id="row_95_"><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="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html" target="_self">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a></td><td class="desc"></td></tr>
334
- <tr id="row_96_" 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="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html" target="_self">std::hash&lt; SVF::CallSite &gt;</a></td><td class="desc">Specialise hash for CallSites </td></tr>
335
- <tr id="row_97_"><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="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html" target="_self">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a></td><td class="desc"></td></tr>
336
- <tr id="row_98_" 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="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc"></td></tr>
337
- <tr id="row_99_"><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="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html" target="_self">std::hash&lt; SVF::ContextCond &gt;</a></td><td class="desc"></td></tr>
338
- <tr id="row_100_" 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="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html" target="_self">std::hash&lt; SVF::CxtDPItem &gt;</a></td><td class="desc">Specialise hash for CxtDPItem </td></tr>
339
- <tr id="row_101_"><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="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html" target="_self">std::hash&lt; SVF::CxtProc &gt;</a></td><td class="desc"></td></tr>
340
- <tr id="row_102_" 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="structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html" target="_self">std::hash&lt; SVF::CxtStmt &gt;</a></td><td class="desc"></td></tr>
341
- <tr id="row_103_"><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="structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for CxtStmtDPItem </td></tr>
342
- <tr id="row_104_" 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="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html" target="_self">std::hash&lt; SVF::CxtThread &gt;</a></td><td class="desc"></td></tr>
343
- <tr id="row_105_"><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="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html" target="_self">std::hash&lt; SVF::CxtThreadProc &gt;</a></td><td class="desc"></td></tr>
344
- <tr id="row_106_" 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="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html" target="_self">std::hash&lt; SVF::CxtThreadStmt &gt;</a></td><td class="desc"></td></tr>
345
- <tr id="row_107_"><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="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html" target="_self">std::hash&lt; SVF::LocationSet &gt;</a></td><td class="desc"></td></tr>
346
- <tr id="row_108_" 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="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html" target="_self">std::hash&lt; SVF::NodePair &gt;</a></td><td class="desc"></td></tr>
347
- <tr id="row_109_"><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="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html" target="_self">std::hash&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
348
- <tr id="row_110_" 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="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html" target="_self">std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a></td><td class="desc">Specialise hash for SmallVectors </td></tr>
349
- <tr id="row_111_"><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="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for StmtDPItem </td></tr>
350
- <tr id="row_112_" 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="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html" target="_self">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a></td><td class="desc"></td></tr>
351
- <tr id="row_113_"><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="classSVF_1_1ICFGBuilder.html" target="_self">SVF::ICFGBuilder</a></td><td class="desc"></td></tr>
352
- <tr id="row_114_" 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="structIeeeDoubleStruct.html" target="_self">IeeeDoubleStruct</a></td><td class="desc"></td></tr>
353
- <tr id="row_115_"><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="structIeeeNanStruct.html" target="_self">IeeeNanStruct</a></td><td class="desc"></td></tr>
354
- <tr id="row_116_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_116_" class="arrow" onclick="toggleFolder('116_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>InstVisitor</b></td><td class="desc"></td></tr>
355
- <tr id="row_116_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="classSVF_1_1PAGBuilder.html" target="_self">SVF::PAGBuilder</a></td><td class="desc"></td></tr>
356
- <tr id="row_117_"><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="classSVF_1_1IRAnnotator.html" target="_self">SVF::IRAnnotator</a></td><td class="desc"></td></tr>
357
- <tr id="row_118_" 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="structSVF_1_1SVFUtil_1_1is__simple__type.html" target="_self">SVF::SVFUtil::is_simple_type&lt; X &gt;</a></td><td class="desc"></td></tr>
358
- <tr id="row_119_"><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="structSVF_1_1SVFUtil_1_1isa__impl.html" target="_self">SVF::SVFUtil::isa_impl&lt; To, From, Enabler &gt;</a></td><td class="desc"></td></tr>
359
- <tr id="row_120_" 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="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html" target="_self">SVF::SVFUtil::isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;</a></td><td class="desc">Always allow upcasts, and perform no dynamic check for them </td></tr>
360
- <tr id="row_121_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From &gt;</a></td><td class="desc"></td></tr>
361
- <tr id="row_122_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From * &gt;</a></td><td class="desc"></td></tr>
362
- <tr id="row_123_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From *const &gt;</a></td><td class="desc"></td></tr>
363
- <tr id="row_124_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;</a></td><td class="desc"></td></tr>
364
- <tr id="row_125_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</a></td><td class="desc"></td></tr>
365
- <tr id="row_126_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From * &gt;</a></td><td class="desc"></td></tr>
366
- <tr id="row_127_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From *const &gt;</a></td><td class="desc"></td></tr>
367
- <tr id="row_128_" 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="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html" target="_self">SVF::SVFUtil::isa_impl_wrap&lt; To, From, SimpleFrom &gt;</a></td><td class="desc"></td></tr>
368
- <tr id="row_129_"><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="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a></td><td class="desc"></td></tr>
369
- <tr id="row_130_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_130_" class="arrow" onclick="toggleFolder('130_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>iterator</b></td><td class="desc"></td></tr>
370
- <tr id="row_130_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="classllvm_1_1generic__bridge__gep__type__iterator.html" target="_self">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a></td><td class="desc"></td></tr>
371
- <tr id="row_131_"><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="classSVF_1_1List.html" target="_self">SVF::List&lt; Data &gt;</a></td><td class="desc"></td></tr>
372
- <tr id="row_132_" 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="classSVF_1_1List_1_1ListNode.html" target="_self">SVF::List&lt; Data &gt;::ListNode</a></td><td class="desc"></td></tr>
373
- <tr id="row_133_"><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="classSVF_1_1LLVMModuleSet.html" target="_self">SVF::LLVMModuleSet</a></td><td class="desc"></td></tr>
374
- <tr id="row_134_" 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="classSVF_1_1LocationSet.html" target="_self">SVF::LocationSet</a></td><td class="desc"></td></tr>
375
- <tr id="row_135_"><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="classSVF_1_1LockAnalysis.html" target="_self">SVF::LockAnalysis</a></td><td class="desc"></td></tr>
376
- <tr id="row_136_" 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="classSVF_1_1LockResultValidator.html" target="_self">SVF::LockResultValidator</a></td><td class="desc"></td></tr>
377
- <tr id="row_137_"><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="classSVF_1_1MemObj.html" target="_self">SVF::MemObj</a></td><td class="desc"></td></tr>
378
- <tr id="row_138_" 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="classSVF_1_1MemRegion.html" target="_self">SVF::MemRegion</a></td><td class="desc">Memory Region class </td></tr>
379
- <tr id="row_139_"><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="classSVF_1_1MemSSA.html" target="_self">SVF::MemSSA</a></td><td class="desc"></td></tr>
380
- <tr id="row_140_" 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="classSVF_1_1MHP.html" target="_self">SVF::MHP</a></td><td class="desc"></td></tr>
381
- <tr id="row_141_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_141_" class="arrow" onclick="toggleFolder('141_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>ModulePass</b></td><td class="desc"></td></tr>
382
- <tr id="row_141_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="classSVF_1_1BreakConstantGEPs.html" target="_self">SVF::BreakConstantGEPs</a></td><td class="desc"></td></tr>
383
- <tr id="row_141_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="classSVF_1_1DDAPass.html" target="_self">SVF::DDAPass</a></td><td class="desc"></td></tr>
384
- <tr id="row_141_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="classSVF_1_1MergeFunctionRets.html" target="_self">SVF::MergeFunctionRets</a></td><td class="desc"></td></tr>
385
- <tr id="row_141_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="classSVF_1_1MTA.html" target="_self">SVF::MTA</a></td><td class="desc"></td></tr>
386
- <tr id="row_141_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="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
387
- <tr id="row_142_" 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="structMove.html" target="_self">Move</a></td><td class="desc"></td></tr>
388
- <tr id="row_143_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_143_" class="arrow" onclick="toggleFolder('143_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">SVF::MRGenerator</a></td><td class="desc"></td></tr>
389
- <tr id="row_143_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="classSVF_1_1DistinctMRG.html" target="_self">SVF::DistinctMRG</a></td><td class="desc"></td></tr>
390
- <tr id="row_143_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_143_1_" class="arrow" onclick="toggleFolder('143_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">SVF::IntraDisjointMRG</a></td><td class="desc"></td></tr>
391
- <tr id="row_143_1_0_" class="even" 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_1InterDisjointMRG.html" target="_self">SVF::InterDisjointMRG</a></td><td class="desc"></td></tr>
392
- <tr id="row_144_" 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="classSVF_1_1MRVer.html" target="_self">SVF::MRVer</a></td><td class="desc"></td></tr>
393
- <tr id="row_145_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_145_" class="arrow" onclick="toggleFolder('145_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">SVF::MSSADEF</a></td><td class="desc"></td></tr>
394
- <tr id="row_145_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_145_0_" class="arrow" onclick="toggleFolder('145_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">SVF::MSSACHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
395
- <tr id="row_145_0_0_" class="even" 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_1CallCHI.html" target="_self">SVF::CallCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
396
- <tr id="row_145_0_1_" class="even" 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_1EntryCHI.html" target="_self">SVF::EntryCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
397
- <tr id="row_145_0_2_" class="even" 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_1StoreCHI.html" target="_self">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
398
- <tr id="row_145_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="classSVF_1_1MSSAPHI.html" target="_self">SVF::MSSAPHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
399
- <tr id="row_146_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_146_" class="arrow" onclick="toggleFolder('146_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
400
- <tr id="row_146_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="classSVF_1_1CallMU.html" target="_self">SVF::CallMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
401
- <tr id="row_146_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="classSVF_1_1LoadMU.html" target="_self">SVF::LoadMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
402
- <tr id="row_146_2_" style="display:none;"><td class="entry"><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">SVF::RetMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
403
- <tr id="row_147_"><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="classSVF_1_1MTAResultValidator.html" target="_self">SVF::MTAResultValidator</a></td><td class="desc"></td></tr>
404
- <tr id="row_148_" 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="structMtrNode.html" target="_self">MtrNode</a></td><td class="desc"></td></tr>
405
- <tr id="row_149_"><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="classSVF_1_1NodeIDAllocator.html" target="_self">SVF::NodeIDAllocator</a></td><td class="desc"></td></tr>
406
- <tr id="row_150_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_150_" class="arrow" onclick="toggleFolder('150_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">SVF::ObjTypeInfo</a></td><td class="desc"></td></tr>
407
- <tr id="row_150_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="classSVF_1_1LocObjTypeInfo.html" target="_self">SVF::LocObjTypeInfo</a></td><td class="desc"></td></tr>
408
- <tr id="row_151_"><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="classSVF_1_1Options.html" target="_self">SVF::Options</a></td><td class="desc">Carries around command line options </td></tr>
409
- <tr id="row_152_" 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="classSVF_1_1PAGBuilderFromFile.html" target="_self">SVF::PAGBuilderFromFile</a></td><td class="desc"></td></tr>
410
- <tr id="row_153_"><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="classSVF_1_1PathCondAllocator.html" target="_self">SVF::PathCondAllocator</a></td><td class="desc"></td></tr>
411
- <tr id="row_154_" 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="classSVF_1_1PCG.html" target="_self">SVF::PCG</a></td><td class="desc"></td></tr>
412
- <tr id="row_155_"><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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="desc"></td></tr>
413
- <tr id="row_156_" 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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; DataSet &gt;</a></td><td class="desc"></td></tr>
414
- <tr id="row_157_"><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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
415
- <tr id="row_158_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_158_" class="arrow" onclick="toggleFolder('158_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">SVF::PointerAnalysis</a></td><td class="desc"></td></tr>
416
- <tr id="row_158_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_158_0_" class="arrow" onclick="toggleFolder('158_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl&lt; ContextCond &gt;</a></td><td class="desc"></td></tr>
417
- <tr id="row_158_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="classSVF_1_1ContextDDA.html" target="_self">SVF::ContextDDA</a></td><td class="desc"></td></tr>
418
- <tr id="row_158_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_158_1_" class="arrow" onclick="toggleFolder('158_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BVDataPTAImpl.html" target="_self">SVF::BVDataPTAImpl</a></td><td class="desc"></td></tr>
419
- <tr id="row_158_1_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_158_1_0_" class="arrow" onclick="toggleFolder('158_1_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
420
- <tr id="row_158_1_0_0_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_158_1_0_0_" class="arrow" onclick="toggleFolder('158_1_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Andersen.html" target="_self">SVF::Andersen</a></td><td class="desc"></td></tr>
421
- <tr id="row_158_1_0_0_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_158_1_0_0_0_" class="arrow" onclick="toggleFolder('158_1_0_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHCD.html" target="_self">SVF::AndersenHCD</a></td><td class="desc"></td></tr>
422
- <tr id="row_158_1_0_0_0_0_" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
423
- <tr id="row_158_1_0_0_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_158_1_0_0_1_" class="arrow" onclick="toggleFolder('158_1_0_0_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenLCD.html" target="_self">SVF::AndersenLCD</a></td><td class="desc"></td></tr>
424
- <tr id="row_158_1_0_0_1_0_" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
425
- <tr id="row_158_1_0_0_2_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_158_1_0_0_2_" class="arrow" onclick="toggleFolder('158_1_0_0_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSCD.html" target="_self">SVF::AndersenSCD</a></td><td class="desc"></td></tr>
426
- <tr id="row_158_1_0_0_2_0_" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSFR.html" target="_self">SVF::AndersenSFR</a></td><td class="desc"></td></tr>
427
- <tr id="row_158_1_0_0_3_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_158_1_0_0_3_" class="arrow" onclick="toggleFolder('158_1_0_0_3_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiff.html" target="_self">SVF::AndersenWaveDiff</a></td><td class="desc"></td></tr>
428
- <tr id="row_158_1_0_0_3_0_" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiffWithType.html" target="_self">SVF::AndersenWaveDiffWithType</a></td><td class="desc"></td></tr>
429
- <tr id="row_158_1_0_1_" 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="classSVF_1_1Steensgaard.html" target="_self">SVF::Steensgaard</a></td><td class="desc"></td></tr>
430
- <tr id="row_158_1_0_2_" 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="classSVF_1_1TypeAnalysis.html" target="_self">SVF::TypeAnalysis</a></td><td class="desc"></td></tr>
431
- <tr id="row_158_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
432
- <tr id="row_158_1_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_158_1_2_" class="arrow" onclick="toggleFolder('158_1_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
433
- <tr id="row_158_1_2_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="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
434
- <tr id="row_158_1_2_1_" 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="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
435
- <tr id="row_158_1_2_2_" 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="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
436
- <tr id="row_158_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="desc"></td></tr>
437
- <tr id="row_159_"><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="classSVF_1_1PointsTo.html" target="_self">SVF::PointsTo</a></td><td class="desc"></td></tr>
438
- <tr id="row_160_" 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="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">SVF::PointsTo::PointsToIterator</a></td><td class="desc"></td></tr>
439
- <tr id="row_161_"><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="classSVF_1_1ProgSlice.html" target="_self">SVF::ProgSlice</a></td><td class="desc"></td></tr>
440
- <tr id="row_162_" 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="classSVF_1_1PTACFInfoBuilder.html" target="_self">SVF::PTACFInfoBuilder</a></td><td class="desc"></td></tr>
441
- <tr id="row_163_"><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="classSVF_1_1PTASCEV.html" target="_self">SVF::PTASCEV</a></td><td class="desc"></td></tr>
442
- <tr id="row_164_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_164_" class="arrow" onclick="toggleFolder('164_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">SVF::PTAStat</a></td><td class="desc"></td></tr>
443
- <tr id="row_164_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="classSVF_1_1AndersenStat.html" target="_self">SVF::AndersenStat</a></td><td class="desc"></td></tr>
444
- <tr id="row_164_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="classSVF_1_1DDAStat.html" target="_self">SVF::DDAStat</a></td><td class="desc"></td></tr>
445
- <tr id="row_164_2_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitiveStat.html" target="_self">SVF::FlowSensitiveStat</a></td><td class="desc"></td></tr>
446
- <tr id="row_164_3_" style="display:none;"><td class="entry"><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">SVF::ICFGStat</a></td><td class="desc"></td></tr>
447
- <tr id="row_164_4_" style="display:none;"><td class="entry"><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">SVF::MemSSAStat</a></td><td class="desc"></td></tr>
448
- <tr id="row_164_5_" style="display:none;"><td class="entry"><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">SVF::MTAStat</a></td><td class="desc"></td></tr>
449
- <tr id="row_164_6_" style="display:none;"><td class="entry"><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">SVF::SVFGStat</a></td><td class="desc"></td></tr>
450
- <tr id="row_164_7_" style="display:none;"><td class="entry"><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">SVF::VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
451
- <tr id="row_165_"><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="classSVF_1_1PTAType.html" target="_self">SVF::PTAType</a></td><td class="desc"></td></tr>
452
- <tr id="row_166_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_166_" class="arrow" onclick="toggleFolder('166_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
453
- <tr id="row_166_0_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_166_0_" class="arrow" onclick="toggleFolder('166_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DFPTData.html" target="_self">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
454
- <tr id="row_166_0_0_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_166_0_0_" class="arrow" onclick="toggleFolder('166_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
455
- <tr id="row_166_0_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="classSVF_1_1MutableIncDFPTData.html" target="_self">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
456
- <tr id="row_166_0_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_166_0_1_" class="arrow" onclick="toggleFolder('166_0_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
457
- <tr id="row_166_0_1_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="classSVF_1_1PersistentIncDFPTData.html" target="_self">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
458
- <tr id="row_166_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_166_1_" class="arrow" onclick="toggleFolder('166_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DiffPTData.html" target="_self">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
459
- <tr id="row_166_1_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_1MutableDiffPTData.html" target="_self">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
460
- <tr id="row_166_1_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDiffPTData.html" target="_self">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
461
- <tr id="row_166_2_" style="display:none;"><td class="entry"><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">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</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>
462
- <tr id="row_166_3_" style="display:none;"><td class="entry"><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">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
463
- <tr id="row_166_4_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_166_4_" class="arrow" onclick="toggleFolder('166_4_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
464
- <tr id="row_166_4_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_1MutableVersionedPTData.html" target="_self">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
465
- <tr id="row_166_4_1_" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentVersionedPTData.html" target="_self">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
466
- <tr id="row_167_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_167_" class="arrow" onclick="toggleFolder('167_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
467
- <tr id="row_167_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="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
468
- <tr id="row_167_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="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
469
- <tr id="row_168_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_168_" class="arrow" onclick="toggleFolder('168_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">SVF::RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
470
- <tr id="row_168_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="classSVF_1_1MHPValidator.html" target="_self">SVF::MHPValidator</a></td><td class="desc"></td></tr>
471
- <tr id="row_168_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="classSVF_1_1RaceValidator.html" target="_self">SVF::RaceValidator</a></td><td class="desc"></td></tr>
472
- <tr id="row_169_"><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="classSVF_1_1SaberCheckerAPI.html" target="_self">SVF::SaberCheckerAPI</a></td><td class="desc"></td></tr>
473
- <tr id="row_170_" 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="classSVF_1_1SCCDetection.html" target="_self">SVF::SCCDetection&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
474
- <tr id="row_171_"><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="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">SVF::SVFUtil::simplify_type&lt; From &gt;</a></td><td class="desc"></td></tr>
475
- <tr id="row_172_" 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="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">SVF::SVFUtil::simplify_type&lt; const From &gt;</a></td><td class="desc"></td></tr>
476
- <tr id="row_173_"><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="structst__generator.html" target="_self">st_generator</a></td><td class="desc"></td></tr>
477
- <tr id="row_174_" 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="structst__table.html" target="_self">st_table</a></td><td class="desc"></td></tr>
478
- <tr id="row_175_"><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="structst__table__entry.html" target="_self">st_table_entry</a></td><td class="desc"></td></tr>
479
- <tr id="row_176_" 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="classSVF_1_1StInfo.html" target="_self">SVF::StInfo</a></td><td class="desc"></td></tr>
480
- <tr id="row_177_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_177_" class="arrow" onclick="toggleFolder('177_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVF::SVFGBuilder</a></td><td class="desc"></td></tr>
481
- <tr id="row_177_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="classSVF_1_1MTASVFGBuilder.html" target="_self">SVF::MTASVFGBuilder</a></td><td class="desc"></td></tr>
482
- <tr id="row_177_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="classSVF_1_1SaberSVFGBuilder.html" target="_self">SVF::SaberSVFGBuilder</a></td><td class="desc"></td></tr>
483
- <tr id="row_178_" 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="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVF::SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
484
- <tr id="row_179_"><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="classSVF_1_1SVFModule.html" target="_self">SVF::SVFModule</a></td><td class="desc"></td></tr>
485
- <tr id="row_180_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_180_" class="arrow" onclick="toggleFolder('180_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVF::SVFValue</a></td><td class="desc"></td></tr>
486
- <tr id="row_180_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="classSVF_1_1SVFBasicBlock.html" target="_self">SVF::SVFBasicBlock</a></td><td class="desc"></td></tr>
487
- <tr id="row_180_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="classSVF_1_1SVFFunction.html" target="_self">SVF::SVFFunction</a></td><td class="desc"></td></tr>
488
- <tr id="row_180_2_" style="display:none;"><td class="entry"><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">SVF::SVFGlobal</a></td><td class="desc"></td></tr>
489
- <tr id="row_180_3_" style="display:none;"><td class="entry"><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">SVF::SVFInstruction</a></td><td class="desc"></td></tr>
490
- <tr id="row_181_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_181_" class="arrow" onclick="toggleFolder('181_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SVF::SymbolTableInfo</a></td><td class="desc"></td></tr>
491
- <tr id="row_181_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="classSVF_1_1LocSymTableInfo.html" target="_self">SVF::LocSymTableInfo</a></td><td class="desc"></td></tr>
492
- <tr id="row_182_" 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="classSVF_1_1ThreadAPI.html" target="_self">SVF::ThreadAPI</a></td><td class="desc"></td></tr>
493
- <tr id="row_183_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_183_" class="arrow" onclick="toggleFolder('183_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html" target="_self">SVF::TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
494
- <tr id="row_183_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="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
495
- <tr id="row_184_" 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="classSVF_1_1TypeSet.html" target="_self">SVF::TypeSet</a></td><td class="desc"></td></tr>
496
- <tr id="row_185_"><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="classSVF_1_1TypeSystem.html" target="_self">SVF::TypeSystem</a></td><td class="desc"></td></tr>
497
- <tr id="row_186_" 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="structSVF_1_1VersionedFlowSensitive_1_1VersionCache.html" target="_self">SVF::VersionedFlowSensitive::VersionCache</a></td><td class="desc">For caching the first step in LocVersionMaps </td></tr>
498
- <tr id="row_187_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_187_" class="arrow" onclick="toggleFolder('187_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
499
- <tr id="row_187_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="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
500
- <tr id="row_187_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_187_1_" class="arrow" onclick="toggleFolder('187_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
501
- <tr id="row_187_1_0_" class="even" 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_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
502
- <tr id="row_187_1_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_187_1_1_" class="arrow" onclick="toggleFolder('187_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
503
- <tr id="row_187_1_1_0_" class="even" 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="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
331
+ <tr id="row_93_"><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="structSVF_1_1Hash_3_01CoreBitVector_01_4.html" target="_self">SVF::Hash&lt; CoreBitVector &gt;</a></td><td class="desc"></td></tr>
332
+ <tr id="row_94_" 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="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html" target="_self">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a></td><td class="desc">Specialise hash for SparseBitVectors </td></tr>
333
+ <tr id="row_95_"><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="structSVF_1_1Hash_3_01NodePair_01_4.html" target="_self">SVF::Hash&lt; NodePair &gt;</a></td><td class="desc"></td></tr>
334
+ <tr id="row_96_" 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="structSVF_1_1Hash_3_01std_1_1pair_3_01S_00_01T_01_4_01_4.html" target="_self">SVF::Hash&lt; std::pair&lt; S, T &gt; &gt;</a></td><td class="desc"></td></tr>
335
+ <tr id="row_97_"><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="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html" target="_self">std::hash&lt; std::vector&lt; T &gt; &gt;</a></td><td class="desc"></td></tr>
336
+ <tr id="row_98_" 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="structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html" target="_self">std::hash&lt; SVF::CallSite &gt;</a></td><td class="desc">Specialise hash for CallSites </td></tr>
337
+ <tr id="row_99_"><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="structstd_1_1hash_3_01SVF_1_1CondStdSet_3_01Element_01_4_01_4.html" target="_self">std::hash&lt; SVF::CondStdSet&lt; Element &gt; &gt;</a></td><td class="desc"></td></tr>
338
+ <tr id="row_100_" 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="structstd_1_1hash_3_01SVF_1_1CondVar_3_01Cond_01_4_01_4.html" target="_self">std::hash&lt; SVF::CondVar&lt; Cond &gt; &gt;</a></td><td class="desc"></td></tr>
339
+ <tr id="row_101_"><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="structstd_1_1hash_3_01SVF_1_1ContextCond_01_4.html" target="_self">std::hash&lt; SVF::ContextCond &gt;</a></td><td class="desc"></td></tr>
340
+ <tr id="row_102_" 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="structstd_1_1hash_3_01SVF_1_1CxtDPItem_01_4.html" target="_self">std::hash&lt; SVF::CxtDPItem &gt;</a></td><td class="desc">Specialise hash for CxtDPItem </td></tr>
341
+ <tr id="row_103_"><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="structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html" target="_self">std::hash&lt; SVF::CxtProc &gt;</a></td><td class="desc"></td></tr>
342
+ <tr id="row_104_" 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="structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html" target="_self">std::hash&lt; SVF::CxtStmt &gt;</a></td><td class="desc"></td></tr>
343
+ <tr id="row_105_"><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="structstd_1_1hash_3_01SVF_1_1CxtStmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash&lt; SVF::CxtStmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for CxtStmtDPItem </td></tr>
344
+ <tr id="row_106_" 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="structstd_1_1hash_3_01SVF_1_1CxtThread_01_4.html" target="_self">std::hash&lt; SVF::CxtThread &gt;</a></td><td class="desc"></td></tr>
345
+ <tr id="row_107_"><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="structstd_1_1hash_3_01SVF_1_1CxtThreadProc_01_4.html" target="_self">std::hash&lt; SVF::CxtThreadProc &gt;</a></td><td class="desc"></td></tr>
346
+ <tr id="row_108_" 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="structstd_1_1hash_3_01SVF_1_1CxtThreadStmt_01_4.html" target="_self">std::hash&lt; SVF::CxtThreadStmt &gt;</a></td><td class="desc"></td></tr>
347
+ <tr id="row_109_"><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="structstd_1_1hash_3_01SVF_1_1LocationSet_01_4.html" target="_self">std::hash&lt; SVF::LocationSet &gt;</a></td><td class="desc"></td></tr>
348
+ <tr id="row_110_" 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="structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html" target="_self">std::hash&lt; SVF::NodePair &gt;</a></td><td class="desc"></td></tr>
349
+ <tr id="row_111_"><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="structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html" target="_self">std::hash&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
350
+ <tr id="row_112_" 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="structstd_1_1hash_3_01SVF_1_1SmallVector_3_01T_00_01N_01_4_01_4.html" target="_self">std::hash&lt; SVF::SmallVector&lt; T, N &gt; &gt;</a></td><td class="desc">Specialise hash for SmallVectors </td></tr>
351
+ <tr id="row_113_"><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="structstd_1_1hash_3_01SVF_1_1StmtDPItem_3_01LocCond_01_4_01_4.html" target="_self">std::hash&lt; SVF::StmtDPItem&lt; LocCond &gt; &gt;</a></td><td class="desc">Specialise hash for StmtDPItem </td></tr>
352
+ <tr id="row_114_" 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="structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html" target="_self">std::hash&lt; SVF::SVFGNodeLockSpan &gt;</a></td><td class="desc"></td></tr>
353
+ <tr id="row_115_"><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="classSVF_1_1ICFGBuilder.html" target="_self">SVF::ICFGBuilder</a></td><td class="desc"></td></tr>
354
+ <tr id="row_116_" 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="structIeeeDoubleStruct.html" target="_self">IeeeDoubleStruct</a></td><td class="desc"></td></tr>
355
+ <tr id="row_117_"><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="structIeeeNanStruct.html" target="_self">IeeeNanStruct</a></td><td class="desc"></td></tr>
356
+ <tr id="row_118_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_118_" class="arrow" onclick="toggleFolder('118_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>InstVisitor</b></td><td class="desc"></td></tr>
357
+ <tr id="row_118_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="classSVF_1_1PAGBuilder.html" target="_self">SVF::PAGBuilder</a></td><td class="desc"></td></tr>
358
+ <tr id="row_119_"><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="classSVF_1_1IRAnnotator.html" target="_self">SVF::IRAnnotator</a></td><td class="desc"></td></tr>
359
+ <tr id="row_120_" 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="structSVF_1_1SVFUtil_1_1is__simple__type.html" target="_self">SVF::SVFUtil::is_simple_type&lt; X &gt;</a></td><td class="desc"></td></tr>
360
+ <tr id="row_121_"><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="structSVF_1_1SVFUtil_1_1isa__impl.html" target="_self">SVF::SVFUtil::isa_impl&lt; To, From, Enabler &gt;</a></td><td class="desc"></td></tr>
361
+ <tr id="row_122_" 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="structSVF_1_1SVFUtil_1_1isa__impl_3_01To_00_01From_00_01typename_01std_1_1enable__if_3_01std_1_1101a002941fb8432b76e90258f1ec6b7.html" target="_self">SVF::SVFUtil::isa_impl&lt; To, From, typename std::enable_if&lt; std::is_base_of&lt; To, From &gt;::value &gt;::type &gt;</a></td><td class="desc">Always allow upcasts, and perform no dynamic check for them </td></tr>
362
+ <tr id="row_123_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From &gt;</a></td><td class="desc"></td></tr>
363
+ <tr id="row_124_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From * &gt;</a></td><td class="desc"></td></tr>
364
+ <tr id="row_125_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From *const &gt;</a></td><td class="desc"></td></tr>
365
+ <tr id="row_126_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01From_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const From &gt;</a></td><td class="desc"></td></tr>
366
+ <tr id="row_127_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01const_01std_1_1unique__ptr_3_01From_01_4_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, const std::unique_ptr&lt; From &gt; &gt;</a></td><td class="desc"></td></tr>
367
+ <tr id="row_128_" 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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From * &gt;</a></td><td class="desc"></td></tr>
368
+ <tr id="row_129_"><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="structSVF_1_1SVFUtil_1_1isa__impl__cl_3_01To_00_01From_01_5const_01_4.html" target="_self">SVF::SVFUtil::isa_impl_cl&lt; To, From *const &gt;</a></td><td class="desc"></td></tr>
369
+ <tr id="row_130_" 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="structSVF_1_1SVFUtil_1_1isa__impl__wrap.html" target="_self">SVF::SVFUtil::isa_impl_wrap&lt; To, From, SimpleFrom &gt;</a></td><td class="desc"></td></tr>
370
+ <tr id="row_131_"><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="structSVF_1_1SVFUtil_1_1isa__impl__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html" target="_self">SVF::SVFUtil::isa_impl_wrap&lt; To, FromTy, FromTy &gt;</a></td><td class="desc"></td></tr>
371
+ <tr id="row_132_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_132_" class="arrow" onclick="toggleFolder('132_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>iterator</b></td><td class="desc"></td></tr>
372
+ <tr id="row_132_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="classllvm_1_1generic__bridge__gep__type__iterator.html" target="_self">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a></td><td class="desc"></td></tr>
373
+ <tr id="row_133_"><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="classSVF_1_1List.html" target="_self">SVF::List&lt; Data &gt;</a></td><td class="desc"></td></tr>
374
+ <tr id="row_134_" 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="classSVF_1_1List_1_1ListNode.html" target="_self">SVF::List&lt; Data &gt;::ListNode</a></td><td class="desc"></td></tr>
375
+ <tr id="row_135_"><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="classSVF_1_1LLVMModuleSet.html" target="_self">SVF::LLVMModuleSet</a></td><td class="desc"></td></tr>
376
+ <tr id="row_136_" 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="classSVF_1_1LocationSet.html" target="_self">SVF::LocationSet</a></td><td class="desc"></td></tr>
377
+ <tr id="row_137_"><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="classSVF_1_1LockAnalysis.html" target="_self">SVF::LockAnalysis</a></td><td class="desc"></td></tr>
378
+ <tr id="row_138_" 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="classSVF_1_1LockResultValidator.html" target="_self">SVF::LockResultValidator</a></td><td class="desc"></td></tr>
379
+ <tr id="row_139_"><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="classSVF_1_1MemObj.html" target="_self">SVF::MemObj</a></td><td class="desc"></td></tr>
380
+ <tr id="row_140_" 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="classSVF_1_1MemRegion.html" target="_self">SVF::MemRegion</a></td><td class="desc">Memory Region class </td></tr>
381
+ <tr id="row_141_"><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="classSVF_1_1MemSSA.html" target="_self">SVF::MemSSA</a></td><td class="desc"></td></tr>
382
+ <tr id="row_142_" 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="classSVF_1_1MHP.html" target="_self">SVF::MHP</a></td><td class="desc"></td></tr>
383
+ <tr id="row_143_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_143_" class="arrow" onclick="toggleFolder('143_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><b>ModulePass</b></td><td class="desc"></td></tr>
384
+ <tr id="row_143_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="classSVF_1_1BreakConstantGEPs.html" target="_self">SVF::BreakConstantGEPs</a></td><td class="desc"></td></tr>
385
+ <tr id="row_143_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="classSVF_1_1DDAPass.html" target="_self">SVF::DDAPass</a></td><td class="desc"></td></tr>
386
+ <tr id="row_143_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="classSVF_1_1MergeFunctionRets.html" target="_self">SVF::MergeFunctionRets</a></td><td class="desc"></td></tr>
387
+ <tr id="row_143_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="classSVF_1_1MTA.html" target="_self">SVF::MTA</a></td><td class="desc"></td></tr>
388
+ <tr id="row_143_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="classSVF_1_1WPAPass.html" target="_self">SVF::WPAPass</a></td><td class="desc"></td></tr>
389
+ <tr id="row_144_" 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="structMove.html" target="_self">Move</a></td><td class="desc"></td></tr>
390
+ <tr id="row_145_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_145_" class="arrow" onclick="toggleFolder('145_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MRGenerator.html" target="_self">SVF::MRGenerator</a></td><td class="desc"></td></tr>
391
+ <tr id="row_145_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="classSVF_1_1DistinctMRG.html" target="_self">SVF::DistinctMRG</a></td><td class="desc"></td></tr>
392
+ <tr id="row_145_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_145_1_" class="arrow" onclick="toggleFolder('145_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1IntraDisjointMRG.html" target="_self">SVF::IntraDisjointMRG</a></td><td class="desc"></td></tr>
393
+ <tr id="row_145_1_0_" class="even" 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_1InterDisjointMRG.html" target="_self">SVF::InterDisjointMRG</a></td><td class="desc"></td></tr>
394
+ <tr id="row_146_" 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="classSVF_1_1MRVer.html" target="_self">SVF::MRVer</a></td><td class="desc"></td></tr>
395
+ <tr id="row_147_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_147_" class="arrow" onclick="toggleFolder('147_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSADEF.html" target="_self">SVF::MSSADEF</a></td><td class="desc"></td></tr>
396
+ <tr id="row_147_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_147_0_" class="arrow" onclick="toggleFolder('147_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSACHI.html" target="_self">SVF::MSSACHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
397
+ <tr id="row_147_0_0_" class="even" 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_1CallCHI.html" target="_self">SVF::CallCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
398
+ <tr id="row_147_0_1_" class="even" 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_1EntryCHI.html" target="_self">SVF::EntryCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
399
+ <tr id="row_147_0_2_" class="even" 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_1StoreCHI.html" target="_self">SVF::StoreCHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
400
+ <tr id="row_147_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="classSVF_1_1MSSAPHI.html" target="_self">SVF::MSSAPHI&lt; Cond &gt;</a></td><td class="desc"></td></tr>
401
+ <tr id="row_148_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_148_" class="arrow" onclick="toggleFolder('148_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MSSAMU.html" target="_self">SVF::MSSAMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
402
+ <tr id="row_148_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="classSVF_1_1CallMU.html" target="_self">SVF::CallMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
403
+ <tr id="row_148_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="classSVF_1_1LoadMU.html" target="_self">SVF::LoadMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
404
+ <tr id="row_148_2_" style="display:none;"><td class="entry"><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">SVF::RetMU&lt; Cond &gt;</a></td><td class="desc"></td></tr>
405
+ <tr id="row_149_"><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="classSVF_1_1MTAResultValidator.html" target="_self">SVF::MTAResultValidator</a></td><td class="desc"></td></tr>
406
+ <tr id="row_150_" 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="structMtrNode.html" target="_self">MtrNode</a></td><td class="desc"></td></tr>
407
+ <tr id="row_151_"><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="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html" target="_self">SVF::VersionedFlowSensitive::SCC::NodeData</a></td><td class="desc"></td></tr>
408
+ <tr id="row_152_" 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="classSVF_1_1NodeIDAllocator.html" target="_self">SVF::NodeIDAllocator</a></td><td class="desc"></td></tr>
409
+ <tr id="row_153_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_153_" class="arrow" onclick="toggleFolder('153_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1ObjTypeInfo.html" target="_self">SVF::ObjTypeInfo</a></td><td class="desc"></td></tr>
410
+ <tr id="row_153_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="classSVF_1_1LocObjTypeInfo.html" target="_self">SVF::LocObjTypeInfo</a></td><td class="desc"></td></tr>
411
+ <tr id="row_154_" 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="classSVF_1_1Options.html" target="_self">SVF::Options</a></td><td class="desc">Carries around command line options </td></tr>
412
+ <tr id="row_155_"><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="classSVF_1_1PAGBuilderFromFile.html" target="_self">SVF::PAGBuilderFromFile</a></td><td class="desc"></td></tr>
413
+ <tr id="row_156_" 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="classSVF_1_1PathCondAllocator.html" target="_self">SVF::PathCondAllocator</a></td><td class="desc"></td></tr>
414
+ <tr id="row_157_"><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="classSVF_1_1PCG.html" target="_self">SVF::PCG</a></td><td class="desc"></td></tr>
415
+ <tr id="row_158_" 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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="desc"></td></tr>
416
+ <tr id="row_159_"><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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; DataSet &gt;</a></td><td class="desc"></td></tr>
417
+ <tr id="row_160_" 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="classSVF_1_1PersistentPointsToCache.html" target="_self">SVF::PersistentPointsToCache&lt; SVF::PointsTo &gt;</a></td><td class="desc"></td></tr>
418
+ <tr id="row_161_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_161_" class="arrow" onclick="toggleFolder('161_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PointerAnalysis.html" target="_self">SVF::PointerAnalysis</a></td><td class="desc"></td></tr>
419
+ <tr id="row_161_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_161_0_" class="arrow" onclick="toggleFolder('161_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl&lt; ContextCond &gt;</a></td><td class="desc"></td></tr>
420
+ <tr id="row_161_0_0_" class="even" 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_1ContextDDA.html" target="_self">SVF::ContextDDA</a></td><td class="desc"></td></tr>
421
+ <tr id="row_161_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_161_1_" class="arrow" onclick="toggleFolder('161_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1BVDataPTAImpl.html" target="_self">SVF::BVDataPTAImpl</a></td><td class="desc"></td></tr>
422
+ <tr id="row_161_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_161_1_0_" class="arrow" onclick="toggleFolder('161_1_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
423
+ <tr id="row_161_1_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:48px;display:inline-block;">&#160;</span><span id="arr_161_1_0_0_" class="arrow" onclick="toggleFolder('161_1_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1Andersen.html" target="_self">SVF::Andersen</a></td><td class="desc"></td></tr>
424
+ <tr id="row_161_1_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_161_1_0_0_0_" class="arrow" onclick="toggleFolder('161_1_0_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHCD.html" target="_self">SVF::AndersenHCD</a></td><td class="desc"></td></tr>
425
+ <tr id="row_161_1_0_0_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
426
+ <tr id="row_161_1_0_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_161_1_0_0_1_" class="arrow" onclick="toggleFolder('161_1_0_0_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenLCD.html" target="_self">SVF::AndersenLCD</a></td><td class="desc"></td></tr>
427
+ <tr id="row_161_1_0_0_1_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenHLCD.html" target="_self">SVF::AndersenHLCD</a></td><td class="desc"></td></tr>
428
+ <tr id="row_161_1_0_0_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_161_1_0_0_2_" class="arrow" onclick="toggleFolder('161_1_0_0_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSCD.html" target="_self">SVF::AndersenSCD</a></td><td class="desc"></td></tr>
429
+ <tr id="row_161_1_0_0_2_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenSFR.html" target="_self">SVF::AndersenSFR</a></td><td class="desc"></td></tr>
430
+ <tr id="row_161_1_0_0_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><span id="arr_161_1_0_0_3_" class="arrow" onclick="toggleFolder('161_1_0_0_3_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiff.html" target="_self">SVF::AndersenWaveDiff</a></td><td class="desc"></td></tr>
431
+ <tr id="row_161_1_0_0_3_0_" class="even" style="display:none;"><td class="entry"><span style="width:96px;display:inline-block;">&#160;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1AndersenWaveDiffWithType.html" target="_self">SVF::AndersenWaveDiffWithType</a></td><td class="desc"></td></tr>
432
+ <tr id="row_161_1_0_1_" class="even" 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="classSVF_1_1Steensgaard.html" target="_self">SVF::Steensgaard</a></td><td class="desc"></td></tr>
433
+ <tr id="row_161_1_0_2_" class="even" 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="classSVF_1_1TypeAnalysis.html" target="_self">SVF::TypeAnalysis</a></td><td class="desc"></td></tr>
434
+ <tr id="row_161_1_1_" class="even" 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_1FlowDDA.html" target="_self">SVF::FlowDDA</a></td><td class="desc"></td></tr>
435
+ <tr id="row_161_1_2_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_161_1_2_" class="arrow" onclick="toggleFolder('161_1_2_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
436
+ <tr id="row_161_1_2_0_" class="even" 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="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
437
+ <tr id="row_161_1_2_1_" class="even" 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="classSVF_1_1FSMPTA.html" target="_self">SVF::FSMPTA</a></td><td class="desc"></td></tr>
438
+ <tr id="row_161_1_2_2_" class="even" 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="classSVF_1_1VersionedFlowSensitive.html" target="_self">SVF::VersionedFlowSensitive</a></td><td class="desc"></td></tr>
439
+ <tr id="row_161_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="classSVF_1_1CondPTAImpl.html" target="_self">SVF::CondPTAImpl&lt; Cond &gt;</a></td><td class="desc"></td></tr>
440
+ <tr id="row_162_" 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="classSVF_1_1PointsTo.html" target="_self">SVF::PointsTo</a></td><td class="desc"></td></tr>
441
+ <tr id="row_163_"><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="classSVF_1_1PointsTo_1_1PointsToIterator.html" target="_self">SVF::PointsTo::PointsToIterator</a></td><td class="desc"></td></tr>
442
+ <tr id="row_164_" 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="classSVF_1_1ProgSlice.html" target="_self">SVF::ProgSlice</a></td><td class="desc"></td></tr>
443
+ <tr id="row_165_"><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="classSVF_1_1PTACFInfoBuilder.html" target="_self">SVF::PTACFInfoBuilder</a></td><td class="desc"></td></tr>
444
+ <tr id="row_166_" 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="classSVF_1_1PTASCEV.html" target="_self">SVF::PTASCEV</a></td><td class="desc"></td></tr>
445
+ <tr id="row_167_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_167_" class="arrow" onclick="toggleFolder('167_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTAStat.html" target="_self">SVF::PTAStat</a></td><td class="desc"></td></tr>
446
+ <tr id="row_167_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="classSVF_1_1AndersenStat.html" target="_self">SVF::AndersenStat</a></td><td class="desc"></td></tr>
447
+ <tr id="row_167_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="classSVF_1_1DDAStat.html" target="_self">SVF::DDAStat</a></td><td class="desc"></td></tr>
448
+ <tr id="row_167_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="classSVF_1_1FlowSensitiveStat.html" target="_self">SVF::FlowSensitiveStat</a></td><td class="desc"></td></tr>
449
+ <tr id="row_167_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="classSVF_1_1ICFGStat.html" target="_self">SVF::ICFGStat</a></td><td class="desc"></td></tr>
450
+ <tr id="row_167_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="classSVF_1_1MemSSAStat.html" target="_self">SVF::MemSSAStat</a></td><td class="desc"></td></tr>
451
+ <tr id="row_167_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="classSVF_1_1MTAStat.html" target="_self">SVF::MTAStat</a></td><td class="desc"></td></tr>
452
+ <tr id="row_167_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="classSVF_1_1SVFGStat.html" target="_self">SVF::SVFGStat</a></td><td class="desc"></td></tr>
453
+ <tr id="row_167_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="classSVF_1_1VersionedFlowSensitiveStat.html" target="_self">SVF::VersionedFlowSensitiveStat</a></td><td class="desc"></td></tr>
454
+ <tr id="row_168_" 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="classSVF_1_1PTAType.html" target="_self">SVF::PTAType</a></td><td class="desc"></td></tr>
455
+ <tr id="row_169_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_169_" class="arrow" onclick="toggleFolder('169_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
456
+ <tr id="row_169_0_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_169_0_" class="arrow" onclick="toggleFolder('169_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DFPTData.html" target="_self">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
457
+ <tr id="row_169_0_0_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_169_0_0_" class="arrow" onclick="toggleFolder('169_0_0_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1MutableDFPTData.html" target="_self">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
458
+ <tr id="row_169_0_0_0_" class="even" 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="classSVF_1_1MutableIncDFPTData.html" target="_self">SVF::MutableIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc">Incremental version of the mutable data-flow points-to data structure </td></tr>
459
+ <tr id="row_169_0_1_" class="even" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_169_0_1_" class="arrow" onclick="toggleFolder('169_0_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PersistentDFPTData.html" target="_self">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
460
+ <tr id="row_169_0_1_0_" class="even" 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="classSVF_1_1PersistentIncDFPTData.html" target="_self">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc">Incremental version of the persistent data-flow points-to data structure </td></tr>
461
+ <tr id="row_169_1_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_169_1_" class="arrow" onclick="toggleFolder('169_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1DiffPTData.html" target="_self">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
462
+ <tr id="row_169_1_0_" class="even" 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_1MutableDiffPTData.html" target="_self">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
463
+ <tr id="row_169_1_1_" class="even" 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_1PersistentDiffPTData.html" target="_self">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="desc"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a> implemented with a persistent points-to backing </td></tr>
464
+ <tr id="row_169_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="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</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>
465
+ <tr id="row_169_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="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</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>
466
+ <tr id="row_169_4_" class="even" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_169_4_" class="arrow" onclick="toggleFolder('169_4_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1VersionedPTData.html" target="_self">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
467
+ <tr id="row_169_4_0_" class="even" 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_1MutableVersionedPTData.html" target="_self">SVF::MutableVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
468
+ <tr id="row_169_4_1_" class="even" 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_1PersistentVersionedPTData.html" target="_self">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td><td class="desc"></td></tr>
469
+ <tr id="row_170_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_170_" class="arrow" onclick="toggleFolder('170_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1PTData.html" target="_self">SVF::PTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
470
+ <tr id="row_170_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="classSVF_1_1MutablePTData.html" target="_self">SVF::MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
471
+ <tr id="row_170_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="classSVF_1_1PersistentPTData.html" target="_self">SVF::PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;</a></td><td class="desc"></td></tr>
472
+ <tr id="row_171_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_171_" class="arrow" onclick="toggleFolder('171_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1RaceResultValidator.html" target="_self">SVF::RaceResultValidator</a></td><td class="desc">Validate the result of concurrent analysis </td></tr>
473
+ <tr id="row_171_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="classSVF_1_1MHPValidator.html" target="_self">SVF::MHPValidator</a></td><td class="desc"></td></tr>
474
+ <tr id="row_171_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="classSVF_1_1RaceValidator.html" target="_self">SVF::RaceValidator</a></td><td class="desc"></td></tr>
475
+ <tr id="row_172_" 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="classSVF_1_1SaberCheckerAPI.html" target="_self">SVF::SaberCheckerAPI</a></td><td class="desc"></td></tr>
476
+ <tr id="row_173_"><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="classSVF_1_1VersionedFlowSensitive_1_1SCC.html" target="_self">SVF::VersionedFlowSensitive::SCC</a></td><td class="desc"></td></tr>
477
+ <tr id="row_174_" 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="classSVF_1_1SCCDetection.html" target="_self">SVF::SCCDetection&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
478
+ <tr id="row_175_"><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="structSVF_1_1SVFUtil_1_1simplify__type.html" target="_self">SVF::SVFUtil::simplify_type&lt; From &gt;</a></td><td class="desc"></td></tr>
479
+ <tr id="row_176_" 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="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html" target="_self">SVF::SVFUtil::simplify_type&lt; const From &gt;</a></td><td class="desc"></td></tr>
480
+ <tr id="row_177_"><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="structst__generator.html" target="_self">st_generator</a></td><td class="desc"></td></tr>
481
+ <tr id="row_178_" 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="structst__table.html" target="_self">st_table</a></td><td class="desc"></td></tr>
482
+ <tr id="row_179_"><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="structst__table__entry.html" target="_self">st_table_entry</a></td><td class="desc"></td></tr>
483
+ <tr id="row_180_" 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="classSVF_1_1StInfo.html" target="_self">SVF::StInfo</a></td><td class="desc"></td></tr>
484
+ <tr id="row_181_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_181_" class="arrow" onclick="toggleFolder('181_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFGBuilder.html" target="_self">SVF::SVFGBuilder</a></td><td class="desc"></td></tr>
485
+ <tr id="row_181_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="classSVF_1_1MTASVFGBuilder.html" target="_self">SVF::MTASVFGBuilder</a></td><td class="desc"></td></tr>
486
+ <tr id="row_181_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="classSVF_1_1SaberSVFGBuilder.html" target="_self">SVF::SaberSVFGBuilder</a></td><td class="desc"></td></tr>
487
+ <tr id="row_182_" 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="classSVF_1_1SVFGNodeLockSpan.html" target="_self">SVF::SVFGNodeLockSpan</a></td><td class="desc"></td></tr>
488
+ <tr id="row_183_"><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="classSVF_1_1SVFModule.html" target="_self">SVF::SVFModule</a></td><td class="desc"></td></tr>
489
+ <tr id="row_184_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_184_" class="arrow" onclick="toggleFolder('184_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SVFValue.html" target="_self">SVF::SVFValue</a></td><td class="desc"></td></tr>
490
+ <tr id="row_184_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="classSVF_1_1SVFBasicBlock.html" target="_self">SVF::SVFBasicBlock</a></td><td class="desc"></td></tr>
491
+ <tr id="row_184_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="classSVF_1_1SVFFunction.html" target="_self">SVF::SVFFunction</a></td><td class="desc"></td></tr>
492
+ <tr id="row_184_2_" style="display:none;"><td class="entry"><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">SVF::SVFGlobal</a></td><td class="desc"></td></tr>
493
+ <tr id="row_184_3_" style="display:none;"><td class="entry"><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">SVF::SVFInstruction</a></td><td class="desc"></td></tr>
494
+ <tr id="row_185_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_185_" class="arrow" onclick="toggleFolder('185_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1SymbolTableInfo.html" target="_self">SVF::SymbolTableInfo</a></td><td class="desc"></td></tr>
495
+ <tr id="row_185_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="classSVF_1_1LocSymTableInfo.html" target="_self">SVF::LocSymTableInfo</a></td><td class="desc"></td></tr>
496
+ <tr id="row_186_" 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="classSVF_1_1ThreadAPI.html" target="_self">SVF::ThreadAPI</a></td><td class="desc"></td></tr>
497
+ <tr id="row_187_"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_187_" class="arrow" onclick="toggleFolder('187_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1TypeBasedHeapCloning.html" target="_self">SVF::TypeBasedHeapCloning</a></td><td class="desc"></td></tr>
498
+ <tr id="row_187_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="classSVF_1_1FlowSensitiveTBHC.html" target="_self">SVF::FlowSensitiveTBHC</a></td><td class="desc"></td></tr>
499
+ <tr id="row_188_" 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="classSVF_1_1TypeSet.html" target="_self">SVF::TypeSet</a></td><td class="desc"></td></tr>
500
+ <tr id="row_189_"><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="classSVF_1_1TypeSystem.html" target="_self">SVF::TypeSystem</a></td><td class="desc"></td></tr>
501
+ <tr id="row_190_" class="even"><td class="entry"><span style="width:0px;display:inline-block;">&#160;</span><span id="arr_190_" class="arrow" onclick="toggleFolder('190_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASolver.html" target="_self">SVF::WPASolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
502
+ <tr id="row_190_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="classSVF_1_1AndersenBase.html" target="_self">SVF::AndersenBase</a></td><td class="desc"></td></tr>
503
+ <tr id="row_190_1_" style="display:none;"><td class="entry"><span style="width:16px;display:inline-block;">&#160;</span><span id="arr_190_1_" class="arrow" onclick="toggleFolder('190_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPAFSSolver.html" target="_self">SVF::WPAFSSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
504
+ <tr id="row_190_1_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_1FlowSensitive.html" target="_self">SVF::FlowSensitive</a></td><td class="desc"></td></tr>
505
+ <tr id="row_190_1_1_" style="display:none;"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_190_1_1_" class="arrow" onclick="toggleFolder('190_1_1_')">&#9658;</span><span class="icona"><span class="icon">C</span></span><a class="el" href="classSVF_1_1WPASCCSolver.html" target="_self">SVF::WPASCCSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
506
+ <tr id="row_190_1_1_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="classSVF_1_1WPAMinimumSolver.html" target="_self">SVF::WPAMinimumSolver&lt; GraphType &gt;</a></td><td class="desc"></td></tr>
504
507
  </table>
505
508
  </div><!-- directory -->
506
509
  </div><!-- contents -->