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_1PersistentDFPTData.html CHANGED
@@ -274,7 +274,7 @@ class SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</h3>
274
274
 
275
275
  <p><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a> backed by a <a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a>. </p>
276
276
 
277
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00016">16</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
277
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00026">26</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
278
278
  </div><h2 class="groupheader">Member Typedef Documentation</h2>
279
279
  <a id="af9facbe8f694b8447bb6ebe48b95ad17"></a>
280
280
  <h2 class="memtitle"><span class="permalink"><a href="#af9facbe8f694b8447bb6ebe48b95ad17">&#9670;&nbsp;</a></span>BaseDFPTData</h2>
@@ -290,7 +290,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
290
290
  </table>
291
291
  </div><div class="memdoc">
292
292
 
293
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00329">329</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
293
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00339">339</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
294
294
 
295
295
  </div>
296
296
  </div>
@@ -308,7 +308,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
308
308
  </table>
309
309
  </div><div class="memdoc">
310
310
 
311
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00330">330</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
311
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00340">340</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
312
312
 
313
313
  </div>
314
314
  </div>
@@ -326,7 +326,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
326
326
  </table>
327
327
  </div><div class="memdoc">
328
328
 
329
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00327">327</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
329
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00337">337</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
330
330
 
331
331
  </div>
332
332
  </div>
@@ -344,7 +344,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
344
344
  </table>
345
345
  </div><div class="memdoc">
346
346
 
347
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00334">334</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
347
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00344">344</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
348
348
 
349
349
  </div>
350
350
  </div>
@@ -362,7 +362,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
362
362
  </table>
363
363
  </div><div class="memdoc">
364
364
 
365
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00333">333</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
365
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00343">343</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
366
366
 
367
367
  </div>
368
368
  </div>
@@ -380,7 +380,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
380
380
  </table>
381
381
  </div><div class="memdoc">
382
382
 
383
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00332">332</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
383
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00342">342</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
384
384
 
385
385
  </div>
386
386
  </div>
@@ -398,7 +398,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
398
398
  </table>
399
399
  </div><div class="memdoc">
400
400
 
401
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00328">328</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
401
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00338">338</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
402
402
 
403
403
  </div>
404
404
  </div>
@@ -445,10 +445,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
445
445
  </table>
446
446
  </div><div class="memdoc">
447
447
 
448
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00336">336</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
449
- <div class="fragment"><div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; : <a class="code" href="classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17">BaseDFPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>(cache), <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>(cache, reversePT) { }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af9facbe8f694b8447bb6ebe48b95ad17"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17">SVF::PersistentDFPTData::BaseDFPTData</a></div><div class="ttdeci">DFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00329">PersistentPointsToDS.h:329</a></div></div>
450
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
451
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
448
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00346">346</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
449
+ <div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; : <a class="code" href="classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17">BaseDFPTData</a>(reversePT, ty), <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>(cache), <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>(cache, reversePT) { }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af9facbe8f694b8447bb6ebe48b95ad17"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17">SVF::PersistentDFPTData::BaseDFPTData</a></div><div class="ttdeci">DFPTData&lt; Key, KeySet, Data, DataSet &gt; BaseDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00339">PersistentPointsToDS.h:339</a></div></div>
450
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
451
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
452
452
  </div><!-- fragment -->
453
453
  </div>
454
454
  </div>
@@ -477,8 +477,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
477
477
  </table>
478
478
  </div><div class="memdoc">
479
479
 
480
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00339">339</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
481
- <div class="fragment"><div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160;{ }</div></div><!-- fragment -->
480
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00349">349</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
481
+ <div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160;{ }</div></div><!-- fragment -->
482
482
  </div>
483
483
  </div>
484
484
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -522,8 +522,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
522
522
 
523
523
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
524
524
 
