svf-tools 1.0.808 → 1.0.810

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 (475) hide show
  1. package/SVF-doxygen/html/AccessPath_8cpp_source.html +2 -2
  2. package/SVF-doxygen/html/AndersenSCD_8cpp_source.html +1 -1
  3. package/SVF-doxygen/html/Andersen_8cpp_source.html +4 -4
  4. package/SVF-doxygen/html/Andersen_8h_source.html +1 -1
  5. package/SVF-doxygen/html/CDGBuilder_8cpp_source.html +6 -6
  6. package/SVF-doxygen/html/CDGBuilder_8h_source.html +1 -1
  7. package/SVF-doxygen/html/CFBasicBlockGBuilder_8cpp_source.html +2 -2
  8. package/SVF-doxygen/html/CFBasicBlockGBuilder_8h_source.html +1 -1
  9. package/SVF-doxygen/html/CFLAlias_8cpp_source.html +6 -6
  10. package/SVF-doxygen/html/CFLAlias_8h_source.html +1 -1
  11. package/SVF-doxygen/html/CHGBuilder_8cpp_source.html +13 -13
  12. package/SVF-doxygen/html/CHG_8cpp.html +4 -4
  13. package/SVF-doxygen/html/CHG_8cpp_source.html +10 -10
  14. package/SVF-doxygen/html/CHG_8h_source.html +2 -2
  15. package/SVF-doxygen/html/CallGraphBuilder_8cpp_source.html +2 -2
  16. package/SVF-doxygen/html/ConsG_8cpp_source.html +1 -1
  17. package/SVF-doxygen/html/ContextDDA_8cpp_source.html +1 -1
  18. package/SVF-doxygen/html/CxtStmt_8h_source.html +2 -2
  19. package/SVF-doxygen/html/DCHG_8cpp_source.html +8 -8
  20. package/SVF-doxygen/html/DCHG_8h_source.html +2 -2
  21. package/SVF-doxygen/html/DDAClient_8cpp_source.html +3 -3
  22. package/SVF-doxygen/html/ExtAPI_8cpp_source.html +1 -1
  23. package/SVF-doxygen/html/FSMPTA_8cpp_source.html +1 -1
  24. package/SVF-doxygen/html/ICFGBuilder_8cpp_source.html +7 -7
  25. package/SVF-doxygen/html/ICFGBuilder_8h_source.html +4 -4
  26. package/SVF-doxygen/html/ICFGEdge_8h_source.html +5 -5
  27. package/SVF-doxygen/html/ICFGNode_8h_source.html +12 -12
  28. package/SVF-doxygen/html/ICFG_8cpp_source.html +550 -543
  29. package/SVF-doxygen/html/ICFG_8h_source.html +19 -19
  30. package/SVF-doxygen/html/IRGraph_8cpp_source.html +1 -1
  31. package/SVF-doxygen/html/LLVMLoopAnalysis_8cpp_source.html +2 -2
  32. package/SVF-doxygen/html/LLVMModule_8cpp_source.html +1160 -1147
  33. package/SVF-doxygen/html/LLVMModule_8h_source.html +29 -29
  34. package/SVF-doxygen/html/LLVMUtil_8cpp_source.html +1160 -1150
  35. package/SVF-doxygen/html/LLVMUtil_8h.html +3 -0
  36. package/SVF-doxygen/html/LLVMUtil_8h_source.html +350 -347
  37. package/SVF-doxygen/html/LeakChecker_8cpp_source.html +3 -3
  38. package/SVF-doxygen/html/LockAnalysis_8cpp_source.html +14 -14
  39. package/SVF-doxygen/html/LockAnalysis_8h_source.html +2 -2
  40. package/SVF-doxygen/html/LockResultValidator_8cpp_source.html +4 -4
  41. package/SVF-doxygen/html/LockResultValidator_8h_source.html +1 -1
  42. package/SVF-doxygen/html/MHP_8cpp_source.html +12 -12
  43. package/SVF-doxygen/html/MHP_8h_source.html +3 -3
  44. package/SVF-doxygen/html/MSSAMuChi_8h_source.html +2 -2
  45. package/SVF-doxygen/html/MTAAnnotator_8cpp_source.html +2 -2
  46. package/SVF-doxygen/html/MTAAnnotator_8h_source.html +1 -1
  47. package/SVF-doxygen/html/MTAResultValidator_8cpp_source.html +1 -1
  48. package/SVF-doxygen/html/MTAStat_8cpp_source.html +5 -5
  49. package/SVF-doxygen/html/MTA_8cpp_source.html +2 -2
  50. package/SVF-doxygen/html/MemRegion_8cpp_source.html +10 -10
  51. package/SVF-doxygen/html/MemRegion_8h_source.html +1 -1
  52. package/SVF-doxygen/html/MemSSA_8cpp_source.html +20 -20
  53. package/SVF-doxygen/html/MemSSA_8h_source.html +1 -1
  54. package/SVF-doxygen/html/PCG_8cpp_source.html +10 -10
  55. package/SVF-doxygen/html/PCG_8h_source.html +3 -3
  56. package/SVF-doxygen/html/PointerAnalysisImpl_8cpp_source.html +2 -2
  57. package/SVF-doxygen/html/PointerAnalysis_8cpp_source.html +14 -14
  58. package/SVF-doxygen/html/ProgSlice_8cpp_source.html +2 -2
  59. package/SVF-doxygen/html/ProgSlice_8h_source.html +1 -1
  60. package/SVF-doxygen/html/SVFBugReport_8h_source.html +2 -2
  61. package/SVF-doxygen/html/SVFFileSystem_8cpp_source.html +17 -17
  62. package/SVF-doxygen/html/SVFFileSystem_8h_source.html +15 -15
  63. package/SVF-doxygen/html/SVFGOPT_8h_source.html +3 -3
  64. package/SVF-doxygen/html/SVFGReadWrite_8cpp_source.html +1 -1
  65. package/SVF-doxygen/html/SVFG_8cpp_source.html +6 -6
  66. package/SVF-doxygen/html/SVFG_8h_source.html +4 -4
  67. package/SVF-doxygen/html/SVFIR2ConsExeState_8cpp_source.html +4 -4
  68. package/SVF-doxygen/html/SVFIR2ItvExeState_8cpp_source.html +107 -100
  69. package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html +2 -2
  70. package/SVF-doxygen/html/SVFIRBuilder_8cpp_source.html +23 -23
  71. package/SVF-doxygen/html/SVFIRBuilder_8h_source.html +4 -4
  72. package/SVF-doxygen/html/SVFIRExtAPI_8cpp_source.html +8 -8
  73. package/SVF-doxygen/html/SVFIR_8cpp_source.html +1 -1
  74. package/SVF-doxygen/html/SVFIR_8h_source.html +2 -2
  75. package/SVF-doxygen/html/SVFModule_8cpp_source.html +1 -1
  76. package/SVF-doxygen/html/SVFModule_8h_source.html +3 -3
  77. package/SVF-doxygen/html/SVFStat_8cpp_source.html +4 -4
  78. package/SVF-doxygen/html/SVFStatements_8cpp_source.html +1 -1
  79. package/SVF-doxygen/html/SVFStatements_8h_source.html +2 -2
  80. package/SVF-doxygen/html/SVFUtil_8cpp_source.html +6 -6
  81. package/SVF-doxygen/html/SVFUtil_8h_source.html +6 -6
  82. package/SVF-doxygen/html/SVFValue_8cpp_source.html +126 -117
  83. package/SVF-doxygen/html/SVFValue_8h_source.html +1010 -1002
  84. package/SVF-doxygen/html/SVFVariables_8cpp_source.html +1 -1
  85. package/SVF-doxygen/html/SaberCheckerAPI_8h_source.html +1 -1
  86. package/SVF-doxygen/html/SaberCondAllocator_8cpp_source.html +14 -14
  87. package/SVF-doxygen/html/SaberCondAllocator_8h_source.html +5 -5
  88. package/SVF-doxygen/html/SaberSVFGBuilder_8cpp_source.html +1 -1
  89. package/SVF-doxygen/html/Steensgaard_8cpp_source.html +4 -4
  90. package/SVF-doxygen/html/Steensgaard_8h_source.html +1 -1
  91. package/SVF-doxygen/html/SymbolTableBuilder_8cpp_source.html +17 -17
  92. package/SVF-doxygen/html/SymbolTableInfo_8cpp_source.html +1 -1
  93. package/SVF-doxygen/html/SymbolTableInfo_8h_source.html +1 -1
  94. package/SVF-doxygen/html/TCT_8cpp_source.html +14 -14
  95. package/SVF-doxygen/html/TCT_8h_source.html +7 -7
  96. package/SVF-doxygen/html/ThreadAPI_8cpp_source.html +7 -7
  97. package/SVF-doxygen/html/ThreadAPI_8h_source.html +4 -4
  98. package/SVF-doxygen/html/ThreadCallGraph_8cpp_source.html +1 -1
  99. package/SVF-doxygen/html/TypeAnalysis_8cpp_source.html +4 -4
  100. package/SVF-doxygen/html/VFGNode_8h_source.html +1 -1
  101. package/SVF-doxygen/html/VFG_8cpp_source.html +3 -3
  102. package/SVF-doxygen/html/VFG_8h_source.html +4 -4
  103. package/SVF-doxygen/html/WPAPass_8cpp_source.html +3 -3
  104. package/SVF-doxygen/html/WPAPass_8h_source.html +1 -1
  105. package/SVF-doxygen/html/classSVF_1_1AccessPath.html +2 -2
  106. package/SVF-doxygen/html/classSVF_1_1ActualINSVFGNode.html +1 -1
  107. package/SVF-doxygen/html/classSVF_1_1ActualOUTSVFGNode.html +1 -1
  108. package/SVF-doxygen/html/classSVF_1_1AddrStmt.html +1 -1
  109. package/SVF-doxygen/html/classSVF_1_1AliasDDAClient.html +1 -1
  110. package/SVF-doxygen/html/classSVF_1_1Andersen.html +6 -6
  111. package/SVF-doxygen/html/classSVF_1_1AndersenSCD.html +1 -1
  112. package/SVF-doxygen/html/classSVF_1_1BVDataPTAImpl.html +2 -2
  113. package/SVF-doxygen/html/classSVF_1_1BinaryOPStmt.html +1 -1
  114. package/SVF-doxygen/html/classSVF_1_1BinaryOPVFGNode.html +1 -1
  115. package/SVF-doxygen/html/classSVF_1_1BranchStmt.html +1 -1
  116. package/SVF-doxygen/html/classSVF_1_1CDGBuilder.html +6 -6
  117. package/SVF-doxygen/html/classSVF_1_1CFLAlias.html +8 -8
  118. package/SVF-doxygen/html/classSVF_1_1CHGBuilder.html +13 -13
  119. package/SVF-doxygen/html/classSVF_1_1CHGraph.html +7 -7
  120. package/SVF-doxygen/html/classSVF_1_1CallCFGEdge.html +9 -9
  121. package/SVF-doxygen/html/classSVF_1_1CallCHI.html +1 -1
  122. package/SVF-doxygen/html/classSVF_1_1CallGraphBuilder.html +3 -3
  123. package/SVF-doxygen/html/classSVF_1_1CallICFGNode.html +12 -12
  124. package/SVF-doxygen/html/classSVF_1_1CallMU.html +1 -1
  125. package/SVF-doxygen/html/classSVF_1_1CallPE.html +1 -1
  126. package/SVF-doxygen/html/classSVF_1_1CallSite.html +95 -95
  127. package/SVF-doxygen/html/classSVF_1_1CmpStmt.html +1 -1
  128. package/SVF-doxygen/html/classSVF_1_1CmpVFGNode.html +1 -1
  129. package/SVF-doxygen/html/classSVF_1_1ContextDDA.html +1 -1
  130. package/SVF-doxygen/html/classSVF_1_1CopyStmt.html +1 -1
  131. package/SVF-doxygen/html/classSVF_1_1CxtStmt.html +1 -1
  132. package/SVF-doxygen/html/classSVF_1_1CxtThread.html +1 -1
  133. package/SVF-doxygen/html/classSVF_1_1CxtThreadStmt.html +1 -1
  134. package/SVF-doxygen/html/classSVF_1_1DCHGraph.html +7 -7
  135. package/SVF-doxygen/html/classSVF_1_1DoubleFreeChecker.html +1 -1
  136. package/SVF-doxygen/html/classSVF_1_1ExtAPI.html +1 -1
  137. package/SVF-doxygen/html/classSVF_1_1FIObjVar.html +1 -1
  138. package/SVF-doxygen/html/classSVF_1_1ForkJoinAnalysis.html +12 -12
  139. package/SVF-doxygen/html/classSVF_1_1FunEntryICFGNode.html +16 -16
  140. package/SVF-doxygen/html/classSVF_1_1FunExitICFGNode.html +28 -20
  141. package/SVF-doxygen/html/classSVF_1_1FunptrDDAClient.html +2 -2
  142. package/SVF-doxygen/html/classSVF_1_1GepObjVar.html +1 -1
  143. package/SVF-doxygen/html/classSVF_1_1GepStmt.html +1 -1
  144. package/SVF-doxygen/html/classSVF_1_1GepValVar.html +1 -1
  145. package/SVF-doxygen/html/classSVF_1_1GlobalICFGNode.html +9 -9
  146. package/SVF-doxygen/html/classSVF_1_1ICFG.html +271 -271
  147. package/SVF-doxygen/html/classSVF_1_1ICFGBuilder.html +17 -17
  148. package/SVF-doxygen/html/classSVF_1_1ICFGEdge.html +7 -7
  149. package/SVF-doxygen/html/classSVF_1_1ICFGNode.html +12 -12
  150. package/SVF-doxygen/html/classSVF_1_1InterMSSAPHISVFGNode.html +1 -1
  151. package/SVF-doxygen/html/classSVF_1_1InterPHIVFGNode.html +1 -1
  152. package/SVF-doxygen/html/classSVF_1_1IntraCFGEdge.html +12 -12
  153. package/SVF-doxygen/html/classSVF_1_1IntraICFGNode.html +15 -15
  154. package/SVF-doxygen/html/classSVF_1_1IntraPHIVFGNode.html +1 -1
  155. package/SVF-doxygen/html/classSVF_1_1LLVMLoopAnalysis.html +2 -2
  156. package/SVF-doxygen/html/classSVF_1_1LLVMModuleSet.html +1075 -1061
  157. package/SVF-doxygen/html/classSVF_1_1LeakChecker.html +4 -4
  158. package/SVF-doxygen/html/classSVF_1_1LoadStmt.html +1 -1
  159. package/SVF-doxygen/html/classSVF_1_1LockAnalysis.html +13 -13
  160. package/SVF-doxygen/html/classSVF_1_1LockResultValidator.html +4 -4
  161. package/SVF-doxygen/html/classSVF_1_1MHP.html +12 -12
  162. package/SVF-doxygen/html/classSVF_1_1MHPValidator.html +1 -1
  163. package/SVF-doxygen/html/classSVF_1_1MRGenerator.html +10 -10
  164. package/SVF-doxygen/html/classSVF_1_1MSSAPHISVFGNode.html +1 -1
  165. package/SVF-doxygen/html/classSVF_1_1MTAAnnotator.html +2 -2
  166. package/SVF-doxygen/html/classSVF_1_1MTAResultValidator.html +2 -2
  167. package/SVF-doxygen/html/classSVF_1_1MTASVFGBuilder.html +1 -1
  168. package/SVF-doxygen/html/classSVF_1_1MTAStat.html +5 -5
  169. package/SVF-doxygen/html/classSVF_1_1MemObj.html +1 -1
  170. package/SVF-doxygen/html/classSVF_1_1MemSSA.html +19 -19
  171. package/SVF-doxygen/html/classSVF_1_1ObjVar.html +1 -1
  172. package/SVF-doxygen/html/classSVF_1_1PCG.html +11 -11
  173. package/SVF-doxygen/html/classSVF_1_1PHIVFGNode.html +1 -1
  174. package/SVF-doxygen/html/classSVF_1_1PhiStmt.html +1 -1
  175. package/SVF-doxygen/html/classSVF_1_1PointerAnalysis.html +13 -13
  176. package/SVF-doxygen/html/classSVF_1_1ProgSlice.html +2 -2
  177. package/SVF-doxygen/html/classSVF_1_1RaceResultValidator.html +1 -1
  178. package/SVF-doxygen/html/classSVF_1_1RaceValidator.html +1 -1
  179. package/SVF-doxygen/html/classSVF_1_1RetCFGEdge.html +9 -9
  180. package/SVF-doxygen/html/classSVF_1_1RetICFGNode.html +12 -12
  181. package/SVF-doxygen/html/classSVF_1_1RetPE.html +1 -1
  182. package/SVF-doxygen/html/classSVF_1_1SVFArgument.html +30 -30
  183. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock-members.html +18 -17
  184. package/SVF-doxygen/html/classSVF_1_1SVFBasicBlock.html +162 -136
  185. package/SVF-doxygen/html/classSVF_1_1SVFBlackHoleValue.html +15 -15
  186. package/SVF-doxygen/html/classSVF_1_1SVFBugEvent.html +1 -1
  187. package/SVF-doxygen/html/classSVF_1_1SVFCallInst.html +67 -67
  188. package/SVF-doxygen/html/classSVF_1_1SVFConstant.html +17 -17
  189. package/SVF-doxygen/html/classSVF_1_1SVFConstantData.html +23 -23
  190. package/SVF-doxygen/html/classSVF_1_1SVFConstantFP.html +21 -21
  191. package/SVF-doxygen/html/classSVF_1_1SVFConstantInt.html +27 -27
  192. package/SVF-doxygen/html/classSVF_1_1SVFConstantNullPtr.html +15 -15
  193. package/SVF-doxygen/html/classSVF_1_1SVFFunction-members.html +52 -50
  194. package/SVF-doxygen/html/classSVF_1_1SVFFunction.html +236 -176
  195. package/SVF-doxygen/html/classSVF_1_1SVFG.html +7 -7
  196. package/SVF-doxygen/html/classSVF_1_1SVFGOPT.html +2 -2
  197. package/SVF-doxygen/html/classSVF_1_1SVFGlobalValue.html +33 -33
  198. package/SVF-doxygen/html/classSVF_1_1SVFIR.html +3 -3
  199. package/SVF-doxygen/html/classSVF_1_1SVFIR2ConsExeState.html +3 -3
  200. package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html +104 -96
  201. package/SVF-doxygen/html/classSVF_1_1SVFIRBuilder.html +39 -39
  202. package/SVF-doxygen/html/classSVF_1_1SVFInstruction.html +57 -57
  203. package/SVF-doxygen/html/classSVF_1_1SVFLoopAndDomInfo.html +3 -3
  204. package/SVF-doxygen/html/classSVF_1_1SVFMetadataAsValue.html +15 -15
  205. package/SVF-doxygen/html/classSVF_1_1SVFModule.html +1 -1
  206. package/SVF-doxygen/html/classSVF_1_1SVFOtherValue.html +11 -11
  207. package/SVF-doxygen/html/classSVF_1_1SVFStat.html +4 -4
  208. package/SVF-doxygen/html/classSVF_1_1SVFValue.html +23 -23
  209. package/SVF-doxygen/html/classSVF_1_1SVFVirtualCallInst.html +53 -53
  210. package/SVF-doxygen/html/classSVF_1_1SaberCondAllocator.html +14 -14
  211. package/SVF-doxygen/html/classSVF_1_1SaberSVFGBuilder.html +1 -1
  212. package/SVF-doxygen/html/classSVF_1_1SelectStmt.html +1 -1
  213. package/SVF-doxygen/html/classSVF_1_1Steensgaard.html +6 -6
  214. package/SVF-doxygen/html/classSVF_1_1StoreStmt.html +1 -1
  215. package/SVF-doxygen/html/classSVF_1_1SymbolTableBuilder.html +17 -17
  216. package/SVF-doxygen/html/classSVF_1_1TCT.html +15 -15
  217. package/SVF-doxygen/html/classSVF_1_1TDForkPE.html +1 -1
  218. package/SVF-doxygen/html/classSVF_1_1TDJoinPE.html +1 -1
  219. package/SVF-doxygen/html/classSVF_1_1ThreadAPI.html +7 -7
  220. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraph.html +1 -1
  221. package/SVF-doxygen/html/classSVF_1_1ThreadCallGraphBuilder.html +3 -3
  222. package/SVF-doxygen/html/classSVF_1_1TypeAnalysis.html +4 -4
  223. package/SVF-doxygen/html/classSVF_1_1UnaryOPStmt.html +1 -1
  224. package/SVF-doxygen/html/classSVF_1_1UnaryOPVFGNode.html +1 -1
  225. package/SVF-doxygen/html/classSVF_1_1VFG.html +5 -5
  226. package/SVF-doxygen/html/classSVF_1_1ValVar.html +1 -1
  227. package/SVF-doxygen/html/classSVF_1_1WPAPass.html +2 -2
  228. package/SVF-doxygen/html/functions_b.html +3 -3
  229. package/SVF-doxygen/html/functions_e.html +3 -0
  230. package/SVF-doxygen/html/functions_func_i.html +3 -3
  231. package/SVF-doxygen/html/functions_func_p.html +1 -1
  232. package/SVF-doxygen/html/functions_func_s.html +22 -19
  233. package/SVF-doxygen/html/functions_i.html +1 -1
  234. package/SVF-doxygen/html/functions_l.html +3 -3
  235. package/SVF-doxygen/html/functions_o.html +15 -15
  236. package/SVF-doxygen/html/functions_p.html +9 -9
  237. package/SVF-doxygen/html/functions_r.html +4 -6
  238. package/SVF-doxygen/html/functions_rela_s.html +3 -0
  239. package/SVF-doxygen/html/functions_s.html +26 -20
  240. package/SVF-doxygen/html/functions_t.html +4 -4
  241. package/SVF-doxygen/html/functions_v.html +3 -3
  242. package/SVF-doxygen/html/functions_vars_e.html +3 -0
  243. package/SVF-doxygen/html/namespaceSVF.html +5 -5
  244. package/SVF-doxygen/html/namespaceSVF_1_1LLVMUtil.html +1199 -1165
  245. package/SVF-doxygen/html/namespaceSVF_1_1SVFUtil.html +5 -5
  246. package/SVF-doxygen/html/namespacemembers_b.html +4 -1
  247. package/SVF-doxygen/html/namespacemembers_func_b.html +4 -1
  248. package/SVF-doxygen/html/search/all_10.js +324 -324
  249. package/SVF-doxygen/html/search/all_11.js +222 -222
  250. package/SVF-doxygen/html/search/all_12.js +544 -543
  251. package/SVF-doxygen/html/search/all_13.js +191 -191
  252. package/SVF-doxygen/html/search/all_14.js +67 -67
  253. package/SVF-doxygen/html/search/all_15.js +169 -169
  254. package/SVF-doxygen/html/search/all_16.js +63 -63
  255. package/SVF-doxygen/html/search/all_17.js +1 -1
  256. package/SVF-doxygen/html/search/all_18.js +1 -1
  257. package/SVF-doxygen/html/search/all_19.js +11 -11
  258. package/SVF-doxygen/html/search/all_1a.js +172 -172
  259. package/SVF-doxygen/html/search/all_2.js +139 -138
  260. package/SVF-doxygen/html/search/all_3.js +642 -642
  261. package/SVF-doxygen/html/search/all_4.js +233 -233
  262. package/SVF-doxygen/html/search/all_5.js +119 -118
  263. package/SVF-doxygen/html/search/all_6.js +225 -225
  264. package/SVF-doxygen/html/search/all_7.js +1041 -1041
  265. package/SVF-doxygen/html/search/all_8.js +196 -196
  266. package/SVF-doxygen/html/search/all_9.js +613 -613
  267. package/SVF-doxygen/html/search/all_a.js +46 -46
  268. package/SVF-doxygen/html/search/all_b.js +26 -26
  269. package/SVF-doxygen/html/search/all_c.js +116 -116
  270. package/SVF-doxygen/html/search/all_d.js +196 -196
  271. package/SVF-doxygen/html/search/all_e.js +207 -207
  272. package/SVF-doxygen/html/search/all_f.js +116 -116
  273. package/SVF-doxygen/html/search/classes_0.js +26 -26
  274. package/SVF-doxygen/html/search/classes_1.js +9 -9
  275. package/SVF-doxygen/html/search/classes_10.js +73 -73
  276. package/SVF-doxygen/html/search/classes_11.js +15 -15
  277. package/SVF-doxygen/html/search/classes_12.js +2 -2
  278. package/SVF-doxygen/html/search/classes_13.js +10 -10
  279. package/SVF-doxygen/html/search/classes_14.js +14 -14
  280. package/SVF-doxygen/html/search/classes_15.js +1 -1
  281. package/SVF-doxygen/html/search/classes_2.js +80 -80
  282. package/SVF-doxygen/html/search/classes_3.js +37 -37
  283. package/SVF-doxygen/html/search/classes_4.js +9 -9
  284. package/SVF-doxygen/html/search/classes_5.js +28 -28
  285. package/SVF-doxygen/html/search/classes_6.js +104 -104
  286. package/SVF-doxygen/html/search/classes_7.js +33 -33
  287. package/SVF-doxygen/html/search/classes_8.js +56 -56
  288. package/SVF-doxygen/html/search/classes_9.js +1 -1
  289. package/SVF-doxygen/html/search/classes_a.js +12 -12
  290. package/SVF-doxygen/html/search/classes_b.js +29 -29
  291. package/SVF-doxygen/html/search/classes_c.js +6 -6
  292. package/SVF-doxygen/html/search/classes_d.js +18 -18
  293. package/SVF-doxygen/html/search/classes_e.js +36 -36
  294. package/SVF-doxygen/html/search/classes_f.js +25 -25
  295. package/SVF-doxygen/html/search/defines_0.js +3 -3
  296. package/SVF-doxygen/html/search/defines_1.js +2 -2
  297. package/SVF-doxygen/html/search/defines_2.js +30 -30
  298. package/SVF-doxygen/html/search/defines_3.js +21 -21
  299. package/SVF-doxygen/html/search/defines_4.js +2 -2
  300. package/SVF-doxygen/html/search/defines_5.js +4 -4
  301. package/SVF-doxygen/html/search/defines_6.js +2 -2
  302. package/SVF-doxygen/html/search/defines_7.js +5 -5
  303. package/SVF-doxygen/html/search/defines_8.js +11 -11
  304. package/SVF-doxygen/html/search/defines_9.js +9 -9
  305. package/SVF-doxygen/html/search/defines_a.js +2 -2
  306. package/SVF-doxygen/html/search/defines_b.js +1 -1
  307. package/SVF-doxygen/html/search/defines_c.js +3 -3
  308. package/SVF-doxygen/html/search/defines_d.js +2 -2
  309. package/SVF-doxygen/html/search/defines_e.js +7 -7
  310. package/SVF-doxygen/html/search/defines_f.js +3 -3
  311. package/SVF-doxygen/html/search/enums_0.js +3 -3
  312. package/SVF-doxygen/html/search/enums_1.js +2 -2
  313. package/SVF-doxygen/html/search/enums_10.js +1 -1
  314. package/SVF-doxygen/html/search/enums_11.js +1 -1
  315. package/SVF-doxygen/html/search/enums_2.js +8 -8
  316. package/SVF-doxygen/html/search/enums_3.js +1 -1
  317. package/SVF-doxygen/html/search/enums_4.js +3 -3
  318. package/SVF-doxygen/html/search/enums_5.js +1 -1
  319. package/SVF-doxygen/html/search/enums_6.js +2 -2
  320. package/SVF-doxygen/html/search/enums_7.js +2 -2
  321. package/SVF-doxygen/html/search/enums_8.js +4 -4
  322. package/SVF-doxygen/html/search/enums_9.js +1 -1
  323. package/SVF-doxygen/html/search/enums_a.js +1 -1
  324. package/SVF-doxygen/html/search/enums_b.js +7 -7
  325. package/SVF-doxygen/html/search/enums_c.js +1 -1
  326. package/SVF-doxygen/html/search/enums_d.js +4 -4
  327. package/SVF-doxygen/html/search/enums_e.js +2 -2
  328. package/SVF-doxygen/html/search/enums_f.js +4 -4
  329. package/SVF-doxygen/html/search/enumvalues_0.js +14 -14
  330. package/SVF-doxygen/html/search/enumvalues_1.js +14 -14
  331. package/SVF-doxygen/html/search/enumvalues_10.js +35 -35
  332. package/SVF-doxygen/html/search/enumvalues_11.js +3 -3
  333. package/SVF-doxygen/html/search/enumvalues_12.js +10 -10
  334. package/SVF-doxygen/html/search/enumvalues_13.js +1 -1
  335. package/SVF-doxygen/html/search/enumvalues_14.js +1 -1
  336. package/SVF-doxygen/html/search/enumvalues_15.js +3 -3
  337. package/SVF-doxygen/html/search/enumvalues_2.js +36 -36
  338. package/SVF-doxygen/html/search/enumvalues_3.js +13 -13
  339. package/SVF-doxygen/html/search/enumvalues_4.js +2 -2
  340. package/SVF-doxygen/html/search/enumvalues_5.js +47 -47
  341. package/SVF-doxygen/html/search/enumvalues_6.js +6 -6
  342. package/SVF-doxygen/html/search/enumvalues_7.js +9 -9
  343. package/SVF-doxygen/html/search/enumvalues_8.js +23 -23
  344. package/SVF-doxygen/html/search/enumvalues_9.js +6 -6
  345. package/SVF-doxygen/html/search/enumvalues_a.js +15 -15
  346. package/SVF-doxygen/html/search/enumvalues_b.js +11 -11
  347. package/SVF-doxygen/html/search/enumvalues_c.js +5 -5
  348. package/SVF-doxygen/html/search/enumvalues_d.js +18 -18
  349. package/SVF-doxygen/html/search/enumvalues_e.js +9 -9
  350. package/SVF-doxygen/html/search/enumvalues_f.js +45 -45
  351. package/SVF-doxygen/html/search/files_0.js +13 -13
  352. package/SVF-doxygen/html/search/files_1.js +7 -7
  353. package/SVF-doxygen/html/search/files_10.js +8 -8
  354. package/SVF-doxygen/html/search/files_11.js +8 -8
  355. package/SVF-doxygen/html/search/files_12.js +2 -2
  356. package/SVF-doxygen/html/search/files_2.js +55 -55
  357. package/SVF-doxygen/html/search/files_3.js +14 -14
  358. package/SVF-doxygen/html/search/files_4.js +5 -5
  359. package/SVF-doxygen/html/search/files_5.js +13 -13
  360. package/SVF-doxygen/html/search/files_6.js +9 -9
  361. package/SVF-doxygen/html/search/files_7.js +14 -14
  362. package/SVF-doxygen/html/search/files_8.js +13 -13
  363. package/SVF-doxygen/html/search/files_9.js +18 -18
  364. package/SVF-doxygen/html/search/files_a.js +3 -3
  365. package/SVF-doxygen/html/search/files_b.js +2 -2
  366. package/SVF-doxygen/html/search/files_c.js +20 -20
  367. package/SVF-doxygen/html/search/files_d.js +4 -4
  368. package/SVF-doxygen/html/search/files_e.js +62 -62
  369. package/SVF-doxygen/html/search/files_f.js +8 -8
  370. package/SVF-doxygen/html/search/functions_0.js +12 -12
  371. package/SVF-doxygen/html/search/functions_1.js +360 -360
  372. package/SVF-doxygen/html/search/functions_10.js +140 -140
  373. package/SVF-doxygen/html/search/functions_11.js +138 -138
  374. package/SVF-doxygen/html/search/functions_12.js +279 -278
  375. package/SVF-doxygen/html/search/functions_13.js +59 -59
  376. package/SVF-doxygen/html/search/functions_14.js +39 -39
  377. package/SVF-doxygen/html/search/functions_15.js +71 -71
  378. package/SVF-doxygen/html/search/functions_16.js +32 -32
  379. package/SVF-doxygen/html/search/functions_17.js +3 -3
  380. package/SVF-doxygen/html/search/functions_18.js +172 -172
  381. package/SVF-doxygen/html/search/functions_2.js +87 -86
  382. package/SVF-doxygen/html/search/functions_3.js +257 -257
  383. package/SVF-doxygen/html/search/functions_4.js +75 -75
  384. package/SVF-doxygen/html/search/functions_5.js +53 -53
  385. package/SVF-doxygen/html/search/functions_6.js +59 -59
  386. package/SVF-doxygen/html/search/functions_7.js +852 -852
  387. package/SVF-doxygen/html/search/functions_8.js +148 -148
  388. package/SVF-doxygen/html/search/functions_9.js +429 -429
  389. package/SVF-doxygen/html/search/functions_a.js +30 -30
  390. package/SVF-doxygen/html/search/functions_b.js +2 -2
  391. package/SVF-doxygen/html/search/functions_c.js +26 -26
  392. package/SVF-doxygen/html/search/functions_d.js +77 -77
  393. package/SVF-doxygen/html/search/functions_e.js +35 -35
  394. package/SVF-doxygen/html/search/functions_f.js +56 -56
  395. package/SVF-doxygen/html/search/namespaces_0.js +1 -1
  396. package/SVF-doxygen/html/search/namespaces_1.js +7 -7
  397. package/SVF-doxygen/html/search/related_0.js +2 -2
  398. package/SVF-doxygen/html/search/related_1.js +2 -2
  399. package/SVF-doxygen/html/search/related_2.js +2 -2
  400. package/SVF-doxygen/html/search/related_3.js +2 -2
  401. package/SVF-doxygen/html/search/related_4.js +2 -2
  402. package/SVF-doxygen/html/search/related_5.js +1 -1
  403. package/SVF-doxygen/html/search/related_6.js +2 -2
  404. package/SVF-doxygen/html/search/related_7.js +4 -4
  405. package/SVF-doxygen/html/search/related_8.js +2 -2
  406. package/SVF-doxygen/html/search/related_9.js +4 -4
  407. package/SVF-doxygen/html/search/related_a.js +19 -19
  408. package/SVF-doxygen/html/search/related_b.js +4 -4
  409. package/SVF-doxygen/html/search/related_c.js +1 -1
  410. package/SVF-doxygen/html/search/related_d.js +12 -11
  411. package/SVF-doxygen/html/search/related_e.js +2 -2
  412. package/SVF-doxygen/html/search/related_f.js +2 -2
  413. package/SVF-doxygen/html/search/typedefs_0.js +18 -18
  414. package/SVF-doxygen/html/search/typedefs_1.js +26 -26
  415. package/SVF-doxygen/html/search/typedefs_10.js +61 -61
  416. package/SVF-doxygen/html/search/typedefs_11.js +13 -13
  417. package/SVF-doxygen/html/search/typedefs_12.js +11 -11
  418. package/SVF-doxygen/html/search/typedefs_13.js +34 -34
  419. package/SVF-doxygen/html/search/typedefs_14.js +8 -8
  420. package/SVF-doxygen/html/search/typedefs_2.js +129 -129
  421. package/SVF-doxygen/html/search/typedefs_3.js +39 -39
  422. package/SVF-doxygen/html/search/typedefs_4.js +17 -17
  423. package/SVF-doxygen/html/search/typedefs_5.js +41 -41
  424. package/SVF-doxygen/html/search/typedefs_6.js +55 -55
  425. package/SVF-doxygen/html/search/typedefs_7.js +44 -44
  426. package/SVF-doxygen/html/search/typedefs_8.js +1 -1
  427. package/SVF-doxygen/html/search/typedefs_9.js +6 -6
  428. package/SVF-doxygen/html/search/typedefs_a.js +29 -29
  429. package/SVF-doxygen/html/search/typedefs_b.js +29 -29
  430. package/SVF-doxygen/html/search/typedefs_c.js +41 -41
  431. package/SVF-doxygen/html/search/typedefs_d.js +14 -14
  432. package/SVF-doxygen/html/search/typedefs_e.js +52 -52
  433. package/SVF-doxygen/html/search/typedefs_f.js +14 -14
  434. package/SVF-doxygen/html/search/variables_0.js +151 -151
  435. package/SVF-doxygen/html/search/variables_1.js +75 -75
  436. package/SVF-doxygen/html/search/variables_10.js +97 -97
  437. package/SVF-doxygen/html/search/variables_11.js +44 -44
  438. package/SVF-doxygen/html/search/variables_12.js +92 -92
  439. package/SVF-doxygen/html/search/variables_13.js +75 -75
  440. package/SVF-doxygen/html/search/variables_14.js +14 -14
  441. package/SVF-doxygen/html/search/variables_15.js +48 -48
  442. package/SVF-doxygen/html/search/variables_16.js +9 -9
  443. package/SVF-doxygen/html/search/variables_17.js +1 -1
  444. package/SVF-doxygen/html/search/variables_18.js +2 -2
  445. package/SVF-doxygen/html/search/variables_2.js +38 -38
  446. package/SVF-doxygen/html/search/variables_3.js +142 -142
  447. package/SVF-doxygen/html/search/variables_4.js +55 -55
  448. package/SVF-doxygen/html/search/variables_5.js +37 -36
  449. package/SVF-doxygen/html/search/variables_6.js +66 -66
  450. package/SVF-doxygen/html/search/variables_7.js +33 -33
  451. package/SVF-doxygen/html/search/variables_8.js +7 -7
  452. package/SVF-doxygen/html/search/variables_9.js +77 -77
  453. package/SVF-doxygen/html/search/variables_a.js +4 -4
  454. package/SVF-doxygen/html/search/variables_b.js +10 -10
  455. package/SVF-doxygen/html/search/variables_c.js +45 -45
  456. package/SVF-doxygen/html/search/variables_d.js +56 -56
  457. package/SVF-doxygen/html/search/variables_e.js +123 -123
  458. package/SVF-doxygen/html/search/variables_f.js +30 -30
  459. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html +1 -1
  460. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html +82 -82
  461. package/SVF-doxygen/html/structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html +1 -1
  462. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CallSite_01_4.html +7 -7
  463. package/SVF-doxygen/html/structstd_1_1hash_3_01SVF_1_1CxtStmt_01_4.html +1 -1
  464. package/SVF-doxygen/html/svf-ex_8cpp.html +4 -4
  465. package/SVF-doxygen/html/svf-ex_8cpp_source.html +4 -4
  466. package/SVF-doxygen/html/svf-llvm_2tools_2MTA_2MTAResultValidator_8h_source.html +2 -2
  467. package/SVF-doxygen/html/svf_2include_2MTA_2MTAResultValidator_8h_source.html +2 -2
  468. package/package.json +1 -1
  469. package/svf/include/SVFIR/SVFValue.h +13 -2
  470. package/svf/lib/AbstractExecution/SVFIR2ItvExeState.cpp +50 -43
  471. package/svf/lib/Graphs/ICFG.cpp +10 -4
  472. package/svf/lib/SVFIR/SVFValue.cpp +8 -1
  473. package/svf-llvm/include/SVF-LLVM/LLVMUtil.h +3 -0
  474. package/svf-llvm/lib/LLVMModule.cpp +11 -0
  475. package/svf-llvm/lib/LLVMUtil.cpp +17 -5
