svf-tools 1.0.560 → 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 (272) 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/ConditionalPT_8h_source.html +1 -1
  10. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +44 -44
  11. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +43 -43
  12. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +12 -12
  13. package/SVF-doxygen/html/html/DDAClient_8h_source.html +36 -36
  14. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +19 -19
  15. package/SVF-doxygen/html/html/DDAPass_8h_source.html +21 -21
  16. package/SVF-doxygen/html/html/DDAStat_8cpp_source.html +51 -51
  17. package/SVF-doxygen/html/html/DDAStat_8h_source.html +51 -51
  18. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +111 -111
  19. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +2 -2
  20. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +2 -2
  21. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +40 -40
  22. package/SVF-doxygen/html/html/FSMPTA_8h_source.html +52 -52
  23. package/SVF-doxygen/html/html/FileChecker_8cpp_source.html +2 -2
  24. package/SVF-doxygen/html/html/FileChecker_8h_source.html +2 -2
  25. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +2 -2
  26. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +42 -42
  27. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +3 -3
  28. package/SVF-doxygen/html/html/FlowSensitive_8h_source.html +6 -6
  29. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +4 -4
  30. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +3 -3
  31. package/SVF-doxygen/html/html/LocationSet_8cpp_source.html +1 -1
  32. package/SVF-doxygen/html/html/LocationSet_8h_source.html +1 -1
  33. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +34 -34
  34. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +114 -114
  35. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +2 -2
  36. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +7 -7
  37. package/SVF-doxygen/html/html/MHP_8cpp.html +2 -2
  38. package/SVF-doxygen/html/html/MHP_8cpp_source.html +94 -94
  39. package/SVF-doxygen/html/html/MHP_8h_source.html +135 -135
  40. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +6 -6
  41. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +2 -2
  42. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  43. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +10 -10
  44. package/SVF-doxygen/html/html/MTAResultValidator_8h_source.html +6 -6
  45. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +33 -33
  46. package/SVF-doxygen/html/html/MTAStat_8h_source.html +14 -14
  47. package/SVF-doxygen/html/html/MTA_8cpp_source.html +28 -28
  48. package/SVF-doxygen/html/html/MTA_8h_source.html +24 -24
  49. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +6 -6
  50. package/SVF-doxygen/html/html/MemPartition_8h_source.html +4 -4
  51. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +50 -50
  52. package/SVF-doxygen/html/html/MemRegion_8h_source.html +93 -93
  53. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +59 -59
  54. package/SVF-doxygen/html/html/MemSSA_8h_source.html +103 -103
  55. package/SVF-doxygen/html/html/MutablePointsToDS_8h_source.html +185 -185
  56. package/SVF-doxygen/html/html/PAGBuilderFromFile_8cpp_source.html +1 -1
  57. package/SVF-doxygen/html/html/PAGBuilderFromFile_8h_source.html +1 -1
  58. package/SVF-doxygen/html/html/PCG_8cpp_source.html +14 -14
  59. package/SVF-doxygen/html/html/PCG_8h_source.html +52 -52
  60. package/SVF-doxygen/html/html/PersistentPointsToCache_8h_source.html +40 -40
  61. package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html +181 -181
  62. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +15 -15
  63. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +30 -30
  64. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +2 -2
  67. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +60 -60
  68. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +2 -2
  69. package/SVF-doxygen/html/html/SVFGBuilder_8h_source.html +2 -2
  70. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  71. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  72. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +2 -2
  73. package/SVF-doxygen/html/html/SVFGStat_8cpp_source.html +19 -19
  74. package/SVF-doxygen/html/html/SVFGStat_8h_source.html +1 -1
  75. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +12 -12
  76. package/SVF-doxygen/html/html/SVFG_8h_source.html +5 -5
  77. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +1 -1
  78. package/SVF-doxygen/html/html/SaberAnnotator_8cpp_source.html +3 -3
  79. package/SVF-doxygen/html/html/SaberAnnotator_8h_source.html +2 -2
  80. package/SVF-doxygen/html/html/SaberCheckerAPI_8cpp_source.html +1 -1
  81. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +1 -1
  82. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +1 -1
  83. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +1 -1
  84. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  85. package/SVF-doxygen/html/html/SaberSVFGBuilder_8h_source.html +1 -1
  86. package/SVF-doxygen/html/html/SrcSnkDDA_8cpp_source.html +13 -13
  87. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +66 -66
  88. package/SVF-doxygen/html/html/SrcSnkSolver_8h_source.html +1 -1
  89. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +4 -4
  90. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +6 -6
  91. package/SVF-doxygen/html/html/TCT_8cpp_source.html +44 -44
  92. package/SVF-doxygen/html/html/TCT_8h_source.html +93 -93
  93. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +1 -1
  94. package/SVF-doxygen/html/html/TypeAnalysis_8h_source.html +2 -2
  95. package/SVF-doxygen/html/html/VersionedFlowSensitiveStat_8cpp_source.html +2 -2
  96. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +25 -25
  97. package/SVF-doxygen/html/html/VersionedFlowSensitive_8h_source.html +38 -38
  98. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  99. package/SVF-doxygen/html/html/WPAStat_8h_source.html +2 -2
  100. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  101. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  102. package/SVF-doxygen/html/html/classSVF_1_1AliasDDAClient.html +22 -22
  103. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +102 -102
  104. package/SVF-doxygen/html/html/classSVF_1_1AndersenBase.html +43 -43
  105. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +20 -20
  106. package/SVF-doxygen/html/html/classSVF_1_1AndersenSFR.html +6 -6
  107. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +16 -16
  108. package/SVF-doxygen/html/html/classSVF_1_1AndersenWaveDiff.html +19 -19
  109. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +39 -39
  110. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +1 -1
  111. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +2 -2
  112. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +2 -2
  113. package/SVF-doxygen/html/html/classSVF_1_1CondPTAImpl.html +1 -1
  114. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +100 -100
  115. package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html +51 -51
  116. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +58 -58
  117. package/SVF-doxygen/html/html/classSVF_1_1DDAStat.html +165 -165
  118. package/SVF-doxygen/html/html/classSVF_1_1DDAVFSolver.html +286 -286
  119. package/SVF-doxygen/html/html/classSVF_1_1DFPTData.html +26 -26
  120. package/SVF-doxygen/html/html/classSVF_1_1DiffPTData.html +11 -11
  121. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +4 -4
  122. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +4 -4
  123. package/SVF-doxygen/html/html/classSVF_1_1EntryCHI.html +2 -2
  124. package/SVF-doxygen/html/html/classSVF_1_1FSMPTA.html +30 -30
  125. package/SVF-doxygen/html/html/classSVF_1_1FileChecker.html +3 -3
  126. package/SVF-doxygen/html/html/classSVF_1_1FlowDDA.html +71 -71
  127. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +7 -7
  128. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +1 -1
  129. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +218 -218
  130. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +2 -2
  131. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +2 -2
  132. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +19 -19
  133. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  134. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +7 -7
  135. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +17 -17
  136. package/SVF-doxygen/html/html/classSVF_1_1LoadMU.html +2 -2
  137. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +334 -334
  138. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +9 -9
  139. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +246 -246
  140. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +7 -7
  141. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +200 -200
  142. package/SVF-doxygen/html/html/classSVF_1_1MSSACHI.html +2 -2
  143. package/SVF-doxygen/html/html/classSVF_1_1MSSADEF.html +1 -1
  144. package/SVF-doxygen/html/html/classSVF_1_1MSSAMU.html +2 -2
  145. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHI.html +1 -1
  146. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +2 -2
  147. package/SVF-doxygen/html/html/classSVF_1_1MTA.html +53 -53
  148. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +4 -4
  149. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +22 -22
  150. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +181 -181
  151. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +44 -44
  152. package/SVF-doxygen/html/html/classSVF_1_1MemRegion.html +23 -23
  153. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +267 -267
  154. package/SVF-doxygen/html/html/classSVF_1_1MemSSAStat.html +18 -18
  155. package/SVF-doxygen/html/html/classSVF_1_1MutableDFPTData.html +128 -128
  156. package/SVF-doxygen/html/html/classSVF_1_1MutableDiffPTData.html +55 -55
  157. package/SVF-doxygen/html/html/classSVF_1_1MutableIncDFPTData.html +88 -88
  158. package/SVF-doxygen/html/html/classSVF_1_1MutablePTData.html +78 -78
  159. package/SVF-doxygen/html/html/classSVF_1_1MutableVersionedPTData.html +77 -77
  160. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +131 -131
  161. package/SVF-doxygen/html/html/classSVF_1_1PTData.html +32 -32
  162. package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html +107 -107
  163. package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html +66 -66
  164. package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html +84 -84
  165. package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html +77 -77
  166. package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache.html +134 -134
  167. package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html +77 -77
  168. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +3 -3
  169. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +161 -161
  170. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +7 -7
  171. package/SVF-doxygen/html/html/classSVF_1_1RetMU.html +2 -2
  172. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +22 -22
  173. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +4 -4
  174. package/SVF-doxygen/html/html/classSVF_1_1SVFGNodeLockSpan.html +23 -23
  175. package/SVF-doxygen/html/html/classSVF_1_1SaberAnnotator.html +5 -5
  176. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +2 -2
  177. package/SVF-doxygen/html/html/classSVF_1_1SrcSnkDDA.html +157 -157
  178. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +15 -15
  179. package/SVF-doxygen/html/html/classSVF_1_1StoreCHI.html +2 -2
  180. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +264 -264
  181. package/SVF-doxygen/html/html/classSVF_1_1TCTEdge.html +13 -13
  182. package/SVF-doxygen/html/html/classSVF_1_1TCTNode.html +20 -20
  183. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +100 -100
  185. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitiveStat.html +8 -8
  186. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive_1_1SCC.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1VersionedPTData.html +11 -11
  188. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +6 -6
  189. package/SVF-doxygen/html/html/dda_8cpp.html +2 -2
  190. package/SVF-doxygen/html/html/dda_8cpp_source.html +2 -2
  191. package/SVF-doxygen/html/html/mta_8cpp.html +2 -2
  192. package/SVF-doxygen/html/html/mta_8cpp_source.html +2 -2
  193. package/SVF-doxygen/html/html/namespaceSVF.html +11 -11
  194. package/SVF-doxygen/html/html/structSVF_1_1MemRegion_1_1equalMemRegion.html +3 -3
  195. package/SVF-doxygen/html/html/structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html +4 -4
  196. package/SVF-doxygen/html/html/structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html +15 -15
  197. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html +1 -1
  198. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html +1 -1
  199. package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html +2 -2
  200. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1SVFGNodeLockSpan_01_4.html +3 -3
  201. package/SVF-doxygen/html/html/svf-ex_8cpp.html +1 -1
  202. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +1 -1
  203. package/include/DDA/ContextDDA.h +29 -0
  204. package/include/DDA/DDAClient.h +23 -0
  205. package/include/DDA/DDAPass.h +22 -0
  206. package/include/DDA/DDAStat.h +22 -0
  207. package/include/DDA/DDAVFSolver.h +22 -0
  208. package/include/DDA/FlowDDA.h +29 -0
  209. package/include/MSSA/MSSAMuChi.h +1 -1
  210. package/include/MSSA/MemPartition.h +1 -1
  211. package/include/MSSA/MemRegion.h +5 -1
  212. package/include/MSSA/MemSSA.h +7 -1
  213. package/include/MSSA/SVFGBuilder.h +1 -1
  214. package/include/MTA/FSMPTA.h +26 -0
  215. package/include/MTA/LockAnalysis.h +22 -0
  216. package/include/MTA/MHP.h +22 -0
  217. package/include/MTA/MTA.h +27 -1
  218. package/include/MTA/MTAStat.h +22 -0
  219. package/include/MTA/PCG.h +22 -0
  220. package/include/MTA/TCT.h +22 -0
  221. package/include/MemoryModel/AbstractPointsToDS.h +34 -0
  222. package/include/MemoryModel/ConditionalPT.h +1 -1
  223. package/include/MemoryModel/LocationSet.h +1 -1
  224. package/include/MemoryModel/MutablePointsToDS.h +32 -0
  225. package/include/MemoryModel/PAGBuilderFromFile.h +2 -2
  226. package/include/MemoryModel/PersistentPointsToCache.h +3 -1
  227. package/include/MemoryModel/PersistentPointsToDS.h +10 -0
  228. package/include/MemoryModel/PointerAnalysis.h +1 -1
  229. package/include/MemoryModel/PointerAnalysisImpl.h +1 -1
  230. package/include/MemoryModel/SVFStatements.h +1 -1
  231. package/include/SABER/DoubleFreeChecker.h +1 -1
  232. package/include/SABER/FileChecker.h +1 -1
  233. package/include/SABER/LeakChecker.h +1 -1
  234. package/include/SABER/ProgSlice.h +8 -1
  235. package/include/SABER/SaberAnnotator.h +1 -1
  236. package/include/SABER/SaberCheckerAPI.h +1 -1
  237. package/include/SABER/SaberCondAllocator.h +1 -1
  238. package/include/SABER/SaberSVFGBuilder.h +1 -1
  239. package/include/SABER/SrcSnkDDA.h +8 -1
  240. package/include/SABER/SrcSnkSolver.h +1 -1
  241. package/include/WPA/Andersen.h +5 -0
  242. package/include/WPA/TypeAnalysis.h +1 -1
  243. package/include/WPA/VersionedFlowSensitive.h +4 -0
  244. package/lib/DDA/ContextDDA.cpp +22 -0
  245. package/lib/DDA/DDAClient.cpp +22 -0
  246. package/lib/DDA/DDAPass.cpp +23 -0
  247. package/lib/DDA/DDAStat.cpp +22 -0
  248. package/lib/DDA/FlowDDA.cpp +22 -0
  249. package/lib/MTA/FSMPTA.cpp +22 -0
  250. package/lib/MTA/LockAnalysis.cpp +22 -0
  251. package/lib/MTA/MHP.cpp +23 -1
  252. package/lib/MTA/MTA.cpp +23 -0
  253. package/lib/MTA/MTAStat.cpp +22 -0
  254. package/lib/MTA/PCG.cpp +22 -0
  255. package/lib/MTA/TCT.cpp +23 -0
  256. package/lib/MemoryModel/LocationSet.cpp +1 -1
  257. package/lib/MemoryModel/PAGBuilderFromFile.cpp +1 -1
  258. package/lib/MemoryModel/PointerAnalysis.cpp +1 -1
  259. package/lib/MemoryModel/PointerAnalysisImpl.cpp +23 -0
  260. package/lib/SABER/DoubleFreeChecker.cpp +1 -1
  261. package/lib/SABER/FileChecker.cpp +1 -1
  262. package/lib/SABER/LeakChecker.cpp +1 -1
  263. package/lib/SABER/ProgSlice.cpp +1 -1
  264. package/lib/SABER/SaberAnnotator.cpp +1 -1
  265. package/lib/SABER/SaberCheckerAPI.cpp +1 -1
  266. package/lib/SABER/SaberCondAllocator.cpp +1 -1
  267. package/lib/SABER/SaberSVFGBuilder.cpp +1 -1
  268. package/lib/SABER/SrcSnkDDA.cpp +1 -1
  269. package/lib/WPA/Steensgaard.cpp +22 -0
  270. package/lib/WPA/TypeAnalysis.cpp +1 -1
  271. package/lib/WPA/WPAPass.cpp +1 -1
  272. package/package.json +1 -1
