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/SVFIR2ItvExeState_8cpp_source.html CHANGED
@@ -782,40 +782,40 @@ $(function() {
782
782
  <div class="line"><a name="l00785"></a><span class="lineno"> 785</span>&#160; {</div>
783
783
  <div class="line"><a name="l00786"></a><span class="lineno"> 786</span>&#160; <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;addrs = getVAddrs(rhs);</div>
784
784
  <div class="line"><a name="l00787"></a><span class="lineno"> 787</span>&#160; assert(!addrs.<a class="code" href="classSVF_1_1AddressValue.html#aa7291f4b74bb824fb38b8c383fa0b6a0">empty</a>());</div>
785
- <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>
786
- <div class="line"><a name="l00789"></a><span class="lineno"> 789</span>&#160; {</div>
787
- <div class="line"><a name="l00790"></a><span class="lineno"> 790</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
788
- <div class="line"><a name="l00791"></a><span class="lineno"> 791</span>&#160; <span class="keywordflow">if</span> (inLocToIValTable(objId))</div>
789
- <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; _es[lhs] = <a class="code" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">IntervalValue::bottom</a>();</div>
790
- <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
791
- <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; _es.getVAddrs(lhs).setBottom();</div>
792
- <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; <span class="keywordflow">break</span>;</div>
793
- <div class="line"><a name="l00796"></a><span class="lineno"> 796</span>&#160; }</div>
794
- <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>
795
- <div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; {</div>
796
- <div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
797
- <div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; <span class="keywordflow">if</span> (inLocToIValTable(objId))</div>
798
- <div class="line"><a name="l00801"></a><span class="lineno"> 801</span>&#160; {</div>
799
- <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; <span class="keywordflow">if</span> (!inVarToIValTable(lhs))</div>
800
- <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; {</div>
801
- <div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; _es[lhs] = _es.load(addr);</div>
802
- <div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; }</div>
803
- <div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; <span class="keywordflow">else</span></div>
804
- <div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; {</div>
805
- <div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; _es[lhs].join_with(_es.load(addr));</div>
806
- <div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; }</div>
807
- <div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; }</div>
808
- <div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
809
- <div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; {</div>
810
- <div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; <span class="keywordflow">if</span> (!inVarToAddrsTable(lhs))</div>
811
- <div class="line"><a name="l00814"></a><span class="lineno"> 814</span>&#160; {</div>
812
- <div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; _es.getVAddrs(lhs) = _es.loadVAddrs(addr);</div>
813
- <div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; }</div>
814
- <div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; <span class="keywordflow">else</span></div>
815
- <div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; {</div>
816
- <div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; _es.getVAddrs(lhs).join_with(_es.loadVAddrs(addr));</div>
817
- <div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; }</div>
818
- <div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; }</div>
785
+ <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>
786
+ <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>
787
+ <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>
788
+ <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>
789
+ <div class="line"><a name="l00792"></a><span class="lineno"> 792</span>&#160; {</div>
790
+ <div class="line"><a name="l00793"></a><span class="lineno"> 793</span>&#160; <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> objId = getInternalID(addr);</div>
791
+ <div class="line"><a name="l00794"></a><span class="lineno"> 794</span>&#160; <span class="keywordflow">if</span> (inLocToIValTable(objId))</div>
792
+ <div class="line"><a name="l00795"></a><span class="lineno"> 795</span>&#160; {</div>
793
+ <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>(_es.load(addr));</div>
794
+ <div class="line"><a name="l00797"></a><span class="lineno"> 797</span>&#160; isItv = <span class="keyword">true</span>;</div>
795
+ <div class="line"><a name="l00798"></a><span class="lineno"> 798</span>&#160; }</div>
796
+ <div class="line"><a name="l00799"></a><span class="lineno"> 799</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inLocToAddrsTable(objId))</div>
797
+ <div class="line"><a name="l00800"></a><span class="lineno"> 800</span>&#160; {</div>
798
+ <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>(_es.loadVAddrs(addr));</div>
799
+ <div class="line"><a name="l00802"></a><span class="lineno"> 802</span>&#160; isAddr = <span class="keyword">true</span>;</div>
800
+ <div class="line"><a name="l00803"></a><span class="lineno"> 803</span>&#160; }</div>
801
+ <div class="line"><a name="l00804"></a><span class="lineno"> 804</span>&#160; <span class="keywordflow">else</span></div>
802
+ <div class="line"><a name="l00805"></a><span class="lineno"> 805</span>&#160; {</div>
803
+ <div class="line"><a name="l00806"></a><span class="lineno"> 806</span>&#160; <span class="comment">// rhs not in table</span></div>
804
+ <div class="line"><a name="l00807"></a><span class="lineno"> 807</span>&#160; }</div>
805
+ <div class="line"><a name="l00808"></a><span class="lineno"> 808</span>&#160; }</div>
806
+ <div class="line"><a name="l00809"></a><span class="lineno"> 809</span>&#160; <span class="keywordflow">if</span> (isItv)</div>
807
+ <div class="line"><a name="l00810"></a><span class="lineno"> 810</span>&#160; {</div>
808
+ <div class="line"><a name="l00811"></a><span class="lineno"> 811</span>&#160; <span class="comment">// lhs var is an integer</span></div>
809
+ <div class="line"><a name="l00812"></a><span class="lineno"> 812</span>&#160; _es[lhs] = rhsItv;</div>
810
+ <div class="line"><a name="l00813"></a><span class="lineno"> 813</span>&#160; }</div>
811
+ <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>
812
+ <div class="line"><a name="l00815"></a><span class="lineno"> 815</span>&#160; {</div>
813
+ <div class="line"><a name="l00816"></a><span class="lineno"> 816</span>&#160; <span class="comment">// lhs var is an address</span></div>
814
+ <div class="line"><a name="l00817"></a><span class="lineno"> 817</span>&#160; _es.getVAddrs(lhs) = rhsAddr;</div>
815
+ <div class="line"><a name="l00818"></a><span class="lineno"> 818</span>&#160; }</div>
816
+ <div class="line"><a name="l00819"></a><span class="lineno"> 819</span>&#160; <span class="keywordflow">else</span></div>
817
+ <div class="line"><a name="l00820"></a><span class="lineno"> 820</span>&#160; {</div>
818
+ <div class="line"><a name="l00821"></a><span class="lineno"> 821</span>&#160; <span class="comment">// rhs not in table</span></div>
819
819
  <div class="line"><a name="l00822"></a><span class="lineno"> 822</span>&#160; }</div>