package/SVF-doxygen/html/classSVF_1_1SVFIR2ItvExeState.html CHANGED
@@ -1574,20 +1574,20 @@ for 3rd pair <%var1, [2xi32]>, it is %var1'th element in array [2xi32] = 4
1574
1574
  </table>
1575
1575
  </div><div class="memdoc">
1576
1576
 
1577
- <p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00966">966</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
1578
- <div class="fragment"><div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160;{</div>
1579
- <div class="line"><a name="l00968"></a><span class="lineno"> 968</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = callPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
1580
- <div class="line"><a name="l00969"></a><span class="lineno"> 969</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = callPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
1581
- <div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
1582
- <div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; {</div>
1583
- <div class="line"><a name="l00972"></a><span class="lineno"> 972</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
1584
- <div class="line"><a name="l00973"></a><span class="lineno"> 973</span>&#160; }</div>
1585
- <div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
1586
- <div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; {</div>
1587
- <div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
1588
- <div class="line"><a name="l00977"></a><span class="lineno"> 977</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
1589
- <div class="line"><a name="l00978"></a><span class="lineno"> 978</span>&#160; }</div>
1590
- <div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160;}</div>
1577
+ <p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00973">973</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
1578
+ <div class="fragment"><div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160;{</div>
1579
+ <div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = callPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
1580
+ <div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = callPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
1581
+ <div class="line"><a name="l00977"></a><span class="lineno"> 977</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
1582
+ <div class="line"><a name="l00978"></a><span class="lineno"> 978</span>&#160; {</div>
1583
+ <div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
1584
+ <div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; }</div>
1585
+ <div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
1586
+ <div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160; {</div>
1587
+ <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
1588
+ <div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
1589
+ <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; }</div>
1590
+ <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160;}</div>
1591
1591
  </div><!-- fragment -->
1592
1592
  </div>
1593
1593
  </div>
@@ -2044,40 +2044,40 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2044
2044
  <div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; {</div>
2045
2045
  <div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &amp;addrs = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
2046
2046
  <div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; assert(!addrs.empty());</div>
2047
- <div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
2048
- <div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; {</div>
2049
- <div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
2050
- <div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(objId))</div>
2051
- <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
2052
- <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(objId))</div>
2053
- <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs).<a class="code" href="classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f">setBottom</a>();</div>
2054
- <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; <span class="keywordflow">break</span>;</div>
2055
- <div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; }</div>
2056
- <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
2057
- <div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; {</div>
2058
- <div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
2059
- <div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(objId))</div>
2060
- <div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; {</div>
2061
- <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(lhs))</div>
2062
- <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; {</div>
2063
- <div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(addr);</div>
2064
- <div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; }</div>
2065
- <div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; <span class="keywordflow">else</span></div>
2066
- <div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; {</div>
2067
- <div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs].join_with(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(addr));</div>
2068
- <div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; }</div>
2069
- <div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; }</div>
2070
- <div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(objId))</div>
2071
- <div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; {</div>
2072
- <div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(lhs))</div>
2073
- <div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; {</div>
2074
- <div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr);</div>
2075
- <div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; }</div>
2076
- <div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <span class="keywordflow">else</span></div>
2077
- <div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; {</div>
2078
- <div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr));</div>
2079
- <div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; }</div>
2080
- <div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; }</div>
2047
+ <div class="line"><a name="l00788"></a><span class="lineno"> 788</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> rhsItv = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
2048
+ <div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> rhsAddr;</div>
2049
+ <div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; <span class="keywordtype">bool</span> isItv = <span class="keyword">false</span>, isAddr = <span class="keyword">false</span>;</div>
2050
+ <div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;addr: addrs)</div>
2051
+ <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; {</div>
2052
+ <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">getInternalID</a>(addr);</div>
2053
+ <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab5eebce09b695a3ea1a1c6d5641296e2">inLocToIValTable</a>(objId))</div>
2054
+ <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; {</div>
2055
+ <div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; rhsItv.<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#ae28249f952e1aa620b23e946a1f209ab">load</a>(addr));</div>
2056
+ <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; isItv = <span class="keyword">true</span>;</div>
2057
+ <div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; }</div>
2058
+ <div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a174523c405d7a7d7dbbcbaa43c335665">inLocToAddrsTable</a>(objId))</div>
2059
+ <div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; {</div>
2060
+ <div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; rhsAddr.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#aa9bf42bd6ea06a7e61171244461eb066">loadVAddrs</a>(addr));</div>
2061
+ <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; isAddr = <span class="keyword">true</span>;</div>
2062
+ <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; }</div>
2063
+ <div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; <span class="keywordflow">else</span></div>
2064
+ <div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; {</div>
2065
+ <div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; <span class="comment">// rhs not in table</span></div>
2066
+ <div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; }</div>
2067
+ <div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; }</div>
2068
+ <div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; <span class="keywordflow">if</span> (isItv)</div>
2069
+ <div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; {</div>
2070
+ <div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <span class="comment">// lhs var is an integer</span></div>
2071
+ <div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = rhsItv;</div>
2072
+ <div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; }</div>
2073
+ <div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (isAddr)</div>
2074
+ <div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; {</div>
2075
+ <div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; <span class="comment">// lhs var is an address</span></div>
2076
+ <div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = rhsAddr;</div>
2077
+ <div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; }</div>
2078
+ <div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; <span class="keywordflow">else</span></div>
2079
+ <div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; {</div>
2080
+ <div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; <span class="comment">// rhs not in table</span></div>
2081
2081
  <div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; }</div>