package/SVF-doxygen/html/html/classSVF_1_1DDAClient.html CHANGED
@@ -153,7 +153,7 @@ Private Attributes</h2></td></tr>
153
153
  <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
154
154
  <div class="textblock"><p>General <a class="el" href="classSVF_1_1DDAClient.html">DDAClient</a> which queries all top level pointers by default. </p>
155
155
 
156
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00025">25</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
156
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00048">48</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
157
157
  </div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
158
158
  <a id="a1070c1a68fa7da7bdb23240957048ee9"></a>
159
159
  <h2 class="memtitle"><span class="permalink"><a href="#a1070c1a68fa7da7bdb23240957048ee9">&#9670;&nbsp;</a></span>DDAClient()</h2>
@@ -179,11 +179,11 @@ Private Attributes</h2></td></tr>
179
179
  </table>
180
180
  </div><div class="memdoc">
181
181
 
182
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00028">28</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
183
- <div class="fragment"><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160;: <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">module</a>(mod), <a class="code" href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">curPtr</a>(0), <a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a>(<span class="keyword">true</span>) {}</div><div class="ttc" id="classSVF_1_1DDAClient_html_a4ac68012099540beb87ee4700e824d64"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">SVF::DDAClient::module</a></div><div class="ttdeci">SVFModule * module</div><div class="ttdoc">LLVM module. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00089">DDAClient.h:89</a></div></div>
184
- <div class="ttc" id="classSVF_1_1DDAClient_html_a6a133cf24ef65eaf58c82ec213f3f6cb"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">SVF::DDAClient::curPtr</a></div><div class="ttdeci">NodeID curPtr</div><div class="ttdoc">current pointer being queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00090">DDAClient.h:90</a></div></div>
185
- <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00095">DDAClient.h:95</a></div></div>
186
- <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00088">DDAClient.h:88</a></div></div>
182
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00051">51</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
183
+ <div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;: <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">module</a>(mod), <a class="code" href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">curPtr</a>(0), <a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a>(<span class="keyword">true</span>) {}</div><div class="ttc" id="classSVF_1_1DDAClient_html_a4ac68012099540beb87ee4700e824d64"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">SVF::DDAClient::module</a></div><div class="ttdeci">SVFModule * module</div><div class="ttdoc">LLVM module. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00112">DDAClient.h:112</a></div></div>
184
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a6a133cf24ef65eaf58c82ec213f3f6cb"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">SVF::DDAClient::curPtr</a></div><div class="ttdeci">NodeID curPtr</div><div class="ttdoc">current pointer being queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00113">DDAClient.h:113</a></div></div>
185
+ <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00118">DDAClient.h:118</a></div></div>
186
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00111">DDAClient.h:111</a></div></div>
187
187
  </div><!-- fragment -->
