svf-tools 1.0.613 → 1.0.614

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 (538) hide show
  1. package/CMakeLists.txt +13 -0
  2. package/SVF-doxygen/html/html/AndersenPWC_8h_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/AndersenSFR_8cpp_source.html +7 -6
  5. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +15 -15
  6. package/SVF-doxygen/html/html/AndersenWaveDiff_8cpp_source.html +1 -1
  7. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +22 -22
  8. package/SVF-doxygen/html/html/Andersen_8h_source.html +16 -16
  9. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +6 -6
  10. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +7 -7
  11. package/SVF-doxygen/html/html/CFLBase_8cpp_source.html +6 -6
  12. package/SVF-doxygen/html/html/CFLGrammar_8cpp_source.html +1 -1
  13. package/SVF-doxygen/html/html/CFLGrammar_8h_source.html +1 -1
  14. package/SVF-doxygen/html/html/CFLGraphBuilder_8cpp_source.html +5 -5
  15. package/SVF-doxygen/html/html/CFLGraph_8cpp_source.html +11 -11
  16. package/SVF-doxygen/html/html/CFLGraph_8h_source.html +1 -1
  17. package/SVF-doxygen/html/html/CFLVF_8cpp_source.html +2 -2
  18. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +5 -5
  19. package/SVF-doxygen/html/html/CHG_8h_source.html +1 -1
  20. package/SVF-doxygen/html/html/CSC_8cpp_source.html +1 -1
  21. package/SVF-doxygen/html/html/ConditionalPT_8h_source.html +14 -14
  22. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +1 -1
  23. package/SVF-doxygen/html/html/ConsG_8cpp_source.html +3 -3
  24. package/SVF-doxygen/html/html/ConsG_8h_source.html +9 -9
  25. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +18 -18
  26. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +9 -9
  27. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +4 -4
  28. package/SVF-doxygen/html/html/DCHG_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +8 -8
  30. package/SVF-doxygen/html/html/DDAClient_8h_source.html +1 -1
  31. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +4 -6
  32. package/SVF-doxygen/html/html/DDAPass_8h_source.html +3 -3
  33. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +9 -9
  34. package/SVF-doxygen/html/html/DDAStat_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +22 -22
  36. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +1 -1
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +1 -1
  39. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +21 -21
  40. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +3 -3
  41. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +10 -10
  43. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +7 -7
  44. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +13 -13
  45. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +27 -28
  46. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +65 -65
  47. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +2 -2
  48. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +2 -2
  49. package/SVF-doxygen/html/html/ICFG_8h_source.html +2 -2
  50. package/SVF-doxygen/html/html/IRAnnotator_8h_source.html +3 -3
  51. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -3
  52. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  53. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +6 -6
  54. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8h_source.html +3 -3
  55. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +23 -28
  56. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +8 -8
  57. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +2 -2
  58. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +9 -9
  59. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +2 -2
  60. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +9 -9
  61. package/SVF-doxygen/html/html/LocationSet_8h_source.html +3 -3
  62. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +5 -5
  63. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +3 -3
  64. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +3 -3
  65. package/SVF-doxygen/html/html/MHP_8cpp_source.html +10 -10
  66. package/SVF-doxygen/html/html/MHP_8h_source.html +5 -5
  67. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +17 -17
  68. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +8 -8
  69. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +3 -3
  70. package/SVF-doxygen/html/html/MTA_8cpp_source.html +12 -17
  71. package/SVF-doxygen/html/html/MTA_8h_source.html +3 -4
  72. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +10 -10
  73. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  74. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +34 -34
  75. package/SVF-doxygen/html/html/MemRegion_8h_source.html +7 -7
  76. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +16 -15
  77. package/SVF-doxygen/html/html/MemSSA_8h_source.html +53 -52
  78. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +7 -8
  79. package/SVF-doxygen/html/html/NodeIDAllocator_8cpp_source.html +7 -7
  80. package/SVF-doxygen/html/html/Options_8cpp_source.html +52 -53
  81. package/SVF-doxygen/html/html/Options_8h_source.html +53 -54
  82. package/SVF-doxygen/html/html/PCG_8cpp_source.html +2 -2
  83. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +3 -3
  84. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  85. package/SVF-doxygen/html/html/PTAStat_8cpp_source.html +3 -3
  86. package/SVF-doxygen/html/html/PTAStat_8h_source.html +1 -1
  87. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +33 -33
  88. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +91 -95
  89. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +31 -39
  90. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +85 -92
  91. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +20 -20
  92. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +16 -16
  93. package/SVF-doxygen/html/html/PointsTo_8cpp.html +1 -0
  94. package/SVF-doxygen/html/html/PointsTo_8cpp_source.html +51 -51
  95. package/SVF-doxygen/html/html/PointsTo_8h_source.html +38 -38
  96. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +6 -6
  97. package/SVF-doxygen/html/html/SCC_8h_source.html +4 -4
  98. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +11 -22
  99. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +14 -17
  100. package/SVF-doxygen/html/html/SVFGEdge_8h_source.html +1 -1
  101. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  102. package/SVF-doxygen/html/html/SVFGOPT_8cpp_source.html +7 -7
  103. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +21 -19
  104. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +5 -5
  105. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +18 -18
  106. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +49 -62
  107. package/SVF-doxygen/html/html/SVFG_8h_source.html +45 -45
  108. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +12 -12
  109. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +8 -8
  110. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +3 -3
  111. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +10 -16
  112. package/SVF-doxygen/html/html/SVFIR_8h_source.html +83 -83
  113. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +19 -19
  114. package/SVF-doxygen/html/html/SVFType_8h.html +22 -22
  115. package/SVF-doxygen/html/html/SVFType_8h_source.html +76 -77
  116. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +5 -5
  117. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +11 -11
  118. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +5 -5
  119. package/SVF-doxygen/html/html/SVFValue_8h_source.html +4 -4
  120. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +1 -1
  121. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +3 -3
  122. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +6 -6
  123. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +4 -4
  124. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +15 -15
  125. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +2 -3
  126. package/SVF-doxygen/html/html/SparseBitVector_8h_source.html +69 -71
  127. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  128. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +39 -39
  129. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +1 -1
  130. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +7 -7
  131. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +49 -51
  132. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +13 -13
  133. package/SVF-doxygen/html/html/TCT_8cpp_source.html +4 -4
  134. package/SVF-doxygen/html/html/TCT_8h_source.html +4 -4
  135. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +8 -8
  136. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  137. package/SVF-doxygen/html/html/VFGNode_8h_source.html +1 -1
  138. package/SVF-doxygen/html/html/VFG_8cpp_source.html +17 -17
  139. package/SVF-doxygen/html/html/VFG_8h_source.html +5 -5
  140. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +8 -8
  141. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +33 -33
  142. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +4 -4
  143. package/SVF-doxygen/html/html/WPAFSSolver_8h_source.html +11 -11
  144. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +12 -12
  145. package/SVF-doxygen/html/html/WPAPass_8h_source.html +2 -2
  146. package/SVF-doxygen/html/html/WPASolver_8h_source.html +25 -25
  147. package/SVF-doxygen/html/html/Z3Expr_8cpp_source.html +1 -1
  148. package/SVF-doxygen/html/html/cfl_8cpp.html +1 -5
  149. package/SVF-doxygen/html/html/cfl_8cpp_source.html +1 -5
  150. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1AddrVFGNode.html +2 -2
  153. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +2 -2
  154. package/SVF-doxygen/html/html/classSVF_1_1Andersen-members.html +187 -188
  155. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +104 -107
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase-members.html +163 -164
  157. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +47 -50
  158. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD-members.html +194 -195
  159. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +45 -48
  160. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR-members.html +204 -205
  161. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +35 -38
  162. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +17 -17
  163. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff-members.html +191 -192
  164. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +29 -32
  165. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl-members.html +122 -123
  166. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +158 -219
  167. package/SVF-doxygen/html/html/classSVF_1_1BinaryOPVFGNode.html +2 -2
  168. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias-members.html +137 -138
  169. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +57 -49
  170. package/SVF-doxygen/html/html/classSVF_1_1CFLBase-members.html +138 -139
  171. package/SVF-doxygen/html/html/classSVF_1_1CFLBase.html +34 -34
  172. package/SVF-doxygen/html/html/classSVF_1_1CFLGraph.html +7 -7
  173. package/SVF-doxygen/html/html/classSVF_1_1CFLGraphBuilder.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CFLVF-members.html +140 -141
  175. package/SVF-doxygen/html/html/classSVF_1_1CFLVF.html +30 -30
  176. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +8 -8
  177. package/SVF-doxygen/html/html/classSVF_1_1CSC.html +2 -2
  178. package/SVF-doxygen/html/html/classSVF_1_1CmpVFGNode.html +2 -2
  179. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +114 -114
  180. package/SVF-doxygen/html/html/classSVF_1_1ConstraintGraph.html +6 -6
  181. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +8 -8
  182. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +28 -28
  183. package/SVF-doxygen/html/html/classSVF_1_1CopyVFGNode.html +2 -2
  184. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +6 -6
  185. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +4 -4
  186. package/SVF-doxygen/html/html/classSVF_1_1DDAPass-members.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +17 -31
  188. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +10 -10
  189. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +40 -40
  190. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +15 -15
  191. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +4 -4
  192. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +11 -11
  193. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker-members.html +5 -5
  194. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +16 -16
  195. package/SVF-doxygen/html/html/classSVF_1_1DummyVersionPropSVFGNode.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +1 -1
  197. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA-members.html +228 -229
  198. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +62 -65
  199. package/SVF-doxygen/html/html/classSVF_1_1FileChecker-members.html +5 -5
  200. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +17 -17
  201. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA-members.html +194 -195
  202. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +55 -55
  203. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive-members.html +219 -220
  204. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +335 -342
  205. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +57 -57
  206. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +6 -6
  207. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +2 -2
  208. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +2 -2
  209. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +4 -4
  210. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +2 -2
  211. package/SVF-doxygen/html/html/classSVF_1_1GepVFGNode.html +2 -2
  212. package/SVF-doxygen/html/html/classSVF_1_1ICFG-members.html +1 -1
  213. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +6 -6
  214. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +2 -2
  215. package/SVF-doxygen/html/html/classSVF_1_1IRAnnotator.html +4 -4
  216. package/SVF-doxygen/html/html/classSVF_1_1IRGraph.html +4 -4
  217. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +2 -2
  218. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +8 -8
  219. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis-members.html +1 -1
  220. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +20 -14
  221. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet-members.html +4 -4
  222. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +106 -92
  223. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker-members.html +5 -5
  224. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +36 -36
  225. package/SVF-doxygen/html/html/classSVF_1_1LoadVFGNode.html +2 -2
  226. package/SVF-doxygen/html/html/classSVF_1_1LocationSet.html +12 -12
  227. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +25 -25
  228. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +3 -3
  229. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +26 -26
  230. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +87 -87
  231. package/SVF-doxygen/html/html/classSVF_1_1MTA-members.html +2 -2
  232. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +27 -33
  233. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +21 -21
  234. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +14 -14
  235. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder-members.html +41 -43
  236. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +57 -80
  237. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +3 -3
  238. package/SVF-doxygen/html/html/classSVF_1_1MemObj.html +54 -54
  239. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +4 -4
  240. package/SVF-doxygen/html/html/classSVF_1_1MemSSA-members.html +4 -3
  241. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +170 -143
  242. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +16 -16
  243. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +2 -2
  244. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData-members.html +3 -3
  245. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +13 -15
  246. package/SVF-doxygen/html/html/classSVF_1_1NodeIDAllocator_1_1Clusterer.html +7 -7
  247. package/SVF-doxygen/html/html/classSVF_1_1NullPtrVFGNode.html +2 -2
  248. package/SVF-doxygen/html/html/classSVF_1_1ObjTypeInfo.html +8 -8
  249. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1Options-members.html +17 -18
  251. package/SVF-doxygen/html/html/classSVF_1_1Options.html +53 -79
  252. package/SVF-doxygen/html/html/classSVF_1_1PAGBuilderFromFile.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +2 -2
  254. package/SVF-doxygen/html/html/classSVF_1_1PHIVFGNode.html +2 -2
  255. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +3 -3
  256. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +3 -3
  257. package/SVF-doxygen/html/html/classSVF_1_1PTAStat.html +4 -4
  258. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +11 -11
  259. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData-members.html +28 -28
  260. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +174 -177
  261. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData-members.html +17 -17
  262. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +99 -102
  263. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData-members.html +30 -30
  264. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +125 -127
  265. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData-members.html +13 -13
  266. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +83 -86
  267. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html +1 -1
  268. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +122 -122
  269. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData-members.html +22 -22
  270. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +137 -140
  271. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +56 -56
  272. package/SVF-doxygen/html/html/classSVF_1_1PointsTo-members.html +16 -16
  273. package/SVF-doxygen/html/html/classSVF_1_1PointsTo.html +183 -178
  274. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator-members.html +7 -7
  275. package/SVF-doxygen/html/html/classSVF_1_1PointsTo_1_1PointsToIterator.html +87 -65
  276. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +6 -6
  277. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection.html +3 -3
  278. package/SVF-doxygen/html/html/classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html +1 -1
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument-members.html +1 -1
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +4 -4
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFArrayType.html +6 -6
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock-members.html +3 -3
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +13 -16
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue-members.html +1 -1
  285. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +2 -2
  286. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst-members.html +1 -1
  287. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +2 -2
  288. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant-members.html +1 -1
  289. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +3 -3
  290. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData-members.html +1 -1
  291. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +2 -2
  292. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP-members.html +1 -1
  293. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +2 -2
  294. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt-members.html +1 -1
  295. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +2 -2
  296. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr-members.html +1 -1
  297. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +2 -2
  298. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction-members.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +5 -7
  300. package/SVF-doxygen/html/html/classSVF_1_1SVFFunctionType.html +9 -9
  301. package/SVF-doxygen/html/html/classSVF_1_1SVFG-members.html +2 -2
  302. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +211 -236
  303. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder-members.html +7 -9
  304. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +50 -138
  305. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT-members.html +9 -9
  306. package/SVF-doxygen/html/html/classSVF_1_1SVFGOPT.html +82 -82
  307. package/SVF-doxygen/html/html/classSVF_1_1SVFGStat.html +5 -5
  308. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue-members.html +1 -1
  309. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +2 -2
  310. package/SVF-doxygen/html/html/classSVF_1_1SVFIR-members.html +1 -1
  311. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +203 -215
  312. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +13 -13
  313. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +79 -79
  314. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction-members.html +1 -1
  315. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +4 -4
  316. package/SVF-doxygen/html/html/classSVF_1_1SVFIntergerType.html +5 -5
  317. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue-members.html +1 -1
  318. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +2 -2
  319. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +0 -4
  320. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherType.html +5 -5
  321. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue-members.html +1 -1
  322. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +3 -3
  323. package/SVF-doxygen/html/html/classSVF_1_1SVFPointerType.html +9 -9
  324. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +19 -19
  325. package/SVF-doxygen/html/html/classSVF_1_1SVFStructType.html +5 -5
  326. package/SVF-doxygen/html/html/classSVF_1_1SVFType.html +38 -38
  327. package/SVF-doxygen/html/html/classSVF_1_1SVFValue-members.html +1 -1
  328. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +4 -5
  329. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +1 -1
  330. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst-members.html +1 -1
  331. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +2 -2
  332. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +9 -9
  333. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder-members.html +12 -14
  334. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +42 -68
  335. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector-members.html +1 -1
  336. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector.html +108 -109
  337. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator-members.html +1 -1
  338. package/SVF-doxygen/html/html/classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html +50 -50
  339. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA-members.html +6 -6
  340. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +146 -146
  341. package/SVF-doxygen/html/html/classSVF_1_1StInfo-members.html +5 -5
  342. package/SVF-doxygen/html/html/classSVF_1_1StInfo.html +48 -61
  343. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard-members.html +178 -179
  344. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +35 -38
  345. package/SVF-doxygen/html/html/classSVF_1_1StoreVFGNode.html +1 -1
  346. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +20 -20
  347. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +42 -46
  348. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +10 -10
  349. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +8 -8
  350. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis-members.html +169 -170
  351. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +29 -32
  352. package/SVF-doxygen/html/html/classSVF_1_1UnaryOPVFGNode.html +2 -2
  353. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +28 -28
  354. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive-members.html +263 -264
  355. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +112 -115
  356. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +41 -41
  357. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  358. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +9 -9
  359. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver-members.html +2 -2
  360. package/SVF-doxygen/html/html/classSVF_1_1WPAFSSolver.html +9 -9
  361. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver-members.html +2 -2
  362. package/SVF-doxygen/html/html/classSVF_1_1WPAMinimumSolver.html +15 -15
  363. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +25 -25
  364. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver-members.html +2 -2
  365. package/SVF-doxygen/html/html/classSVF_1_1WPASCCSolver.html +17 -17
  366. package/SVF-doxygen/html/html/classSVF_1_1WPASolver-members.html +2 -2
  367. package/SVF-doxygen/html/html/classSVF_1_1WPASolver.html +76 -81
  368. package/SVF-doxygen/html/html/classSVF_1_1Z3Expr.html +2 -2
  369. package/SVF-doxygen/html/html/dda_8cpp.html +1 -1
  370. package/SVF-doxygen/html/html/dda_8cpp_source.html +1 -1
  371. package/SVF-doxygen/html/html/functions.html +1 -1
  372. package/SVF-doxygen/html/html/functions_0x7e.html +16 -16
  373. package/SVF-doxygen/html/html/functions_a.html +7 -7
  374. package/SVF-doxygen/html/html/functions_b.html +6 -6
  375. package/SVF-doxygen/html/html/functions_c.html +27 -27
  376. package/SVF-doxygen/html/html/functions_d.html +10 -11
  377. package/SVF-doxygen/html/html/functions_e.html +2 -2
  378. package/SVF-doxygen/html/html/functions_f.html +6 -6
  379. package/SVF-doxygen/html/html/functions_func.html +6 -6
  380. package/SVF-doxygen/html/html/functions_func_0x7e.html +16 -16
  381. package/SVF-doxygen/html/html/functions_func_b.html +6 -6
  382. package/SVF-doxygen/html/html/functions_func_c.html +27 -27
  383. package/SVF-doxygen/html/html/functions_func_d.html +10 -11
  384. package/SVF-doxygen/html/html/functions_func_e.html +2 -2
  385. package/SVF-doxygen/html/html/functions_func_f.html +5 -5
  386. package/SVF-doxygen/html/html/functions_func_g.html +22 -22
  387. package/SVF-doxygen/html/html/functions_func_h.html +3 -3
  388. package/SVF-doxygen/html/html/functions_func_i.html +2 -2
  389. package/SVF-doxygen/html/html/functions_func_o.html +3 -3
  390. package/SVF-doxygen/html/html/functions_func_p.html +5 -5
  391. package/SVF-doxygen/html/html/functions_func_r.html +5 -8
  392. package/SVF-doxygen/html/html/functions_func_s.html +5 -5
  393. package/SVF-doxygen/html/html/functions_func_t.html +1 -1
  394. package/SVF-doxygen/html/html/functions_func_u.html +23 -23
  395. package/SVF-doxygen/html/html/functions_g.html +25 -28
  396. package/SVF-doxygen/html/html/functions_h.html +3 -3
  397. package/SVF-doxygen/html/html/functions_i.html +5 -5
  398. package/SVF-doxygen/html/html/functions_m.html +1 -1
  399. package/SVF-doxygen/html/html/functions_o.html +13 -13
  400. package/SVF-doxygen/html/html/functions_p.html +19 -19
  401. package/SVF-doxygen/html/html/functions_r.html +11 -12
  402. package/SVF-doxygen/html/html/functions_s.html +32 -35
  403. package/SVF-doxygen/html/html/functions_t.html +12 -12
  404. package/SVF-doxygen/html/html/functions_type_t.html +1 -1
  405. package/SVF-doxygen/html/html/functions_u.html +26 -23
  406. package/SVF-doxygen/html/html/functions_v.html +6 -6
  407. package/SVF-doxygen/html/html/functions_vars.html +1 -1
  408. package/SVF-doxygen/html/html/functions_vars_f.html +1 -1
  409. package/SVF-doxygen/html/html/functions_vars_g.html +0 -3
  410. package/SVF-doxygen/html/html/functions_vars_i.html +1 -1
  411. package/SVF-doxygen/html/html/functions_vars_m.html +1 -1
  412. package/SVF-doxygen/html/html/functions_vars_p.html +2 -2
  413. package/SVF-doxygen/html/html/functions_vars_s.html +5 -8
  414. package/SVF-doxygen/html/html/functions_vars_t.html +1 -1
  415. package/SVF-doxygen/html/html/functions_vars_u.html +3 -0
  416. package/SVF-doxygen/html/html/functions_w.html +3 -7
  417. package/SVF-doxygen/html/html/include_2MTA_2MTAResultValidator_8h_source.html +1 -1
  418. package/SVF-doxygen/html/html/mta_8cpp.html +1 -1
  419. package/SVF-doxygen/html/html/mta_8cpp_source.html +1 -1
  420. package/SVF-doxygen/html/html/namespaceSVF.html +35 -35
  421. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +2 -2
  422. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +4 -4
  423. package/SVF-doxygen/html/html/saber_8cpp.html +1 -5
  424. package/SVF-doxygen/html/html/saber_8cpp_source.html +1 -5
  425. package/SVF-doxygen/html/html/search/all_0.js +1 -1
  426. package/SVF-doxygen/html/html/search/all_1.js +4 -4
  427. package/SVF-doxygen/html/html/search/all_10.js +15 -15
  428. package/SVF-doxygen/html/html/search/all_11.js +1 -2
  429. package/SVF-doxygen/html/html/search/all_12.js +19 -20
  430. package/SVF-doxygen/html/html/search/all_13.js +8 -8
  431. package/SVF-doxygen/html/html/search/all_14.js +13 -12
  432. package/SVF-doxygen/html/html/search/all_15.js +4 -4
  433. package/SVF-doxygen/html/html/search/all_16.js +2 -2
  434. package/SVF-doxygen/html/html/search/all_19.js +16 -16
  435. package/SVF-doxygen/html/html/search/all_2.js +6 -6
  436. package/SVF-doxygen/html/html/search/all_3.js +14 -14
  437. package/SVF-doxygen/html/html/search/all_4.js +5 -5
  438. package/SVF-doxygen/html/html/search/all_5.js +2 -2
  439. package/SVF-doxygen/html/html/search/all_6.js +5 -5
  440. package/SVF-doxygen/html/html/search/all_7.js +11 -12
  441. package/SVF-doxygen/html/html/search/all_8.js +3 -3
  442. package/SVF-doxygen/html/html/search/all_9.js +3 -3
  443. package/SVF-doxygen/html/html/search/all_b.js +1 -1
  444. package/SVF-doxygen/html/html/search/all_c.js +3 -3
  445. package/SVF-doxygen/html/html/search/all_d.js +3 -3
  446. package/SVF-doxygen/html/html/search/all_e.js +2 -2
  447. package/SVF-doxygen/html/html/search/all_f.js +5 -5
  448. package/SVF-doxygen/html/html/search/functions_0.js +4 -4
  449. package/SVF-doxygen/html/html/search/functions_1.js +6 -6
  450. package/SVF-doxygen/html/html/search/functions_10.js +1 -2
  451. package/SVF-doxygen/html/html/search/functions_11.js +10 -10
  452. package/SVF-doxygen/html/html/search/functions_12.js +1 -1
  453. package/SVF-doxygen/html/html/search/functions_13.js +12 -12
  454. package/SVF-doxygen/html/html/search/functions_17.js +16 -16
  455. package/SVF-doxygen/html/html/search/functions_2.js +14 -14
  456. package/SVF-doxygen/html/html/search/functions_3.js +5 -5
  457. package/SVF-doxygen/html/html/search/functions_4.js +2 -2
  458. package/SVF-doxygen/html/html/search/functions_5.js +4 -4
  459. package/SVF-doxygen/html/html/search/functions_6.js +11 -11
  460. package/SVF-doxygen/html/html/search/functions_7.js +3 -3
  461. package/SVF-doxygen/html/html/search/functions_8.js +2 -2
  462. package/SVF-doxygen/html/html/search/functions_d.js +1 -1
  463. package/SVF-doxygen/html/html/search/functions_e.js +3 -3
  464. package/SVF-doxygen/html/html/search/functions_f.js +5 -5
  465. package/SVF-doxygen/html/html/search/typedefs_11.js +1 -1
  466. package/SVF-doxygen/html/html/search/variables_0.js +1 -1
  467. package/SVF-doxygen/html/html/search/variables_10.js +2 -2
  468. package/SVF-doxygen/html/html/search/variables_12.js +5 -6
  469. package/SVF-doxygen/html/html/search/variables_13.js +3 -3
  470. package/SVF-doxygen/html/html/search/variables_14.js +1 -0
  471. package/SVF-doxygen/html/html/search/variables_6.js +1 -1
  472. package/SVF-doxygen/html/html/search/variables_7.js +0 -1
  473. package/SVF-doxygen/html/html/search/variables_9.js +1 -1
  474. package/SVF-doxygen/html/html/search/variables_d.js +1 -1
  475. package/SVF-doxygen/html/html/search/variables_e.js +1 -1
  476. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html +14 -14
  477. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +2 -2
  478. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  479. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html +1 -1
  480. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html +2 -2
  481. package/SVF-doxygen/html/html/structSVF_1_1Hash_3_01NodePair_01_4.html +3 -3
  482. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement-members.html +1 -1
  483. package/SVF-doxygen/html/html/structSVF_1_1SparseBitVectorElement.html +47 -57
  484. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1NodePair_01_4.html +3 -3
  485. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1PointsTo_01_4.html +1 -1
  486. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SparseBitVector_3_01N_01_4_01_4.html +5 -5
  487. package/SVF-doxygen/html/html/structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html +3 -3
  488. package/SVF-doxygen/html/html/svf-ex_8cpp.html +6 -7
  489. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +7 -7
  490. package/SVF-doxygen/html/html/tools_2MTA_2MTAResultValidator_8h_source.html +1 -1
  491. package/SVF-doxygen/html/html/wpa_8cpp.html +1 -1
  492. package/SVF-doxygen/html/html/wpa_8cpp_source.html +1 -1
  493. package/build.sh +2 -2
  494. package/include/DDA/DDAPass.h +1 -1
  495. package/include/DDA/FlowDDA.h +1 -1
  496. package/include/Graphs/ICFG.h +1 -1
  497. package/include/Graphs/SVFG.h +3 -4
  498. package/include/Graphs/SVFGOPT.h +7 -7
  499. package/include/MSSA/MemSSA.h +2 -0
  500. package/include/MSSA/SVFGBuilder.h +5 -14
  501. package/include/MTA/MTA.h +2 -2
  502. package/include/MemoryModel/MutablePointsToDS.h +3 -3
  503. package/include/MemoryModel/PersistentPointsToCache.h +7 -8
  504. package/include/MemoryModel/PersistentPointsToDS.h +93 -93
  505. package/include/MemoryModel/PointerAnalysisImpl.h +17 -28
  506. package/include/MemoryModel/PointsTo.h +24 -24
  507. package/include/SABER/SrcSnkDDA.h +10 -13
  508. package/include/SVF-LLVM/LLVMLoopAnalysis.h +2 -1
  509. package/include/SVF-LLVM/LLVMModule.h +6 -6
  510. package/include/SVFIR/SVFIR.h +3 -5
  511. package/include/SVFIR/SVFType.h +6 -8
  512. package/include/SVFIR/SVFValue.h +3 -3
  513. package/include/Util/Options.h +0 -1
  514. package/include/Util/SparseBitVector.h +6 -14
  515. package/include/WPA/FlowSensitive.h +13 -20
  516. package/include/WPA/WPASolver.h +5 -9
  517. package/lib/DDA/DDAPass.cpp +4 -4
  518. package/lib/Graphs/CFLGraph.cpp +3 -0
  519. package/lib/Graphs/SVFG.cpp +1 -1
  520. package/lib/MSSA/MemSSA.cpp +5 -3
  521. package/lib/MSSA/SVFGBuilder.cpp +9 -27
  522. package/lib/MTA/MTA.cpp +4 -4
  523. package/lib/MemoryModel/PointerAnalysisImpl.cpp +10 -10
  524. package/lib/MemoryModel/PointsTo.cpp +23 -19
  525. package/lib/SVF-LLVM/LLVMLoopAnalysis.cpp +3 -4
  526. package/lib/SVF-LLVM/LLVMModule.cpp +32 -21
  527. package/lib/SVFIR/SVFIR.cpp +1 -1
  528. package/lib/SVFIR/SymbolTableInfo.cpp +4 -15
  529. package/lib/Util/Options.cpp +0 -6
  530. package/lib/WPA/AndersenSFR.cpp +1 -1
  531. package/lib/WPA/FlowSensitive.cpp +1 -1
  532. package/package.json +1 -1
  533. package/tools/CFL/cfl.cpp +5 -4
  534. package/tools/DDA/dda.cpp +3 -2
  535. package/tools/Example/svf-ex.cpp +3 -2
  536. package/tools/MTA/mta.cpp +6 -4
  537. package/tools/SABER/saber.cpp +7 -5
  538. package/tools/WPA/wpa.cpp +3 -2