2082
2082
  <div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; }</div>
2083
2083
  <div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160;}</div>
@@ -2136,36 +2136,43 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2136
2136
  <p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00931">931</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
2137
2137
  <div class="fragment"><div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160;{</div>
2138
2138
  <div class="line"><a name="l00933"></a><span class="lineno"> 933</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> res = phi-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#a71a530eb9fa9f7e273e471b4a75a039e">getResID</a>();</div>
2139
- <div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0; i &lt; phi-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a>(); i++)</div>
2140
- <div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; {</div>
2141
- <div class="line"><a name="l00936"></a><span class="lineno"> 936</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> curId = phi-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(i);</div>
2142
- <div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(curId))</div>
2143
- <div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; {</div>
2144
- <div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> &amp;cur = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[curId];</div>
2145
- <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(res))</div>
2146
- <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; {</div>
2147
- <div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = cur;</div>
2148
- <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; }</div>
2149
- <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; <span class="keywordflow">else</span></div>
2150
- <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; {</div>
2151
- <div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res].join_with(cur);</div>
2152
- <div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; }</div>
2153
- <div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; }</div>
2154
- <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(curId))</div>
2155
- <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; {</div>
2156
- <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId).empty());</div>
2157
- <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a2b6de5a37851f83ed3fa8f69145148a8">VAddrs</a> &amp;cur = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId);</div>
2158
- <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <span class="keywordflow">if</span> (!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(res))</div>
2159
- <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; {</div>
2160
- <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = cur;</div>
2161
- <div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; }</div>
2162
- <div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; <span class="keywordflow">else</span></div>
2163
- <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; {</div>
2164
- <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(cur);</div>
2165
- <div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; }</div>
2166
- <div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; }</div>
2167
- <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; }</div>
2168
- <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160;}</div>
2139
+ <div class="line"><a name="l00934"></a><span class="lineno"> 934</span>&#160; <a class="code" href="classSVF_1_1IntervalValue.html">IntervalValue</a> rhsItv = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
2140
+ <div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html">AddressValue</a> rhsAddr;</div>
2141
+ <div class="line"><a name="l00936"></a><span class="lineno"> 936</span>&#160; <span class="keywordtype">bool</span> isItv = <span class="keyword">false</span>, isAddr = <span class="keyword">false</span>;</div>
2142
+ <div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; <span class="keywordflow">for</span> (<a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> i = 0; i &lt; phi-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#af300571886b7aa2d84b0a70851c99bc3">getOpVarNum</a>(); i++)</div>
2143
+ <div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; {</div>
2144
+ <div class="line"><a name="l00939"></a><span class="lineno"> 939</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> curId = phi-&gt;<a class="code" href="classSVF_1_1MultiOpndStmt.html#a5c6efcc023e90ef2e618586091958c59">getOpVarID</a>(i);</div>
2145
+ <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(curId))</div>
2146
+ <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; {</div>
2147
+ <div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; rhsItv.<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[curId]);</div>
2148
+ <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; isItv = <span class="keyword">true</span>;</div>
2149
+ <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; }</div>
2150
+ <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(curId))</div>
2151
+ <div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; {</div>
2152
+ <div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId).empty());</div>
2153
+ <div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; rhsAddr.<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(curId));</div>
2154
+ <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; isAddr = <span class="keyword">true</span>;</div>
2155
+ <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; }</div>
2156
+ <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; <span class="keywordflow">else</span></div>
2157
+ <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; {</div>
2158
+ <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <span class="comment">// rhs not in the table</span></div>
2159
+ <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; }</div>
2160
+ <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; }</div>
2161
+ <div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; <span class="keywordflow">if</span> (isItv)</div>
2162
+ <div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; {</div>
2163
+ <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; <span class="comment">// res var is an integer</span></div>
2164
+ <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[res] = rhsItv;</div>
2165
+ <div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; }</div>
2166
+ <div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (isAddr)</div>
2167
+ <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; {</div>
2168
+ <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160; <span class="comment">// res var is an address</span></div>
2169
+ <div class="line"><a name="l00964"></a><span class="lineno"> 964</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(res) = rhsAddr;</div>
2170
+ <div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; }</div>
2171
+ <div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; <span class="keywordflow">else</span></div>
2172
+ <div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160; {</div>
2173
+ <div class="line"><a name="l00968"></a><span class="lineno"> 968</span>&#160; <span class="comment">// rhs not in table</span></div>
2174
+ <div class="line"><a name="l00969"></a><span class="lineno"> 969</span>&#160; }</div>
2175
+ <div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160;}</div>
2169
2176
  </div><!-- fragment -->
