svf-tools 1.0.776 → 1.0.778

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 (626) hide show
  1. package/SVF-doxygen/html/html/AccessPath_8cpp_source.html +3 -3
  2. package/SVF-doxygen/html/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/html/AndersenStat_8cpp_source.html +2 -2
  4. package/SVF-doxygen/html/html/Andersen_8cpp_source.html +5 -5
  5. package/SVF-doxygen/html/html/Andersen_8h_source.html +2 -2
  6. package/SVF-doxygen/html/html/CDGBuilder_8cpp.html +83 -0
  7. package/SVF-doxygen/html/html/CDGBuilder_8cpp_source.html +289 -0
  8. package/SVF-doxygen/html/html/CDGBuilder_8h.html +99 -0
  9. package/SVF-doxygen/html/html/CDGBuilder_8h_source.html +206 -0
  10. package/SVF-doxygen/html/html/CDG_8cpp.html +83 -0
  11. package/SVF-doxygen/html/html/CDG_8cpp_source.html +158 -0
  12. package/SVF-doxygen/html/html/CDG_8h.html +123 -0
  13. package/SVF-doxygen/html/html/CDG_8h_source.html +626 -0
  14. package/SVF-doxygen/html/html/CFBasicBlockG_8cpp_source.html +5 -5
  15. package/SVF-doxygen/html/html/CFBasicBlockG_8h_source.html +4 -4
  16. package/SVF-doxygen/html/html/CFLAlias_8cpp_source.html +8 -8
  17. package/SVF-doxygen/html/html/CFLAlias_8h_source.html +3 -3
  18. package/SVF-doxygen/html/html/CHGBuilder_8cpp_source.html +5 -5
  19. package/SVF-doxygen/html/html/CHG_8cpp.html +4 -4
  20. package/SVF-doxygen/html/html/CHG_8cpp_source.html +12 -12
  21. package/SVF-doxygen/html/html/CHG_8h_source.html +3 -3
  22. package/SVF-doxygen/html/html/CallGraphBuilder_8cpp_source.html +3 -3
  23. package/SVF-doxygen/html/html/ConsExeState_8cpp_source.html +3 -3
  24. package/SVF-doxygen/html/html/ConsExeState_8h_source.html +343 -341
  25. package/SVF-doxygen/html/html/ConsGNode_8h_source.html +4 -4
  26. package/SVF-doxygen/html/html/ConsG_8h_source.html +2 -2
  27. package/SVF-doxygen/html/html/ContextDDA_8cpp_source.html +2 -2
  28. package/SVF-doxygen/html/html/ContextDDA_8h_source.html +1 -1
  29. package/SVF-doxygen/html/html/CxtStmt_8h_source.html +4 -4
  30. package/SVF-doxygen/html/html/DCHG_8cpp_source.html +6 -6
  31. package/SVF-doxygen/html/html/DCHG_8h_source.html +2 -2
  32. package/SVF-doxygen/html/html/DDAClient_8cpp_source.html +3 -3
  33. package/SVF-doxygen/html/html/DDAPass_8cpp_source.html +2 -2
  34. package/SVF-doxygen/html/html/DDAPass_8h_source.html +1 -1
  35. package/SVF-doxygen/html/html/DDAVFSolver_8h_source.html +1 -1
  36. package/SVF-doxygen/html/html/DoubleFreeChecker_8cpp_source.html +3 -3
  37. package/SVF-doxygen/html/html/DoubleFreeChecker_8h_source.html +1 -1
  38. package/SVF-doxygen/html/html/ExtAPI_8cpp_source.html +2 -2
  39. package/SVF-doxygen/html/html/ExtAPI_8h_source.html +1 -1
  40. package/SVF-doxygen/html/html/FSMPTA_8cpp_source.html +1 -1
  41. package/SVF-doxygen/html/html/FileChecker_8h_source.html +1 -1
  42. package/SVF-doxygen/html/html/FlowDDA_8cpp_source.html +1 -1
  43. package/SVF-doxygen/html/html/FlowDDA_8h_source.html +1 -1
  44. package/SVF-doxygen/html/html/FlowSensitiveStat_8cpp_source.html +2 -2
  45. package/SVF-doxygen/html/html/FlowSensitive_8cpp_source.html +1 -1
  46. package/SVF-doxygen/html/html/ICFGBuilder_8cpp_source.html +7 -7
  47. package/SVF-doxygen/html/html/ICFGBuilder_8h_source.html +2 -2
  48. package/SVF-doxygen/html/html/ICFGEdge_8h_source.html +2 -2
  49. package/SVF-doxygen/html/html/ICFGNode_8h_source.html +5 -5
  50. package/SVF-doxygen/html/html/ICFGWrapper_8cpp.html +83 -0
  51. package/SVF-doxygen/html/html/ICFGWrapper_8cpp_source.html +203 -0
  52. package/SVF-doxygen/html/html/ICFGWrapper_8h.html +126 -0
  53. package/SVF-doxygen/html/html/ICFGWrapper_8h_source.html +929 -0
  54. package/SVF-doxygen/html/html/ICFG_8cpp_source.html +10 -10
  55. package/SVF-doxygen/html/html/ICFG_8h_source.html +3 -3
  56. package/SVF-doxygen/html/html/IRGraph_8cpp_source.html +3 -3
  57. package/SVF-doxygen/html/html/IRGraph_8h_source.html +2 -2
  58. package/SVF-doxygen/html/html/IntervalExeState_8h_source.html +56 -54
  59. package/SVF-doxygen/html/html/LLVMLoopAnalysis_8cpp_source.html +3 -3
  60. package/SVF-doxygen/html/html/LLVMModule_8cpp_source.html +1033 -1024
  61. package/SVF-doxygen/html/html/LLVMModule_8h_source.html +30 -30
  62. package/SVF-doxygen/html/html/LLVMUtil_8cpp_source.html +7 -7
  63. package/SVF-doxygen/html/html/LLVMUtil_8h_source.html +5 -5
  64. package/SVF-doxygen/html/html/LeakChecker_8cpp_source.html +7 -7
  65. package/SVF-doxygen/html/html/LeakChecker_8h_source.html +1 -1
  66. package/SVF-doxygen/html/html/LockAnalysis_8cpp_source.html +16 -16
  67. package/SVF-doxygen/html/html/LockAnalysis_8h_source.html +4 -4
  68. package/SVF-doxygen/html/html/LockResultValidator_8cpp_source.html +5 -5
  69. package/SVF-doxygen/html/html/LockResultValidator_8h_source.html +3 -3
  70. package/SVF-doxygen/html/html/MHP_8cpp_source.html +13 -13
  71. package/SVF-doxygen/html/html/MHP_8h_source.html +5 -5
  72. package/SVF-doxygen/html/html/MSSAMuChi_8h_source.html +3 -3
  73. package/SVF-doxygen/html/html/MTAAnnotator_8cpp_source.html +3 -3
  74. package/SVF-doxygen/html/html/MTAAnnotator_8h_source.html +2 -2
  75. package/SVF-doxygen/html/html/MTAResultValidator_8cpp_source.html +3 -3
  76. package/SVF-doxygen/html/html/MTAStat_8cpp_source.html +7 -7
  77. package/SVF-doxygen/html/html/MTA_8cpp_source.html +3 -3
  78. package/SVF-doxygen/html/html/MemPartition_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/html/MemPartition_8h_source.html +1 -1
  80. package/SVF-doxygen/html/html/MemRegion_8cpp_source.html +11 -11
  81. package/SVF-doxygen/html/html/MemRegion_8h_source.html +3 -3
  82. package/SVF-doxygen/html/html/MemSSA_8cpp_source.html +20 -20
  83. package/SVF-doxygen/html/html/MemSSA_8h_source.html +2 -2
  84. package/SVF-doxygen/html/html/PCG_8cpp_source.html +13 -13
  85. package/SVF-doxygen/html/html/PCG_8h_source.html +3 -3
  86. package/SVF-doxygen/html/html/PTACallGraph_8cpp_source.html +2 -2
  87. package/SVF-doxygen/html/html/PTACallGraph_8h_source.html +1 -1
  88. package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp_source.html +3 -3
  89. package/SVF-doxygen/html/html/PointerAnalysisImpl_8h_source.html +2 -2
  90. package/SVF-doxygen/html/html/PointerAnalysis_8cpp_source.html +17 -17
  91. package/SVF-doxygen/html/html/PointerAnalysis_8h_source.html +2 -2
  92. package/SVF-doxygen/html/html/ProgSlice_8cpp_source.html +3 -3
  93. package/SVF-doxygen/html/html/ProgSlice_8h_source.html +1 -1
  94. package/SVF-doxygen/html/html/SVFBugReport_8cpp_source.html +2 -2
  95. package/SVF-doxygen/html/html/SVFBugReport_8h_source.html +2 -2
  96. package/SVF-doxygen/html/html/SVFFileSystem_8cpp_source.html +37 -37
  97. package/SVF-doxygen/html/html/SVFFileSystem_8h_source.html +17 -17
  98. package/SVF-doxygen/html/html/SVFGBuilder_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/html/SVFGNode_8h_source.html +1 -1
  100. package/SVF-doxygen/html/html/SVFGOPT_8h_source.html +1 -1
  101. package/SVF-doxygen/html/html/SVFGReadWrite_8cpp_source.html +1 -1
  102. package/SVF-doxygen/html/html/SVFG_8cpp_source.html +4 -4
  103. package/SVF-doxygen/html/html/SVFG_8h_source.html +1 -1
  104. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8cpp_source.html +5 -5
  105. package/SVF-doxygen/html/html/SVFIR2ConsExeState_8h_source.html +4 -4
  106. package/SVF-doxygen/html/html/SVFIR2ItvExeState_8cpp_source.html +4 -4
  107. package/SVF-doxygen/html/html/SVFIRBuilder_8cpp_source.html +8 -8
  108. package/SVF-doxygen/html/html/SVFIRBuilder_8h_source.html +5 -5
  109. package/SVF-doxygen/html/html/SVFIRExtAPI_8cpp_source.html +10 -10
  110. package/SVF-doxygen/html/html/SVFIR_8cpp_source.html +2 -2
  111. package/SVF-doxygen/html/html/SVFIR_8h_source.html +2 -2
  112. package/SVF-doxygen/html/html/SVFModule_8cpp_source.html +3 -3
  113. package/SVF-doxygen/html/html/SVFModule_8h_source.html +4 -4
  114. package/SVF-doxygen/html/html/SVFStat_8cpp_source.html +6 -6
  115. package/SVF-doxygen/html/html/SVFStatements_8h_source.html +3 -3
  116. package/SVF-doxygen/html/html/SVFType_8h.html +1 -0
  117. package/SVF-doxygen/html/html/SVFType_8h_source.html +1 -1
  118. package/SVF-doxygen/html/html/SVFUtil_8cpp_source.html +7 -7
  119. package/SVF-doxygen/html/html/SVFUtil_8h_source.html +10 -10
  120. package/SVF-doxygen/html/html/SVFValue_8cpp_source.html +167 -141
  121. package/SVF-doxygen/html/html/SVFValue_8h_source.html +1348 -1315
  122. package/SVF-doxygen/html/html/SVFVariables_8cpp_source.html +3 -3
  123. package/SVF-doxygen/html/html/SVFVariables_8h_source.html +4 -4
  124. package/SVF-doxygen/html/html/SaberCheckerAPI_8h_source.html +2 -2
  125. package/SVF-doxygen/html/html/SaberCondAllocator_8cpp_source.html +18 -18
  126. package/SVF-doxygen/html/html/SaberCondAllocator_8h_source.html +7 -7
  127. package/SVF-doxygen/html/html/SaberSVFGBuilder_8cpp_source.html +3 -3
  128. package/SVF-doxygen/html/html/SrcSnkDDA_8h_source.html +1 -1
  129. package/SVF-doxygen/html/html/Steensgaard_8cpp_source.html +5 -5
  130. package/SVF-doxygen/html/html/Steensgaard_8h_source.html +2 -2
  131. package/SVF-doxygen/html/html/SymState_8h_source.html +1 -1
  132. package/SVF-doxygen/html/html/SymbolTableBuilder_8cpp_source.html +4 -4
  133. package/SVF-doxygen/html/html/SymbolTableInfo_8cpp_source.html +3 -3
  134. package/SVF-doxygen/html/html/SymbolTableInfo_8h_source.html +3 -3
  135. package/SVF-doxygen/html/html/TCT_8cpp_source.html +15 -15
  136. package/SVF-doxygen/html/html/TCT_8h_source.html +7 -7
  137. package/SVF-doxygen/html/html/ThreadAPI_8cpp_source.html +10 -10
  138. package/SVF-doxygen/html/html/ThreadAPI_8h_source.html +6 -6
  139. package/SVF-doxygen/html/html/ThreadCallGraph_8cpp_source.html +3 -3
  140. package/SVF-doxygen/html/html/ThreadCallGraph_8h_source.html +1 -1
  141. package/SVF-doxygen/html/html/TypeAnalysis_8cpp_source.html +5 -5
  142. package/SVF-doxygen/html/html/VFGNode_8h_source.html +3 -3
  143. package/SVF-doxygen/html/html/VFG_8cpp_source.html +3 -3
  144. package/SVF-doxygen/html/html/VFG_8h_source.html +2 -2
  145. package/SVF-doxygen/html/html/VersionedFlowSensitive_8cpp_source.html +1 -1
  146. package/SVF-doxygen/html/html/WPAPass_8cpp_source.html +5 -5
  147. package/SVF-doxygen/html/html/WPAPass_8h_source.html +2 -2
  148. package/SVF-doxygen/html/html/annotated.html +411 -394
  149. package/SVF-doxygen/html/html/classSVF_1_1AccessPath.html +3 -3
  150. package/SVF-doxygen/html/html/classSVF_1_1ActualINSVFGNode.html +2 -2
  151. package/SVF-doxygen/html/html/classSVF_1_1ActualOUTSVFGNode.html +2 -2
  152. package/SVF-doxygen/html/html/classSVF_1_1ActualParmVFGNode.html +1 -1
  153. package/SVF-doxygen/html/html/classSVF_1_1ActualRetVFGNode.html +1 -1
  154. package/SVF-doxygen/html/html/classSVF_1_1Andersen.html +4 -4
  155. package/SVF-doxygen/html/html/classSVF_1_1AndersenSCD.html +1 -1
  156. package/SVF-doxygen/html/html/classSVF_1_1AndersenStat.html +2 -2
  157. package/SVF-doxygen/html/html/classSVF_1_1BVDataPTAImpl.html +3 -3
  158. package/SVF-doxygen/html/html/classSVF_1_1CDG-members.html +128 -0
  159. package/SVF-doxygen/html/html/classSVF_1_1CDG.html +1062 -0
  160. package/SVF-doxygen/html/html/classSVF_1_1CDG.png +0 -0
  161. package/SVF-doxygen/html/html/classSVF_1_1CDGBuilder-members.html +98 -0
  162. package/SVF-doxygen/html/html/classSVF_1_1CDGBuilder.html +823 -0
  163. package/SVF-doxygen/html/html/classSVF_1_1CDGEdge-members.html +110 -0
  164. package/SVF-doxygen/html/html/classSVF_1_1CDGEdge.html +437 -0
  165. package/SVF-doxygen/html/html/classSVF_1_1CDGEdge.png +0 -0
  166. package/SVF-doxygen/html/html/classSVF_1_1CDGNode-members.html +127 -0
  167. package/SVF-doxygen/html/html/classSVF_1_1CDGNode.html +370 -0
  168. package/SVF-doxygen/html/html/classSVF_1_1CDGNode.png +0 -0
  169. package/SVF-doxygen/html/html/classSVF_1_1CFBasicBlockNode.html +2 -2
  170. package/SVF-doxygen/html/html/classSVF_1_1CFLAlias.html +7 -7
  171. package/SVF-doxygen/html/html/classSVF_1_1CHGBuilder.html +5 -5
  172. package/SVF-doxygen/html/html/classSVF_1_1CHGraph.html +9 -9
  173. package/SVF-doxygen/html/html/classSVF_1_1CallCHI.html +1 -1
  174. package/SVF-doxygen/html/html/classSVF_1_1CallGraphBuilder.html +3 -3
  175. package/SVF-doxygen/html/html/classSVF_1_1CallICFGNode.html +4 -4
  176. package/SVF-doxygen/html/html/classSVF_1_1CallMU.html +1 -1
  177. package/SVF-doxygen/html/html/classSVF_1_1CallSite.html +96 -96
  178. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState-members.html +9 -7
  179. package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html +295 -244
  180. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode-members.html +34 -34
  181. package/SVF-doxygen/html/html/classSVF_1_1ConstraintNode.html +25 -65
  182. package/SVF-doxygen/html/html/classSVF_1_1ContextDDA.html +2 -2
  183. package/SVF-doxygen/html/html/classSVF_1_1CxtProc.html +1 -1
  184. package/SVF-doxygen/html/html/classSVF_1_1CxtStmt.html +1 -1
  185. package/SVF-doxygen/html/html/classSVF_1_1CxtThread.html +1 -1
  186. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadProc.html +1 -1
  187. package/SVF-doxygen/html/html/classSVF_1_1CxtThreadStmt.html +1 -1
  188. package/SVF-doxygen/html/html/classSVF_1_1DCHGraph.html +5 -5
  189. package/SVF-doxygen/html/html/classSVF_1_1DDAPass.html +1 -1
  190. package/SVF-doxygen/html/html/classSVF_1_1DistinctMRG.html +1 -1
  191. package/SVF-doxygen/html/html/classSVF_1_1DoubleFreeChecker.html +3 -3
  192. package/SVF-doxygen/html/html/classSVF_1_1ExtAPI.html +1 -1
  193. package/SVF-doxygen/html/html/classSVF_1_1FIObjVar.html +1 -1
  194. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitive.html +1 -1
  195. package/SVF-doxygen/html/html/classSVF_1_1FlowSensitiveStat.html +2 -2
  196. package/SVF-doxygen/html/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  197. package/SVF-doxygen/html/html/classSVF_1_1FormalINSVFGNode.html +1 -1
  198. package/SVF-doxygen/html/html/classSVF_1_1FormalOUTSVFGNode.html +1 -1
  199. package/SVF-doxygen/html/html/classSVF_1_1FormalParmVFGNode.html +1 -1
  200. package/SVF-doxygen/html/html/classSVF_1_1FormalRetVFGNode.html +1 -1
  201. package/SVF-doxygen/html/html/classSVF_1_1FunEntryICFGNode.html +5 -5
  202. package/SVF-doxygen/html/html/classSVF_1_1FunExitICFGNode.html +6 -6
  203. package/SVF-doxygen/html/html/classSVF_1_1FunptrDDAClient.html +3 -3
  204. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.html +11 -9
  205. package/SVF-doxygen/html/html/classSVF_1_1GenericEdge.png +0 -0
  206. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.html +9 -10
  207. package/SVF-doxygen/html/html/classSVF_1_1GenericGraph.png +0 -0
  208. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.html +17 -16
  209. package/SVF-doxygen/html/html/classSVF_1_1GenericNode.png +0 -0
  210. package/SVF-doxygen/html/html/classSVF_1_1GepObjVar.html +1 -1
  211. package/SVF-doxygen/html/html/classSVF_1_1GepValVar.html +1 -1
  212. package/SVF-doxygen/html/html/classSVF_1_1ICFG.html +2 -2
  213. package/SVF-doxygen/html/html/classSVF_1_1ICFGBuilder.html +7 -7
  214. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdgeWrapper-members.html +112 -0
  215. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdgeWrapper.html +480 -0
  216. package/SVF-doxygen/html/html/classSVF_1_1ICFGEdgeWrapper.png +0 -0
  217. package/SVF-doxygen/html/html/classSVF_1_1ICFGNodeWrapper-members.html +141 -0
  218. package/SVF-doxygen/html/html/classSVF_1_1ICFGNodeWrapper.html +1525 -0
  219. package/SVF-doxygen/html/html/classSVF_1_1ICFGNodeWrapper.png +0 -0
  220. package/SVF-doxygen/html/html/classSVF_1_1ICFGWrapper-members.html +139 -0
  221. package/SVF-doxygen/html/html/classSVF_1_1ICFGWrapper.html +1403 -0
  222. package/SVF-doxygen/html/html/classSVF_1_1ICFGWrapper.png +0 -0
  223. package/SVF-doxygen/html/html/classSVF_1_1ICFGWrapperBuilder-members.html +86 -0
  224. package/SVF-doxygen/html/html/classSVF_1_1ICFGWrapperBuilder.html +190 -0
  225. package/SVF-doxygen/html/html/classSVF_1_1InterDisjointMRG.html +1 -1
  226. package/SVF-doxygen/html/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  227. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState-members.html +9 -7
  228. package/SVF-doxygen/html/html/classSVF_1_1IntervalExeState.html +77 -26
  229. package/SVF-doxygen/html/html/classSVF_1_1IntraDisjointMRG.html +1 -1
  230. package/SVF-doxygen/html/html/classSVF_1_1IntraICFGNode.html +4 -4
  231. package/SVF-doxygen/html/html/classSVF_1_1IntraMSSAPHISVFGNode.html +1 -1
  232. package/SVF-doxygen/html/html/classSVF_1_1LLVMLoopAnalysis.html +3 -3
  233. package/SVF-doxygen/html/html/classSVF_1_1LLVMModuleSet.html +943 -934
  234. package/SVF-doxygen/html/html/classSVF_1_1LeakChecker.html +7 -7
  235. package/SVF-doxygen/html/html/classSVF_1_1LockAnalysis.html +15 -15
  236. package/SVF-doxygen/html/html/classSVF_1_1LockResultValidator.html +5 -5
  237. package/SVF-doxygen/html/html/classSVF_1_1MHP.html +13 -13
  238. package/SVF-doxygen/html/html/classSVF_1_1MHPValidator.html +1 -1
  239. package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html +10 -10
  240. package/SVF-doxygen/html/html/classSVF_1_1MSSAPHISVFGNode.html +3 -3
  241. package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html +3 -3
  242. package/SVF-doxygen/html/html/classSVF_1_1MTAResultValidator.html +4 -4
  243. package/SVF-doxygen/html/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  244. package/SVF-doxygen/html/html/classSVF_1_1MTAStat.html +7 -7
  245. package/SVF-doxygen/html/html/classSVF_1_1MemSSA.html +19 -19
  246. package/SVF-doxygen/html/html/classSVF_1_1ObjVar.html +1 -1
  247. package/SVF-doxygen/html/html/classSVF_1_1PCG.html +13 -13
  248. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraph.html +2 -2
  249. package/SVF-doxygen/html/html/classSVF_1_1PTACallGraphNode.html +1 -1
  250. package/SVF-doxygen/html/html/classSVF_1_1PointerAnalysis.html +16 -16
  251. package/SVF-doxygen/html/html/classSVF_1_1ProgSlice.html +3 -3
  252. package/SVF-doxygen/html/html/classSVF_1_1RaceResultValidator.html +2 -2
  253. package/SVF-doxygen/html/html/classSVF_1_1RaceValidator.html +1 -1
  254. package/SVF-doxygen/html/html/classSVF_1_1RetICFGNode.html +4 -4
  255. package/SVF-doxygen/html/html/classSVF_1_1RetPN.html +1 -1
  256. package/SVF-doxygen/html/html/classSVF_1_1SVFArgument.html +31 -31
  257. package/SVF-doxygen/html/html/classSVF_1_1SVFBasicBlock.html +137 -137
  258. package/SVF-doxygen/html/html/classSVF_1_1SVFBlackHoleValue.html +16 -16
  259. package/SVF-doxygen/html/html/classSVF_1_1SVFBugEvent.html +4 -4
  260. package/SVF-doxygen/html/html/classSVF_1_1SVFCallInst.html +69 -69
  261. package/SVF-doxygen/html/html/classSVF_1_1SVFConstant.html +24 -24
  262. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantData.html +28 -28
  263. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantFP.html +22 -22
  264. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantInt.html +28 -28
  265. package/SVF-doxygen/html/html/classSVF_1_1SVFConstantNullPtr.html +16 -16
  266. package/SVF-doxygen/html/html/classSVF_1_1SVFFunction.html +217 -217
  267. package/SVF-doxygen/html/html/classSVF_1_1SVFG.html +4 -4
  268. package/SVF-doxygen/html/html/classSVF_1_1SVFGBuilder.html +1 -1
  269. package/SVF-doxygen/html/html/classSVF_1_1SVFGlobalValue.html +36 -36
  270. package/SVF-doxygen/html/html/classSVF_1_1SVFIR.html +1 -1
  271. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ConsExeState.html +11 -11
  272. package/SVF-doxygen/html/html/classSVF_1_1SVFIR2ItvExeState.html +4 -4
  273. package/SVF-doxygen/html/html/classSVF_1_1SVFIRBuilder.html +17 -17
  274. package/SVF-doxygen/html/html/classSVF_1_1SVFIRReader.html +1 -1
  275. package/SVF-doxygen/html/html/classSVF_1_1SVFInstruction.html +60 -60
  276. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo-members.html +30 -23
  277. package/SVF-doxygen/html/html/classSVF_1_1SVFLoopAndDomInfo.html +323 -75
  278. package/SVF-doxygen/html/html/classSVF_1_1SVFMetadataAsValue.html +16 -16
  279. package/SVF-doxygen/html/html/classSVF_1_1SVFModule.html +3 -3
  280. package/SVF-doxygen/html/html/classSVF_1_1SVFOtherValue.html +13 -13
  281. package/SVF-doxygen/html/html/classSVF_1_1SVFStat.html +6 -6
  282. package/SVF-doxygen/html/html/classSVF_1_1SVFValue.html +117 -117
  283. package/SVF-doxygen/html/html/classSVF_1_1SVFVar.html +2 -2
  284. package/SVF-doxygen/html/html/classSVF_1_1SVFVirtualCallInst.html +55 -55
  285. package/SVF-doxygen/html/html/classSVF_1_1SaberCondAllocator.html +18 -18
  286. package/SVF-doxygen/html/html/classSVF_1_1SaberSVFGBuilder.html +3 -3
  287. package/SVF-doxygen/html/html/classSVF_1_1Steensgaard.html +4 -4
  288. package/SVF-doxygen/html/html/classSVF_1_1SymState.html +2 -2
  289. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableBuilder.html +4 -4
  290. package/SVF-doxygen/html/html/classSVF_1_1SymbolTableInfo.html +3 -3
  291. package/SVF-doxygen/html/html/classSVF_1_1TCT.html +15 -15
  292. package/SVF-doxygen/html/html/classSVF_1_1ThreadAPI.html +10 -10
  293. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraph.html +3 -3
  294. package/SVF-doxygen/html/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  295. package/SVF-doxygen/html/html/classSVF_1_1TypeAnalysis.html +5 -5
  296. package/SVF-doxygen/html/html/classSVF_1_1VFG.html +2 -2
  297. package/SVF-doxygen/html/html/classSVF_1_1ValVar.html +1 -1
  298. package/SVF-doxygen/html/html/classSVF_1_1VarArgPN.html +1 -1
  299. package/SVF-doxygen/html/html/classSVF_1_1VersionedFlowSensitive.html +1 -1
  300. package/SVF-doxygen/html/html/classSVF_1_1WPAPass.html +3 -3
  301. package/SVF-doxygen/html/html/classes.html +436 -416
  302. package/SVF-doxygen/html/html/dir_445b24f35a8ddd2effd3d23ee1278e0a.html +2 -0
  303. package/SVF-doxygen/html/html/dir_a10fe8a299b5f0831d187a9a2e1308ef.html +4 -0
  304. package/SVF-doxygen/html/html/dir_fc0329f850c815763e0c5b05933e8d55.html +4 -0
  305. package/SVF-doxygen/html/html/dir_fee120689dee99ef16f8bfcaa7a76083.html +2 -0
  306. package/SVF-doxygen/html/html/files.html +79 -73
  307. package/SVF-doxygen/html/html/functions.html +46 -0
  308. package/SVF-doxygen/html/html/functions_a.html +35 -12
  309. package/SVF-doxygen/html/html/functions_b.html +23 -3
  310. package/SVF-doxygen/html/html/functions_c.html +49 -22
  311. package/SVF-doxygen/html/html/functions_d.html +11 -0
  312. package/SVF-doxygen/html/html/functions_e.html +11 -2
  313. package/SVF-doxygen/html/html/functions_f.html +15 -12
  314. package/SVF-doxygen/html/html/functions_func.html +26 -3
  315. package/SVF-doxygen/html/html/functions_func_b.html +11 -3
  316. package/SVF-doxygen/html/html/functions_func_c.html +27 -15
  317. package/SVF-doxygen/html/html/functions_func_d.html +13 -2
  318. package/SVF-doxygen/html/html/functions_func_e.html +7 -1
  319. package/SVF-doxygen/html/html/functions_func_f.html +6 -3
  320. package/SVF-doxygen/html/html/functions_func_g.html +81 -16
  321. package/SVF-doxygen/html/html/functions_func_h.html +17 -3
  322. package/SVF-doxygen/html/html/functions_func_i.html +26 -8
  323. package/SVF-doxygen/html/html/functions_func_o.html +16 -12
  324. package/SVF-doxygen/html/html/functions_func_p.html +1 -1
  325. package/SVF-doxygen/html/html/functions_func_r.html +23 -3
  326. package/SVF-doxygen/html/html/functions_func_s.html +32 -23
  327. package/SVF-doxygen/html/html/functions_func_t.html +4 -0
  328. package/SVF-doxygen/html/html/functions_func_u.html +3 -0
  329. package/SVF-doxygen/html/html/functions_func_v.html +5 -3
  330. package/SVF-doxygen/html/html/functions_func_~.html +21 -0
  331. package/SVF-doxygen/html/html/functions_g.html +78 -13
  332. package/SVF-doxygen/html/html/functions_h.html +17 -3
  333. package/SVF-doxygen/html/html/functions_i.html +63 -17
  334. package/SVF-doxygen/html/html/functions_n.html +8 -4
  335. package/SVF-doxygen/html/html/functions_o.html +23 -20
  336. package/SVF-doxygen/html/html/functions_p.html +11 -15
  337. package/SVF-doxygen/html/html/functions_r.html +23 -3
  338. package/SVF-doxygen/html/html/functions_s.html +40 -23
  339. package/SVF-doxygen/html/html/functions_t.html +13 -9
  340. package/SVF-doxygen/html/html/functions_type_b.html +3 -0
  341. package/SVF-doxygen/html/html/functions_type_c.html +13 -1
  342. package/SVF-doxygen/html/html/functions_type_e.html +3 -0
  343. package/SVF-doxygen/html/html/functions_type_i.html +27 -0
  344. package/SVF-doxygen/html/html/functions_type_n.html +4 -0
  345. package/SVF-doxygen/html/html/functions_type_s.html +5 -1
  346. package/SVF-doxygen/html/html/functions_u.html +3 -0
  347. package/SVF-doxygen/html/html/functions_v.html +12 -10
  348. package/SVF-doxygen/html/html/functions_vars.html +46 -0
  349. package/SVF-doxygen/html/html/functions_vars_b.html +9 -0
  350. package/SVF-doxygen/html/html/functions_vars_c.html +3 -0
  351. package/SVF-doxygen/html/html/functions_vars_i.html +1 -0
  352. package/SVF-doxygen/html/html/functions_vars_o.html +1 -0
  353. package/SVF-doxygen/html/html/functions_w.html +7 -7
  354. package/SVF-doxygen/html/html/functions_~.html +21 -0
  355. package/SVF-doxygen/html/html/hierarchy.html +623 -599
  356. package/SVF-doxygen/html/html/namespaceSVF.html +165 -5
  357. package/SVF-doxygen/html/html/namespaceSVF_1_1LLVMUtil.html +4 -4
  358. package/SVF-doxygen/html/html/namespaceSVF_1_1SVFUtil.html +6 -6
  359. package/SVF-doxygen/html/html/namespacemembers_g.html +22 -4
  360. package/SVF-doxygen/html/html/namespacemembers_n.html +3 -0
  361. package/SVF-doxygen/html/html/namespacemembers_type_g.html +18 -0
  362. package/SVF-doxygen/html/html/namespacemembers_type_n.html +3 -0
  363. package/SVF-doxygen/html/html/search/all_0.js +146 -131
  364. package/SVF-doxygen/html/html/search/all_1.js +485 -478
  365. package/SVF-doxygen/html/html/search/all_10.js +324 -324
  366. package/SVF-doxygen/html/html/search/all_11.js +224 -218
  367. package/SVF-doxygen/html/html/search/all_12.js +545 -541
  368. package/SVF-doxygen/html/html/search/all_13.js +190 -190
  369. package/SVF-doxygen/html/html/search/all_14.js +67 -66
  370. package/SVF-doxygen/html/html/search/all_15.js +170 -170
  371. package/SVF-doxygen/html/html/search/all_16.js +63 -63
  372. package/SVF-doxygen/html/html/search/all_17.js +1 -1
  373. package/SVF-doxygen/html/html/search/all_18.js +1 -1
  374. package/SVF-doxygen/html/html/search/all_19.js +11 -11
  375. package/SVF-doxygen/html/html/search/all_1a.js +176 -169
  376. package/SVF-doxygen/html/html/search/all_2.js +167 -161
  377. package/SVF-doxygen/html/html/search/all_3.js +639 -628
  378. package/SVF-doxygen/html/html/search/all_4.js +233 -229
  379. package/SVF-doxygen/html/html/search/all_5.js +120 -117
  380. package/SVF-doxygen/html/html/search/all_6.js +225 -224
  381. package/SVF-doxygen/html/html/search/all_7.js +1056 -1022
  382. package/SVF-doxygen/html/html/search/all_8.js +195 -191
  383. package/SVF-doxygen/html/html/search/all_9.js +617 -604
  384. package/SVF-doxygen/html/html/search/all_a.js +46 -46
  385. package/SVF-doxygen/html/html/search/all_b.js +26 -26
  386. package/SVF-doxygen/html/html/search/all_c.js +116 -116
  387. package/SVF-doxygen/html/html/search/all_d.js +196 -196
  388. package/SVF-doxygen/html/html/search/all_e.js +207 -206
  389. package/SVF-doxygen/html/html/search/all_f.js +116 -116
  390. package/SVF-doxygen/html/html/search/classes_0.js +26 -26
  391. package/SVF-doxygen/html/html/search/classes_1.js +9 -9
  392. package/SVF-doxygen/html/html/search/classes_10.js +73 -73
  393. package/SVF-doxygen/html/html/search/classes_11.js +15 -15
  394. package/SVF-doxygen/html/html/search/classes_12.js +2 -2
  395. package/SVF-doxygen/html/html/search/classes_13.js +10 -10
  396. package/SVF-doxygen/html/html/search/classes_14.js +14 -14
  397. package/SVF-doxygen/html/html/search/classes_15.js +1 -1
  398. package/SVF-doxygen/html/html/search/classes_2.js +80 -76
  399. package/SVF-doxygen/html/html/search/classes_3.js +38 -35
  400. package/SVF-doxygen/html/html/search/classes_4.js +9 -8
  401. package/SVF-doxygen/html/html/search/classes_5.js +28 -28
  402. package/SVF-doxygen/html/html/search/classes_6.js +110 -98
  403. package/SVF-doxygen/html/html/search/classes_7.js +33 -33
  404. package/SVF-doxygen/html/html/search/classes_8.js +60 -56
  405. package/SVF-doxygen/html/html/search/classes_9.js +1 -1
  406. package/SVF-doxygen/html/html/search/classes_a.js +12 -12
  407. package/SVF-doxygen/html/html/search/classes_b.js +29 -29
  408. package/SVF-doxygen/html/html/search/classes_c.js +6 -6
  409. package/SVF-doxygen/html/html/search/classes_d.js +18 -18
  410. package/SVF-doxygen/html/html/search/classes_e.js +36 -36
  411. package/SVF-doxygen/html/html/search/classes_f.js +25 -25
  412. package/SVF-doxygen/html/html/search/defines_0.js +3 -3
  413. package/SVF-doxygen/html/html/search/defines_1.js +2 -2
  414. package/SVF-doxygen/html/html/search/defines_2.js +30 -30
  415. package/SVF-doxygen/html/html/search/defines_3.js +20 -20
  416. package/SVF-doxygen/html/html/search/defines_4.js +3 -3
  417. package/SVF-doxygen/html/html/search/defines_5.js +4 -4
  418. package/SVF-doxygen/html/html/search/defines_6.js +2 -2
  419. package/SVF-doxygen/html/html/search/defines_7.js +5 -5
  420. package/SVF-doxygen/html/html/search/defines_8.js +11 -11
  421. package/SVF-doxygen/html/html/search/defines_9.js +9 -9
  422. package/SVF-doxygen/html/html/search/defines_a.js +2 -2
  423. package/SVF-doxygen/html/html/search/defines_b.js +1 -1
  424. package/SVF-doxygen/html/html/search/defines_c.js +3 -3
  425. package/SVF-doxygen/html/html/search/defines_d.js +2 -2
  426. package/SVF-doxygen/html/html/search/defines_e.js +7 -7
  427. package/SVF-doxygen/html/html/search/defines_f.js +3 -3
  428. package/SVF-doxygen/html/html/search/enums_0.js +3 -3
  429. package/SVF-doxygen/html/html/search/enums_1.js +2 -2
  430. package/SVF-doxygen/html/html/search/enums_10.js +1 -1
  431. package/SVF-doxygen/html/html/search/enums_11.js +1 -1
  432. package/SVF-doxygen/html/html/search/enums_2.js +8 -8
  433. package/SVF-doxygen/html/html/search/enums_3.js +1 -1
  434. package/SVF-doxygen/html/html/search/enums_4.js +3 -3
  435. package/SVF-doxygen/html/html/search/enums_5.js +1 -1
  436. package/SVF-doxygen/html/html/search/enums_6.js +2 -2
  437. package/SVF-doxygen/html/html/search/enums_7.js +2 -2
  438. package/SVF-doxygen/html/html/search/enums_8.js +4 -4
  439. package/SVF-doxygen/html/html/search/enums_9.js +1 -1
  440. package/SVF-doxygen/html/html/search/enums_a.js +1 -1
  441. package/SVF-doxygen/html/html/search/enums_b.js +7 -7
  442. package/SVF-doxygen/html/html/search/enums_c.js +1 -1
  443. package/SVF-doxygen/html/html/search/enums_d.js +4 -4
  444. package/SVF-doxygen/html/html/search/enums_e.js +2 -2
  445. package/SVF-doxygen/html/html/search/enums_f.js +4 -4
  446. package/SVF-doxygen/html/html/search/enumvalues_0.js +14 -14
  447. package/SVF-doxygen/html/html/search/enumvalues_1.js +14 -14
  448. package/SVF-doxygen/html/html/search/enumvalues_10.js +35 -35
  449. package/SVF-doxygen/html/html/search/enumvalues_11.js +3 -3
  450. package/SVF-doxygen/html/html/search/enumvalues_12.js +10 -10
  451. package/SVF-doxygen/html/html/search/enumvalues_13.js +1 -1
  452. package/SVF-doxygen/html/html/search/enumvalues_14.js +1 -1
  453. package/SVF-doxygen/html/html/search/enumvalues_15.js +3 -3
  454. package/SVF-doxygen/html/html/search/enumvalues_2.js +36 -36
  455. package/SVF-doxygen/html/html/search/enumvalues_3.js +13 -13
  456. package/SVF-doxygen/html/html/search/enumvalues_4.js +2 -2
  457. package/SVF-doxygen/html/html/search/enumvalues_5.js +47 -47
  458. package/SVF-doxygen/html/html/search/enumvalues_6.js +6 -6
  459. package/SVF-doxygen/html/html/search/enumvalues_7.js +9 -9
  460. package/SVF-doxygen/html/html/search/enumvalues_8.js +23 -23
  461. package/SVF-doxygen/html/html/search/enumvalues_9.js +6 -6
  462. package/SVF-doxygen/html/html/search/enumvalues_a.js +15 -15
  463. package/SVF-doxygen/html/html/search/enumvalues_b.js +11 -11
  464. package/SVF-doxygen/html/html/search/enumvalues_c.js +5 -5
  465. package/SVF-doxygen/html/html/search/enumvalues_d.js +18 -18
  466. package/SVF-doxygen/html/html/search/enumvalues_e.js +9 -9
  467. package/SVF-doxygen/html/html/search/enumvalues_f.js +45 -45
  468. package/SVF-doxygen/html/html/search/files_0.js +13 -13
  469. package/SVF-doxygen/html/html/search/files_1.js +7 -7
  470. package/SVF-doxygen/html/html/search/files_10.js +8 -8
  471. package/SVF-doxygen/html/html/search/files_11.js +8 -8
  472. package/SVF-doxygen/html/html/search/files_12.js +2 -2
  473. package/SVF-doxygen/html/html/search/files_2.js +53 -49
  474. package/SVF-doxygen/html/html/search/files_3.js +14 -14
  475. package/SVF-doxygen/html/html/search/files_4.js +5 -5
  476. package/SVF-doxygen/html/html/search/files_5.js +13 -13
  477. package/SVF-doxygen/html/html/search/files_6.js +9 -9
  478. package/SVF-doxygen/html/html/search/files_7.js +16 -14
  479. package/SVF-doxygen/html/html/search/files_8.js +13 -13
  480. package/SVF-doxygen/html/html/search/files_9.js +18 -18
  481. package/SVF-doxygen/html/html/search/files_a.js +3 -3
  482. package/SVF-doxygen/html/html/search/files_b.js +2 -2
  483. package/SVF-doxygen/html/html/search/files_c.js +20 -20
  484. package/SVF-doxygen/html/html/search/files_d.js +4 -4
  485. package/SVF-doxygen/html/html/search/files_e.js +62 -62
  486. package/SVF-doxygen/html/html/search/files_f.js +8 -8
  487. package/SVF-doxygen/html/html/search/functions_0.js +12 -12
  488. package/SVF-doxygen/html/html/search/functions_1.js +357 -350
  489. package/SVF-doxygen/html/html/search/functions_10.js +140 -140
  490. package/SVF-doxygen/html/html/search/functions_11.js +138 -132
  491. package/SVF-doxygen/html/html/search/functions_12.js +278 -275
  492. package/SVF-doxygen/html/html/search/functions_13.js +58 -58
  493. package/SVF-doxygen/html/html/search/functions_14.js +39 -38
  494. package/SVF-doxygen/html/html/search/functions_15.js +71 -71
  495. package/SVF-doxygen/html/html/search/functions_16.js +32 -32
  496. package/SVF-doxygen/html/html/search/functions_17.js +3 -3
  497. package/SVF-doxygen/html/html/search/functions_18.js +176 -169
  498. package/SVF-doxygen/html/html/search/functions_2.js +86 -84
  499. package/SVF-doxygen/html/html/search/functions_3.js +257 -253
  500. package/SVF-doxygen/html/html/search/functions_4.js +75 -74
  501. package/SVF-doxygen/html/html/search/functions_5.js +53 -51
  502. package/SVF-doxygen/html/html/search/functions_6.js +59 -58
  503. package/SVF-doxygen/html/html/search/functions_7.js +858 -842
  504. package/SVF-doxygen/html/html/search/functions_8.js +147 -143
  505. package/SVF-doxygen/html/html/search/functions_9.js +429 -424
  506. package/SVF-doxygen/html/html/search/functions_a.js +30 -30
  507. package/SVF-doxygen/html/html/search/functions_b.js +2 -2
  508. package/SVF-doxygen/html/html/search/functions_c.js +26 -26
  509. package/SVF-doxygen/html/html/search/functions_d.js +77 -77
  510. package/SVF-doxygen/html/html/search/functions_e.js +35 -35
  511. package/SVF-doxygen/html/html/search/functions_f.js +56 -56
  512. package/SVF-doxygen/html/html/search/namespaces_0.js +1 -1
  513. package/SVF-doxygen/html/html/search/namespaces_1.js +7 -7
  514. package/SVF-doxygen/html/html/search/related_0.js +2 -2
  515. package/SVF-doxygen/html/html/search/related_1.js +2 -2
  516. package/SVF-doxygen/html/html/search/related_2.js +2 -2
  517. package/SVF-doxygen/html/html/search/related_3.js +2 -2
  518. package/SVF-doxygen/html/html/search/related_4.js +2 -2
  519. package/SVF-doxygen/html/html/search/related_5.js +1 -1
  520. package/SVF-doxygen/html/html/search/related_6.js +2 -2
  521. package/SVF-doxygen/html/html/search/related_7.js +4 -4
  522. package/SVF-doxygen/html/html/search/related_8.js +2 -2
  523. package/SVF-doxygen/html/html/search/related_9.js +4 -4
  524. package/SVF-doxygen/html/html/search/related_a.js +19 -19
  525. package/SVF-doxygen/html/html/search/related_b.js +4 -4
  526. package/SVF-doxygen/html/html/search/related_c.js +1 -1
  527. package/SVF-doxygen/html/html/search/related_d.js +11 -11
  528. package/SVF-doxygen/html/html/search/related_e.js +2 -2
  529. package/SVF-doxygen/html/html/search/related_f.js +2 -2
  530. package/SVF-doxygen/html/html/search/typedefs_0.js +18 -18
  531. package/SVF-doxygen/html/html/search/typedefs_1.js +26 -25
  532. package/SVF-doxygen/html/html/search/typedefs_10.js +63 -62
  533. package/SVF-doxygen/html/html/search/typedefs_11.js +13 -13
  534. package/SVF-doxygen/html/html/search/typedefs_12.js +11 -11
  535. package/SVF-doxygen/html/html/search/typedefs_13.js +35 -35
  536. package/SVF-doxygen/html/html/search/typedefs_14.js +8 -8
  537. package/SVF-doxygen/html/html/search/typedefs_2.js +128 -126
  538. package/SVF-doxygen/html/html/search/typedefs_3.js +39 -39
  539. package/SVF-doxygen/html/html/search/typedefs_4.js +17 -16
  540. package/SVF-doxygen/html/html/search/typedefs_5.js +41 -41
  541. package/SVF-doxygen/html/html/search/typedefs_6.js +58 -52
  542. package/SVF-doxygen/html/html/search/typedefs_7.js +46 -40
  543. package/SVF-doxygen/html/html/search/typedefs_8.js +1 -1
  544. package/SVF-doxygen/html/html/search/typedefs_9.js +6 -6
  545. package/SVF-doxygen/html/html/search/typedefs_a.js +29 -29
  546. package/SVF-doxygen/html/html/search/typedefs_b.js +29 -29
  547. package/SVF-doxygen/html/html/search/typedefs_c.js +41 -40
  548. package/SVF-doxygen/html/html/search/typedefs_d.js +15 -15
  549. package/SVF-doxygen/html/html/search/typedefs_e.js +52 -52
  550. package/SVF-doxygen/html/html/search/typedefs_f.js +14 -14
  551. package/SVF-doxygen/html/html/search/variables_0.js +162 -147
  552. package/SVF-doxygen/html/html/search/variables_1.js +75 -75
  553. package/SVF-doxygen/html/html/search/variables_10.js +97 -97
  554. package/SVF-doxygen/html/html/search/variables_11.js +46 -46
  555. package/SVF-doxygen/html/html/search/variables_12.js +92 -92
  556. package/SVF-doxygen/html/html/search/variables_13.js +75 -75
  557. package/SVF-doxygen/html/html/search/variables_14.js +14 -14
  558. package/SVF-doxygen/html/html/search/variables_15.js +48 -48
  559. package/SVF-doxygen/html/html/search/variables_16.js +9 -9
  560. package/SVF-doxygen/html/html/search/variables_17.js +1 -1
  561. package/SVF-doxygen/html/html/search/variables_18.js +2 -2
  562. package/SVF-doxygen/html/html/search/variables_2.js +37 -34
  563. package/SVF-doxygen/html/html/search/variables_3.js +142 -141
  564. package/SVF-doxygen/html/html/search/variables_4.js +55 -55
  565. package/SVF-doxygen/html/html/search/variables_5.js +38 -38
  566. package/SVF-doxygen/html/html/search/variables_6.js +66 -66
  567. package/SVF-doxygen/html/html/search/variables_7.js +33 -33
  568. package/SVF-doxygen/html/html/search/variables_8.js +7 -7
  569. package/SVF-doxygen/html/html/search/variables_9.js +77 -77
  570. package/SVF-doxygen/html/html/search/variables_a.js +4 -4
  571. package/SVF-doxygen/html/html/search/variables_b.js +10 -10
  572. package/SVF-doxygen/html/html/search/variables_c.js +45 -45
  573. package/SVF-doxygen/html/html/search/variables_d.js +56 -56
  574. package/SVF-doxygen/html/html/search/variables_e.js +123 -123
  575. package/SVF-doxygen/html/html/search/variables_f.js +30 -30
  576. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +3 -3
  577. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html +1 -1
  578. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4-members.html +110 -0
  579. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html +607 -0
  580. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1CDG_01_5_01_4.png +0 -0
  581. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4-members.html +111 -0
  582. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html +658 -0
  583. package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.png +0 -0
  584. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.html +9 -8
  585. package/SVF-doxygen/html/html/structSVF_1_1DefaultDOTGraphTraits.png +0 -0
  586. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4-members.html +84 -0
  587. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.html +110 -0
  588. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CDGNode_01_5_01_4_01_4.png +0 -0
  589. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4-members.html +84 -0
  590. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4.html +110 -0
  591. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4_01_4.png +0 -0
  592. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4-members.html +84 -0
  593. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.html +106 -0
  594. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDGNode_01_5_01_4.png +0 -0
  595. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4-members.html +84 -0
  596. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.html +126 -0
  597. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1CDG_01_5_01_4.png +0 -0
  598. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4-members.html +84 -0
  599. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4.html +106 -0
  600. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNodeWrapper_01_5_01_4.png +0 -0
  601. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4-members.html +84 -0
  602. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.html +126 -0
  603. package/SVF-doxygen/html/html/structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGWrapper_01_5_01_4.png +0 -0
  604. package/SVF-doxygen/html/html/structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper-members.html +84 -0
  605. package/SVF-doxygen/html/html/structSVF_1_1ICFGEdgeWrapper_1_1equalICFGEdgeWrapper.html +144 -0
  606. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  607. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1ConsExeState_01_4.html +5 -5
  608. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtProc_01_4.html +1 -1
  609. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  610. package/SVF-doxygen/html/html/structstd_1_1hash_3_01SVF_1_1IntervalExeState_01_4.html +5 -5
  611. package/SVF-doxygen/html/html/svf-ex_8cpp_source.html +2 -2
  612. package/SVF-doxygen/html/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +4 -4
  613. package/SVF-doxygen/html/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +4 -4
  614. package/package.json +1 -1
  615. package/svf/include/AbstractExecution/ConsExeState.h +2 -0
  616. package/svf/include/AbstractExecution/IntervalExeState.h +2 -0
  617. package/svf/include/Graphs/CDG.h +466 -0
  618. package/svf/include/Graphs/ICFGWrapper.h +728 -0
  619. package/svf/include/SVFIR/SVFType.h +1 -1
  620. package/svf/include/SVFIR/SVFValue.h +27 -0
  621. package/svf/include/Util/CDGBuilder.h +107 -0
  622. package/svf/lib/Graphs/CDG.cpp +59 -0
  623. package/svf/lib/Graphs/ICFGWrapper.cpp +97 -0
  624. package/svf/lib/SVFIR/SVFValue.cpp +24 -0
  625. package/svf/lib/Util/CDGBuilder.cpp +205 -0
  626. package/svf-llvm/lib/LLVMModule.cpp +6 -0