188
188
  </div>
189
189
  </div>
@@ -210,8 +210,8 @@ Private Attributes</h2></td></tr>
210
210
  </table>
211
211
  </div><div class="memdoc">
212
212
 
213
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00030">30</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
214
- <div class="fragment"><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160;{}</div></div><!-- fragment -->
213
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00053">53</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
214
+ <div class="fragment"><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160;{}</div></div><!-- fragment -->
215
215
  </div>
216
216
  </div>
217
217
  <h2 class="groupheader">Member Function Documentation</h2>
@@ -239,10 +239,10 @@ Private Attributes</h2></td></tr>
239
239
  </table>
240
240
  </div><div class="memdoc">
241
241
 
242
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00082">82</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
243
- <div class="fragment"><div class="line"><a name="l00083"></a><span class="lineno"> 83</span>&#160; {</div><div class="line"><a name="l00084"></a><span class="lineno"> 84</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(<a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>)))</div><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.insert(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00091">DDAClient.h:91</a></div></div>
242
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00105">105</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
243
+ <div class="fragment"><div class="line"><a name="l00106"></a><span class="lineno"> 106</span>&#160; {</div><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(<a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(<span class="keywordtype">id</span>)))</div><div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.insert(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00114">DDAClient.h:114</a></div></div>
244
244
  <div class="ttc" id="classSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00705">SVFIR.cpp:705</a></div></div>