2170
2177
  </div>
2171
2178
  </div>
@@ -2254,20 +2261,20 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2254
2261
  </table>
2255
2262
  </div><div class="memdoc">
2256
2263
 
2257
- <p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00981">981</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
2258
- <div class="fragment"><div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160;{</div>
2259
- <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = retPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
2260
- <div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = retPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
2261
- <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
2262
- <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160; {</div>
2263
- <div class="line"><a name="l00987"></a><span class="lineno"> 987</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
2264
- <div class="line"><a name="l00988"></a><span class="lineno"> 988</span>&#160; }</div>
2265
- <div class="line"><a name="l00989"></a><span class="lineno"> 989</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
2266
- <div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160; {</div>
2267
- <div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
2268
- <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
2269
- <div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; }</div>
2270
- <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160;}</div>
2264
+ <p class="definition">Definition at line <a class="el" href="SVFIR2ItvExeState_8cpp_source.html#l00988">988</a> of file <a class="el" href="SVFIR2ItvExeState_8cpp_source.html">SVFIR2ItvExeState.cpp</a>.</p>
2265
+ <div class="fragment"><div class="line"><a name="l00989"></a><span class="lineno"> 989</span>&#160;{</div>
2266
+ <div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> lhs = retPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a98f731be7be9bc8e7fd09f5c2204c840">getLHSVarID</a>();</div>
2267
+ <div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; <a class="code" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> rhs = retPE-&gt;<a class="code" href="classSVF_1_1AssignStmt.html#a4cec89489e82c60c287cae3327f3f01d">getRHSVarID</a>();</div>
2268
+ <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a8107e336e3a84fd3b7341786db7e7a13">inVarToIValTable</a>(rhs))</div>
2269
+ <div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; {</div>
2270
+ <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[lhs] = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>[rhs];</div>
2271
+ <div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160; }</div>
2272
+ <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a999c358b80dd07591b0432eaa41c20c9">inVarToAddrsTable</a>(rhs))</div>
2273
+ <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; {</div>
2274
+ <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; assert(!<a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs).empty());</div>
2275
+ <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ab6b5ed878ce12016424c48c6252a764e">_es</a>.<a class="code" href="classSVF_1_1IntervalExeState.html#a36e15d9d95908b74fcf321e30a9cdebe">getVAddrs</a>(lhs) = <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#add123d3c64674d34c6c8973cb82c6270">getVAddrs</a>(rhs);</div>
2276
+ <div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160; }</div>
2277
+ <div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160;}</div>
2271
2278
  </div><!-- fragment -->