package/SVF-doxygen/html/html/classSVF_1_1ConsExeState.html CHANGED
@@ -207,6 +207,10 @@ Public Member Functions</h2></td></tr>
207
207
  <tr class="memitem:a2fa6360da2149684a9771fdbfae71a66"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1SingleAbsValue.html">SingleAbsValue</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">load</a> (const <a class="el" href="classSVF_1_1SingleAbsValue.html">SingleAbsValue</a> &amp;loc)</td></tr>
208
208
  <tr class="memdesc:a2fa6360da2149684a9771fdbfae71a66"><td class="mdescLeft">&#160;</td><td class="mdescRight">Load value at location. <a href="classSVF_1_1ConsExeState.html#a2fa6360da2149684a9771fdbfae71a66">More...</a><br /></td></tr>
209
209
  <tr class="separator:a2fa6360da2149684a9771fdbfae71a66"><td class="memSeparator" colspan="2">&#160;</td></tr>
210
+ <tr class="memitem:a0e4c8a41aa861ff2862d8b620c902f21"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConsExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">operator==</a> (const <a class="el" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) const</td></tr>
211
+ <tr class="separator:a0e4c8a41aa861ff2862d8b620c902f21"><td class="memSeparator" colspan="2">&#160;</td></tr>
212
+ <tr class="memitem:ab828094e1026046814c1e3d44d3f084c"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ConsExeState.html#ab828094e1026046814c1e3d44d3f084c">operator!=</a> (const <a class="el" href="classSVF_1_1ExeState.html">ExeState</a> &amp;rhs) const</td></tr>
213
+ <tr class="separator:ab828094e1026046814c1e3d44d3f084c"><td class="memSeparator" colspan="2">&#160;</td></tr>
210
214
  <tr class="inherit_header pub_methods_classSVF_1_1ExeState"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ExeState')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ExeState.html">SVF::ExeState</a></td></tr>
