svf-tools 1.0.558 → 1.0.561

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 (327) hide show
  1. package/README.md +1 -1
  2. package/SVF-doxygen/html/html/AbstractPointsToDS_8h_source.html +43 -43
  3. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +16 -16
  6. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +2 -2
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +18 -18
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +56 -56
  9. package/SVF-doxygen/html/html/CFLGrammar_8txt.html +8 -8
  10. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +10 -1
  11. package/SVF-doxygen/html/html/CFLGraphBuilder_8h_source.html +3 -1
  12. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +1 -1
  13. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +44 -44
  14. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +43 -43
  15. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  16. package/SVF-doxygen/html/html/DDAClient_8h_source.html +36 -36
  17. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +19 -19
  18. package/SVF-doxygen/html/html/DDAPass_8h_source.html +21 -21
  19. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +51 -51
  20. package/SVF-doxygen/html/html/DDAStat_8h_source.html +51 -51
  21. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +111 -111
  22. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  23. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +2 -2
  24. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +5 -2
  25. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +3 -2
  26. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +40 -40
  27. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +52 -52
  28. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
  29. package/SVF-doxygen/html/html/FileChecker_8h_source.html +2 -2
  30. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  31. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +42 -42
  32. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  34. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  35. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +3 -3
  36. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +34 -34
  39. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +114 -114
  40. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  41. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +7 -7
  42. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  43. package/SVF-doxygen/html/html/MHP_8cpp_source.html +94 -94
  44. package/SVF-doxygen/html/html/MHP_8h_source.html +135 -135
  45. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +6 -6
  46. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  47. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +10 -10
  49. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  50. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +33 -33
  51. package/SVF-doxygen/html/html/MTAStat_8h_source.html +14 -14
  52. package/SVF-doxygen/html/html/MTA_8cpp_source.html +28 -28
  53. package/SVF-doxygen/html/html/MTA_8h_source.html +24 -24
  54. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +6 -6
  55. package/SVF-doxygen/html/html/MemPartition_8h_source.html +4 -4
  56. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +50 -50
  57. package/SVF-doxygen/html/html/MemRegion_8h_source.html +93 -93
  58. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +59 -59
  59. package/SVF-doxygen/html/html/MemSSA_8h_source.html +103 -103
  60. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +185 -185
  61. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  62. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  63. package/SVF-doxygen/html/html/PCG_8cpp_source.html +14 -14
  64. package/SVF-doxygen/html/html/PCG_8h_source.html +52 -52
  65. package/SVF-doxygen/html/html/PEGGrammar_8txt.html +14 -32
  66. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +40 -40
  67. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +181 -181
  68. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  69. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +30 -30
  70. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  71. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +60 -60
  74. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -2
  75. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  76. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  77. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  79. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +19 -19
  80. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  81. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +12 -12
  82. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  83. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +3 -3
  86. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +2 -2
  87. package/SVF-doxygen/html/html/SaberCheckerAPI_8cpp_source.html +1 -1
  88. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  90. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +1 -1
  91. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  92. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  93. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  94. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +66 -66
  95. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +1 -1
  96. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +4 -4
  97. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +6 -6
  98. package/SVF-doxygen/html/html/TCT_8cpp_source.html +44 -44
  99. package/SVF-doxygen/html/html/TCT_8h_source.html +93 -93
  100. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  101. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  102. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  103. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +25 -25
  104. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +38 -38
  105. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  106. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  107. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  108. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  109. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder-members.html +13 -10
  110. package/SVF-doxygen/html/html/classSVF_1_1AliasCFLGraphBuilder.html +190 -2
  111. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +22 -22
  112. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +102 -102
  113. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +43 -43
  114. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +20 -20
  115. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -6
  116. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +16 -16
  117. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +19 -19
  118. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +39 -39
  119. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  120. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +2 -2
  121. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +2 -2
  122. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  123. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +100 -100
  124. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +51 -51
  125. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +58 -58
  126. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +165 -165
  127. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +286 -286
  128. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +26 -26
  129. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +11 -11
  130. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +4 -4
  131. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  132. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  133. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI-members.html +5 -4
  134. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +40 -5
  135. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +30 -30
  136. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  137. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +71 -71
  138. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +7 -7
  139. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  140. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +218 -218
  141. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  142. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +19 -19
  144. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  145. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +7 -7
  146. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +17 -17
  147. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +2 -2
  148. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +334 -334
  149. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  150. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +246 -246
  151. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +7 -7
  152. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +200 -200
  153. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  155. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +2 -2
  156. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  157. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  158. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +53 -53
  159. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  160. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +22 -22
  161. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +181 -181
  162. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +44 -44
  163. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +23 -23
  164. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +267 -267
  165. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -18
  166. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +128 -128
  167. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +55 -55
  168. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +88 -88
  169. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +78 -78
  170. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +77 -77
  171. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +131 -131
  172. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +32 -32
  173. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +107 -107
  174. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +66 -66
  175. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +84 -84
  176. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +77 -77
  177. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +134 -134
  178. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +77 -77
  179. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  180. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +161 -161
  181. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
  182. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +22 -22
  184. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  185. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  186. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  187. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  188. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +157 -157
  189. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +15 -15
  190. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  191. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +264 -264
  192. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +13 -13
  193. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +20 -20
  194. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +100 -100
  196. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  197. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +11 -11
  199. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  200. package/SVF-doxygen/html/html/dda_8cpp.html +2 -2
  201. package/SVF-doxygen/html/html/dda_8cpp_source.html +2 -2
  202. package/SVF-doxygen/html/html/functions_a.html +11 -5
  203. package/SVF-doxygen/html/html/functions_c.html +21 -18
  204. package/SVF-doxygen/html/html/functions_f.html +6 -6
  205. package/SVF-doxygen/html/html/functions_func.html +16 -10
  206. package/SVF-doxygen/html/html/functions_func_c.html +19 -16
  207. package/SVF-doxygen/html/html/functions_func_i.html +11 -8
  208. package/SVF-doxygen/html/html/functions_i.html +11 -8
  209. package/SVF-doxygen/html/html/functions_l.html +5 -5
  210. package/SVF-doxygen/html/html/functions_p.html +6 -6
  211. package/SVF-doxygen/html/html/functions_r.html +3 -7
  212. package/SVF-doxygen/html/html/functions_s.html +16 -14
  213. package/SVF-doxygen/html/html/functions_v.html +6 -6
  214. package/SVF-doxygen/html/html/functions_w.html +11 -11
  215. package/SVF-doxygen/html/html/globals_g.html +3 -3
  216. package/SVF-doxygen/html/html/globals_v.html +1 -2
  217. package/SVF-doxygen/html/html/globals_vars.html +3 -4
  218. package/SVF-doxygen/html/html/mta_8cpp.html +2 -2
  219. package/SVF-doxygen/html/html/mta_8cpp_source.html +2 -2
  220. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  221. package/SVF-doxygen/html/html/search/all_1.js +2 -0
  222. package/SVF-doxygen/html/html/search/all_10.js +5 -5
  223. package/SVF-doxygen/html/html/search/all_11.js +2 -2
  224. package/SVF-doxygen/html/html/search/all_12.js +8 -8
  225. package/SVF-doxygen/html/html/search/all_13.js +2 -2
  226. package/SVF-doxygen/html/html/search/all_14.js +1 -1
  227. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  228. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  229. package/SVF-doxygen/html/html/search/all_3.js +1 -0
  230. package/SVF-doxygen/html/html/search/all_6.js +2 -2
  231. package/SVF-doxygen/html/html/search/all_7.js +2 -2
  232. package/SVF-doxygen/html/html/search/all_9.js +2 -1
  233. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  234. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  235. package/SVF-doxygen/html/html/search/functions_0.js +2 -0
  236. package/SVF-doxygen/html/html/search/functions_2.js +1 -0
  237. package/SVF-doxygen/html/html/search/functions_8.js +1 -0
  238. package/SVF-doxygen/html/html/search/variables_13.js +1 -1
  239. package/SVF-doxygen/html/html/search/variables_14.js +1 -1
  240. package/SVF-doxygen/html/html/search/variables_15.js +1 -1
  241. package/SVF-doxygen/html/html/search/variables_7.js +2 -2
  242. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  243. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +3 -3
  244. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  245. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +15 -15
  246. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +1 -1
  247. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +1 -1
  248. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +2 -2
  249. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  250. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  251. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  252. package/include/CFL/CFLGraphBuilder.h +9 -0
  253. package/include/CFL/PEGGrammar.txt +4 -8
  254. package/include/DDA/ContextDDA.h +29 -0
  255. package/include/DDA/DDAClient.h +23 -0
  256. package/include/DDA/DDAPass.h +22 -0
  257. package/include/DDA/DDAStat.h +22 -0
  258. package/include/DDA/DDAVFSolver.h +22 -0
  259. package/include/DDA/FlowDDA.h +29 -0
  260. package/include/MSSA/MSSAMuChi.h +1 -1
  261. package/include/MSSA/MemPartition.h +1 -1
  262. package/include/MSSA/MemRegion.h +5 -1
  263. package/include/MSSA/MemSSA.h +7 -1
  264. package/include/MSSA/SVFGBuilder.h +1 -1
  265. package/include/MTA/FSMPTA.h +26 -0
  266. package/include/MTA/LockAnalysis.h +22 -0
  267. package/include/MTA/MHP.h +22 -0
  268. package/include/MTA/MTA.h +27 -1
  269. package/include/MTA/MTAStat.h +22 -0
  270. package/include/MTA/PCG.h +22 -0
  271. package/include/MTA/TCT.h +22 -0
  272. package/include/MemoryModel/AbstractPointsToDS.h +34 -0
  273. package/include/MemoryModel/ConditionalPT.h +1 -1
  274. package/include/MemoryModel/LocationSet.h +1 -1
  275. package/include/MemoryModel/MutablePointsToDS.h +32 -0
  276. package/include/MemoryModel/PAGBuilderFromFile.h +2 -2
  277. package/include/MemoryModel/PersistentPointsToCache.h +3 -1
  278. package/include/MemoryModel/PersistentPointsToDS.h +10 -0
  279. package/include/MemoryModel/PointerAnalysis.h +1 -1
  280. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  281. package/include/MemoryModel/SVFStatements.h +1 -1
  282. package/include/SABER/DoubleFreeChecker.h +1 -1
  283. package/include/SABER/FileChecker.h +1 -1
  284. package/include/SABER/LeakChecker.h +1 -1
  285. package/include/SABER/ProgSlice.h +8 -1
  286. package/include/SABER/SaberAnnotator.h +1 -1
  287. package/include/SABER/SaberCheckerAPI.h +1 -1
  288. package/include/SABER/SaberCondAllocator.h +1 -1
  289. package/include/SABER/SaberSVFGBuilder.h +1 -1
  290. package/include/SABER/SrcSnkDDA.h +8 -1
  291. package/include/SABER/SrcSnkSolver.h +1 -1
  292. package/include/Util/ExtAPI.h +3 -0
  293. package/include/Util/ExtAPI.json +1456 -44
  294. package/include/WPA/Andersen.h +5 -0
  295. package/include/WPA/TypeAnalysis.h +1 -1
  296. package/include/WPA/VersionedFlowSensitive.h +4 -0
  297. package/lib/CFL/CFLGraphBuilder.cpp +44 -0
  298. package/lib/DDA/ContextDDA.cpp +22 -0
  299. package/lib/DDA/DDAClient.cpp +22 -0
  300. package/lib/DDA/DDAPass.cpp +23 -0
  301. package/lib/DDA/DDAStat.cpp +22 -0
  302. package/lib/DDA/FlowDDA.cpp +22 -0
  303. package/lib/MTA/FSMPTA.cpp +22 -0
  304. package/lib/MTA/LockAnalysis.cpp +22 -0
  305. package/lib/MTA/MHP.cpp +23 -1
  306. package/lib/MTA/MTA.cpp +23 -0
  307. package/lib/MTA/MTAStat.cpp +22 -0
  308. package/lib/MTA/PCG.cpp +22 -0
  309. package/lib/MTA/TCT.cpp +23 -0
  310. package/lib/MemoryModel/LocationSet.cpp +1 -1
  311. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  312. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  313. package/lib/MemoryModel/PointerAnalysisImpl.cpp +23 -0
  314. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  315. package/lib/SABER/FileChecker.cpp +1 -1
  316. package/lib/SABER/LeakChecker.cpp +1 -1
  317. package/lib/SABER/ProgSlice.cpp +1 -1
  318. package/lib/SABER/SaberAnnotator.cpp +1 -1
  319. package/lib/SABER/SaberCheckerAPI.cpp +1 -1
  320. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  321. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  322. package/lib/SABER/SrcSnkDDA.cpp +1 -1
  323. package/lib/Util/ExtAPI.cpp +42 -4
  324. package/lib/WPA/Steensgaard.cpp +22 -0
  325. package/lib/WPA/TypeAnalysis.cpp +1 -1
  326. package/lib/WPA/WPAPass.cpp +1 -1
  327. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html CHANGED