2272
2279
  </div>
2273
2280
  </div>
@@ -2672,7 +2679,6 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2672
2679
  <div class="ttc" id="anamespaceSVF_html_a5c4820681ef340339ddded756eb82ae1"><div class="ttname"><a href="namespaceSVF.html#a5c4820681ef340339ddded756eb82ae1">SVF::APOffset</a></div><div class="ttdeci">s64_t APOffset</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00061">SVFType.h:61</a></div></div>
2673
2680
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acad23a87cb6f2b3b2486a9a1277b491c09">SVF::CmpStmt::FCMP_UNE</a></div><div class="ttdeci">@ FCMP_UNE</div><div class="ttdoc">1 1 1 0 True if unordered or not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00904">SVFStatements.h:904</a></div></div>
2674
2681
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40cac8c846ff3208d07a4a39c7a21433c6a5">SVF::SVFType::SVFArrayTy</a></div><div class="ttdeci">@ SVFArrayTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00257">SVFType.h:257</a></div></div>
2675
- <div class="ttc" id="aclassSVF_1_1AddressValue_html_a77d6a1706328d86b210b26bacaf2fa9f"><div class="ttname"><a href="classSVF_1_1AddressValue.html#a77d6a1706328d86b210b26bacaf2fa9f">SVF::AddressValue::setBottom</a></div><div class="ttdeci">void setBottom()</div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00197">AddressValue.h:197</a></div></div>
2676
2682
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ae48cc31474d2c1cbc581b8f7ed433a14"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ae48cc31474d2c1cbc581b8f7ed433a14">SVF::SVFIR2ItvExeState::isVirtualMemAddress</a></div><div class="ttdeci">static bool isVirtualMemAddress(u32_t val)</div><div class="ttdoc">Check bit value of val start with 0x7F000000, filter by 0xFF000000.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00174">SVFIR2ItvExeState.h:174</a></div></div>
2677
2683
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6aafa66e75600b0098c4fa3304720cb7a6">SVF::BinaryOPStmt::FRem</a></div><div class="ttdeci">@ FRem</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00985">SVFStatements.h:985</a></div></div>
2678
2684
  <div class="ttc" id="aclassSVF_1_1GepStmt_html_a28a7ca818584abdc2d345b41d592c5dc"><div class="ttname"><a href="classSVF_1_1GepStmt.html#a28a7ca818584abdc2d345b41d592c5dc">SVF::GepStmt::accumulateConstantByteOffset</a></div><div class="ttdeci">APOffset accumulateConstantByteOffset() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00510">SVFStatements.h:510</a></div></div>