211
215
  <tr class="memitem:af1b6335e3ca95d491b0d8dfb95cf3c9b inherit pub_methods_classSVF_1_1ExeState"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ExeState.html#af1b6335e3ca95d491b0d8dfb95cf3c9b">ExeState</a> (<a class="el" href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8">ExeState_TYPE</a> kind)</td></tr>
212
216
  <tr class="separator:af1b6335e3ca95d491b0d8dfb95cf3c9b inherit pub_methods_classSVF_1_1ExeState"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -839,11 +843,11 @@ Additional Inherited Members</h2></td></tr>
839
843
  </table>
840
844
  </div><div class="memdoc">
841
845
 
842
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00173">173</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
843
- <div class="fragment"><div class="line"><a name="l00174"></a><span class="lineno"> 174</span>&#160; {</div>
844
- <div class="line"><a name="l00175"></a><span class="lineno"> 175</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">inVarToVal</a>(lhs) || !<a class="code" href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">inVarToVal</a>(rhs)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
845
- <div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; <span class="keywordflow">return</span> eq((*<span class="keyword">this</span>)[lhs], (*<span class="keyword">this</span>)[rhs]);</div>
846
- <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; }</div>
846
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00175">175</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
847
+ <div class="fragment"><div class="line"><a name="l00176"></a><span class="lineno"> 176</span>&#160; {</div>
848
+ <div class="line"><a name="l00177"></a><span class="lineno"> 177</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">inVarToVal</a>(lhs) || !<a class="code" href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">inVarToVal</a>(rhs)) <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
849
+ <div class="line"><a name="l00178"></a><span class="lineno"> 178</span>&#160; <span class="keywordflow">return</span> eq((*<span class="keyword">this</span>)[lhs], (*<span class="keyword">this</span>)[rhs]);</div>
850
+ <div class="line"><a name="l00179"></a><span class="lineno"> 179</span>&#160; }</div>
847
851
  </div><!-- fragment -->