820
820
  <div class="line"><a name="l00823"></a><span class="lineno"> 823</span>&#160; }</div>
821
821
  <div class="line"><a name="l00824"></a><span class="lineno"> 824</span>&#160;}</div>
@@ -928,71 +928,78 @@ $(function() {
928
928
  <div class="line"><a name="l00931"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e"> 931</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#ae00e5398cbeb9aa1cfc464da4250a91e">SVFIR2ItvExeState::translatePhi</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1PhiStmt.html">PhiStmt</a> *phi)</div>
929
929
  <div class="line"><a name="l00932"></a><span class="lineno"> 932</span>&#160;{</div>
930
930
  <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>
931
- <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>
932
- <div class="line"><a name="l00935"></a><span class="lineno"> 935</span>&#160; {</div>
933
- <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>
934
- <div class="line"><a name="l00937"></a><span class="lineno"> 937</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(curId))</div>
935
- <div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; {</div>
936
- <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 = _es[curId];</div>
937
- <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">if</span> (!inVarToIValTable(res))</div>
938
- <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; {</div>
939
- <div class="line"><a name="l00942"></a><span class="lineno"> 942</span>&#160; _es[res] = cur;</div>
940
- <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; }</div>
941
- <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; <span class="keywordflow">else</span></div>
942
- <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; {</div>
943
- <div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; _es[res].<a class="code" href="classSVF_1_1IntervalValue.html#a3771eb932069dcad8212009efc411b99">join_with</a>(cur);</div>
944
- <div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; }</div>
945
- <div class="line"><a name="l00948"></a><span class="lineno"> 948</span>&#160; }</div>
946
- <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(curId))</div>
947
- <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; {</div>
948
- <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; assert(!getVAddrs(curId).empty());</div>
949
- <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; <span class="keyword">const</span> <a class="code" href="classSVF_1_1AddressValue.html">VAddrs</a> &amp;cur = getVAddrs(curId);</div>
950
- <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <span class="keywordflow">if</span> (!inVarToAddrsTable(res))</div>
951
- <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; {</div>
952
- <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; _es.getVAddrs(res) = cur;</div>
953
- <div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; }</div>
954
- <div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; <span class="keywordflow">else</span></div>
955
- <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; {</div>
956
- <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; _es.getVAddrs(res).<a class="code" href="classSVF_1_1AddressValue.html#acad5216bdc02a234d57abfe9ae72a12a">join_with</a>(cur);</div>
957
- <div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; }</div>
958
- <div class="line"><a name="l00961"></a><span class="lineno"> 961</span>&#160; }</div>
959
- <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; }</div>
960
- <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160;}</div>
961
- <div class="line"><a name="l00964"></a><span class="lineno"> 964</span>&#160; </div>
962
- <div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; </div>
963
- <div class="line"><a name="l00966"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad"> 966</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVFIR2ItvExeState::translateCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE)</div>
964
- <div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160;{</div>
965
- <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>
966
- <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>
967
- <div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
968
- <div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; {</div>
969
- <div class="line"><a name="l00972"></a><span class="lineno"> 972</span>&#160; _es[lhs] = _es[rhs];</div>
970
- <div class="line"><a name="l00973"></a><span class="lineno"> 973</span>&#160; }</div>
971
- <div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
972
- <div class="line"><a name="l00975"></a><span class="lineno"> 975</span>&#160; {</div>
973
- <div class="line"><a name="l00976"></a><span class="lineno"> 976</span>&#160; assert(!getVAddrs(rhs).empty());</div>
974
- <div class="line"><a name="l00977"></a><span class="lineno"> 977</span>&#160; _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
975
- <div class="line"><a name="l00978"></a><span class="lineno"> 978</span>&#160; }</div>
976
- <div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160;}</div>
977
- <div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; </div>
978
- <div class="line"><a name="l00981"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc"> 981</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVFIR2ItvExeState::translateRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE)</div>
979
- <div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160;{</div>
980
- <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>
981
- <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>
982
- <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
983
- <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160; {</div>
984
- <div class="line"><a name="l00987"></a><span class="lineno"> 987</span>&#160; _es[lhs] = _es[rhs];</div>
985
- <div class="line"><a name="l00988"></a><span class="lineno"> 988</span>&#160; }</div>
986
- <div class="line"><a name="l00989"></a><span class="lineno"> 989</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
987
- <div class="line"><a name="l00990"></a><span class="lineno"> 990</span>&#160; {</div>
988
- <div class="line"><a name="l00991"></a><span class="lineno"> 991</span>&#160; assert(!getVAddrs(rhs).empty());</div>
989
- <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
990
- <div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; }</div>
991
- <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160;}</div>
931
+ <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>
932
+ <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>
933
+ <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>
934
+ <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>
935
+ <div class="line"><a name="l00938"></a><span class="lineno"> 938</span>&#160; {</div>
936
+ <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>
937
+ <div class="line"><a name="l00940"></a><span class="lineno"> 940</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(curId))</div>
938
+ <div class="line"><a name="l00941"></a><span class="lineno"> 941</span>&#160; {</div>
939
+ <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>(_es[curId]);</div>
940
+ <div class="line"><a name="l00943"></a><span class="lineno"> 943</span>&#160; isItv = <span class="keyword">true</span>;</div>
941
+ <div class="line"><a name="l00944"></a><span class="lineno"> 944</span>&#160; }</div>
942
+ <div class="line"><a name="l00945"></a><span class="lineno"> 945</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(curId))</div>
943
+ <div class="line"><a name="l00946"></a><span class="lineno"> 946</span>&#160; {</div>
944
+ <div class="line"><a name="l00947"></a><span class="lineno"> 947</span>&#160; assert(!getVAddrs(curId).empty());</div>
945
+ <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>(getVAddrs(curId));</div>
946
+ <div class="line"><a name="l00949"></a><span class="lineno"> 949</span>&#160; isAddr = <span class="keyword">true</span>;</div>
947
+ <div class="line"><a name="l00950"></a><span class="lineno"> 950</span>&#160; }</div>
948
+ <div class="line"><a name="l00951"></a><span class="lineno"> 951</span>&#160; <span class="keywordflow">else</span></div>
949
+ <div class="line"><a name="l00952"></a><span class="lineno"> 952</span>&#160; {</div>
950
+ <div class="line"><a name="l00953"></a><span class="lineno"> 953</span>&#160; <span class="comment">// rhs not in the table</span></div>
951
+ <div class="line"><a name="l00954"></a><span class="lineno"> 954</span>&#160; }</div>
952
+ <div class="line"><a name="l00955"></a><span class="lineno"> 955</span>&#160; }</div>
953
+ <div class="line"><a name="l00956"></a><span class="lineno"> 956</span>&#160; <span class="keywordflow">if</span> (isItv)</div>
954
+ <div class="line"><a name="l00957"></a><span class="lineno"> 957</span>&#160; {</div>
955
+ <div class="line"><a name="l00958"></a><span class="lineno"> 958</span>&#160; <span class="comment">// res var is an integer</span></div>
956
+ <div class="line"><a name="l00959"></a><span class="lineno"> 959</span>&#160; _es[res] = rhsItv;</div>
957
+ <div class="line"><a name="l00960"></a><span class="lineno"> 960</span>&#160; }</div>
958
+ <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>
959
+ <div class="line"><a name="l00962"></a><span class="lineno"> 962</span>&#160; {</div>
960
+ <div class="line"><a name="l00963"></a><span class="lineno"> 963</span>&#160; <span class="comment">// res var is an address</span></div>
961
+ <div class="line"><a name="l00964"></a><span class="lineno"> 964</span>&#160; _es.getVAddrs(res) = rhsAddr;</div>
962
+ <div class="line"><a name="l00965"></a><span class="lineno"> 965</span>&#160; }</div>
963
+ <div class="line"><a name="l00966"></a><span class="lineno"> 966</span>&#160; <span class="keywordflow">else</span></div>
964
+ <div class="line"><a name="l00967"></a><span class="lineno"> 967</span>&#160; {</div>
965
+ <div class="line"><a name="l00968"></a><span class="lineno"> 968</span>&#160; <span class="comment">// rhs not in table</span></div>
966
+ <div class="line"><a name="l00969"></a><span class="lineno"> 969</span>&#160; }</div>
967
+ <div class="line"><a name="l00970"></a><span class="lineno"> 970</span>&#160;}</div>
968
+ <div class="line"><a name="l00971"></a><span class="lineno"> 971</span>&#160; </div>
969
+ <div class="line"><a name="l00972"></a><span class="lineno"> 972</span>&#160; </div>
970
+ <div class="line"><a name="l00973"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad"> 973</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVFIR2ItvExeState::translateCall</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1CallPE.html">CallPE</a> *callPE)</div>
971
+ <div class="line"><a name="l00974"></a><span class="lineno"> 974</span>&#160;{</div>
972
+ <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>
973
+ <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>
974
+ <div class="line"><a name="l00977"></a><span class="lineno"> 977</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
975
+ <div class="line"><a name="l00978"></a><span class="lineno"> 978</span>&#160; {</div>
976
+ <div class="line"><a name="l00979"></a><span class="lineno"> 979</span>&#160; _es[lhs] = _es[rhs];</div>
977
+ <div class="line"><a name="l00980"></a><span class="lineno"> 980</span>&#160; }</div>
978
+ <div class="line"><a name="l00981"></a><span class="lineno"> 981</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
979
+ <div class="line"><a name="l00982"></a><span class="lineno"> 982</span>&#160; {</div>
980
+ <div class="line"><a name="l00983"></a><span class="lineno"> 983</span>&#160; assert(!getVAddrs(rhs).empty());</div>
981
+ <div class="line"><a name="l00984"></a><span class="lineno"> 984</span>&#160; _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
982
+ <div class="line"><a name="l00985"></a><span class="lineno"> 985</span>&#160; }</div>
983
+ <div class="line"><a name="l00986"></a><span class="lineno"> 986</span>&#160;}</div>
984
+ <div class="line"><a name="l00987"></a><span class="lineno"> 987</span>&#160; </div>
985
+ <div class="line"><a name="l00988"></a><span class="lineno"><a class="line" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc"> 988</a></span>&#160;<span class="keywordtype">void</span> <a class="code" href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVFIR2ItvExeState::translateRet</a>(<span class="keyword">const</span> <a class="code" href="classSVF_1_1RetPE.html">RetPE</a> *retPE)</div>
986
+ <div class="line"><a name="l00989"></a><span class="lineno"> 989</span>&#160;{</div>
987
+ <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>
988
+ <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>
989
+ <div class="line"><a name="l00992"></a><span class="lineno"> 992</span>&#160; <span class="keywordflow">if</span> (inVarToIValTable(rhs))</div>
990
+ <div class="line"><a name="l00993"></a><span class="lineno"> 993</span>&#160; {</div>
991
+ <div class="line"><a name="l00994"></a><span class="lineno"> 994</span>&#160; _es[lhs] = _es[rhs];</div>
992
+ <div class="line"><a name="l00995"></a><span class="lineno"> 995</span>&#160; }</div>
993
+ <div class="line"><a name="l00996"></a><span class="lineno"> 996</span>&#160; <span class="keywordflow">else</span> <span class="keywordflow">if</span> (inVarToAddrsTable(rhs))</div>
994
+ <div class="line"><a name="l00997"></a><span class="lineno"> 997</span>&#160; {</div>
995
+ <div class="line"><a name="l00998"></a><span class="lineno"> 998</span>&#160; assert(!getVAddrs(rhs).empty());</div>
996
+ <div class="line"><a name="l00999"></a><span class="lineno"> 999</span>&#160; _es.getVAddrs(lhs) = getVAddrs(rhs);</div>
997
+ <div class="line"><a name="l01000"></a><span class="lineno"> 1000</span>&#160; }</div>
998
+ <div class="line"><a name="l01001"></a><span class="lineno"> 1001</span>&#160;}</div>
992
999
  </div><!-- fragment --></div><!-- contents -->