@@ -2751,8 +2757,8 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2751
2757
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca01274de074f51be05f2ad6b2d0ca9dd6">SVF::SVFType::SVFFunctionTy</a></div><div class="ttdeci">@ SVFFunctionTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00255">SVFType.h:255</a></div></div>
2752
2758
  <div class="ttc" id="aclassSVF_1_1GepStmt_html_afe5ae814b71b59fc03bd672d62a5fab7"><div class="ttname"><a href="classSVF_1_1GepStmt.html#afe5ae814b71b59fc03bd672d62a5fab7">SVF::GepStmt::getConstantFieldIdx</a></div><div class="ttdeci">APOffset getConstantFieldIdx() const</div><div class="ttdoc">Field index of the gep statement if it access the field of a struct.</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00521">SVFStatements.h:521</a></div></div>
2753
2759
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca56a20e408f9639234e4a11036764a38f">SVF::CmpStmt::ICMP_ULE</a></div><div class="ttdeci">@ ICMP_ULE</div><div class="ttdoc">unsigned less or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00914">SVFStatements.h:914</a></div></div>
2754
- <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00955">SVFValue.h:955</a></div></div>
2755
- <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00989">SVFValue.h:989</a></div></div>
2760
+ <div class="ttc" id="aclassSVF_1_1SVFConstantInt_html"><div class="ttname"><a href="classSVF_1_1SVFConstantInt.html">SVF::SVFConstantInt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00966">SVFValue.h:966</a></div></div>
2761
+ <div class="ttc" id="aclassSVF_1_1SVFConstantFP_html"><div class="ttname"><a href="classSVF_1_1SVFConstantFP.html">SVF::SVFConstantFP</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l01000">SVFValue.h:1000</a></div></div>
2756
2762
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a787e5771d6e70f3cbec3e2a33f5a4e8a">SVF::BinaryOPStmt::Mul</a></div><div class="ttdeci">@ Mul</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00978">SVFStatements.h:978</a></div></div>
2757
2763
  <div class="ttc" id="aclassSVF_1_1IntervalValue_html_adac2dc2c9f744a071ad3f0175ed40cd9"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#adac2dc2c9f744a071ad3f0175ed40cd9">SVF::IntervalValue::ub</a></div><div class="ttdeci">const NumericLiteral &amp; ub() const</div><div class="ttdoc">Return the upper bound.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00225">IntervalValue.h:225</a></div></div>