@@ -228,7 +228,7 @@ class SVF::MutableVersionedPTData< Key, KeySet, Data, DataSet, VersionedKey,
228
228
 
229
229
  <p><a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a> implemented with mutable points-to set (DataSet). Implemented as a wrapper around two MutablePTDatas: one for Keys, one for VersionedKeys. </p>
230
230
 
231
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00860">860</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
231
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00892">892</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
232
232
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
233
233
  <a id="a31fd15a8147e3146b15b4d24fe34cf46"></a>
234
234
  <h2 class="memtitle"><span class="permalink"><a href="#a31fd15a8147e3146b15b4d24fe34cf46">&#9670;&nbsp;</a></span>BasePTData</h2>
@@ -244,7 +244,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
244
244
  </table>
245
245
  </div><div class="memdoc">
246
246
 
247
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00863">863</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
247
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00895">895</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
248
248
 
249
249
  </div>
250
250
  </div>
@@ -262,7 +262,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
262
262
  </table>
263
263
  </div><div class="memdoc">
264
264
 
265
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00864">864</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
265
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00896">896</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
266
266
 
267
267
  </div>
268
268
  </div>
@@ -280,7 +280,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
280
280
  </table>
281
281
  </div><div class="memdoc">
282
282
 
283
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00865">865</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
283
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00897">897</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
284
284
 