245
- <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00088">DDAClient.h:88</a></div></div>
245
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00111">DDAClient.h:111</a></div></div>
246
246
  <div class="ttc" id="classSVF_1_1GenericGraph_html_a43c9c773bfa17abf481c33073e30d01b"><div class="ttname"><a href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">SVF::GenericGraph::getGNode</a></div><div class="ttdeci">NodeType * getGNode(NodeID id) const</div><div class="ttdoc">Get a node. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00391">GenericGraph.h:391</a></div></div>
247
247
  </div><!-- fragment -->
248
248
  </div>
@@ -271,20 +271,20 @@ Private Attributes</h2></td></tr>
271
271
  </table>
272
272
  </div><div class="memdoc">
273
273
 
274
- <p class="definition">Definition at line <a class="el" href="DDAClient_8cpp_source.html#l00025">25</a> of file <a class="el" href="DDAClient_8cpp_source.html">DDAClient.cpp</a>.</p>
275
- <div class="fragment"><div class="line"><a name="l00026"></a><span class="lineno"> 26</span>&#160;{</div><div class="line"><a name="l00027"></a><span class="lineno"> 27</span>&#160;</div><div class="line"><a name="l00028"></a><span class="lineno"> 28</span>&#160; <a class="code" href="classSVF_1_1DDAStat.html">DDAStat</a>* stat = <span class="keyword">static_cast&lt;</span><a class="code" href="classSVF_1_1DDAStat.html">DDAStat</a>*<span class="keyword">&gt;</span>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad">getStat</a>());</div><div class="line"><a name="l00029"></a><span class="lineno"> 29</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss = 0;</div><div class="line"><a name="l00030"></a><span class="lineno"> 30</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize = 0;</div><div class="line"><a name="l00031"></a><span class="lineno"> 31</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize);</div><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160; stat-&gt;<a class="code" href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">setMemUsageBefore</a>(vmrss, vmsize);</div><div class="line"><a name="l00033"></a><span class="lineno"> 33</span>&#160;</div><div class="line"><a name="l00034"></a><span class="lineno"> 34</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#ab3fdab96c5bf55feb82b688c92510c36">collectCandidateQueries</a>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>());</div><div class="line"><a name="l00035"></a><span class="lineno"> 35</span>&#160;</div><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a> = 0;</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <span class="keywordflow">for</span> (OrderedNodeSet::iterator nIter = <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.begin();</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; nIter != <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.end(); ++nIter,++<a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a>)</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; {</div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(*nIter);</div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; <span class="keywordflow">if</span>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(node))</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; {</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n@@Computing PointsTo for :&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt;</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; <span class="stringliteral">&quot; [&quot;</span> &lt;&lt; count + 1&lt;&lt; <span class="stringliteral">&quot;/&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.size() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> &lt;&lt; <span class="stringliteral">&quot; \n&quot;</span>);</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a40845b3027a1237076aa8297ca39e730">DDDA</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n@@Computing PointsTo for :&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt;</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; <span class="stringliteral">&quot; [&quot;</span> &lt;&lt; count + 1&lt;&lt; <span class="stringliteral">&quot;/&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.size() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> &lt;&lt; <span class="stringliteral">&quot; \n&quot;</span>);</div><div class="line"><a name="l00047"></a><span class="lineno"> 47</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f">setCurrentQueryPtr</a>(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160; pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">computeDDAPts</a>(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; }</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; }</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160;</div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; vmrss = vmsize = 0;</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize);</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; stat-&gt;<a class="code" href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">setMemUsageAfter</a>(vmrss, vmsize);</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;}</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00091">DDAClient.h:91</a></div></div>
276
- <div class="ttc" id="classSVF_1_1DDAStat_html_a9353910ceb01b53da6e880ebeb157433"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">SVF::DDAStat::setMemUsageAfter</a></div><div class="ttdeci">void setMemUsageAfter(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00062">DDAStat.h:62</a></div></div>
274
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8cpp_source.html#l00047">47</a> of file <a class="el" href="DDAClient_8cpp_source.html">DDAClient.cpp</a>.</p>
275
+ <div class="fragment"><div class="line"><a name="l00048"></a><span class="lineno"> 48</span>&#160;{</div><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160;</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <a class="code" href="classSVF_1_1DDAStat.html">DDAStat</a>* stat = <span class="keyword">static_cast&lt;</span><a class="code" href="classSVF_1_1DDAStat.html">DDAStat</a>*<span class="keyword">&gt;</span>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad">getStat</a>());</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmrss = 0;</div><div class="line"><a name="l00052"></a><span class="lineno"> 52</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> vmsize = 0;</div><div class="line"><a name="l00053"></a><span class="lineno"> 53</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize);</div><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160; stat-&gt;<a class="code" href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">setMemUsageBefore</a>(vmrss, vmsize);</div><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;</div><div class="line"><a name="l00056"></a><span class="lineno"> 56</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#ab3fdab96c5bf55feb82b688c92510c36">collectCandidateQueries</a>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>());</div><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160;</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a> = 0;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; <span class="keywordflow">for</span> (OrderedNodeSet::iterator nIter = <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.begin();</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; nIter != <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.end(); ++nIter,++<a class="code" href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a>)</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; {</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1SVFVar.html">PAGNode</a>* node = pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1GenericGraph.html#a43c9c773bfa17abf481c33073e30d01b">getGNode</a>(*nIter);</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordflow">if</span>(pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">getPAG</a>()-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">isValidTopLevelPtr</a>(node))</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n@@Computing PointsTo for :&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt;</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <span class="stringliteral">&quot; [&quot;</span> &lt;&lt; count + 1&lt;&lt; <span class="stringliteral">&quot;/&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.size() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> &lt;&lt; <span class="stringliteral">&quot; \n&quot;</span>);</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; <a class="code" href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a>(<a class="code" href="SVFBasicTypes_8h.html#a40845b3027a1237076aa8297ca39e730">DDDA</a>,<a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">outs</a>() &lt;&lt; <span class="stringliteral">&quot;\n@@Computing PointsTo for :&quot;</span> &lt;&lt; node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>() &lt;&lt;</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="stringliteral">&quot; [&quot;</span> &lt;&lt; count + 1&lt;&lt; <span class="stringliteral">&quot;/&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>.size() &lt;&lt; <span class="stringliteral">&quot;]&quot;</span> &lt;&lt; <span class="stringliteral">&quot; \n&quot;</span>);</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f">setCurrentQueryPtr</a>(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; pta-&gt;<a class="code" href="classSVF_1_1PointerAnalysis.html#a0bb90b398ef85504bcd816ae57bee01d">computeDDAPts</a>(node-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00071"></a><span class="lineno"> 71</span>&#160; }</div><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; }</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; vmrss = vmsize = 0;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; <a class="code" href="namespaceSVF_1_1SVFUtil.html#a630ff9c47f58f9b8df7c8a2b3711477c">SVFUtil::getMemoryUsageKB</a>(&amp;vmrss, &amp;vmsize);</div><div class="line"><a name="l00076"></a><span class="lineno"> 76</span>&#160; stat-&gt;<a class="code" href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">setMemUsageAfter</a>(vmrss, vmsize);</div><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;}</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00114">DDAClient.h:114</a></div></div>
276
+ <div class="ttc" id="classSVF_1_1DDAStat_html_a9353910ceb01b53da6e880ebeb157433"><div class="ttname"><a href="classSVF_1_1DDAStat.html#a9353910ceb01b53da6e880ebeb157433">SVF::DDAStat::setMemUsageAfter</a></div><div class="ttdeci">void setMemUsageAfter(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00084">DDAStat.h:84</a></div></div>
277
277
  <div class="ttc" id="classSVF_1_1SVFVar_html"><div class="ttname"><a href="classSVF_1_1SVFVar.html">SVF::SVFVar</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFVariables_8h_source.html#l00045">SVFVariables.h:45</a></div></div>
278
278
  <div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
279
- <div class="ttc" id="classSVF_1_1DDAClient_html_a3fbe4ffde0a14b2db40189883d49237f"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f">SVF::DDAClient::setCurrentQueryPtr</a></div><div class="ttdeci">void setCurrentQueryPtr(NodeID ptr)</div><div class="ttdoc">Set the pointer being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00061">DDAClient.h:61</a></div></div>
279
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a3fbe4ffde0a14b2db40189883d49237f"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a3fbe4ffde0a14b2db40189883d49237f">SVF::DDAClient::setCurrentQueryPtr</a></div><div class="ttdeci">void setCurrentQueryPtr(NodeID ptr)</div><div class="ttdoc">Set the pointer being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00084">DDAClient.h:84</a></div></div>
280
280
  <div class="ttc" id="SVFBasicTypes_8h_html_a40845b3027a1237076aa8297ca39e730"><div class="ttname"><a href="SVFBasicTypes_8h.html#a40845b3027a1237076aa8297ca39e730">DDDA</a></div><div class="ttdeci">#define DDDA</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00166">SVFBasicTypes.h:166</a></div></div>
281
- <div class="ttc" id="classSVF_1_1DDAClient_html_ab3fdab96c5bf55feb82b688c92510c36"><div class="ttname"><a href="classSVF_1_1DDAClient.html#ab3fdab96c5bf55feb82b688c92510c36">SVF::DDAClient::collectCandidateQueries</a></div><div class="ttdeci">virtual OrderedNodeSet &amp; collectCandidateQueries(SVFIR *p)</div><div class="ttdoc">Collect candidate pointers for query. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00035">DDAClient.h:35</a></div></div>
281
+ <div class="ttc" id="classSVF_1_1DDAClient_html_ab3fdab96c5bf55feb82b688c92510c36"><div class="ttname"><a href="classSVF_1_1DDAClient.html#ab3fdab96c5bf55feb82b688c92510c36">SVF::DDAClient::collectCandidateQueries</a></div><div class="ttdeci">virtual OrderedNodeSet &amp; collectCandidateQueries(SVFIR *p)</div><div class="ttdoc">Collect candidate pointers for query. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00058">DDAClient.h:58</a></div></div>
282
282
  <div class="ttc" id="classSVF_1_1SVFIR_html_a5c3b194ebada47baaccf0e9f3ab1a139"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c3b194ebada47baaccf0e9f3ab1a139">SVF::SVFIR::isValidTopLevelPtr</a></div><div class="ttdeci">bool isValidTopLevelPtr(const SVFVar *node)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00705">SVFIR.cpp:705</a></div></div>
283
- <div class="ttc" id="classSVF_1_1DDAStat_html_accadfa44f7cf9f107e4c8d100ce8db0d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">SVF::DDAStat::setMemUsageBefore</a></div><div class="ttdeci">void setMemUsageBefore(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00056">DDAStat.h:56</a></div></div>
283
+ <div class="ttc" id="classSVF_1_1DDAStat_html_accadfa44f7cf9f107e4c8d100ce8db0d"><div class="ttname"><a href="classSVF_1_1DDAStat.html#accadfa44f7cf9f107e4c8d100ce8db0d">SVF::DDAStat::setMemUsageBefore</a></div><div class="ttdeci">void setMemUsageBefore(u32_t vmrss, u32_t vmsize)</div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00078">DDAStat.h:78</a></div></div>
284
284
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a240219c2dc4f5cc5f85445e18c79b83b"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a240219c2dc4f5cc5f85445e18c79b83b">SVF::PointerAnalysis::getPAG</a></div><div class="ttdeci">SVFIR * getPAG() const</div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00201">PointerAnalysis.h:201</a></div></div>
285
285
  <div class="ttc" id="classSVF_1_1PointerAnalysis_html_a0ebf1138011aa526d92470c1931313ad"><div class="ttname"><a href="classSVF_1_1PointerAnalysis.html#a0ebf1138011aa526d92470c1931313ad">SVF::PointerAnalysis::getStat</a></div><div class="ttdeci">PTAStat * getStat() const</div><div class="ttdoc">Get PTA stat. </div><div class="ttdef"><b>Definition:</b> <a href="PointerAnalysis_8h_source.html#l00208">PointerAnalysis.h:208</a></div></div>
286
286
  <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
287
- <div class="ttc" id="classSVF_1_1DDAStat_html"><div class="ttname"><a href="classSVF_1_1DDAStat.html">SVF::DDAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00025">DDAStat.h:25</a></div></div>
287
+ <div class="ttc" id="classSVF_1_1DDAStat_html"><div class="ttname"><a href="classSVF_1_1DDAStat.html">SVF::DDAStat</a></div><div class="ttdef"><b>Definition:</b> <a href="DDAStat_8h_source.html#l00047">DDAStat.h:47</a></div></div>
288
288
  <div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00160">SVFBasicTypes.h:160</a></div></div>
289
289
  <div class="ttc" id="cJSON_8h_html_ad43c3812e6d13e0518d9f8b8f463ffcf"><div class="ttname"><a href="cJSON_8h.html#ad43c3812e6d13e0518d9f8b8f463ffcf">count</a></div><div class="ttdeci">int count</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00216">cJSON.h:216</a></div></div>
290
290
  <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
@@ -323,15 +323,15 @@ Private Attributes</h2></td></tr>
323
323
 
324
324
  <p>Reimplemented in <a class="el" href="classSVF_1_1AliasDDAClient.html#a21ca982b21346c7fef54978de2169360">SVF::AliasDDAClient</a>, and <a class="el" href="classSVF_1_1FunptrDDAClient.html#ac158889bf01d3fcb4f58c44577e398ab">SVF::FunptrDDAClient</a>.</p>
325
325
 
326
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00035">35</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
327
- <div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160; {</div><div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">setPAG</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>);</div><div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a>)</div><div class="line"><a name="l00039"></a><span class="lineno"> 39</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a> = <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>();</div><div class="line"><a name="l00040"></a><span class="lineno"> 40</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00041"></a><span class="lineno"> 41</span>&#160; {</div><div class="line"><a name="l00042"></a><span class="lineno"> 42</span>&#160; <span class="keywordflow">for</span> (OrderedNodeSet::iterator it = <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.begin(), eit = <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00043"></a><span class="lineno"> 43</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">addCandidate</a>(*it);</div><div class="line"><a name="l00044"></a><span class="lineno"> 44</span>&#160; }</div><div class="line"><a name="l00045"></a><span class="lineno"> 45</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>;</div><div class="line"><a name="l00046"></a><span class="lineno"> 46</span>&#160; }</div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
328
- <div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00091">DDAClient.h:91</a></div></div>
329
- <div class="ttc" id="classSVF_1_1DDAClient_html_a21badb317a249bbb506615182671b32c"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">SVF::DDAClient::setPAG</a></div><div class="ttdeci">void setPAG(SVFIR *g)</div><div class="ttdoc">Set SVFIR graph. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00056">DDAClient.h:56</a></div></div>
326
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00058">58</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
327
+ <div class="fragment"><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; {</div><div class="line"><a name="l00060"></a><span class="lineno"> 60</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">setPAG</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>);</div><div class="line"><a name="l00061"></a><span class="lineno"> 61</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a>)</div><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a> = <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a>-&gt;<a class="code" href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">getAllValidPtrs</a>();</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <span class="keywordflow">else</span></div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; {</div><div class="line"><a name="l00065"></a><span class="lineno"> 65</span>&#160; <span class="keywordflow">for</span> (OrderedNodeSet::iterator it = <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.begin(), eit = <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.end(); it != eit; ++it)</div><div class="line"><a name="l00066"></a><span class="lineno"> 66</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">addCandidate</a>(*it);</div><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; }</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>;</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; }</div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
328
+ <div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00114">DDAClient.h:114</a></div></div>
329
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a21badb317a249bbb506615182671b32c"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a21badb317a249bbb506615182671b32c">SVF::DDAClient::setPAG</a></div><div class="ttdeci">void setPAG(SVFIR *g)</div><div class="ttdoc">Set SVFIR graph. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00079">DDAClient.h:79</a></div></div>
330
330
  <div class="ttc" id="classSVF_1_1SVFIR_html_a7990c72dd6d645d713f19ed973841484"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a7990c72dd6d645d713f19ed973841484">SVF::SVFIR::getAllValidPtrs</a></div><div class="ttdeci">OrderedNodeSet &amp; getAllValidPtrs()</div><div class="ttdoc">Return valid pointers. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00137">SVFIR.h:137</a></div></div>
331
- <div class="ttc" id="classSVF_1_1DDAClient_html_a7c07d9527011ea0165038e3a112a85d8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">SVF::DDAClient::addCandidate</a></div><div class="ttdeci">void addCandidate(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00082">DDAClient.h:82</a></div></div>
332
- <div class="ttc" id="classSVF_1_1DDAClient_html_a25f8abbcaca653d0883d542bfbe729a3"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient::userInput</a></div><div class="ttdeci">OrderedNodeSet userInput</div><div class="ttdoc">User input queries. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00094">DDAClient.h:94</a></div></div>
333
- <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00095">DDAClient.h:95</a></div></div>
334
- <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00088">DDAClient.h:88</a></div></div>
331
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a7c07d9527011ea0165038e3a112a85d8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a7c07d9527011ea0165038e3a112a85d8">SVF::DDAClient::addCandidate</a></div><div class="ttdeci">void addCandidate(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00105">DDAClient.h:105</a></div></div>
332
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a25f8abbcaca653d0883d542bfbe729a3"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient::userInput</a></div><div class="ttdeci">OrderedNodeSet userInput</div><div class="ttdoc">User input queries. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00117">DDAClient.h:117</a></div></div>
333
+ <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00118">DDAClient.h:118</a></div></div>
334
+ <div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00111">DDAClient.h:111</a></div></div>
335
335
  </div><!-- fragment -->
336
336
  </div>
337
337
  </div>
@@ -359,8 +359,8 @@ Private Attributes</h2></td></tr>
359
359
  </table>
360
360
  </div><div class="memdoc">
361
361
 
362
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00080">80</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
363
- <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160;{}</div></div><!-- fragment -->
362
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00103">103</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
363
+ <div class="fragment"><div class="line"><a name="l00103"></a><span class="lineno"> 103</span>&#160;{}</div></div><!-- fragment -->
364
364
  </div>
365
365
  </div>
366
366
  <a id="a6f50b9a26f66e716acf163cc77030e5f"></a>
@@ -388,8 +388,8 @@ Private Attributes</h2></td></tr>
388
388
 
389
389
  <p>Get candidate queries. </p>
390
390
 
391
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00048">48</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
392
- <div class="fragment"><div class="line"><a name="l00049"></a><span class="lineno"> 49</span>&#160; {</div><div class="line"><a name="l00050"></a><span class="lineno"> 50</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>;</div><div class="line"><a name="l00051"></a><span class="lineno"> 51</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00091">DDAClient.h:91</a></div></div>
391
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00071">71</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
392
+ <div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno"> 72</span>&#160; {</div><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">candidateQueries</a>;</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_aa6fdff97be2e1a886237b515406d2e61"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa6fdff97be2e1a886237b515406d2e61">SVF::DDAClient::candidateQueries</a></div><div class="ttdeci">OrderedNodeSet candidateQueries</div><div class="ttdoc">store all candidate pointers to be queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00114">DDAClient.h:114</a></div></div>
393
393
  </div><!-- fragment -->
394
394
  </div>
395
395
  </div>
@@ -418,8 +418,8 @@ Private Attributes</h2></td></tr>
418
418
 
419
419
  <p>Get LLVM module. </p>
420
420
 
421
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00072">72</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
422
- <div class="fragment"><div class="line"><a name="l00073"></a><span class="lineno"> 73</span>&#160; {</div><div class="line"><a name="l00074"></a><span class="lineno"> 74</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">module</a>;</div><div class="line"><a name="l00075"></a><span class="lineno"> 75</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a4ac68012099540beb87ee4700e824d64"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">SVF::DDAClient::module</a></div><div class="ttdeci">SVFModule * module</div><div class="ttdoc">LLVM module. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00089">DDAClient.h:89</a></div></div>
421
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00095">95</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
422
+ <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div><div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">module</a>;</div><div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a4ac68012099540beb87ee4700e824d64"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a4ac68012099540beb87ee4700e824d64">SVF::DDAClient::module</a></div><div class="ttdeci">SVFModule * module</div><div class="ttdoc">LLVM module. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00112">DDAClient.h:112</a></div></div>
423
423
  </div><!-- fragment -->
424
424
  </div>
425
425
  </div>
@@ -459,8 +459,8 @@ Private Attributes</h2></td></tr>
459
459
 
460
460
  <p>Call back used by <a class="el" href="classSVF_1_1DDAVFSolver.html">DDAVFSolver</a>. </p>
461
461
 
462
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00054">54</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
463
- <div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno"> 54</span>&#160;{}</div></div><!-- fragment -->
462
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00077">77</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
463
+ <div class="fragment"><div class="line"><a name="l00077"></a><span class="lineno"> 77</span>&#160;{}</div></div><!-- fragment -->
464
464
  </div>
465
465
  </div>
466
466
  <a id="a40f6d8769db41f4c907fe5b615e5df83"></a>
@@ -487,8 +487,8 @@ Private Attributes</h2></td></tr>
487
487
  </table>
488
488
  </div><div class="memdoc">
489
489
 
490
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00032">32</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
491
- <div class="fragment"><div class="line"><a name="l00032"></a><span class="lineno"> 32</span>&#160;{}</div></div><!-- fragment -->
490
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00055">55</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
491
+ <div class="fragment"><div class="line"><a name="l00055"></a><span class="lineno"> 55</span>&#160;{}</div></div><!-- fragment -->
492
492
  </div>
493
493
  </div>
494
494
  <a id="aedd25e487775d37d4f6dcc8a5565c2a3"></a>
@@ -517,8 +517,8 @@ Private Attributes</h2></td></tr>
517
517
 
518
518
  <p>Reimplemented in <a class="el" href="classSVF_1_1AliasDDAClient.html#a66e5ae6a814c752615b63c6496b9e916">SVF::AliasDDAClient</a>, and <a class="el" href="classSVF_1_1FunptrDDAClient.html#acb63480cc42ceec325d3380aa617670d">SVF::FunptrDDAClient</a>.</p>
519
519
 
520
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00078">78</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
521
- <div class="fragment"><div class="line"><a name="l00078"></a><span class="lineno"> 78</span>&#160;{}</div></div><!-- fragment -->
520
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00101">101</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
521
+ <div class="fragment"><div class="line"><a name="l00101"></a><span class="lineno"> 101</span>&#160;{}</div></div><!-- fragment -->
522
522
  </div>
523
523
  </div>
524
524
  <a id="a3fbe4ffde0a14b2db40189883d49237f"></a>
@@ -547,8 +547,8 @@ Private Attributes</h2></td></tr>
547
547
 
548
548
  <p>Set the pointer being queried. </p>
549
549
 
550
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00061">61</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
551
- <div class="fragment"><div class="line"><a name="l00062"></a><span class="lineno"> 62</span>&#160; {</div><div class="line"><a name="l00063"></a><span class="lineno"> 63</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">curPtr</a> = ptr;</div><div class="line"><a name="l00064"></a><span class="lineno"> 64</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a6a133cf24ef65eaf58c82ec213f3f6cb"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">SVF::DDAClient::curPtr</a></div><div class="ttdeci">NodeID curPtr</div><div class="ttdoc">current pointer being queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00090">DDAClient.h:90</a></div></div>
550
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00084">84</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
551
+ <div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno"> 85</span>&#160; {</div><div class="line"><a name="l00086"></a><span class="lineno"> 86</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">curPtr</a> = ptr;</div><div class="line"><a name="l00087"></a><span class="lineno"> 87</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a6a133cf24ef65eaf58c82ec213f3f6cb"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a6a133cf24ef65eaf58c82ec213f3f6cb">SVF::DDAClient::curPtr</a></div><div class="ttdeci">NodeID curPtr</div><div class="ttdoc">current pointer being queried </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00113">DDAClient.h:113</a></div></div>
552
552
  </div><!-- fragment -->
553
553
  </div>
554
554
  </div>
@@ -578,8 +578,8 @@ Private Attributes</h2></td></tr>
578
578
 
579
579
  <p>Set <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph. </p>
580
580
 
581
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00056">56</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
582
- <div class="fragment"><div class="line"><a name="l00057"></a><span class="lineno"> 57</span>&#160; {</div><div class="line"><a name="l00058"></a><span class="lineno"> 58</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a> = g;</div><div class="line"><a name="l00059"></a><span class="lineno"> 59</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00088">DDAClient.h:88</a></div></div>
581
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00079">79</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
582
+ <div class="fragment"><div class="line"><a name="l00080"></a><span class="lineno"> 80</span>&#160; {</div><div class="line"><a name="l00081"></a><span class="lineno"> 81</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">pag</a> = g;</div><div class="line"><a name="l00082"></a><span class="lineno"> 82</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a5e02fa3c1e6fbd5ed54038b1eaeeaaff"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a5e02fa3c1e6fbd5ed54038b1eaeeaaff">SVF::DDAClient::pag</a></div><div class="ttdeci">SVFIR * pag</div><div class="ttdoc">SVFIR graph used by current DDA analysis. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00111">DDAClient.h:111</a></div></div>
583
583
  </div><!-- fragment -->
584
584
  </div>
585
585
  </div>
@@ -609,9 +609,9 @@ Private Attributes</h2></td></tr>
609
609
 
610
610
  <p>Set pointer to be queried by DDA analysis. </p>
611
611
 
612
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00066">66</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
613
- <div class="fragment"><div class="line"><a name="l00067"></a><span class="lineno"> 67</span>&#160; {</div><div class="line"><a name="l00068"></a><span class="lineno"> 68</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.insert(ptr);</div><div class="line"><a name="l00069"></a><span class="lineno"> 69</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00070"></a><span class="lineno"> 70</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a25f8abbcaca653d0883d542bfbe729a3"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient::userInput</a></div><div class="ttdeci">OrderedNodeSet userInput</div><div class="ttdoc">User input queries. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00094">DDAClient.h:94</a></div></div>
614
- <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00095">DDAClient.h:95</a></div></div>
612
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00089">89</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
613
+ <div class="fragment"><div class="line"><a name="l00090"></a><span class="lineno"> 90</span>&#160; {</div><div class="line"><a name="l00091"></a><span class="lineno"> 91</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">userInput</a>.insert(ptr);</div><div class="line"><a name="l00092"></a><span class="lineno"> 92</span>&#160; <a class="code" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">solveAll</a> = <span class="keyword">false</span>;</div><div class="line"><a name="l00093"></a><span class="lineno"> 93</span>&#160; }</div><div class="ttc" id="classSVF_1_1DDAClient_html_a25f8abbcaca653d0883d542bfbe729a3"><div class="ttname"><a href="classSVF_1_1DDAClient.html#a25f8abbcaca653d0883d542bfbe729a3">SVF::DDAClient::userInput</a></div><div class="ttdeci">OrderedNodeSet userInput</div><div class="ttdoc">User input queries. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00117">DDAClient.h:117</a></div></div>
614
+ <div class="ttc" id="classSVF_1_1DDAClient_html_aa8a67c60ec0395c9cfae178dcff638a8"><div class="ttname"><a href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient::solveAll</a></div><div class="ttdeci">bool solveAll</div><div class="ttdoc">TRUE if all top level pointers are being queried. </div><div class="ttdef"><b>Definition:</b> <a href="DDAClient_8h_source.html#l00118">DDAClient.h:118</a></div></div>
615
615
  </div><!-- fragment -->
616
616
  </div>
617
617
  </div>
@@ -638,7 +638,7 @@ Private Attributes</h2></td></tr>
638
638
 
639
639
  <p>store all candidate pointers to be queried </p>
640
640
 
641
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00091">91</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
641
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00114">114</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
642
642
 
643
643
  </div>
644
644
  </div>
@@ -664,7 +664,7 @@ Private Attributes</h2></td></tr>
664
664
 
665
665
  <p>current pointer being queried </p>
666
666
 
667
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00090">90</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
667
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00113">113</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
668
668
 
669
669
  </div>
670
670
  </div>
@@ -690,7 +690,7 @@ Private Attributes</h2></td></tr>
690
690
 
691
691
  <p>LLVM module. </p>
692
692
 
693
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00089">89</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
693
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00112">112</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
694
694
 
695
695
  </div>
696
696
  </div>
@@ -716,7 +716,7 @@ Private Attributes</h2></td></tr>
716
716
 
717
717
  <p><a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> graph used by current DDA analysis. </p>
718
718
 
719
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00088">88</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
719
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00111">111</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
720
720
 
721
721
  </div>
722
722
  </div>
@@ -742,7 +742,7 @@ Private Attributes</h2></td></tr>
742
742
 
743
743
  <p>TRUE if all top level pointers are being queried. </p>
744
744
 
745
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00095">95</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
745
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00118">118</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
746
746
 
747
747
  </div>
748
748
  </div>
@@ -768,7 +768,7 @@ Private Attributes</h2></td></tr>
768
768
 
769
769
  <p>User input queries. </p>
770
770
 
771
- <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00094">94</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
771
+ <p class="definition">Definition at line <a class="el" href="DDAClient_8h_source.html#l00117">117</a> of file <a class="el" href="DDAClient_8h_source.html">DDAClient.h</a>.</p>
772
772
 
773
773
  </div>
774
774
  </div>