package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData-members.html CHANGED
@@ -69,7 +69,7 @@ $(function() {
69
69
 
70
70
  <p>This is the complete list of members for <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>, including all inherited members.</p>
71
71
  <table class="directory">
72
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">addPts</a>(const Key &amp;dstKey, const Data &amp;element) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
72
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">addPts</a>(const Key &amp;dstKey, const Data &amp;element) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
73
73
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a347b03b12df7d51774b617f4e7399568">Base</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
74
74
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af9facbe8f694b8447bb6ebe48b95ad17">BaseDFPTData</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
75
75
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#afccad3b3163f25cc058334083f90041d">BasePersPTData</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
@@ -77,29 +77,29 @@ $(function() {
77
77
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad374e8e6ddd5c397bd5ab6cf9b259968">classof</a>(const PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
78
78
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a575a441ddbe233d34937792b66d2b39c">classof</a>(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
79
79
  <tr><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html#a1b09e85de5cc187958dd8fb1aa5edfcd">SVF::DFPTData::classof</a>(const DFPTData&lt; Key, KeySet, Data, DataSet &gt; *)</td><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
80
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">clear</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
81
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">clearAllDFOutUpdatedVar</a>(LocID) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
82
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">clearFullPts</a>(const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
83
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">clearPts</a>(const Key &amp;var, const Data &amp;element) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
80
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">clear</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
81
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6af27fbe2c38c4d40d8df5aa1c765f62">clearAllDFOutUpdatedVar</a>(LocID) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
82
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">clearFullPts</a>(const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
83
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">clearPts</a>(const Key &amp;var, const Data &amp;element) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
84
84
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc">DataFlow</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
85
85
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
86
86
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a0d0318fa192eac88a4307112e30e9d90">DFKeyToIDMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
87
87
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
88
88
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83">DFPTData</a>(bool reversePT=true, PTDataTy ty=BasePTData::DataFlow)</td><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
89
89
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a03a155517b9587d79c3f0b6dc3b72447">Diff</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
90
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d168145358e0f69eca023dd9b4363ea">dumpPTData</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
91
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368">getAllPts</a>(bool liveOnly) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
90
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62">dumpPTData</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
91
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#abc8fbd41eddccddbbdc3316a3fd03276">getAllPts</a>(bool liveOnly) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
92
92
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(LocID loc, const Key &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
93
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a26ca6565c4766e3d6ea6bf435ae910a3">getDFInPtsSet</a>(LocID loc, const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
93
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85">getDFInPtsSet</a>(LocID loc, const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
94
94
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(LocID loc, const Key &amp;var)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
95
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aea89a705aed7e02ddbf73f861506536e">getDFOutPtsSet</a>(LocID loc, const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
95
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0">getDFOutPtsSet</a>(LocID loc, const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
96
96
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#adfcbaefe1c058d9ddf14aa3da07e1daf">getPTDTY</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
97
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">getPts</a>(const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
98
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a">getRevPts</a>(const Data &amp;) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(LocID loc) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab490fd81739f2bd6dddabd5ce5beac3b">hasDFInSet</a>(LocID loc, const Key &amp;var) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
101
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">hasDFOutSet</a>(LocID loc) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ace47d00f778bc4a714fc4f9d0cbd063c">hasDFOutSet</a>(LocID loc, const Key &amp;var) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
97
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">getPts</a>(const Key &amp;var) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
98
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d">getRevPts</a>(const Data &amp;) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
99
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">hasDFInSet</a>(LocID loc) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
100
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae">hasDFInSet</a>(LocID loc, const Key &amp;var) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
101
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">hasDFOutSet</a>(LocID loc) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
102
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd">hasDFOutSet</a>(LocID loc, const Key &amp;var) const override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
103
103
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
104
104
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b">LocID</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
105
105
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a47a2413878b6ed98b42b9ae10e839072">MutBase</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
@@ -111,29 +111,29 @@ $(function() {
111
111
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848af7d68d3c87acd1e3169c09fbf855fd1f">PersDataFlow</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
112
112
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848ada752eff76493c0121473ac4c18c9b03">PersDiff</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
113
113
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">PersIncDataFlow</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
114
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4">PersistentDFPTData</a>(PersistentPointsToCache&lt; DataSet &gt; &amp;cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
114
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4">PersistentDFPTData</a>(PersistentPointsToCache&lt; DataSet &gt; &amp;cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">explicit</span></td></tr>
115
115
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
116
116
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a15e53fc2443dac125c703ccd7eef1a03">PersVersioned</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
117
117
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
118
118
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1">PTData</a>(bool reversePT=true, PTDataTy ty=PTDataTy::Base)</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
119
119
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#abb11d9bd24cb587bba6f762ab49b07c8">PTDataTy</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
120
120
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28">ptdTy</a></td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
121
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aac817d88beae87fcc961a2df7904e61c">remapAllPts</a>(void) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
121
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af70d3b1ecbb8f9cb56b8b419dbc0490a">remapAllPts</a>() override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
122
122
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a></td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
123
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf">unionPts</a>(const Key &amp;dstKey, const Key &amp;srcKey) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
124
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a780dc63003f8a0a4c66c1548138fdd86">unionPts</a>(const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
123
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a">unionPts</a>(const Key &amp;dstKey, const Key &amp;srcKey) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
124
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286">unionPts</a>(const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
125
125
  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(PointsToID &amp;dst, PointsToID &amp;src)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
126
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">updateAllDFInFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
127
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">updateAllDFInFromOut</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
128
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">updateAllDFOutFromIn</a>(LocID loc, const Key &amp;singleton, bool strongUpdates) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
129
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">updateATVPts</a>(const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
130
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">updateDFInFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
131
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">updateDFInFromOut</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
132
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">updateDFOutFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
133
- <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">updateTLVPts</a>(LocID srcLoc, const Key &amp;srcVar, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
126
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021">updateAllDFInFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
127
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced">updateAllDFInFromOut</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
128
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177">updateAllDFOutFromIn</a>(LocID loc, const Key &amp;singleton, bool strongUpdates) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
129
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b">updateATVPts</a>(const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
130
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">updateDFInFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
131
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">updateDFInFromOut</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
132
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">updateDFOutFromIn</a>(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
133
+ <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">updateTLVPts</a>(LocID srcLoc, const Key &amp;srcVar, const Key &amp;dstVar) override</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
134
134
  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a33bb78ff686c2cd774e127ce77f9cb67">Versioned</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
135
135
  <tr><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html#af6d40be5e2df2ad37b64b7a73b73518e">~DFPTData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1DFPTData.html">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
136
- <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad9ccba048d0c749d1c2cafc517f78181">~PersistentDFPTData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
136
+ <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6928f5062dcb84429424a26696a61523">~PersistentDFPTData</a>() override=default</td><td class="entry"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"></td></tr>
137
137
  <tr><td class="entry"><a class="el" href="classSVF_1_1PTData.html#a6599aa8acde9a6fe65bdba36f289f04f">~PTData</a>()</td><td class="entry"><a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
138
138
  </table></div><!-- contents -->
139
139
  <!-- start footer part -->