285
285
  </div>
286
286
  </div>
@@ -321,10 +321,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
321
321
  </table>
322
322
  </div><div class="memdoc">
323
323
 
324
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00867">867</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
325
- <div class="fragment"><div class="line"><a name="l00868"></a><span class="lineno"> 868</span>&#160; : <a class="code" href="classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b">BaseVersionedPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>(reversePT), <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>(reversePT) { }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
326
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_aa80044e3b4c3ed58117573dfa54d803b"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b">SVF::MutableVersionedPTData::BaseVersionedPTData</a></div><div class="ttdeci">VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; BaseVersionedPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00864">MutablePointsToDS.h:864</a></div></div>
327
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
324
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00899">899</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
325
+ <div class="fragment"><div class="line"><a name="l00900"></a><span class="lineno"> 900</span>&#160; : <a class="code" href="classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b">BaseVersionedPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>(reversePT), <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>(reversePT) { }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
326
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_aa80044e3b4c3ed58117573dfa54d803b"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#aa80044e3b4c3ed58117573dfa54d803b">SVF::MutableVersionedPTData::BaseVersionedPTData</a></div><div class="ttdeci">VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt; BaseVersionedPTData</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00896">MutablePointsToDS.h:896</a></div></div>
327
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
328
328
  </div><!-- fragment -->