848
852
  </div>
849
853
  </div>
@@ -931,10 +935,10 @@ Additional Inherited Members</h2></td></tr>
931
935
  </table>
932
936
  </div><div class="memdoc">
933
937
 
934
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00370">370</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
935
- <div class="fragment"><div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; {</div>
936
- <div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().bool_val(<span class="keyword">false</span>);</div>
937
- <div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; }</div>
938
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00372">372</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
939
+ <div class="fragment"><div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; {</div>
940
+ <div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().bool_val(<span class="keyword">false</span>);</div>
941
+ <div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; }</div>
938
942
  </div><!-- fragment -->
939
943
  </div>
940
944
  </div>
@@ -961,10 +965,10 @@ Additional Inherited Members</h2></td></tr>
961
965
  </table>
962
966
  </div><div class="memdoc">
963
967
 
964
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00355">355</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
965
- <div class="fragment"><div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; {</div>
966
- <div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().int_val(1);</div>
967
- <div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; }</div>
968
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00357">357</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
969
+ <div class="fragment"><div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; {</div>
970
+ <div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().int_val(1);</div>
971
+ <div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; }</div>
968
972
  </div><!-- fragment -->
969
973
  </div>
970
974
  </div>
@@ -991,10 +995,10 @@ Additional Inherited Members</h2></td></tr>
991
995
  </table>
992
996
  </div><div class="memdoc">
993
997
 
994
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00360">360</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
995
- <div class="fragment"><div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; {</div>
996
- <div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().int_val(0);</div>
997
- <div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; }</div>
998
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00362">362</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
999
+ <div class="fragment"><div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; {</div>
1000
+ <div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().int_val(0);</div>
1001
+ <div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; }</div>
998
1002
  </div><!-- fragment -->
999
1003
  </div>
1000
1004
  </div>
@@ -1021,10 +1025,10 @@ Additional Inherited Members</h2></td></tr>
1021
1025
  </table>
1022
1026
  </div><div class="memdoc">
1023
1027
 
1024
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00344">344</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1025
- <div class="fragment"><div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; {</div>
1026
- <div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>;</div>
1027
- <div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; }</div>
1028
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00346">346</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1029
+ <div class="fragment"><div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; {</div>
1030
+ <div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>;</div>
1031
+ <div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; }</div>
1028
1032
  </div><!-- fragment -->
1029
1033
  </div>
1030
1034
  </div>
@@ -1074,10 +1078,10 @@ Additional Inherited Members</h2></td></tr>
1074
1078
  </table>
1075
1079
  </div><div class="memdoc">
1076
1080
 
1077
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00365">365</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1078
- <div class="fragment"><div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160; {</div>
1079
- <div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().bool_val(<span class="keyword">true</span>);</div>
1080
- <div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; }</div>
1081
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00367">367</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1082
+ <div class="fragment"><div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160; {</div>
1083
+ <div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a35a28ef0a8acd14f44e6755eff424d9d">getContext</a>().bool_val(<span class="keyword">true</span>);</div>
1084
+ <div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160; }</div>
1081
1085
  </div><!-- fragment -->