525
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00369">369</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
526
- <div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; {</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.addPts(dstKey, element);</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
525
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00379">379</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
526
+ <div class="fragment"><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; {</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.addPts(dstKey, element);</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
527
527
  </div><!-- fragment -->
528
528
  </div>
529
529
  </div>
@@ -554,8 +554,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
554
554
  </div><div class="memdoc">
555
555
  <p>Methods to support type inquiry through isa, cast, and dyn_cast: </p>
556
556
 
557
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00526">526</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
558
- <div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160; {</div><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; }</div></div><!-- fragment -->
557
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00536">536</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
558
+ <div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno"> 537</span>&#160; {</div><div class="line"><a name="l00538"></a><span class="lineno"> 538</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00539"></a><span class="lineno"> 539</span>&#160; }</div></div><!-- fragment -->
559
559
  </div>
560
560
  </div>
561
561
  <a id="a575a441ddbe233d34937792b66d2b39c"></a>
@@ -584,8 +584,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
584
584
  </table>
585
585
  </div><div class="memdoc">
586
586
 
587
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00531">531</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
588
- <div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; {</div><div class="line"><a name="l00533"></a><span class="lineno"> 533</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersDataFlow</div><div class="line"><a name="l00534"></a><span class="lineno"> 534</span>&#160; || ptd-&gt;getPTDTY() == PTDataTy::PersIncDataFlow;</div><div class="line"><a name="l00535"></a><span class="lineno"> 535</span>&#160; }</div></div><!-- fragment -->
587
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00541">541</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
588
+ <div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; {</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersDataFlow</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; || ptd-&gt;getPTDTY() == PTDataTy::PersIncDataFlow;</div><div class="line"><a name="l00545"></a><span class="lineno"> 545</span>&#160; }</div></div><!-- fragment -->
589
589
  </div>
590
590
  </div>
591
591
  <a id="ab070b1baa6a01800edac36dc075107fd"></a>
@@ -619,10 +619,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
619
619
 
620
620
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
621
621
 
622
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00341">341</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
623
- <div class="fragment"><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div><div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.clear();</div><div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.clear();</div><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clear();</div><div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
624
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
625
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
622
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00351">351</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
623
+ <div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; {</div><div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.clear();</div><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.clear();</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clear();</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
624
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
625
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
626
626
  </div><!-- fragment -->
627
627
  </div>
628
628
  </div>
@@ -656,8 +656,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
656
656
 
657
657
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
658
658
 
659
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00476">476</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
660
- <div class="fragment"><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; {</div><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160; }</div></div><!-- fragment -->
659
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00486">486</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
660
+ <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; {</div><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; }</div></div><!-- fragment -->
661
661
  </div>
662
662
  </div>
663
663
  <a id="afa828c0db9c030584e379e86cf0a25a9"></a>
@@ -690,8 +690,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
690
690
 
691
691
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
692
692
 
693
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00379">379</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
694
- <div class="fragment"><div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; {</div><div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clearFullPts(var);</div><div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
693
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00389">389</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
694
+ <div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clearFullPts(var);</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
695
695
  </div><!-- fragment -->
696
696
  </div>
697
697
  </div>
@@ -735,8 +735,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
735
735
 
736
736
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a03c783b9a1faac0aee3e22361df594ce">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
737
737
 
738
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00374">374</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
739
- <div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; {</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clearPts(var, element);</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
738
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00384">384</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
739
+ <div class="fragment"><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clearPts(var, element);</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
740
740
  </div><!-- fragment -->
741
741
  </div>
742
742
  </div>
@@ -769,8 +769,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
769
769
 
770
770
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
771
771
 
772
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00389">389</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
773
- <div class="fragment"><div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160; {</div><div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.dumpPTData();</div><div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
772
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00399">399</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
773
+ <div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.dumpPTData();</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
774
774
  </div><!-- fragment -->
775
775
  </div>
776
776
  </div>
@@ -803,13 +803,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
803
803
 
804
804
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
805
805
 
806
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00491">491</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
807
- <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>)</div><div class="line"><a name="l00495"></a><span class="lineno"> 495</span>&#160; {</div><div class="line"><a name="l00496"></a><span class="lineno"> 496</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; }</div><div class="line"><a name="l00500"></a><span class="lineno"> 500</span>&#160; }</div><div class="line"><a name="l00501"></a><span class="lineno"> 501</span>&#160;</div><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>)</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; {</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; {</div><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; }</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; }</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160;</div><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160; {</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>());</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160; }</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160;</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00343">PersistentPointsToCache.h:343</a></div></div>
808
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
809
- <div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00104">PersistentPointsToCache.h:104</a></div></div>
810
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
811
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
812
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
806
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00501">501</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
807
+ <div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno"> 502</span>&#160; {</div><div class="line"><a name="l00503"></a><span class="lineno"> 503</span>&#160; Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00504"></a><span class="lineno"> 504</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>)</div><div class="line"><a name="l00505"></a><span class="lineno"> 505</span>&#160; {</div><div class="line"><a name="l00506"></a><span class="lineno"> 506</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00507"></a><span class="lineno"> 507</span>&#160; {</div><div class="line"><a name="l00508"></a><span class="lineno"> 508</span>&#160; ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00509"></a><span class="lineno"> 509</span>&#160; }</div><div class="line"><a name="l00510"></a><span class="lineno"> 510</span>&#160; }</div><div class="line"><a name="l00511"></a><span class="lineno"> 511</span>&#160;</div><div class="line"><a name="l00512"></a><span class="lineno"> 512</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>)</div><div class="line"><a name="l00513"></a><span class="lineno"> 513</span>&#160; {</div><div class="line"><a name="l00514"></a><span class="lineno"> 514</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00515"></a><span class="lineno"> 515</span>&#160; {</div><div class="line"><a name="l00516"></a><span class="lineno"> 516</span>&#160; ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00517"></a><span class="lineno"> 517</span>&#160; }</div><div class="line"><a name="l00518"></a><span class="lineno"> 518</span>&#160; }</div><div class="line"><a name="l00519"></a><span class="lineno"> 519</span>&#160;</div><div class="line"><a name="l00520"></a><span class="lineno"> 520</span>&#160; <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00521"></a><span class="lineno"> 521</span>&#160; {</div><div class="line"><a name="l00522"></a><span class="lineno"> 522</span>&#160; <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00523"></a><span class="lineno"> 523</span>&#160; <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00524"></a><span class="lineno"> 524</span>&#160; <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00525"></a><span class="lineno"> 525</span>&#160; <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00526"></a><span class="lineno"> 526</span>&#160; <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00527"></a><span class="lineno"> 527</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00528"></a><span class="lineno"> 528</span>&#160; SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>());</div><div class="line"><a name="l00529"></a><span class="lineno"> 529</span>&#160; }</div><div class="line"><a name="l00530"></a><span class="lineno"> 530</span>&#160;</div><div class="line"><a name="l00531"></a><span class="lineno"> 531</span>&#160; <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00532"></a><span class="lineno"> 532</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00345">PersistentPointsToCache.h:345</a></div></div>
808
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
809
+ <div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
810
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
811
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
812
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
813
813
  </div><!-- fragment -->
814
814
  </div>
815
815
  </div>
@@ -849,8 +849,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
849
849
  </table>
850
850
  </div><div class="memdoc">
851
851
 
852
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00546">546</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
853
- <div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno"> 547</span>&#160; {</div><div class="line"><a name="l00548"></a><span class="lineno"> 548</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00549"></a><span class="lineno"> 549</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
852
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00556">556</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
853
+ <div class="fragment"><div class="line"><a name="l00557"></a><span class="lineno"> 557</span>&#160; {</div><div class="line"><a name="l00558"></a><span class="lineno"> 558</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00559"></a><span class="lineno"> 559</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
854
854
  </div><!-- fragment -->
855
855
  </div>
856
856
  </div>
@@ -892,10 +892,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
892
892
 
893
893
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
894
894
 
895
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00420">420</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
896
- <div class="fragment"><div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div><div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00104">PersistentPointsToCache.h:104</a></div></div>
897
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
898
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
895
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00430">430</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
896
+ <div class="fragment"><div class="line"><a name="l00431"></a><span class="lineno"> 431</span>&#160; {</div><div class="line"><a name="l00432"></a><span class="lineno"> 432</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
897
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
898
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
899
899
  <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
900
900
  </div><!-- fragment -->
901
901
  </div>
@@ -936,8 +936,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
936
936
  </table>
937
937
  </div><div class="memdoc">
938
938
 
939
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00551">551</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
940
- <div class="fragment"><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; {</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>[loc][var];</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
939
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00561">561</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
940
+ <div class="fragment"><div class="line"><a name="l00562"></a><span class="lineno"> 562</span>&#160; {</div><div class="line"><a name="l00563"></a><span class="lineno"> 563</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>[loc][var];</div><div class="line"><a name="l00564"></a><span class="lineno"> 564</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
941
941
  </div><!-- fragment -->
942
942
  </div>
943
943
  </div>
@@ -979,10 +979,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
979
979
 
980
980
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#ad9b3bb99cfefb87424c408eae3ecfcec">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
981
981
 
982
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00426">426</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
983
- <div class="fragment"><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; {</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>[loc][var];</div><div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00430"></a><span class="lineno"> 430</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
984
- <div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00104">PersistentPointsToCache.h:104</a></div></div>
985
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
982
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00436">436</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
983
+ <div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno"> 437</span>&#160; {</div><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>[loc][var];</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
984
+ <div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
985
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
986
986
  <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
987
987
  </div><!-- fragment -->
988
988
  </div>
@@ -1017,8 +1017,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1017
1017
 
1018
1018
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1019
1019
 
1020
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00348">348</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1021
- <div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; {</div><div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getPts(var);</div><div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1020
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00358">358</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1021
+ <div class="fragment"><div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; {</div><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getPts(var);</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1022
1022
  </div><!-- fragment -->
1023
1023
  </div>
1024
1024
  </div>
@@ -1052,8 +1052,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1052
1052
 
1053
1053
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#ab6146f5582946c08568f3a8d45e57b03">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1054
1054
 
1055
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00353">353</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1056
- <div class="fragment"><div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; {</div><div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;PersistentDFPTData::getRevPts: not supported yet!&quot;</span>);</div><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <span class="keywordflow">return</span> *(KeySet*)<span class="keyword">nullptr</span>; <span class="comment">// suppress -Werror=return-type</span></div><div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; }</div></div><!-- fragment -->
1055
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00363">363</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1056
+ <div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; {</div><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;PersistentDFPTData::getRevPts: not supported yet!&quot;</span>);</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">return</span> *(KeySet*)<span class="keyword">nullptr</span>; <span class="comment">// suppress -Werror=return-type</span></div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; }</div></div><!-- fragment -->
1057
1057
  </div>
1058
1058
  </div>
1059
1059
  <a id="a6e7d072fd2d420870bb959b68c200137"></a>
@@ -1085,8 +1085,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1085
1085
 
1086
1086
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#ac1b87463b419dfa658f090d795ccd34c">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1087
1087
 
1088
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00394">394</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1089
- <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; {</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.end();</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
1088
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00404">404</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1089
+ <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.end();</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
1090
1090
  </div><!-- fragment -->
1091
1091
  </div>
1092
1092
  </div>
@@ -1128,9 +1128,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1128
1128
 
1129
1129
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#abafe504c07e305d9aac15493c68918ab">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1130
1130
 
1131
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00404">404</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1132
- <div class="fragment"><div class="line"><a name="l00405"></a><span class="lineno"> 405</span>&#160; {</div><div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; <span class="keyword">typename</span> DFKeyToIDMap::const_iterator foundInKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.find(loc);</div><div class="line"><a name="l00407"></a><span class="lineno"> 407</span>&#160; <span class="keywordflow">if</span> (foundInKeyToId == <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00408"></a><span class="lineno"> 408</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = foundInKeyToId-&gt;second;</div><div class="line"><a name="l00409"></a><span class="lineno"> 409</span>&#160; <span class="keywordflow">return</span> (inKeyToId.find(var) != inKeyToId.end());</div><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
1133
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00333">PersistentPointsToDS.h:333</a></div></div>
1131
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00414">414</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1132
+ <div class="fragment"><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; {</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keyword">typename</span> DFKeyToIDMap::const_iterator foundInKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.find(loc);</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; <span class="keywordflow">if</span> (foundInKeyToId == <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = foundInKeyToId-&gt;second;</div><div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; <span class="keywordflow">return</span> (inKeyToId.find(var) != inKeyToId.end());</div><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
1133
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00343">PersistentPointsToDS.h:343</a></div></div>
1134
1134
  </div><!-- fragment -->
1135
1135
  </div>
1136
1136
  </div>
@@ -1162,8 +1162,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1162
1162
 
1163
1163
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a31592c6086318f889749f55e80310e03">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1164
1164
 
1165
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00399">399</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1166
- <div class="fragment"><div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; {</div><div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.end();</div><div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
1165
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00409">409</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1166
+ <div class="fragment"><div class="line"><a name="l00410"></a><span class="lineno"> 410</span>&#160; {</div><div class="line"><a name="l00411"></a><span class="lineno"> 411</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.find(loc) != <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.end();</div><div class="line"><a name="l00412"></a><span class="lineno"> 412</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
1167
1167
  </div><!-- fragment -->
1168
1168
  </div>
1169
1169
  </div>
@@ -1206,9 +1206,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1206
1206
 
1207
1207
  <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a1c108dbe8148efc3cccd33d5ae1e88b4">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1208
1208
 
1209
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00412">412</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1210
- <div class="fragment"><div class="line"><a name="l00413"></a><span class="lineno"> 413</span>&#160; {</div><div class="line"><a name="l00414"></a><span class="lineno"> 414</span>&#160; <span class="keyword">typename</span> DFKeyToIDMap::const_iterator foundOutKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.find(loc);</div><div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160; <span class="keywordflow">if</span> (foundOutKeyToId == <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00416"></a><span class="lineno"> 416</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;outKeyToId = foundOutKeyToId-&gt;second;</div><div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160; <span class="keywordflow">return</span> (outKeyToId.find(var) != outKeyToId.end());</div><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00565">PersistentPointsToDS.h:565</a></div></div>
1211
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00333">PersistentPointsToDS.h:333</a></div></div>
1209
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00422">422</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1210
+ <div class="fragment"><div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; {</div><div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; <span class="keyword">typename</span> DFKeyToIDMap::const_iterator foundOutKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.find(loc);</div><div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">if</span> (foundOutKeyToId == <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.end()) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;outKeyToId = foundOutKeyToId-&gt;second;</div><div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; <span class="keywordflow">return</span> (outKeyToId.find(var) != outKeyToId.end());</div><div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
1211
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00343">PersistentPointsToDS.h:343</a></div></div>
1212
1212
  </div><!-- fragment -->
1213
1213
  </div>
1214
1214
  </div>
@@ -1242,9 +1242,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1242
1242
 
1243
1243
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1244
1244
 
1245
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00384">384</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1246
- <div class="fragment"><div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; {</div><div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00078">PersistentPointsToCache.h:78</a></div></div>
1247
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
1245
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00394">394</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1246
+ <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; {</div><div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00080">PersistentPointsToCache.h:80</a></div></div>
1247
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
1248
1248
  </div><!-- fragment -->
1249
1249
  </div>
1250
1250
  </div>
@@ -1288,8 +1288,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1288
1288
 
1289
1289
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#af7aa22f11558c12ff16612174e2221dd">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1290
1290
 
1291
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00359">359</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1292
- <div class="fragment"><div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; {</div><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.unionPts(dstKey, srcKey);</div><div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1291
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00369">369</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1292
+ <div class="fragment"><div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; {</div><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.unionPts(dstKey, srcKey);</div><div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1293
1293
  </div><!-- fragment -->
1294
1294
  </div>
1295
1295
  </div>
@@ -1333,8 +1333,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1333
1333
 
1334
1334
  <p>Implements <a class="el" href="classSVF_1_1PTData.html#aa8f281fbccfbdb13ab7671094d78a5c0">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1335
1335
 
1336
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00364">364</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1337
- <div class="fragment"><div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; {</div><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.unionPts(dstKey, srcDataSet);</div><div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1336
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00374">374</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1337
+ <div class="fragment"><div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; {</div><div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.unionPts(dstKey, srcDataSet);</div><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1338
1338
  </div><!-- fragment -->
1339
1339
  </div>
1340
1340
  </div>
@@ -1374,9 +1374,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1374
1374
  </table>
1375
1375
  </div><div class="memdoc">
1376
1376
 
1377
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00539">539</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1378
- <div class="fragment"><div class="line"><a name="l00540"></a><span class="lineno"> 540</span>&#160; {</div><div class="line"><a name="l00541"></a><span class="lineno"> 541</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> oldDst = dst;</div><div class="line"><a name="l00542"></a><span class="lineno"> 542</span>&#160; dst = <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">unionPts</a>(dst, src);</div><div class="line"><a name="l00543"></a><span class="lineno"> 543</span>&#160; <span class="keywordflow">return</span> oldDst != dst;</div><div class="line"><a name="l00544"></a><span class="lineno"> 544</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00112">PersistentPointsToCache.h:112</a></div></div>
1379
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00557">PersistentPointsToDS.h:557</a></div></div>
1377
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00549">549</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1378
+ <div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno"> 550</span>&#160; {</div><div class="line"><a name="l00551"></a><span class="lineno"> 551</span>&#160; <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> oldDst = dst;</div><div class="line"><a name="l00552"></a><span class="lineno"> 552</span>&#160; dst = <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">unionPts</a>(dst, src);</div><div class="line"><a name="l00553"></a><span class="lineno"> 553</span>&#160; <span class="keywordflow">return</span> oldDst != dst;</div><div class="line"><a name="l00554"></a><span class="lineno"> 554</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00114">PersistentPointsToCache.h:114</a></div></div>
1379
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
1380
1380
  <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
1381
1381
  </div><!-- fragment -->
1382
1382
  </div>
@@ -1435,8 +1435,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1435
1435
 
1436
1436
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a2259da9defa195350b3f70cd16c3f2ec">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1437
1437
 
1438
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00437">437</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1439
- <div class="fragment"><div class="line"><a name="l00438"></a><span class="lineno"> 438</span>&#160; {</div><div class="line"><a name="l00439"></a><span class="lineno"> 439</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">updateDFInFromIn</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00440"></a><span class="lineno"> 440</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a9b61c0557c6b1460af2328709011b32e"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00432">PersistentPointsToDS.h:432</a></div></div>
1438
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00447">447</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1439
+ <div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; {</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">updateDFInFromIn</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a9b61c0557c6b1460af2328709011b32e"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00442">PersistentPointsToDS.h:442</a></div></div>
1440
1440
  </div><!-- fragment -->
1441
1441
  </div>
1442
1442
  </div>
@@ -1494,8 +1494,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1494
1494
 
1495
1495
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a218ebd39a42b5de8910b98bef9d04f7d">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1496
1496
 
1497
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00447">447</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1498
- <div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno"> 448</span>&#160; {</div><div class="line"><a name="l00449"></a><span class="lineno"> 449</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">updateDFInFromOut</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00450"></a><span class="lineno"> 450</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_abfacbe37d9e0b5f05eabec66c60c2e2b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00442">PersistentPointsToDS.h:442</a></div></div>
1497
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00457">457</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1498
+ <div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; {</div><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">updateDFInFromOut</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_abfacbe37d9e0b5f05eabec66c60c2e2b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00452">PersistentPointsToDS.h:452</a></div></div>
1499
1499
  </div><!-- fragment -->
1500
1500
  </div>
1501
1501
  </div>
@@ -1548,11 +1548,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1548
1548
 
1549
1549
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a59e2297b72cc30553db5e45da70f46">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1550
1550
 
1551
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00457">457</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1552
- <div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno"> 458</span>&#160; {</div><div class="line"><a name="l00459"></a><span class="lineno"> 459</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00460"></a><span class="lineno"> 460</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(loc))</div><div class="line"><a name="l00461"></a><span class="lineno"> 461</span>&#160; {</div><div class="line"><a name="l00462"></a><span class="lineno"> 462</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : inKeyToId)</div><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; {</div><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; <span class="keyword">const</span> Key var = ki.first;</div><div class="line"><a name="l00467"></a><span class="lineno"> 467</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160;</div><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; }</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; }</div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160;</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a81e6d2d313d7f23fcc2a3d0f5344317f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00452">PersistentPointsToDS.h:452</a></div></div>
1553
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00563">PersistentPointsToDS.h:563</a></div></div>
1554
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00333">PersistentPointsToDS.h:333</a></div></div>
1555
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6e7d072fd2d420870bb959b68c200137"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00394">PersistentPointsToDS.h:394</a></div></div>
1551
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00467">467</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1552
+ <div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno"> 468</span>&#160; {</div><div class="line"><a name="l00469"></a><span class="lineno"> 469</span>&#160; <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00470"></a><span class="lineno"> 470</span>&#160; <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(loc))</div><div class="line"><a name="l00471"></a><span class="lineno"> 471</span>&#160; {</div><div class="line"><a name="l00472"></a><span class="lineno"> 472</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00473"></a><span class="lineno"> 473</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : inKeyToId)</div><div class="line"><a name="l00474"></a><span class="lineno"> 474</span>&#160; {</div><div class="line"><a name="l00475"></a><span class="lineno"> 475</span>&#160; <span class="keyword">const</span> Key var = ki.first;</div><div class="line"><a name="l00477"></a><span class="lineno"> 477</span>&#160; <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00478"></a><span class="lineno"> 478</span>&#160;</div><div class="line"><a name="l00479"></a><span class="lineno"> 479</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00480"></a><span class="lineno"> 480</span>&#160; }</div><div class="line"><a name="l00481"></a><span class="lineno"> 481</span>&#160; }</div><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160;</div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a81e6d2d313d7f23fcc2a3d0f5344317f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00462">PersistentPointsToDS.h:462</a></div></div>
1553
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
1554
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00343">PersistentPointsToDS.h:343</a></div></div>
1555
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6e7d072fd2d420870bb959b68c200137"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00404">PersistentPointsToDS.h:404</a></div></div>
1556
1556
  </div><!-- fragment -->
1557
1557
  </div>
1558
1558
  </div>
@@ -1604,10 +1604,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1604
1604
 
1605
1605
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1606
1606
 
1607
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00486">486</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1608
- <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno"> 487</span>&#160; {</div><div class="line"><a name="l00488"></a><span class="lineno"> 488</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]);</div><div class="line"><a name="l00489"></a><span class="lineno"> 489</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1609
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1610
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1607
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00496">496</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1608
+ <div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno"> 497</span>&#160; {</div><div class="line"><a name="l00498"></a><span class="lineno"> 498</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]);</div><div class="line"><a name="l00499"></a><span class="lineno"> 499</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1609
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1610
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1611
1611
  </div><!-- fragment -->
1612
1612
  </div>
1613
1613
  </div>
@@ -1665,9 +1665,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1665
1665
 
1666
1666
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1667
1667
 
1668
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00432">432</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1669
- <div class="fragment"><div class="line"><a name="l00433"></a><span class="lineno"> 433</span>&#160; {</div><div class="line"><a name="l00434"></a><span class="lineno"> 434</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00435"></a><span class="lineno"> 435</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1670
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1668
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00442">442</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1669
+ <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1670
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1671
1671
  </div><!-- fragment -->
1672
1672
  </div>
1673
1673
  </div>
@@ -1725,10 +1725,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1725
1725
 
1726
1726
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1727
1727
 
1728
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00442">442</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1729
- <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno"> 443</span>&#160; {</div><div class="line"><a name="l00444"></a><span class="lineno"> 444</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00445"></a><span class="lineno"> 445</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1730
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1731
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1728
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00452">452</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1729
+ <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1730
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1731
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1732
1732
  </div><!-- fragment -->
1733
1733
  </div>
1734
1734
  </div>
@@ -1786,10 +1786,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1786
1786
 
1787
1787
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1788
1788
 
1789
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00452">452</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1790
- <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno"> 453</span>&#160; {</div><div class="line"><a name="l00454"></a><span class="lineno"> 454</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00455"></a><span class="lineno"> 455</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1791
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1792
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00551">PersistentPointsToDS.h:551</a></div></div>
1789
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00462">462</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1790
+ <div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno"> 463</span>&#160; {</div><div class="line"><a name="l00464"></a><span class="lineno"> 464</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00465"></a><span class="lineno"> 465</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1791
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1792
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab13b3a484a5ac22c47391f1b2eaa58a1"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">SVF::PersistentDFPTData::getDFOutPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFOutPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00561">PersistentPointsToDS.h:561</a></div></div>
1793
1793
  </div><!-- fragment -->
1794
1794
  </div>
1795
1795
  </div>
@@ -1841,10 +1841,10 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1841
1841
 
1842
1842
  <p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
1843
1843
 
1844
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00481">481</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1845
- <div class="fragment"><div class="line"><a name="l00482"></a><span class="lineno"> 482</span>&#160; {</div><div class="line"><a name="l00483"></a><span class="lineno"> 483</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00484"></a><span class="lineno"> 484</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00539">PersistentPointsToDS.h:539</a></div></div>
1846
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
1847
- <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00560">PersistentPointsToDS.h:560</a></div></div>
1844
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00491">491</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1845
+ <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno"> 492</span>&#160; {</div><div class="line"><a name="l00493"></a><span class="lineno"> 493</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00494"></a><span class="lineno"> 494</span>&#160; }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
1846
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00556">PersistentPointsToDS.h:556</a></div></div>
1847
+ <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
1848
1848
  </div><!-- fragment -->
1849
1849
  </div>
1850
1850
  </div>
@@ -1873,7 +1873,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1873
1873
 
1874
1874
  <p>Address-taken points-to sets in IN-sets. </p>
1875
1875
 
1876
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00563">563</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1876
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00573">573</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1877
1877
 
1878
1878
  </div>
1879
1879
  </div>
@@ -1901,7 +1901,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1901
1901
 
1902
1902
  <p>Address-taken points-to sets in OUT-sets. </p>
1903
1903
 
1904
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00565">565</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1904
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00575">575</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1905
1905
 
1906
1906
  </div>
1907
1907
  </div>
@@ -1929,7 +1929,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1929
1929
 
1930
1930
  <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> for top-level pointers. We will also use its cache for address-taken pointers. </p>
1931
1931
 
1932
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00560">560</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1932
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00570">570</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1933
1933
 
1934
1934
  </div>
1935
1935
  </div>
@@ -1955,7 +1955,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
1955
1955
  </table>
1956
1956
  </div><div class="memdoc">
1957
1957
 
1958
- <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00557">557</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1958
+ <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00567">567</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
1959
1959
 
1960
1960
  </div>
1961
1961
  </div>