993
1000
  <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>
994
1001
  <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>
995
- <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00966">SVFIR2ItvExeState.cpp:966</a></div></div>
1002
+ <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00973">SVFIR2ItvExeState.cpp:973</a></div></div>
996
1003
  <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>
997
1004
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00351">SVFStatements.h:351</a></div></div>
998
1005
  <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>
@@ -1061,7 +1068,7 @@ $(function() {
1061
1068
  <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00387">SVFStatements.h:387</a></div></div>
1062
1069
  <div class="ttc" id="aclassSVF_1_1IntervalExeState_html_a39dead4fe213e3d02b1613debbc86e71"><div class="ttname"><a href="classSVF_1_1IntervalExeState.html#a39dead4fe213e3d02b1613debbc86e71">SVF::IntervalExeState::_locToItvVal</a></div><div class="ttdeci">LocToValMap _locToItvVal</div><div class="ttdoc">key: nodeID value: Domain Value</div><div class="ttdef"><b>Definition:</b> <a href="IntervalExeState_8h_source.html#l00070">IntervalExeState.h:70</a></div></div>
1063
1070
  <div class="ttc" id="aclassSVF_1_1SVFValue_html"><div class="ttname"><a href="classSVF_1_1SVFValue.html">SVF::SVFValue</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFValue_8h_source.html#l00177">SVFValue.h:177</a></div></div>
1064
- <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00981">SVFIR2ItvExeState.cpp:981</a></div></div>
1071
+ <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00988">SVFIR2ItvExeState.cpp:988</a></div></div>
1065
1072
  <div class="ttc" id="aclassSVF_1_1CmpStmt_html_ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927"><div class="ttname"><a href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338aca88d74bf66465f4fdd221db0c11d62927">SVF::CmpStmt::ICMP_SLT</a></div><div class="ttdeci">@ ICMP_SLT</div><div class="ttdoc">signed less than</div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00917">SVFStatements.h:917</a></div></div>
1066
1073
  <div class="ttc" id="aclassSVF_1_1SVFArrayType_html"><div class="ttname"><a href="classSVF_1_1SVFArrayType.html">SVF::SVFArrayType</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00469">SVFType.h:469</a></div></div>
1067
1074
  <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>
@@ -1081,8 +1088,8 @@ $(function() {
1081
1088
  <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>
1082
1089
  <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>
1083
1090
  <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>
1084
- <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>
1085
- <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>
1091
+ <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>
1092
+ <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>
1086
1093
  <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>
1087
1094
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_aed2e41879bae8389c49e69356b7aaac5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#aed2e41879bae8389c49e69356b7aaac5">SVF::SVFIR2ItvExeState::translateStore</a></div><div class="ttdeci">void translateStore(const StoreStmt *store)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00826">SVFIR2ItvExeState.cpp:826</a></div></div>
1088
1095
  <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>
@@ -1119,7 +1126,7 @@ $(function() {
1119
1126
  <div class="ttc" id="aclassSVF_1_1AccessPath_html_a98dfa824a51134c3f72a5d153240d378"><div class="ttname"><a href="classSVF_1_1AccessPath.html#a98dfa824a51134c3f72a5d153240d378">SVF::AccessPath::IdxVarAndGepTypePair</a></div><div class="ttdeci">std::pair&lt; const SVFVar *, const SVFType * &gt; IdxVarAndGepTypePair</div><div class="ttdef"><b>Definition:</b> <a href="AccessPath_8h_source.html#l00064">AccessPath.h:64</a></div></div>
1120
1127
  <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>
1121
1128
  <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>
1122
- <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>
1129
+ <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>
1123
1130
  <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>
1124
1131
  <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>
1125
1132
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af5d05c5316127cfe8d975a3a0a23798b"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af5d05c5316127cfe8d975a3a0a23798b">SVF::SVFIR2ItvExeState::initSVFVar</a></div><div class="ttdeci">void initSVFVar(u32_t varId)</div><div class="ttdoc">Init SVFVar.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00491">SVFIR2ItvExeState.cpp:491</a></div></div>
package/SVF-doxygen/html/SVFIR2ItvExeState_8h_source.html CHANGED
@@ -264,7 +264,7 @@ $(function() {
264
264
  <div class="line"><a name="l00208"></a><span class="lineno"> 208</span>&#160;<span class="preprocessor">#endif //Z3_EXAMPLE_SVFIR2ITVEXESTATE_H</span></div>
265
265
  </div><!-- fragment --></div><!-- contents -->
266
266
  <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>
267
- <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00966">SVFIR2ItvExeState.cpp:966</a></div></div>
267
+ <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_adb82778157e0f5e7a2ea4d803bcd07ad"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#adb82778157e0f5e7a2ea4d803bcd07ad">SVF::SVFIR2ItvExeState::translateCall</a></div><div class="ttdeci">void translateCall(const CallPE *callPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00973">SVFIR2ItvExeState.cpp:973</a></div></div>
268
268
  <div class="ttc" id="aclassSVF_1_1CopyStmt_html"><div class="ttname"><a href="classSVF_1_1CopyStmt.html">SVF::CopyStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00351">SVFStatements.h:351</a></div></div>
269
269
  <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>
270
270
  <div class="ttc" id="aclassSVF_1_1AddrStmt_html"><div class="ttname"><a href="classSVF_1_1AddrStmt.html">SVF::AddrStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00313">SVFStatements.h:313</a></div></div>
@@ -305,7 +305,7 @@ $(function() {
305
305
  <div class="ttc" id="aclassSVF_1_1BinaryOPStmt_html"><div class="ttname"><a href="classSVF_1_1BinaryOPStmt.html">SVF::BinaryOPStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00958">SVFStatements.h:958</a></div></div>
306
306
  <div class="ttc" id="aclassSVF_1_1StoreStmt_html"><div class="ttname"><a href="classSVF_1_1StoreStmt.html">SVF::StoreStmt</a></div><div class="ttdef"><b>Definition:</b> <a href="SVFStatements_8h_source.html#l00387">SVFStatements.h:387</a></div></div>
307
307
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a66c426719f583653cb70189f01d6fda5"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a66c426719f583653cb70189f01d6fda5">SVF::SVFIR2ItvExeState::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="SVFIR2ItvExeState_8h_source.html#l00162">SVFIR2ItvExeState.h:162</a></div></div>
308
- <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00981">SVFIR2ItvExeState.cpp:981</a></div></div>
308
+ <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a31e299f91eed29d1a8db3b884d57d1dc"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a31e299f91eed29d1a8db3b884d57d1dc">SVF::SVFIR2ItvExeState::translateRet</a></div><div class="ttdeci">void translateRet(const RetPE *retPE)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00988">SVFIR2ItvExeState.cpp:988</a></div></div>
309
309
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_af0b6abd2310a9bf0311760b290114341"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#af0b6abd2310a9bf0311760b290114341">SVF::SVFIR2ItvExeState::setRelEs</a></div><div class="ttdeci">void setRelEs(const RelExeState &amp;relEs)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8h_source.html#l00059">SVFIR2ItvExeState.h:59</a></div></div>
310
310
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_ad49576a7192c87d41f4dc923cd3d0efe"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#ad49576a7192c87d41f4dc923cd3d0efe">SVF::SVFIR2ItvExeState::getByteOffsetfromGepTypePair</a></div><div class="ttdeci">IntervalValue getByteOffsetfromGepTypePair(const AccessPath::IdxVarAndGepTypePair &amp;gep_pair, const GepStmt *gep)</div><div class="ttdoc">Return the byte offset from one gep param offset.</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00201">SVFIR2ItvExeState.cpp:201</a></div></div>
311
311
  <div class="ttc" id="aclassSVF_1_1SVFIR2ItvExeState_html_a449ee8f244120866037c7f6d2ee5fc13"><div class="ttname"><a href="classSVF_1_1SVFIR2ItvExeState.html#a449ee8f244120866037c7f6d2ee5fc13">SVF::SVFIR2ItvExeState::translateBinary</a></div><div class="ttdeci">void translateBinary(const BinaryOPStmt *binary)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR2ItvExeState_8cpp_source.html#l00534">SVFIR2ItvExeState.cpp:534</a></div></div>