1082
1086
  </div>
1083
1087
  </div>
@@ -1107,12 +1111,12 @@ Additional Inherited Members</h2></td></tr>
1107
1111
 
1108
1112
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#a789f023e4b5938324993b37021265f53">SVF::ExeState</a>.</p>
1109
1113
 
1110
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00196">196</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1111
- <div class="fragment"><div class="line"><a name="l00197"></a><span class="lineno"> 197</span>&#160; {</div>
1112
- <div class="line"><a name="l00198"></a><span class="lineno"> 198</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>);</div>
1113
- <div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end()) <span class="keywordflow">return</span> it-&gt;second;</div>
1114
- <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>[id];</div>
1115
- <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; }</div>
1114
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00198">198</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1115
+ <div class="fragment"><div class="line"><a name="l00199"></a><span class="lineno"> 199</span>&#160; {</div>
1116
+ <div class="line"><a name="l00200"></a><span class="lineno"> 200</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>);</div>
1117
+ <div class="line"><a name="l00201"></a><span class="lineno"> 201</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end()) <span class="keywordflow">return</span> it-&gt;second;</div>
1118
+ <div class="line"><a name="l00202"></a><span class="lineno"> 202</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>[id];</div>
1119
+ <div class="line"><a name="l00203"></a><span class="lineno"> 203</span>&#160; }</div>
1116
1120
  </div><!-- fragment -->
1117
1121
  </div>
1118
1122
  </div>
@@ -1139,10 +1143,10 @@ Additional Inherited Members</h2></td></tr>
1139
1143
  </table>
1140
1144
  </div><div class="memdoc">
1141
1145
 
1142
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00339">339</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1143
- <div class="fragment"><div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; {</div>
1144
- <div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>;</div>
1145
- <div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; }</div>
1146
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00341">341</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1147
+ <div class="fragment"><div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; {</div>
1148
+ <div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>;</div>
1149
+ <div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; }</div>
1146
1150
  </div><!-- fragment -->
1147
1151
  </div>
1148
1152
  </div>
@@ -1221,12 +1225,12 @@ Additional Inherited Members</h2></td></tr>
1221
1225
 
1222
1226
  <p>Empty execution state with a true path constraint. </p>
1223
1227
 
1224
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00321">321</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1225
- <div class="fragment"><div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160; {</div>
1226
- <div class="line"><a name="l00323"></a><span class="lineno"> 323</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">VarToValMap</a> mp;</div>
1227
- <div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">ConsExeState</a> exeState(mp, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(mp));</div>
1228
- <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exeState);</div>
1229
- <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; }</div>
1228
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00323">323</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1229
+ <div class="fragment"><div class="line"><a name="l00324"></a><span class="lineno"> 324</span>&#160; {</div>
1230
+ <div class="line"><a name="l00325"></a><span class="lineno"> 325</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">VarToValMap</a> mp;</div>
1231
+ <div class="line"><a name="l00326"></a><span class="lineno"> 326</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">ConsExeState</a> exeState(mp, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(mp));</div>
1232
+ <div class="line"><a name="l00327"></a><span class="lineno"> 327</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exeState);</div>
1233
+ <div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; }</div>
1230
1234
  </div><!-- fragment -->
1231
1235
  </div>
1232
1236
  </div>
@@ -1254,10 +1258,10 @@ Additional Inherited Members</h2></td></tr>
1254
1258
  </table>
1255
1259
  </div><div class="memdoc">
1256
1260
 
1257
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00191">191</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1258
- <div class="fragment"><div class="line"><a name="l00192"></a><span class="lineno"> 192</span>&#160; {</div>
1259
- <div class="line"><a name="l00193"></a><span class="lineno"> 193</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end();</div>
1260
- <div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; }</div>
1261
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00193">193</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1262
+ <div class="fragment"><div class="line"><a name="l00194"></a><span class="lineno"> 194</span>&#160; {</div>
1263
+ <div class="line"><a name="l00195"></a><span class="lineno"> 195</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end();</div>
1264
+ <div class="line"><a name="l00196"></a><span class="lineno"> 196</span>&#160; }</div>
1261
1265
  </div><!-- fragment -->
1262
1266
  </div>
1263
1267
  </div>
@@ -1285,15 +1289,15 @@ Additional Inherited Members</h2></td></tr>
1285
1289
  </table>
1286
1290
  </div><div class="memdoc">
1287
1291
 
1288
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00153">153</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1289
- <div class="fragment"><div class="line"><a name="l00154"></a><span class="lineno"> 154</span>&#160; {</div>
1290
- <div class="line"><a name="l00155"></a><span class="lineno"> 155</span>&#160; assert(loc.is_numeral() &amp;&amp; <span class="stringliteral">&quot;location must be numeral&quot;</span>);</div>
1291
- <div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> virAddr = <a class="code" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">z3Expr2NumValue</a>(loc);</div>
1292
- <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(virAddr) &amp;&amp; <span class="stringliteral">&quot;Pointer operand is not a physical address?&quot;</span>);</div>
1293
- <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(virAddr);</div>
1294
- <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(objId) == objId &amp;&amp; <span class="stringliteral">&quot;SVFVar idx overflow &gt; 0x7f000000?&quot;</span>);</div>
1295
- <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">inLocalLocToVal</a>(objId);</div>
1296
- <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; }</div>
1292
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00155">155</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1293
+ <div class="fragment"><div class="line"><a name="l00156"></a><span class="lineno"> 156</span>&#160; {</div>
1294
+ <div class="line"><a name="l00157"></a><span class="lineno"> 157</span>&#160; assert(loc.is_numeral() &amp;&amp; <span class="stringliteral">&quot;location must be numeral&quot;</span>);</div>
1295
+ <div class="line"><a name="l00158"></a><span class="lineno"> 158</span>&#160; <a class="code" href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">s32_t</a> virAddr = <a class="code" href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">z3Expr2NumValue</a>(loc);</div>
1296
+ <div class="line"><a name="l00159"></a><span class="lineno"> 159</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(virAddr) &amp;&amp; <span class="stringliteral">&quot;Pointer operand is not a physical address?&quot;</span>);</div>
1297
+ <div class="line"><a name="l00160"></a><span class="lineno"> 160</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(virAddr);</div>
1298
+ <div class="line"><a name="l00161"></a><span class="lineno"> 161</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(objId) == objId &amp;&amp; <span class="stringliteral">&quot;SVFVar idx overflow &gt; 0x7f000000?&quot;</span>);</div>
1299
+ <div class="line"><a name="l00162"></a><span class="lineno"> 162</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">inLocalLocToVal</a>(objId);</div>
1300
+ <div class="line"><a name="l00163"></a><span class="lineno"> 163</span>&#160; }</div>
1297
1301
  </div><!-- fragment -->
1298
1302
  </div>
1299
1303
  </div>
@@ -1321,10 +1325,10 @@ Additional Inherited Members</h2></td></tr>
1321
1325
  </table>
1322
1326
  </div><div class="memdoc">
1323
1327
 
1324
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00163">163</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1325
- <div class="fragment"><div class="line"><a name="l00164"></a><span class="lineno"> 164</span>&#160; {</div>
1326
- <div class="line"><a name="l00165"></a><span class="lineno"> 165</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.count(varId);</div>
1327
- <div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; }</div>
1328
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00165">165</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1329
+ <div class="fragment"><div class="line"><a name="l00166"></a><span class="lineno"> 166</span>&#160; {</div>
1330
+ <div class="line"><a name="l00167"></a><span class="lineno"> 167</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.count(varId);</div>
1331
+ <div class="line"><a name="l00168"></a><span class="lineno"> 168</span>&#160; }</div>
1328
1332
  </div><!-- fragment -->
1329
1333
  </div>
1330
1334
  </div>
@@ -1354,10 +1358,10 @@ Additional Inherited Members</h2></td></tr>
1354
1358
 
1355
1359
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#a54168f48a6c1fe983d20efce06a35710">SVF::ExeState</a>.</p>
1356
1360
 
1357
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00186">186</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1358
- <div class="fragment"><div class="line"><a name="l00187"></a><span class="lineno"> 187</span>&#160; {</div>
1359
- <div class="line"><a name="l00188"></a><span class="lineno"> 188</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end() || <a class="code" href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">inLocalLocToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
1360
- <div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; }</div>
1361
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00188">188</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1362
+ <div class="fragment"><div class="line"><a name="l00189"></a><span class="lineno"> 189</span>&#160; {</div>
1363
+ <div class="line"><a name="l00190"></a><span class="lineno"> 190</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end() || <a class="code" href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">inLocalLocToAddrsTable</a>(<span class="keywordtype">id</span>);</div>
1364
+ <div class="line"><a name="l00191"></a><span class="lineno"> 191</span>&#160; }</div>
1361
1365
  </div><!-- fragment -->
1362
1366
  </div>
1363
1367
  </div>
@@ -1385,10 +1389,10 @@ Additional Inherited Members</h2></td></tr>
1385
1389
  </table>
1386
1390
  </div><div class="memdoc">
1387
1391
 
1388
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00168">168</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1389
- <div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno"> 169</span>&#160; {</div>
1390
- <div class="line"><a name="l00170"></a><span class="lineno"> 170</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">inLocalLocToVal</a>(varId) || <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.count(varId);</div>
1391
- <div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; }</div>
1392
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00170">170</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1393
+ <div class="fragment"><div class="line"><a name="l00171"></a><span class="lineno"> 171</span>&#160; {</div>
1394
+ <div class="line"><a name="l00172"></a><span class="lineno"> 172</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">inLocalLocToVal</a>(varId) || <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.count(varId);</div>
1395
+ <div class="line"><a name="l00173"></a><span class="lineno"> 173</span>&#160; }</div>
1392
1396
  </div><!-- fragment -->
1393
1397
  </div>
1394
1398
  </div>
@@ -1418,11 +1422,11 @@ Additional Inherited Members</h2></td></tr>
1418
1422
 
1419
1423
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#a6dfff6d4302faeb80c78a512f32b529f">SVF::ExeState</a>.</p>
1420
1424
 
1421
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00180">180</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1422
- <div class="fragment"><div class="line"><a name="l00181"></a><span class="lineno"> 181</span>&#160; {</div>
1423
- <div class="line"><a name="l00182"></a><span class="lineno"> 182</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end() ||</div>
1424
- <div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end();</div>
1425
- <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; }</div>
1425
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00182">182</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1426
+ <div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno"> 183</span>&#160; {</div>
1427
+ <div class="line"><a name="l00184"></a><span class="lineno"> 184</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end() ||</div>
1428
+ <div class="line"><a name="l00185"></a><span class="lineno"> 185</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(<span class="keywordtype">id</span>) != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end();</div>
1429
+ <div class="line"><a name="l00186"></a><span class="lineno"> 186</span>&#160; }</div>
1426
1430
  </div><!-- fragment -->
1427
1431
  </div>
1428
1432
  </div>
@@ -1450,10 +1454,10 @@ Additional Inherited Members</h2></td></tr>
1450
1454
  </table>
1451
1455
  </div><div class="memdoc">
1452
1456
 
1453
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00148">148</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1454
- <div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno"> 149</span>&#160; {</div>
1455
- <div class="line"><a name="l00150"></a><span class="lineno"> 150</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.count(varId) || <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.count(varId);</div>
1456
- <div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; }</div>
1457
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00150">150</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1458
+ <div class="fragment"><div class="line"><a name="l00151"></a><span class="lineno"> 151</span>&#160; {</div>
1459
+ <div class="line"><a name="l00152"></a><span class="lineno"> 152</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.count(varId) || <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.count(varId);</div>
1460
+ <div class="line"><a name="l00153"></a><span class="lineno"> 153</span>&#160; }</div>
1457
1461
  </div><!-- fragment -->
1458
1462
  </div>
1459
1463
  </div>
@@ -1482,10 +1486,10 @@ Additional Inherited Members</h2></td></tr>
1482
1486
 
1483
1487
  <p>Whether state is null state (uninitialized state) </p>
1484
1488
 
1485
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00125">125</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1486
- <div class="fragment"><div class="line"><a name="l00126"></a><span class="lineno"> 126</span>&#160; {</div>
1487
- <div class="line"><a name="l00127"></a><span class="lineno"> 127</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.size() == 1 &amp;&amp; eq((*<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.begin()).second, -1) &amp;&amp; <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.empty();</div>
1488
- <div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; }</div>
1489
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00127">127</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1490
+ <div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno"> 128</span>&#160; {</div>
1491
+ <div class="line"><a name="l00129"></a><span class="lineno"> 129</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.size() == 1 &amp;&amp; eq((*<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.begin()).second, -1) &amp;&amp; <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>.empty();</div>
1492
+ <div class="line"><a name="l00130"></a><span class="lineno"> 130</span>&#160; }</div>
1489
1493
  </div><!-- fragment -->
1490
1494
  </div>
1491
1495
  </div>
@@ -1764,28 +1768,28 @@ Additional Inherited Members</h2></td></tr>
1764
1768
 
1765
1769
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#a3c1ea75e3a97aa18d4d10a85c1829d83">SVF::ExeState</a>.</p>
1766
1770
 