2758
2764
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca2793f23e72e3ff432bf193adf0f1b021">SVF::CmpStmt::FCMP_UEQ</a></div><div class="ttdeci">@ FCMP_UEQ</div><div class="ttdoc">1 0 0 1 True if unordered or equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00899">SVFStatements.h:899</a></div></div>
@@ -2787,7 +2793,8 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2787
2793
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca6eef834451ec753add639be49c51f03f">SVF::CmpStmt::ICMP_NE</a></div><div class="ttdeci">@ ICMP_NE</div><div class="ttdoc">not equal</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00910">SVFStatements.h:910</a></div></div>
2788
2794
  <div class="ttc" id="aclassSVF_1_1MemObj_html_a7f828731597450f1d43b61413ab0e7bb"><div class="ttname"><a href="classSVF_1_1MemObj.html#a7f828731597450f1d43b61413ab0e7bb">SVF::MemObj::isConstantArray</a></div><div class="ttdeci">bool isConstantArray() const</div><div class="ttdef"><b>Definition:</b> <a href="SymbolTableInfo_8cpp_source.html#l00533">SymbolTableInfo.cpp:533</a></div></div>
2789
2795
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_aa6a21fb1cfbc263bb38651176c495632"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#aa6a21fb1cfbc263bb38651176c495632">SVF::CmpStmt::getPredicate</a></div><div class="ttdeci">u32_t getPredicate() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00947">SVFStatements.h:947</a></div></div>
2790
- <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01272">LLVMUtil.cpp:1272</a></div></div>
2796
+ <div class="ttc" id="aclassSVF_1_1SVFValue_html_a4a0cfe3a8f37d33ffcdca3d66026dcc3"><div class="ttname"><a href="classSVF_1_1SVFValue.html#a4a0cfe3a8f37d33ffcdca3d66026dcc3">SVF::SVFValue::toString</a></div><div class="ttdeci">std::string toString() const</div><div class="ttdoc">Needs to be implemented by a SVF front end.</div><div class="ttdef"><b>Definition:</b> <a href="LLVMUtil_8cpp_source.html#l01284">LLVMUtil.cpp:1284</a></div></div>
2797
+ <div class="ttc" id="aclassSVF_1_1AddressValue_html"><div class="ttname"><a href="classSVF_1_1AddressValue.html">SVF::AddressValue</a></div><div class="ttdef"><b>Definition:</b> <a href="AddressValue_8h_source.html#l00041">AddressValue.h:41</a></div></div>
2791
2798
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a884199a26d43d09bc7e33369fceb8274"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a884199a26d43d09bc7e33369fceb8274">SVF::IntervalExeState::inVarToIValTable</a></div><div class="ttdeci">bool inVarToIValTable(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00163">IntervalExeState.h:163</a></div></div>
2792
2799
  <div class="ttc" id="aclassSVF_1_1SelectStmt_html_a537c03b08444da34c26b9e989bb0e568"><div class="ttname"><a href="classSVF_1_1SelectStmt.html#a537c03b08444da34c26b9e989bb0e568">SVF::SelectStmt::getTrueValue</a></div><div class="ttdeci">const SVFVar * getTrueValue() const</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00859">SVFStatements.h:859</a></div></div>
2793
2800
  <div class="ttc" id="aclassSVF_1_1SVFIR_html_ae18425df0631aefca7dd4b799f6f524a"><div class="ttname"><a href="classSVF_1_1SVFIR.html#ae18425df0631aefca7dd4b799f6f524a">SVF::SVFIR::getGepObjVar</a></div><div class="ttdeci">NodeID getGepObjVar(const MemObj *obj, const APOffset &amp;ap)</div><div class="ttdoc">Get a field SVFIR Object node according to base mem obj and offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00422">SVFIR.cpp:422</a></div></div>
@@ -2821,6 +2828,7 @@ for 3rd pair &lt;%var1, [2xi32]&gt;, it is %var1'th element in array [2xi32] = 4
2821
2828
  <div class="ttc" id="aclassSVF_1_1ExeState_html_a2f01e583abcdeb236a11e85c7a8aafdc"><div class="ttname"><a href="classSVF_1_1ExeState.html#a2f01e583abcdeb236a11e85c7a8aafdc">SVF::ExeState::getVirtualMemAddress</a></div><div class="ttdeci">static u32_t getVirtualMemAddress(u32_t idx)</div><div class="ttdoc">The physical address starts with 0x7f...... + idx.</div><div class="ttdef"><b>Definition:</b> <a href="ExeState_8h_source.html#l00258">ExeState.h:258</a></div></div>
2822
2829
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca8d59d9d7f39bb9c8b1e3dcebe0c5dc48">SVF::CmpStmt::ICMP_UGT</a></div><div class="ttdeci">@ ICMP_UGT</div><div class="ttdoc">unsigned greater than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00911">SVFStatements.h:911</a></div></div>
2823
2830
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html_a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a0df258a85e260bcb9534ae1b650e1856">SVF::BinaryOPStmt::And</a></div><div class="ttdeci">@ And</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00989">SVFStatements.h:989</a></div></div>
2831
+ <div class="ttc" id="aclassSVF_1_1IntervalValue_html_a3771eb932069dcad8212009efc411b99"><div class="ttname"><a href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">SVF::IntervalValue::join_with</a></div><div class="ttdeci">void join_with(const IntervalValue &amp;other)</div><div class="ttdoc">Current IntervalValue joins with another IntervalValue.</div><div class="ttdef"><b>Definition:</b> <a href="IntervalValue_8h_source.html#l00345">IntervalValue.h:345</a></div></div>
2824
2832
  <div class="ttc" id="aclassSVF_1_1SVFType_html_a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d"><div class="ttname"><a href="classSVF_1_1SVFType.html#a333e01a9c431c8f53bd2fc597bd5c40ca77e52ad9bebff282f40383f468fe856d">SVF::SVFType::SVFStructTy</a></div><div class="ttdeci">@ SVFStructTy</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00256">SVFType.h:256</a></div></div>
2825
2833
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca7234c9a242034a71d0bdcb54aeec6da7">SVF::CmpStmt::FCMP_TRUE</a></div><div class="ttdeci">@ FCMP_TRUE</div><div class="ttdoc">1 1 1 1 Always true (always folded)</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00905">SVFStatements.h:905</a></div></div>
2826
2834
  <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>