329
329
  </div>
330
330
  </div>
@@ -353,8 +353,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
353
353
  </table>
354
354
  </div><div class="memdoc">
355
355
 
356
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00870">870</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
357
- <div class="fragment"><div class="line"><a name="l00870"></a><span class="lineno"> 870</span>&#160;{ }</div></div><!-- fragment -->
356
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00902">902</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
357
+ <div class="fragment"><div class="line"><a name="l00902"></a><span class="lineno"> 902</span>&#160;{ }</div></div><!-- fragment -->
358
358
  </div>
359
359
  </div>
360
360
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -398,8 +398,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
398
398
 
399
399
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
400
400
 
401
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00898">898</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
402
- <div class="fragment"><div class="line"><a name="l00899"></a><span class="lineno"> 899</span>&#160; {</div><div class="line"><a name="l00900"></a><span class="lineno"> 900</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.addPts(k, element);</div><div class="line"><a name="l00901"></a><span class="lineno"> 901</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
401
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00930">930</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
402
+ <div class="fragment"><div class="line"><a name="l00931"></a><span class="lineno"> 931</span>&#160; {</div><div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.addPts(k, element);</div><div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
403
403
  </div><!-- fragment -->
404
404
  </div>
405
405
  </div>
@@ -441,9 +441,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
441
441
 
442
442
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
443
443
 