1767
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00203">203</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1768
- <div class="fragment"><div class="line"><a name="l00204"></a><span class="lineno"> 204</span>&#160; {</div>
1769
- <div class="line"><a name="l00205"></a><span class="lineno"> 205</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
1770
- <div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
1771
- <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1772
- <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1773
- <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; {</div>
1774
- <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
1775
- <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; }</div>
1776
- <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">else</span></div>
1777
- <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; {</div>
1778
- <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1779
- <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; <span class="keywordflow">if</span> (globIt != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1780
- <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; {</div>
1781
- <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">return</span> globIt-&gt;second;</div>
1782
- <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; }</div>
1783
- <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">else</span></div>
1784
- <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; {</div>
1785
- <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096">getVAddrs</a>(0);</div>
1786
- <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; }</div>
1787
- <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; }</div>
1788
- <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
1771
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00205">205</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1772
+ <div class="fragment"><div class="line"><a name="l00206"></a><span class="lineno"> 206</span>&#160; {</div>
1773
+ <div class="line"><a name="l00207"></a><span class="lineno"> 207</span>&#160; assert(<a class="code" href="classSVF_1_1ExeState.html#abfaad70395d9f4416f297887c84f7df4">isVirtualMemAddress</a>(addr) &amp;&amp; <span class="stringliteral">&quot;not virtual address?&quot;</span>);</div>
1774
+ <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160; <a class="code" href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a> objId = <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr);</div>
1775
+ <div class="line"><a name="l00209"></a><span class="lineno"> 209</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1776
+ <div class="line"><a name="l00210"></a><span class="lineno"> 210</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1777
+ <div class="line"><a name="l00211"></a><span class="lineno"> 211</span>&#160; {</div>
1778
+ <div class="line"><a name="l00212"></a><span class="lineno"> 212</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
1779
+ <div class="line"><a name="l00213"></a><span class="lineno"> 213</span>&#160; }</div>
1780
+ <div class="line"><a name="l00214"></a><span class="lineno"> 214</span>&#160; <span class="keywordflow">else</span></div>
1781
+ <div class="line"><a name="l00215"></a><span class="lineno"> 215</span>&#160; {</div>
1782
+ <div class="line"><a name="l00216"></a><span class="lineno"> 216</span>&#160; <span class="keyword">auto</span> globIt = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1783
+ <div class="line"><a name="l00217"></a><span class="lineno"> 217</span>&#160; <span class="keywordflow">if</span> (globIt != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1784
+ <div class="line"><a name="l00218"></a><span class="lineno"> 218</span>&#160; {</div>
1785
+ <div class="line"><a name="l00219"></a><span class="lineno"> 219</span>&#160; <span class="keywordflow">return</span> globIt-&gt;second;</div>
1786
+ <div class="line"><a name="l00220"></a><span class="lineno"> 220</span>&#160; }</div>
1787
+ <div class="line"><a name="l00221"></a><span class="lineno"> 221</span>&#160; <span class="keywordflow">else</span></div>
1788
+ <div class="line"><a name="l00222"></a><span class="lineno"> 222</span>&#160; {</div>
1789
+ <div class="line"><a name="l00223"></a><span class="lineno"> 223</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096">getVAddrs</a>(0);</div>
1790
+ <div class="line"><a name="l00224"></a><span class="lineno"> 224</span>&#160; }</div>
1791
+ <div class="line"><a name="l00225"></a><span class="lineno"> 225</span>&#160; }</div>
1792
+ <div class="line"><a name="l00226"></a><span class="lineno"> 226</span>&#160; }</div>
1789
1793
  </div><!-- fragment -->
1790
1794
  </div>
1791
1795
  </div>
@@ -1815,52 +1819,52 @@ Additional Inherited Members</h2></td></tr>
1815
1819
 
1816
1820
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#ad2f921623e41209c6702534c98431403">SVF::ExeState</a>.</p>
1817
1821
 
1818
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00273">273</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1819
- <div class="fragment"><div class="line"><a name="l00274"></a><span class="lineno"> 274</span>&#160; {</div>
1820
- <div class="line"><a name="l00275"></a><span class="lineno"> 275</span>&#160; std::stringstream exprName;</div>
1821
- <div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1822
- <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1823
- <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; {</div>
1824
- <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keyword">auto</span> git = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1825
- <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; <span class="keywordflow">if</span> (git == <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1826
- <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Obj not in locToVal!\n&quot;</span>;</div>
1827
- <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">else</span></div>
1828
- <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; {</div>
1829
- <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = git-&gt;second;</div>
1830
- <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
1831
- <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; {</div>
1832
- <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1833
- <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; }</div>
1834
- <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; <span class="keywordflow">else</span></div>
1835
- <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; {</div>
1836
- <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
1837
- <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
1838
- <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; {</div>
1839
- <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1840
- <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; }</div>
1841
- <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1842
- <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
1843
- <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; }</div>
1844
- <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div>
1845
- <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; <span class="keywordflow">else</span></div>
1846
- <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; {</div>
1847
- <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
1848
- <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
1849
- <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; {</div>
1850
- <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1851
- <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; }</div>
1852
- <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; <span class="keywordflow">else</span></div>
1853
- <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; {</div>
1854
- <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
1855
- <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
1856
- <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; {</div>
1857
- <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1858
- <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; }</div>
1859
- <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1860
- <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
1861
- <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; }</div>
1862
- <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
1863
- <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; }</div>
1822
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00275">275</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1823
+ <div class="fragment"><div class="line"><a name="l00276"></a><span class="lineno"> 276</span>&#160; {</div>
1824
+ <div class="line"><a name="l00277"></a><span class="lineno"> 277</span>&#160; std::stringstream exprName;</div>
1825
+ <div class="line"><a name="l00278"></a><span class="lineno"> 278</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1826
+ <div class="line"><a name="l00279"></a><span class="lineno"> 279</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1827
+ <div class="line"><a name="l00280"></a><span class="lineno"> 280</span>&#160; {</div>
1828
+ <div class="line"><a name="l00281"></a><span class="lineno"> 281</span>&#160; <span class="keyword">auto</span> git = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.find(objId);</div>
1829
+ <div class="line"><a name="l00282"></a><span class="lineno"> 282</span>&#160; <span class="keywordflow">if</span> (git == <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>.end())</div>
1830
+ <div class="line"><a name="l00283"></a><span class="lineno"> 283</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Obj not in locToVal!\n&quot;</span>;</div>
1831
+ <div class="line"><a name="l00284"></a><span class="lineno"> 284</span>&#160; <span class="keywordflow">else</span></div>
1832
+ <div class="line"><a name="l00285"></a><span class="lineno"> 285</span>&#160; {</div>
1833
+ <div class="line"><a name="l00286"></a><span class="lineno"> 286</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = git-&gt;second;</div>
1834
+ <div class="line"><a name="l00287"></a><span class="lineno"> 287</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
1835
+ <div class="line"><a name="l00288"></a><span class="lineno"> 288</span>&#160; {</div>
1836
+ <div class="line"><a name="l00289"></a><span class="lineno"> 289</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1837
+ <div class="line"><a name="l00290"></a><span class="lineno"> 290</span>&#160; }</div>
1838
+ <div class="line"><a name="l00291"></a><span class="lineno"> 291</span>&#160; <span class="keywordflow">else</span></div>
1839
+ <div class="line"><a name="l00292"></a><span class="lineno"> 292</span>&#160; {</div>
1840
+ <div class="line"><a name="l00293"></a><span class="lineno"> 293</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
1841
+ <div class="line"><a name="l00294"></a><span class="lineno"> 294</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
1842
+ <div class="line"><a name="l00295"></a><span class="lineno"> 295</span>&#160; {</div>
1843
+ <div class="line"><a name="l00296"></a><span class="lineno"> 296</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1844
+ <div class="line"><a name="l00297"></a><span class="lineno"> 297</span>&#160; }</div>
1845
+ <div class="line"><a name="l00298"></a><span class="lineno"> 298</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1846
+ <div class="line"><a name="l00299"></a><span class="lineno"> 299</span>&#160; }</div>
1847
+ <div class="line"><a name="l00300"></a><span class="lineno"> 300</span>&#160; }</div>
1848
+ <div class="line"><a name="l00301"></a><span class="lineno"> 301</span>&#160; }</div>
1849
+ <div class="line"><a name="l00302"></a><span class="lineno"> 302</span>&#160; <span class="keywordflow">else</span></div>
1850
+ <div class="line"><a name="l00303"></a><span class="lineno"> 303</span>&#160; {</div>
1851
+ <div class="line"><a name="l00304"></a><span class="lineno"> 304</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
1852
+ <div class="line"><a name="l00305"></a><span class="lineno"> 305</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
1853
+ <div class="line"><a name="l00306"></a><span class="lineno"> 306</span>&#160; {</div>
1854
+ <div class="line"><a name="l00307"></a><span class="lineno"> 307</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1855
+ <div class="line"><a name="l00308"></a><span class="lineno"> 308</span>&#160; }</div>
1856
+ <div class="line"><a name="l00309"></a><span class="lineno"> 309</span>&#160; <span class="keywordflow">else</span></div>
1857
+ <div class="line"><a name="l00310"></a><span class="lineno"> 310</span>&#160; {</div>
1858
+ <div class="line"><a name="l00311"></a><span class="lineno"> 311</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
1859
+ <div class="line"><a name="l00312"></a><span class="lineno"> 312</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
1860
+ <div class="line"><a name="l00313"></a><span class="lineno"> 313</span>&#160; {</div>
1861
+ <div class="line"><a name="l00314"></a><span class="lineno"> 314</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
1862
+ <div class="line"><a name="l00315"></a><span class="lineno"> 315</span>&#160; }</div>
1863
+ <div class="line"><a name="l00316"></a><span class="lineno"> 316</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
1864
+ <div class="line"><a name="l00317"></a><span class="lineno"> 317</span>&#160; }</div>
1865
+ <div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; }</div>
1866
+ <div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
1867
+ <div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; }</div>
1864
1868
  </div><!-- fragment -->
1865
1869
  </div>
1866
1870
  </div>
@@ -1965,18 +1969,18 @@ Additional Inherited Members</h2></td></tr>
1965
1969
 
1966
1970
  <p>Empty execution state with a null expr. </p>
1967
1971
 
1968
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00329">329</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1969
- <div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; {</div>
1970
- <div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">VarToValMap</a> mp;</div>
1971
- <div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">ConsExeState</a> exeState(mp, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(mp));</div>
1972
- <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; exeState._varToVal[<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>()] = -1;</div>
1973
- <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exeState);</div>
1974
- <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; }</div>
1972
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00331">331</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
1973
+ <div class="fragment"><div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; {</div>
1974
+ <div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">VarToValMap</a> mp;</div>
1975
+ <div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <a class="code" href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">ConsExeState</a> exeState(mp, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(mp));</div>
1976
+ <div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; exeState._varToVal[<a class="code" href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">PAG::getPAG</a>()-&gt;<a class="code" href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">getNullPtr</a>()] = -1;</div>
1977
+ <div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exeState);</div>
1978
+ <div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; }</div>
1975
1979
  </div><!-- fragment -->
1976
1980
  </div>
1977
1981
  </div>
1978
1982
  <a id="a24e9becca0339056ba900ee35ab882f3"></a>
1979
- <h2 class="memtitle"><span class="permalink"><a href="#a24e9becca0339056ba900ee35ab882f3">&#9670;&nbsp;</a></span>operator!=()</h2>
1983
+ <h2 class="memtitle"><span class="permalink"><a href="#a24e9becca0339056ba900ee35ab882f3">&#9670;&nbsp;</a></span>operator!=() <span class="overload">[1/2]</span></h2>
1980
1984
 
1981
1985
  <div class="memitem">
1982
1986
  <div class="memproto">
@@ -1999,10 +2003,37 @@ Additional Inherited Members</h2></td></tr>
1999
2003
  </table>
2000
2004
  </div><div class="memdoc">
2001
2005
 
2002
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00106">106</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2003
- <div class="fragment"><div class="line"><a name="l00107"></a><span class="lineno"> 107</span>&#160; {</div>
2004
- <div class="line"><a name="l00108"></a><span class="lineno"> 108</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == other);</div>
2005
- <div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; }</div>
2006
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00108">108</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2007
+ <div class="fragment"><div class="line"><a name="l00109"></a><span class="lineno"> 109</span>&#160; {</div>
2008
+ <div class="line"><a name="l00110"></a><span class="lineno"> 110</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == other);</div>
2009
+ <div class="line"><a name="l00111"></a><span class="lineno"> 111</span>&#160; }</div>
2010
+ </div><!-- fragment -->
2011
+ </div>
2012
+ </div>
2013
+ <a id="ab828094e1026046814c1e3d44d3f084c"></a>
2014
+ <h2 class="memtitle"><span class="permalink"><a href="#ab828094e1026046814c1e3d44d3f084c">&#9670;&nbsp;</a></span>operator!=() <span class="overload">[2/2]</span></h2>
2015
+
2016
+ <div class="memitem">
2017
+ <div class="memproto">
2018
+ <table class="mlabels">
2019
+ <tr>
2020
+ <td class="mlabels-left">
2021
+ <table class="memname">
2022
+ <tr>
2023
+ <td class="memname">virtual bool SVF::ExeState::operator!=</td>
2024
+ </tr>
2025
+ </table>
2026
+ </td>
2027
+ <td class="mlabels-right">
2028
+ <span class="mlabels"><span class="mlabel">inline</span></span> </td>
2029
+ </tr>
2030
+ </table>
2031
+ </div><div class="memdoc">
2032
+
2033
+ <p class="definition">Definition at line <a class="el" href="ExeState_8h_source.html#l00095">95</a> of file <a class="el" href="ExeState_8h_source.html">ExeState.h</a>.</p>
2034
+ <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno"> 96</span>&#160; {</div>
2035
+ <div class="line"><a name="l00097"></a><span class="lineno"> 97</span>&#160; <span class="keywordflow">return</span> !(*<span class="keyword">this</span> == rhs);</div>
2036
+ <div class="line"><a name="l00098"></a><span class="lineno"> 98</span>&#160; }</div>
2006
2037
  </div><!-- fragment -->
2007
2038
  </div>
2008
2039
  </div>
@@ -2124,7 +2155,7 @@ Additional Inherited Members</h2></td></tr>
2124
2155
  </div>
2125
2156
  </div>
2126
2157
  <a id="ae708165c762328232dab128e27a62f30"></a>
2127
- <h2 class="memtitle"><span class="permalink"><a href="#ae708165c762328232dab128e27a62f30">&#9670;&nbsp;</a></span>operator==()</h2>
2158
+ <h2 class="memtitle"><span class="permalink"><a href="#ae708165c762328232dab128e27a62f30">&#9670;&nbsp;</a></span>operator==() <span class="overload">[1/2]</span></h2>
2128
2159
 
2129
2160
  <div class="memitem">
2130
2161
  <div class="memproto">
@@ -2157,6 +2188,25 @@ Additional Inherited Members</h2></td></tr>
2157
2188
  </div><!-- fragment -->
2158
2189
  </div>
2159
2190
  </div>
2191
+ <a id="a0e4c8a41aa861ff2862d8b620c902f21"></a>
2192
+ <h2 class="memtitle"><span class="permalink"><a href="#a0e4c8a41aa861ff2862d8b620c902f21">&#9670;&nbsp;</a></span>operator==() <span class="overload">[2/2]</span></h2>
2193
+
2194
+ <div class="memitem">
2195
+ <div class="memproto">
2196
+ <table class="memname">
2197
+ <tr>
2198
+ <td class="memname">bool ExeState::operator==</td>
2199
+ </tr>
2200
+ </table>
2201
+ </div><div class="memdoc">
2202
+
2203
+ <p class="definition">Definition at line <a class="el" href="ExeState_8cpp_source.html#l00035">35</a> of file <a class="el" href="ExeState_8cpp_source.html">ExeState.cpp</a>.</p>
2204
+ <div class="fragment"><div class="line"><a name="l00036"></a><span class="lineno"> 36</span>&#160;{</div>
2205
+ <div class="line"><a name="l00037"></a><span class="lineno"> 37</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">eqVarToVAddrs</a>(<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>, rhs._varToVAddrs) &amp;&amp; <a class="code" href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">eqVarToVAddrs</a>(<a class="code" href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">_locToVAddrs</a>, rhs._locToVAddrs);</div>
2206
+ <div class="line"><a name="l00038"></a><span class="lineno"> 38</span>&#160;}</div>
2207
+ </div><!-- fragment -->
2208
+ </div>
2209
+ </div>
2160
2210
  <a id="a22e7ec17139695a1ae73bd058aa78e36"></a>
2161
2211
  <h2 class="memtitle"><span class="permalink"><a href="#a22e7ec17139695a1ae73bd058aa78e36">&#9670;&nbsp;</a></span>operator[]()</h2>
2162
2212
 
@@ -2181,14 +2231,14 @@ Additional Inherited Members</h2></td></tr>
2181
2231
  </table>
2182
2232
  </div><div class="memdoc">
2183
2233
 
2184
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00376">376</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2185
- <div class="fragment"><div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; {</div>
2186
- <div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.find(varId);</div>
2187
- <div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.end())</div>
2188
- <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
2189
- <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">else</span></div>
2190
- <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId];</div>
2191
- <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; }</div>
2234
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00378">378</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2235
+ <div class="fragment"><div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; {</div>
2236
+ <div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.find(varId);</div>
2237
+ <div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>.end())</div>
2238
+ <div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; <span class="keywordflow">return</span> it-&gt;second;</div>
2239
+ <div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordflow">else</span></div>
2240
+ <div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">_varToVal</a>[varId];</div>
2241
+ <div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; }</div>
2192
2242
  </div><!-- fragment -->
2193
2243
  </div>
2194
2244
  </div>
@@ -2425,17 +2475,17 @@ Additional Inherited Members</h2></td></tr>
2425
2475
  </table>
2426
2476
  </div><div class="memdoc">
2427
2477
 