444
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00902">902</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
445
- <div class="fragment"><div class="line"><a name="l00903"></a><span class="lineno"> 903</span>&#160; {</div><div class="line"><a name="l00904"></a><span class="lineno"> 904</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">addPts</a>(vk, element);</div><div class="line"><a name="l00905"></a><span class="lineno"> 905</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_aab4a2eec11e83beca70b016102431ab1"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">SVF::MutablePTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;dstKey, const Data &amp;element) override</div><div class="ttdoc">Adds element to the points-to set associated with var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00062">MutablePointsToDS.h:62</a></div></div>
446
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
444
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00934">934</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
445
+ <div class="fragment"><div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; {</div><div class="line"><a name="l00936"></a><span class="lineno"> 936</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">addPts</a>(vk, element);</div><div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_aab4a2eec11e83beca70b016102431ab1"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#aab4a2eec11e83beca70b016102431ab1">SVF::MutablePTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;dstKey, const Data &amp;element) override</div><div class="ttdoc">Adds element to the points-to set associated with var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00094">MutablePointsToDS.h:94</a></div></div>
446
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
447
447
  </div><!-- fragment -->
448
448
  </div>
449
449
  </div>
@@ -474,8 +474,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
474
474
  </div><div class="memdoc">
475
475
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
476
476
 
477
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00973">973</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
478
- <div class="fragment"><div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160; {</div><div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; }</div></div><!-- fragment -->
477
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l01005">1005</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
478
+ <div class="fragment"><div class="line"><a name="l01006"></a><span class="lineno"> 1006</span>&#160; {</div><div class="line"><a name="l01007"></a><span class="lineno"> 1007</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l01008"></a><span class="lineno"> 1008</span>&#160; }</div></div><!-- fragment -->
479
479
  </div>
480
480
  </div>
481
481
  <a id="a646111552a7112b8e48c00e766ce8d9b"></a>
@@ -504,8 +504,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
504
504
  </table>
505
505
  </div><div class="memdoc">
506
506
 
507
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00978">978</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
508
- <div class="fragment"><div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160; {</div><div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::MutVersioned;</div><div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; }</div></div><!-- fragment -->
507
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l01010">1010</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
508
+ <div class="fragment"><div class="line"><a name="l01011"></a><span class="lineno"> 1011</span>&#160; {</div><div class="line"><a name="l01012"></a><span class="lineno"> 1012</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::MutVersioned;</div><div class="line"><a name="l01013"></a><span class="lineno"> 1013</span>&#160; }</div></div><!-- fragment -->
509
509
  </div>
510
510
  </div>
511
511
  <a id="ab476e1b59aead37b440fd5735df3814b"></a>
@@ -537,10 +537,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
537
537
 
538
538
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
539
539
 
540
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00872">872</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
541
- <div class="fragment"><div class="line"><a name="l00873"></a><span class="lineno"> 873</span>&#160; {</div><div class="line"><a name="l00874"></a><span class="lineno"> 874</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clear();</div><div class="line"><a name="l00875"></a><span class="lineno"> 875</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">clear</a>();</div><div class="line"><a name="l00876"></a><span class="lineno"> 876</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
542
- <div class="ttc" id="classSVF_1_1MutablePTData_html_ac8da1a3357c3bc529f6ca85615486951"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">SVF::MutablePTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00045">MutablePointsToDS.h:45</a></div></div>
543
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
540
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00904">904</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
541
+ <div class="fragment"><div class="line"><a name="l00905"></a><span class="lineno"> 905</span>&#160; {</div><div class="line"><a name="l00906"></a><span class="lineno"> 906</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clear();</div><div class="line"><a name="l00907"></a><span class="lineno"> 907</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">clear</a>();</div><div class="line"><a name="l00908"></a><span class="lineno"> 908</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
542
+ <div class="ttc" id="classSVF_1_1MutablePTData_html_ac8da1a3357c3bc529f6ca85615486951"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ac8da1a3357c3bc529f6ca85615486951">SVF::MutablePTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00077">MutablePointsToDS.h:77</a></div></div>
543
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
544
544
  </div><!-- fragment -->
545
545
  </div>
546
546
  </div>
@@ -574,8 +574,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
574
574
 
575
575
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
576
576
 
577
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00941">941</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
578
- <div class="fragment"><div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; {</div><div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clearFullPts(k);</div><div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
577
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00973">973</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
578
+ <div class="fragment"><div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160; {</div><div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clearFullPts(k);</div><div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
579
579
  </div><!-- fragment -->
580
580
  </div>
581
581
  </div>
@@ -607,9 +607,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
607
607
 
608
608
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
609
609
 
610
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00945">945</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
611
- <div class="fragment"><div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; {</div><div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">clearFullPts</a>(vk);</div><div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a3bf34d8040779b4d251bb08a58604d77"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00091">MutablePointsToDS.h:91</a></div></div>
612
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
610
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00977">977</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
611
+ <div class="fragment"><div class="line"><a name="l00978"></a><span class="lineno"> 978</span>&#160; {</div><div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">clearFullPts</a>(vk);</div><div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a3bf34d8040779b4d251bb08a58604d77"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3bf34d8040779b4d251bb08a58604d77">SVF::MutablePTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00123">MutablePointsToDS.h:123</a></div></div>
612
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
613
613
  </div><!-- fragment -->
614
614
  </div>
615
615
  </div>
@@ -653,8 +653,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
653
653
 
654
654
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
655
655
 
656
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00932">932</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
657
- <div class="fragment"><div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; {</div><div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clearPts(k, element);</div><div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
656
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00964">964</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
657
+ <div class="fragment"><div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; {</div><div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.clearPts(k, element);</div><div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
658
658
  </div><!-- fragment -->
659
659
  </div>
660
660
  </div>
@@ -696,9 +696,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
696
696
 
697
697
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
698
698
 
699
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00936">936</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
700
- <div class="fragment"><div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; {</div><div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">clearPts</a>(vk, element);</div><div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a5ca2c5a8908d003b7ec2c17f949ae6aa"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">SVF::MutablePTData::clearPts</a></div><div class="ttdeci">virtual void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00085">MutablePointsToDS.h:85</a></div></div>
701
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
699
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00968">968</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
700
+ <div class="fragment"><div class="line"><a name="l00969"></a><span class="lineno"> 969</span>&#160; {</div><div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">clearPts</a>(vk, element);</div><div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a5ca2c5a8908d003b7ec2c17f949ae6aa"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a5ca2c5a8908d003b7ec2c17f949ae6aa">SVF::MutablePTData::clearPts</a></div><div class="ttdeci">virtual void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00117">MutablePointsToDS.h:117</a></div></div>
701
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
702
702
  </div><!-- fragment -->
703
703
  </div>
704
704
  </div>
@@ -731,11 +731,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
731
731
 
732
732
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
733
733
 
734
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00963">963</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
735
- <div class="fragment"><div class="line"><a name="l00964"></a><span class="lineno"> 964</span>&#160; {</div><div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Top-level points-to information\n&quot;</span>;</div><div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.dumpPTData();</div><div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Address-taken points-to information\n&quot;</span>;</div><div class="line"><a name="l00968"></a><span class="lineno"> 968</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279">dumpPTData</a>();</div><div class="line"><a name="l00969"></a><span class="lineno"> 969</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
734
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00995">995</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
735
+ <div class="fragment"><div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; {</div><div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Top-level points-to information\n&quot;</span>;</div><div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.dumpPTData();</div><div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Address-taken points-to information\n&quot;</span>;</div><div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279">dumpPTData</a>();</div><div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
736
736
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
737
- <div class="ttc" id="classSVF_1_1MutablePTData_html_a3206473b309c231d7d4b991a36a35279"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279">SVF::MutablePTData::dumpPTData</a></div><div class="ttdeci">virtual void dumpPTData() override</div><div class="ttdoc">Dump stored keys and points-to sets. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00080">MutablePointsToDS.h:80</a></div></div>
738
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
737
+ <div class="ttc" id="classSVF_1_1MutablePTData_html_a3206473b309c231d7d4b991a36a35279"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3206473b309c231d7d4b991a36a35279">SVF::MutablePTData::dumpPTData</a></div><div class="ttdeci">virtual void dumpPTData() override</div><div class="ttdoc">Dump stored keys and points-to sets. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00112">MutablePointsToDS.h:112</a></div></div>
738
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
739
739
  </div><!-- fragment -->
740
740
  </div>
741
741
  </div>
@@ -768,10 +768,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
768
768
 
769
769
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
770
770
 
771
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00956">956</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
772
- <div class="fragment"><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; {</div><div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458">getAllPts</a>(liveOnly));</div><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_ad20254ace6d9976da2099413f5790458"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458">SVF::MutablePTData::getAllPts</a></div><div class="ttdeci">virtual Map&lt; DataSet, unsigned &gt; getAllPts(bool liveOnly) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00103">MutablePointsToDS.h:103</a></div></div>
773
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
774
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
771
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00988">988</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
772
+ <div class="fragment"><div class="line"><a name="l00989"></a><span class="lineno"> 989</span>&#160; {</div><div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458">getAllPts</a>(liveOnly));</div><div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_ad20254ace6d9976da2099413f5790458"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#ad20254ace6d9976da2099413f5790458">SVF::MutablePTData::getAllPts</a></div><div class="ttdeci">virtual Map&lt; DataSet, unsigned &gt; getAllPts(bool liveOnly) const override</div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00135">MutablePointsToDS.h:135</a></div></div>
773
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
774
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
775
775
  </div><!-- fragment -->
776
776
  </div>
777
777
  </div>
@@ -805,8 +805,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
805
805
 
806
806
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
807
807
 
808
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00878">878</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
809
- <div class="fragment"><div class="line"><a name="l00879"></a><span class="lineno"> 879</span>&#160; {</div><div class="line"><a name="l00880"></a><span class="lineno"> 880</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getPts(vk);</div><div class="line"><a name="l00881"></a><span class="lineno"> 881</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
808
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00910">910</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
809
+ <div class="fragment"><div class="line"><a name="l00911"></a><span class="lineno"> 911</span>&#160; {</div><div class="line"><a name="l00912"></a><span class="lineno"> 912</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getPts(vk);</div><div class="line"><a name="l00913"></a><span class="lineno"> 913</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
810
810
  </div><!-- fragment -->
811
811
  </div>
812
812
  </div>
@@ -838,9 +838,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
838
838
 
839
839
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
840
840
 
841
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00882">882</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
842
- <div class="fragment"><div class="line"><a name="l00883"></a><span class="lineno"> 883</span>&#160; {</div><div class="line"><a name="l00884"></a><span class="lineno"> 884</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">getPts</a>(vk);</div><div class="line"><a name="l00885"></a><span class="lineno"> 885</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_abe4230f3ba78fc660ea291fda36ffa62"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00051">MutablePointsToDS.h:51</a></div></div>
843
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
841
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00914">914</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
842
+ <div class="fragment"><div class="line"><a name="l00915"></a><span class="lineno"> 915</span>&#160; {</div><div class="line"><a name="l00916"></a><span class="lineno"> 916</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">getPts</a>(vk);</div><div class="line"><a name="l00917"></a><span class="lineno"> 917</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_abe4230f3ba78fc660ea291fda36ffa62"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00083">MutablePointsToDS.h:83</a></div></div>
843
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
844
844
  </div><!-- fragment -->
845
845
  </div>
846
846
  </div>
@@ -874,9 +874,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
874
874
 
875
875
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
876
876
 
877
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00887">887</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
878
- <div class="fragment"><div class="line"><a name="l00888"></a><span class="lineno"> 888</span>&#160; {</div><div class="line"><a name="l00889"></a><span class="lineno"> 889</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableVersionedPTData::getRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00890"></a><span class="lineno"> 890</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getRevPts(datum);</div><div class="line"><a name="l00891"></a><span class="lineno"> 891</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
879
- <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00107">AbstractPointsToDS.h:107</a></div></div>
877
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00919">919</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
878
+ <div class="fragment"><div class="line"><a name="l00920"></a><span class="lineno"> 920</span>&#160; {</div><div class="line"><a name="l00921"></a><span class="lineno"> 921</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableVersionedPTData::getRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00922"></a><span class="lineno"> 922</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getRevPts(datum);</div><div class="line"><a name="l00923"></a><span class="lineno"> 923</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
879
+ <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00141">AbstractPointsToDS.h:141</a></div></div>
880
880
  </div><!-- fragment -->
881
881
  </div>
882
882
  </div>
@@ -908,10 +908,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
908
908
 
909
909
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
910
910
 
911
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00892">892</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
912
- <div class="fragment"><div class="line"><a name="l00893"></a><span class="lineno"> 893</span>&#160; {</div><div class="line"><a name="l00894"></a><span class="lineno"> 894</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableVersionedPTData::getVersionedKeyRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00895"></a><span class="lineno"> 895</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">getRevPts</a>(datum);</div><div class="line"><a name="l00896"></a><span class="lineno"> 896</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a36aa05b8f5c308035315d6df7036c096"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;datum) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00056">MutablePointsToDS.h:56</a></div></div>
913
- <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00107">AbstractPointsToDS.h:107</a></div></div>
914
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
911
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00924">924</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
912
+ <div class="fragment"><div class="line"><a name="l00925"></a><span class="lineno"> 925</span>&#160; {</div><div class="line"><a name="l00926"></a><span class="lineno"> 926</span>&#160; assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;MutableVersionedPTData::getVersionedKeyRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00927"></a><span class="lineno"> 927</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">getRevPts</a>(datum);</div><div class="line"><a name="l00928"></a><span class="lineno"> 928</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a36aa05b8f5c308035315d6df7036c096"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;datum) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00088">MutablePointsToDS.h:88</a></div></div>
913
+ <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00141">AbstractPointsToDS.h:141</a></div></div>
914
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
915
915
  </div><!-- fragment -->
916
916
  </div>
917
917
  </div>
@@ -945,10 +945,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
945
945
 
946
946
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
947
947
 
948
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00950">950</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
949
- <div class="fragment"><div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; {</div><div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.remapAllPts();</div><div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665">remapAllPts</a>();</div><div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
950
- <div class="ttc" id="classSVF_1_1MutablePTData_html_a3b4cd5b4f8704a5b0049923d22ce7665"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665">SVF::MutablePTData::remapAllPts</a></div><div class="ttdeci">virtual void remapAllPts(void) override</div><div class="ttdoc">Remaps all points-to sets to use the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00098">MutablePointsToDS.h:98</a></div></div>
951
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
948
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00982">982</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
949
+ <div class="fragment"><div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; {</div><div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.remapAllPts();</div><div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665">remapAllPts</a>();</div><div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
950
+ <div class="ttc" id="classSVF_1_1MutablePTData_html_a3b4cd5b4f8704a5b0049923d22ce7665"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a3b4cd5b4f8704a5b0049923d22ce7665">SVF::MutablePTData::remapAllPts</a></div><div class="ttdeci">virtual void remapAllPts(void) override</div><div class="ttdoc">Remaps all points-to sets to use the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00130">MutablePointsToDS.h:130</a></div></div>
951
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
952
952
  </div><!-- fragment -->
953
953
  </div>
954
954
  </div>
@@ -992,8 +992,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
992
992
 
993
993
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
994
994
 
995
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00907">907</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
996
- <div class="fragment"><div class="line"><a name="l00908"></a><span class="lineno"> 908</span>&#160; {</div><div class="line"><a name="l00909"></a><span class="lineno"> 909</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, srcVar);</div><div class="line"><a name="l00910"></a><span class="lineno"> 910</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
995
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00939">939</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
996
+ <div class="fragment"><div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; {</div><div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, srcVar);</div><div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
997
997
  </div><!-- fragment -->
998
998
  </div>
999
999
  </div>
@@ -1035,9 +1035,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1035
1035
 
1036
1036
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
1037
1037
 
1038
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00911">911</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1039
- <div class="fragment"><div class="line"><a name="l00912"></a><span class="lineno"> 912</span>&#160; {</div><div class="line"><a name="l00913"></a><span class="lineno"> 913</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, srcVar);</div><div class="line"><a name="l00914"></a><span class="lineno"> 914</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00068">MutablePointsToDS.h:68</a></div></div>
1040
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
1038
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00943">943</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1039
+ <div class="fragment"><div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; {</div><div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, srcVar);</div><div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00100">MutablePointsToDS.h:100</a></div></div>
1040
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
1041
1041
  </div><!-- fragment -->
1042
1042
  </div>
1043
1043
  </div>
@@ -1079,10 +1079,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1079
1079
 
1080
1080
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a598f4d08e52a60f7d38b8d436c7d1841">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
1081
1081
 
1082
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00915">915</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1083
- <div class="fragment"><div class="line"><a name="l00916"></a><span class="lineno"> 916</span>&#160; {</div><div class="line"><a name="l00917"></a><span class="lineno"> 917</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getPts(srcVar));</div><div class="line"><a name="l00918"></a><span class="lineno"> 918</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
1084
- <div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00068">MutablePointsToDS.h:68</a></div></div>
1085
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
1082
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00947">947</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1083
+ <div class="fragment"><div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; {</div><div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.getPts(srcVar));</div><div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
1084
+ <div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00100">MutablePointsToDS.h:100</a></div></div>
1085
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
1086
1086
  </div><!-- fragment -->
1087
1087
  </div>
1088
1088
  </div>
@@ -1124,10 +1124,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1124
1124
 
1125
1125
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a8f2941ff3a5f0fd489fec723f5c9adcd">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
1126
1126
 
1127
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00919">919</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1128
- <div class="fragment"><div class="line"><a name="l00920"></a><span class="lineno"> 920</span>&#160; {</div><div class="line"><a name="l00921"></a><span class="lineno"> 921</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">getPts</a>(srcVar));</div><div class="line"><a name="l00922"></a><span class="lineno"> 922</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
1129
- <div class="ttc" id="classSVF_1_1MutablePTData_html_abe4230f3ba78fc660ea291fda36ffa62"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00051">MutablePointsToDS.h:51</a></div></div>
1130
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
1127
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00951">951</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1128
+ <div class="fragment"><div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; {</div><div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">getPts</a>(srcVar));</div><div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
1129
+ <div class="ttc" id="classSVF_1_1MutablePTData_html_abe4230f3ba78fc660ea291fda36ffa62"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#abe4230f3ba78fc660ea291fda36ffa62">SVF::MutablePTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00083">MutablePointsToDS.h:83</a></div></div>
1130
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
1131
1131
  </div><!-- fragment -->
1132
1132
  </div>
1133
1133
  </div>
@@ -1171,8 +1171,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1171
1171
 
1172
1172
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1173
1173
 
1174
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00923">923</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1175
- <div class="fragment"><div class="line"><a name="l00924"></a><span class="lineno"> 924</span>&#160; {</div><div class="line"><a name="l00925"></a><span class="lineno"> 925</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, srcDataSet);</div><div class="line"><a name="l00926"></a><span class="lineno"> 926</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00986">MutablePointsToDS.h:986</a></div></div>
1174
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00955">955</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1175
+ <div class="fragment"><div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; {</div><div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">tlPTData</a>.unionPts(dstVar, srcDataSet);</div><div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a01974968b7cf60a4231cc83c93b26d7f"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f">SVF::MutableVersionedPTData::tlPTData</a></div><div class="ttdeci">MutablePTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01018">MutablePointsToDS.h:1018</a></div></div>
1176
1176
  </div><!-- fragment -->
1177
1177
  </div>
1178
1178
  </div>
@@ -1214,9 +1214,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1214
1214
 
1215
1215
  <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
1216
1216
 
1217
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00927">927</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1218
- <div class="fragment"><div class="line"><a name="l00928"></a><span class="lineno"> 928</span>&#160; {</div><div class="line"><a name="l00929"></a><span class="lineno"> 929</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, srcDataSet);</div><div class="line"><a name="l00930"></a><span class="lineno"> 930</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00068">MutablePointsToDS.h:68</a></div></div>
1219
- <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00988">MutablePointsToDS.h:988</a></div></div>
1217
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00959">959</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1218
+ <div class="fragment"><div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; {</div><div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">atPTData</a>.<a class="code" href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">unionPts</a>(dstVar, srcDataSet);</div><div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; }</div><div class="ttc" id="classSVF_1_1MutablePTData_html_a08528faf56bf68fd0ddbb6c5ffa3d24f"><div class="ttname"><a href="classSVF_1_1MutablePTData.html#a08528faf56bf68fd0ddbb6c5ffa3d24f">SVF::MutablePTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l00100">MutablePointsToDS.h:100</a></div></div>
1219
+ <div class="ttc" id="classSVF_1_1MutableVersionedPTData_html_a3e5337d4189e98f11305491a9ef3c439"><div class="ttname"><a href="classSVF_1_1MutableVersionedPTData.html#a3e5337d4189e98f11305491a9ef3c439">SVF::MutableVersionedPTData::atPTData</a></div><div class="ttdeci">MutablePTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="MutablePointsToDS_8h_source.html#l01020">MutablePointsToDS.h:1020</a></div></div>
1220
1220
  </div><!-- fragment -->
1221
1221
  </div>
1222
1222
  </div>
@@ -1245,7 +1245,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1245
1245
 
1246
1246
  <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> for VersionedKeys (address-taken objects, generally). </p>
1247
1247
 
1248
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00988">988</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1248
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l01020">1020</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1249
1249
 
1250
1250
  </div>
1251
1251
  </div>
@@ -1273,7 +1273,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
1273
1273
 
1274
1274
  <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> for Keys (top-level pointers, generally). </p>
1275
1275
 
1276
- <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l00986">986</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1276
+ <p class="definition">Definition at line <a class="el" href="MutablePointsToDS_8h_source.html#l01018">1018</a> of file <a class="el" href="MutablePointsToDS_8h_source.html">MutablePointsToDS.h</a>.</p>
1277
1277
 
1278
1278
  </div>
1279
1279
  </div>