2428
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00417">417</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2429
- <div class="fragment"><div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; {</div>
2430
- <div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160; SingleAbsValue &amp;lhs = <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>[objId];</div>
2431
- <div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; <span class="keywordflow">if</span> (!eq(lhs, z3Expr.simplify()))</div>
2432
- <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; {</div>
2433
- <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; lhs = z3Expr.simplify();</div>
2434
- <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
2435
- <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; }</div>
2436
- <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">else</span></div>
2437
- <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2438
- <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; }</div>
2478
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00419">419</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2479
+ <div class="fragment"><div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; {</div>
2480
+ <div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160; SingleAbsValue &amp;lhs = <a class="code" href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">_locToVal</a>[objId];</div>
2481
+ <div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; <span class="keywordflow">if</span> (!eq(lhs, z3Expr.simplify()))</div>
2482
+ <div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160; {</div>
2483
+ <div class="line"><a name="l00424"></a><span class="lineno"> 424</span>&#160; lhs = z3Expr.simplify();</div>
2484
+ <div class="line"><a name="l00425"></a><span class="lineno"> 425</span>&#160; <span class="keywordflow">return</span> <span class="keyword">true</span>;</div>
2485
+ <div class="line"><a name="l00426"></a><span class="lineno"> 426</span>&#160; }</div>
2486
+ <div class="line"><a name="l00427"></a><span class="lineno"> 427</span>&#160; <span class="keywordflow">else</span></div>
2487
+ <div class="line"><a name="l00428"></a><span class="lineno"> 428</span>&#160; <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
2488
+ <div class="line"><a name="l00429"></a><span class="lineno"> 429</span>&#160; }</div>
2439
2489
  </div><!-- fragment -->
2440
2490
  </div>
2441
2491
  </div>
@@ -2528,52 +2578,52 @@ Additional Inherited Members</h2></td></tr>
2528
2578
 
2529
2579
  <p>Reimplemented from <a class="el" href="classSVF_1_1ExeState.html#aa01e978f41f4134257b380994e3b8409">SVF::ExeState</a>.</p>
2530
2580
 
2531
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00226">226</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2532
- <div class="fragment"><div class="line"><a name="l00227"></a><span class="lineno"> 227</span>&#160; {</div>
2533
- <div class="line"><a name="l00228"></a><span class="lineno"> 228</span>&#160; std::stringstream exprName;</div>
2534
- <div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(varId);</div>
2535
- <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end())</div>
2536
- <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; {</div>
2537
- <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keyword">auto</span> git = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(varId);</div>
2538
- <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; <span class="keywordflow">if</span> (git == <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end())</div>
2539
- <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
2540
- <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">else</span></div>
2541
- <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; {</div>
2542
- <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = git-&gt;second;</div>
2543
- <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
2544
- <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; {</div>
2545
- <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2546
- <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; }</div>
2547
- <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; <span class="keywordflow">else</span></div>
2548
- <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; {</div>
2549
- <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
2550
- <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
2551
- <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; {</div>
2552
- <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
2553
- <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; }</div>
2554
- <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2555
- <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
2556
- <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; }</div>
2557
- <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; }</div>
2558
- <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; <span class="keywordflow">else</span></div>
2559
- <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; {</div>
2560
- <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
2561
- <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
2562
- <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; {</div>
2563
- <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2564
- <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; }</div>
2565
- <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; <span class="keywordflow">else</span></div>
2566
- <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; {</div>
2567
- <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
2568
- <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
2569
- <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; {</div>
2570
- <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
2571
- <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; }</div>
2572
- <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2573
- <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div>
2574
- <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; }</div>
2575
- <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
2576
- <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
2581
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00228">228</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2582
+ <div class="fragment"><div class="line"><a name="l00229"></a><span class="lineno"> 229</span>&#160; {</div>
2583
+ <div class="line"><a name="l00230"></a><span class="lineno"> 230</span>&#160; std::stringstream exprName;</div>
2584
+ <div class="line"><a name="l00231"></a><span class="lineno"> 231</span>&#160; <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(varId);</div>
2585
+ <div class="line"><a name="l00232"></a><span class="lineno"> 232</span>&#160; <span class="keywordflow">if</span> (it == <a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end())</div>
2586
+ <div class="line"><a name="l00233"></a><span class="lineno"> 233</span>&#160; {</div>
2587
+ <div class="line"><a name="l00234"></a><span class="lineno"> 234</span>&#160; <span class="keyword">auto</span> git = <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.find(varId);</div>
2588
+ <div class="line"><a name="l00235"></a><span class="lineno"> 235</span>&#160; <span class="keywordflow">if</span> (git == <a class="code" href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">globalConsES</a>.<a class="code" href="classSVF_1_1ExeState.html#a69895af213955ea1ba29812bfddcea66">_varToVAddrs</a>.end())</div>
2589
+ <div class="line"><a name="l00236"></a><span class="lineno"> 236</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;Var not in varToAddrs!\n&quot;</span>;</div>
2590
+ <div class="line"><a name="l00237"></a><span class="lineno"> 237</span>&#160; <span class="keywordflow">else</span></div>
2591
+ <div class="line"><a name="l00238"></a><span class="lineno"> 238</span>&#160; {</div>
2592
+ <div class="line"><a name="l00239"></a><span class="lineno"> 239</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = git-&gt;second;</div>
2593
+ <div class="line"><a name="l00240"></a><span class="lineno"> 240</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
2594
+ <div class="line"><a name="l00241"></a><span class="lineno"> 241</span>&#160; {</div>
2595
+ <div class="line"><a name="l00242"></a><span class="lineno"> 242</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2596
+ <div class="line"><a name="l00243"></a><span class="lineno"> 243</span>&#160; }</div>
2597
+ <div class="line"><a name="l00244"></a><span class="lineno"> 244</span>&#160; <span class="keywordflow">else</span></div>
2598
+ <div class="line"><a name="l00245"></a><span class="lineno"> 245</span>&#160; {</div>
2599
+ <div class="line"><a name="l00246"></a><span class="lineno"> 246</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
2600
+ <div class="line"><a name="l00247"></a><span class="lineno"> 247</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
2601
+ <div class="line"><a name="l00248"></a><span class="lineno"> 248</span>&#160; {</div>
2602
+ <div class="line"><a name="l00249"></a><span class="lineno"> 249</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
2603
+ <div class="line"><a name="l00250"></a><span class="lineno"> 250</span>&#160; }</div>
2604
+ <div class="line"><a name="l00251"></a><span class="lineno"> 251</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2605
+ <div class="line"><a name="l00252"></a><span class="lineno"> 252</span>&#160; }</div>
2606
+ <div class="line"><a name="l00253"></a><span class="lineno"> 253</span>&#160; }</div>
2607
+ <div class="line"><a name="l00254"></a><span class="lineno"> 254</span>&#160; }</div>
2608
+ <div class="line"><a name="l00255"></a><span class="lineno"> 255</span>&#160; <span class="keywordflow">else</span></div>
2609
+ <div class="line"><a name="l00256"></a><span class="lineno"> 256</span>&#160; {</div>
2610
+ <div class="line"><a name="l00257"></a><span class="lineno"> 257</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">VAddrs</a> &amp;vaddrs = it-&gt;second;</div>
2611
+ <div class="line"><a name="l00258"></a><span class="lineno"> 258</span>&#160; <span class="keywordflow">if</span> (vaddrs.size() == 1)</div>
2612
+ <div class="line"><a name="l00259"></a><span class="lineno"> 259</span>&#160; {</div>
2613
+ <div class="line"><a name="l00260"></a><span class="lineno"> 260</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span> &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(*vaddrs.begin()) &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2614
+ <div class="line"><a name="l00261"></a><span class="lineno"> 261</span>&#160; }</div>
2615
+ <div class="line"><a name="l00262"></a><span class="lineno"> 262</span>&#160; <span class="keywordflow">else</span></div>
2616
+ <div class="line"><a name="l00263"></a><span class="lineno"> 263</span>&#160; {</div>
2617
+ <div class="line"><a name="l00264"></a><span class="lineno"> 264</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;addr: {&quot;</span>;</div>
2618
+ <div class="line"><a name="l00265"></a><span class="lineno"> 265</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: vaddrs)</div>
2619
+ <div class="line"><a name="l00266"></a><span class="lineno"> 266</span>&#160; {</div>
2620
+ <div class="line"><a name="l00267"></a><span class="lineno"> 267</span>&#160; exprName &lt;&lt; std::dec &lt;&lt; <a class="code" href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">getInternalID</a>(addr) &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
2621
+ <div class="line"><a name="l00268"></a><span class="lineno"> 268</span>&#160; }</div>
2622
+ <div class="line"><a name="l00269"></a><span class="lineno"> 269</span>&#160; exprName &lt;&lt; <span class="stringliteral">&quot;}\n&quot;</span>;</div>
2623
+ <div class="line"><a name="l00270"></a><span class="lineno"> 270</span>&#160; }</div>
2624
+ <div class="line"><a name="l00271"></a><span class="lineno"> 271</span>&#160; }</div>
2625
+ <div class="line"><a name="l00272"></a><span class="lineno"> 272</span>&#160; <span class="keywordflow">return</span> <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVFUtil::move</a>(exprName.str());</div>
2626
+ <div class="line"><a name="l00273"></a><span class="lineno"> 273</span>&#160; }</div>
2577
2627
  </div><!-- fragment -->
2578
2628
  </div>
2579
2629
  </div>
@@ -2666,17 +2716,17 @@ Additional Inherited Members</h2></td></tr>
2666
2716
 
2667
2717
  <p>Return int value from an expression if it is a numeral, otherwise return an approximate value. </p>
2668
2718
 
2669
- <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00392">392</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2670
- <div class="fragment"><div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160; {</div>
2671
- <div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; assert(e.is_numeral() &amp;&amp; <span class="stringliteral">&quot;not numeral?&quot;</span>);</div>
2672
- <div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; int64_t i;</div>
2673
- <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <span class="keywordflow">if</span>(e.getExpr().is_numeral_i64(i))</div>
2674
- <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <span class="keywordflow">return</span> e.get_numeral_int64();</div>
2675
- <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">else</span></div>
2676
- <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; {</div>
2677
- <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">return</span> e.leq(0) ? INT32_MIN : INT32_MAX;</div>
2678
- <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; }</div>
2679
- <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; }</div>
2719
+ <p class="definition">Definition at line <a class="el" href="ConsExeState_8h_source.html#l00394">394</a> of file <a class="el" href="ConsExeState_8h_source.html">ConsExeState.h</a>.</p>
2720
+ <div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; {</div>
2721
+ <div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; assert(e.is_numeral() &amp;&amp; <span class="stringliteral">&quot;not numeral?&quot;</span>);</div>
2722
+ <div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; int64_t i;</div>
2723
+ <div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <span class="keywordflow">if</span>(e.getExpr().is_numeral_i64(i))</div>
2724
+ <div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <span class="keywordflow">return</span> e.get_numeral_int64();</div>
2725
+ <div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <span class="keywordflow">else</span></div>
2726
+ <div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; {</div>
2727
+ <div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <span class="keywordflow">return</span> e.leq(0) ? INT32_MIN : INT32_MAX;</div>
2728
+ <div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; }</div>
2729
+ <div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; }</div>
2680
2730
  </div><!-- fragment -->
2681
2731
  </div>
2682
2732
  </div>
@@ -2784,7 +2834,7 @@ Additional Inherited Members</h2></td></tr>
2784
2834
  </ul>
2785
2835
  </div><!-- contents -->
2786
2836
  <div class="ttc" id="aCommandLine_8h_html_a2429346d37bd4c40889bd7c6d319d9da"><div class="ttname"><a href="CommandLine_8h.html#a2429346d37bd4c40889bd7c6d319d9da">u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="CommandLine_8h_source.html#l00018">CommandLine.h:18</a></div></div>
2787
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_af8f2b698dd97793b0124cd5a4ac4d035"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">SVF::ConsExeState::inLocalLocToAddrsTable</a></div><div class="ttdeci">virtual bool inLocalLocToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00191">ConsExeState.h:191</a></div></div>
2837
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_af8f2b698dd97793b0124cd5a4ac4d035"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#af8f2b698dd97793b0124cd5a4ac4d035">SVF::ConsExeState::inLocalLocToAddrsTable</a></div><div class="ttdeci">virtual bool inLocalLocToAddrsTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00193">ConsExeState.h:193</a></div></div>
2788
2838
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a60464bebe5f257bbe1356eee149524c0"><div class="ttname"><a href="classSVF_1_1ExeState.html#a60464bebe5f257bbe1356eee149524c0">SVF::ExeState::joinWith</a></div><div class="ttdeci">bool joinWith(const ExeState &amp;other)</div><div class="ttdoc">Make all value join with the other.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00040">ExeState.cpp:40</a></div></div>
2789
2839
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a07b135c218f56fdab8ef8504190563df"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a07b135c218f56fdab8ef8504190563df">SVF::ConsExeState::_varToVal</a></div><div class="ttdeci">VarToValMap _varToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00058">ConsExeState.h:58</a></div></div>
2790
2840
  <div class="ttc" id="aclassSVF_1_1AddressValue_html_acad5216bdc02a234d57abfe9ae72a12a"><div class="ttname"><a href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">SVF::AddressValue::join_with</a></div><div class="ttdeci">bool join_with(const AddressValue &amp;other)</div><div class="ttdoc">Current AddressValue joins with another AddressValue.</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00139">AddressValue.h:139</a></div></div>
@@ -2799,9 +2849,10 @@ Additional Inherited Members</h2></td></tr>
2799
2849
  <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_aee10058065f8c8be04b6e27fb18b4a00"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#aee10058065f8c8be04b6e27fb18b4a00">SVF::SingleAbsValue::join_with</a></div><div class="ttdeci">void join_with(const SingleAbsValue &amp;other)</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00063">SingleAbsValue.h:63</a></div></div>
2800
2850
  <div class="ttc" id="astructSVF_1_1Hash_html"><div class="ttname"><a href="structSVF_1_1Hash.html">SVF::Hash</a></div><div class="ttdoc">provide extra hash function for std::pair handling</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00067">SVFType.h:67</a></div></div>
2801
2851
  <div class="ttc" id="aclassSVF_1_1ExeState_html_adb724bd1c3154368c629f4972c503d72"><div class="ttname"><a href="classSVF_1_1ExeState.html#adb724bd1c3154368c629f4972c503d72">SVF::ExeState::_locToVAddrs</a></div><div class="ttdeci">VarToVAddrs _locToVAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00173">ExeState.h:173</a></div></div>
2802
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a6205eb8ceaba400a2ad5a554abaed096"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096">SVF::ConsExeState::getVAddrs</a></div><div class="ttdeci">virtual VAddrs &amp; getVAddrs(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00196">ConsExeState.h:196</a></div></div>
2852
+ <div class="ttc" id="aclassSVF_1_1ExeState_html_ab809f545610434737c048dd005f9cd25"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab809f545610434737c048dd005f9cd25">SVF::ExeState::eqVarToVAddrs</a></div><div class="ttdeci">static bool eqVarToVAddrs(const VarToVAddrs &amp;lhs, const VarToVAddrs &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00177">ExeState.h:177</a></div></div>
2853
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a6205eb8ceaba400a2ad5a554abaed096"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a6205eb8ceaba400a2ad5a554abaed096">SVF::ConsExeState::getVAddrs</a></div><div class="ttdeci">virtual VAddrs &amp; getVAddrs(u32_t id) override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00198">ConsExeState.h:198</a></div></div>
2803
2854
  <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html_a70528ca5e4ad67b593104a7b2bba17c6"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html#a70528ca5e4ad67b593104a7b2bba17c6">SVF::SingleAbsValue::topConstant</a></div><div class="ttdeci">static SingleAbsValue topConstant()</div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00053">SingleAbsValue.h:53</a></div></div>
2804
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00339">ConsExeState.h:339</a></div></div>
2855
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a990f50ae338a2e332d333bb3fc04c520"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a990f50ae338a2e332d333bb3fc04c520">SVF::ConsExeState::getVarToVal</a></div><div class="ttdeci">const VarToValMap &amp; getVarToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00341">ConsExeState.h:341</a></div></div>
2805
2856
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ac3ea5c4d65fac8934276a1ad12c97d06"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ac3ea5c4d65fac8934276a1ad12c97d06">SVF::ConsExeState::globalConsES</a></div><div class="ttdeci">static ConsExeState globalConsES</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00055">ConsExeState.h:55</a></div></div>
2806
2857
  <div class="ttc" id="aclassSVF_1_1BoundedZ3Expr_html_ae1a0bc98b18563c87136dea2a60f67be"><div class="ttname"><a href="classSVF_1_1BoundedZ3Expr.html#ae1a0bc98b18563c87136dea2a60f67be">SVF::BoundedZ3Expr::is_zero</a></div><div class="ttdeci">bool is_zero() const</div><div class="ttdef"><b>Definition:</b> <a href="BoundedZ3Expr_8h_source.html#l00113">BoundedZ3Expr.h:113</a></div></div>
2807
2858
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_a37cfa2aa4e7b98ef9dc8179f581a2362"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a37cfa2aa4e7b98ef9dc8179f581a2362">SVF::SVFIR::getPAG</a></div><div class="ttdeci">static SVFIR * getPAG(bool buildFromFile=false)</div><div class="ttdoc">Singleton design here to make sure we only have one instance during any analysis.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00114">SVFIR.h:114</a></div></div>
@@ -2810,29 +2861,29 @@ Additional Inherited Members</h2></td></tr>
2810
2861
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html_aa6c7fee4f418817dfa7458d830303f6e"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#aa6c7fee4f418817dfa7458d830303f6e">SVF::Z3Expr::get_numeral_int</a></div><div class="ttdeci">int get_numeral_int() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00140">Z3Expr.h:140</a></div></div>
2811
2862
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a673a2b823a1c3ea46f38e3956ca143e8"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState::assign</a></div><div class="ttdeci">static bool assign(SingleAbsValue &amp;lhs, const SingleAbsValue &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00595">ConsExeState.cpp:595</a></div></div>
2812
2863
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a64a755f61886ef3f43f48c47eb76e9cc"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a64a755f61886ef3f43f48c47eb76e9cc">SVF::ConsExeState::VarToValMap</a></div><div class="ttdeci">Map&lt; u32_t, SingleAbsValue &gt; VarToValMap</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00052">ConsExeState.h:52</a></div></div>
2813
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00392">ConsExeState.h:392</a></div></div>
2864
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ad8cd07a607743e8cbbf59bd5882c5043"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ad8cd07a607743e8cbbf59bd5882c5043">SVF::ConsExeState::z3Expr2NumValue</a></div><div class="ttdeci">static s32_t z3Expr2NumValue(const SingleAbsValue &amp;e)</div><div class="ttdoc">Return int value from an expression if it is a numeral, otherwise return an approximate value.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00394">ConsExeState.h:394</a></div></div>
2814
2865
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a0e4c8a41aa861ff2862d8b620c902f21"><div class="ttname"><a href="classSVF_1_1ExeState.html#a0e4c8a41aa861ff2862d8b620c902f21">SVF::ExeState::operator==</a></div><div class="ttdeci">virtual bool operator==(const ExeState &amp;rhs) const</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8cpp_source.html#l00035">ExeState.cpp:35</a></div></div>
2815
2866
  <div class="ttc" id="anamespaceSVF_html_a9b707002523ece2ac54ca893ee9a2d4e"><div class="ttname"><a href="namespaceSVF.html#a9b707002523ece2ac54ca893ee9a2d4e">SVF::s32_t</a></div><div class="ttdeci">signed s32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00052">SVFType.h:52</a></div></div>
2816
2867
  <div class="ttc" id="aclassSVF_1_1IRGraph_html_a3de9a2a565c303f68a90c32dc59febd5"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a3de9a2a565c303f68a90c32dc59febd5">SVF::IRGraph::getNullPtr</a></div><div class="ttdeci">NodeID getNullPtr() const</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00174">IRGraph.h:174</a></div></div>
2817
2868
  <div class="ttc" id="aclassSVF_1_1ExeState_html_ab72f3bc855feeda75e11768ab03ad84e"><div class="ttname"><a href="classSVF_1_1ExeState.html#ab72f3bc855feeda75e11768ab03ad84e">SVF::ExeState::getInternalID</a></div><div class="ttdeci">static u32_t getInternalID(u32_t idx)</div><div class="ttdoc">Return the internal index if idx is an address otherwise return the value of idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00270">ExeState.h:270</a></div></div>
2818
2869
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
2819
2870
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ae2868bff69d249ff28daff28fd3c86ea"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ae2868bff69d249ff28daff28fd3c86ea">SVF::ConsExeState::ConsExeState</a></div><div class="ttdeci">ConsExeState()</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00062">ConsExeState.h:62</a></div></div>
2820
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a22eb7b0b38d8df8efae757f4c76b5328"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">SVF::ConsExeState::inLocalLocToVal</a></div><div class="ttdeci">bool inLocalLocToVal(const SingleAbsValue &amp;loc) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00153">ConsExeState.h:153</a></div></div>
2871
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a22eb7b0b38d8df8efae757f4c76b5328"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a22eb7b0b38d8df8efae757f4c76b5328">SVF::ConsExeState::inLocalLocToVal</a></div><div class="ttdeci">bool inLocalLocToVal(const SingleAbsValue &amp;loc) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00155">ConsExeState.h:155</a></div></div>
2821
2872
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a3905e71e489f8caf29e378364ea6e593"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a3905e71e489f8caf29e378364ea6e593">SVF::ConsExeState::pcToString</a></div><div class="ttdeci">std::string pcToString() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00332">ConsExeState.cpp:332</a></div></div>
2822
2873
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_ae024143db76c3350ed581db661393052"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#ae024143db76c3350ed581db661393052">SVF::ConsExeState::eqVarToValMap</a></div><div class="ttdeci">static bool eqVarToValMap(const VarToValMap &amp;pre, const VarToValMap &amp;nxt)</div><div class="ttdoc">Whether two var to value map is equivalent.</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8cpp_source.html#l00538">ConsExeState.cpp:538</a></div></div>
2823
2874
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e"><div class="ttname"><a href="classSVF_1_1ExeState.html#a259b93247e06141077b2c1ae15efcbb8acb163848414937d2331958216330a20e">SVF::ExeState::SingleValueK</a></div><div class="ttdeci">@ SingleValueK</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00057">ExeState.h:57</a></div></div>
2824
2875
  <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a987e69694742dafb49eb697bfde5cd19"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a987e69694742dafb49eb697bfde5cd19">SVF::ConsExeState::_locToVal</a></div><div class="ttdeci">LocToValMap _locToVal</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00059">ConsExeState.h:59</a></div></div>
2825
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a755fbe99c6d02b6a7897dad86f46c580"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState::inVarToAddrsTable</a></div><div class="ttdeci">virtual bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00180">ConsExeState.h:180</a></div></div>
2876
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_a755fbe99c6d02b6a7897dad86f46c580"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#a755fbe99c6d02b6a7897dad86f46c580">SVF::ConsExeState::inVarToAddrsTable</a></div><div class="ttdeci">virtual bool inVarToAddrsTable(u32_t id) const override</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00182">ConsExeState.h:182</a></div></div>
2826
2877
  <div class="ttc" id="aclassSVF_1_1Z3Expr_html_ad1802109545427278e3a8bde52e016b0"><div class="ttname"><a href="classSVF_1_1Z3Expr.html#ad1802109545427278e3a8bde52e016b0">SVF::Z3Expr::is_numeral</a></div><div class="ttdeci">bool is_numeral() const</div><div class="ttdef"><b>Definition:</b> <a href="Z3Expr_8h_source.html#l00120">Z3Expr.h:120</a></div></div>
2827
2878
  <div class="ttc" id="acJSON_8h_html_ac76cea59d438ba893d2f82aabb367d14"><div class="ttname"><a href="cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14">item</a></div><div class="ttdeci">cJSON * item</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00222">cJSON.h:222</a></div></div>
2828
2879
  <div class="ttc" id="aclassSVF_1_1ExeState_html_aebeb2054a8118fd33df9fef31bacda03"><div class="ttname"><a href="classSVF_1_1ExeState.html#aebeb2054a8118fd33df9fef31bacda03">SVF::ExeState::operator=</a></div><div class="ttdeci">ExeState &amp; operator=(const ExeState &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00073">ExeState.h:73</a></div></div>
2829
2880
  <div class="ttc" id="aclassSVF_1_1ExeState_html_aa1355e828af78b55b5d23f2dffa330f1"><div class="ttname"><a href="classSVF_1_1ExeState.html#aa1355e828af78b55b5d23f2dffa330f1">SVF::ExeState::VAddrs</a></div><div class="ttdeci">AddressValue VAddrs</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00052">ExeState.h:52</a></div></div>
2830
2881
  <div class="ttc" id="anamespaceSVF_html_a43a65e0d33af3c743294f7a1139d2301"><div class="ttname"><a href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">SVF::NodeID</a></div><div class="ttdeci">unsigned NodeID</div><div class="ttdef"><b>Definition:</b> <a href="svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html#l00020">MTAResultValidator.h:20</a></div></div>
2831
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_af832e1d7a773f6038da356a677a687f2"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">SVF::ConsExeState::inVarToVal</a></div><div class="ttdeci">bool inVarToVal(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00148">ConsExeState.h:148</a></div></div>
2882
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_af832e1d7a773f6038da356a677a687f2"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#af832e1d7a773f6038da356a677a687f2">SVF::ConsExeState::inVarToVal</a></div><div class="ttdeci">bool inVarToVal(u32_t varId) const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00150">ConsExeState.h:150</a></div></div>
2832
2883
  <div class="ttc" id="aclassSVF_1_1SingleAbsValue_html"><div class="ttname"><a href="classSVF_1_1SingleAbsValue.html">SVF::SingleAbsValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SingleAbsValue_8h_source.html#l00016">SingleAbsValue.h:16</a></div></div>
2833
2884
  <div class="ttc" id="anamespaceSVF_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="SVFType_8h_source.html#l00051">SVFType.h:51</a></div></div>
2834
2885
  <div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_ab2e0196e0ce547ab4a483cc6d2646b24"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#ab2e0196e0ce547ab4a483cc6d2646b24">SVF::SVFUtil::writeWrnMsg</a></div><div class="ttdeci">void writeWrnMsg(const std::string &amp;msg)</div><div class="ttdoc">Writes a message run through wrnMsg.</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8cpp_source.html#l00066">SVFUtil.cpp:66</a></div></div>
2835
- <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adf45b2d4b73220e80a1265f4e1b1ee35"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00344">ConsExeState.h:344</a></div></div>
2886
+ <div class="ttc" id="aclassSVF_1_1ConsExeState_html_adf45b2d4b73220e80a1265f4e1b1ee35"><div class="ttname"><a href="classSVF_1_1ConsExeState.html#adf45b2d4b73220e80a1265f4e1b1ee35">SVF::ConsExeState::getLocToVal</a></div><div class="ttdeci">const LocToValMap &amp; getLocToVal() const</div><div class="ttdef"><b>Definition:</b> <a href="ConsExeState_8h_source.html#l00346">ConsExeState.h:346</a></div></div>
2836
2887
  <!-- start footer part -->
2837
2888
  <hr class="footer"/><address class="footer"><small>
2838
2889
  Generated by &#160;<a href="http://www.doxygen.org/index.html">