Created
December 10, 2020 00:15
-
-
Save kquick/b5a4ec26540f8373e1ad382a197f31b4 to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Up to date | |
| baggage-handler | |
| saturate_add-good.x86.contract: UTC-2020-12-10_00:14:38.469 I [User-Op] uploading binary file | |
| UTC-2020-12-10_00:14:38.469 Dbg [entered] op=load bkend=renovate-binary-analyzer Analyzer.loadBytesAsElf | |
| UTC-2020-12-10_00:14:38.469 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Setup Renovate ELF configuration | |
| UTC-2020-12-10_00:14:38.469 Dbg [entered] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Renovate.analyzeElf | |
| UTC-2020-12-10_00:14:40.501 I [completed] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Renovate.analyzeElf, executed for 2.031766994s | |
| UTC-2020-12-10_00:14:40.501 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Finished Renovate ELF analysis | |
| UTC-2020-12-10_00:14:40.501 I [progress] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Binary loaded | |
| UTC-2020-12-10_00:14:40.501 Warn [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Warning=Dwarf ------------------------------------------------ | |
| UTC-2020-12-10_00:14:40.501 Warn [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Warning=Dwarf ------ details of Dwarf Manifest Warnings ------ | |
| UTC-2020-12-10_00:14:40.501 Warn [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 Warning=Dwarf ------------------------------------------------ | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 ----------- Binary Load Summary ---------------------------------- | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # blocks = 6 | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # functions = 2 | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # functions with blocks = 2 | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # function CFGs = 2 | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # function registerized CFGs = 2 | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # overlapping blocks = 6 # WARNING | |
| UTC-2020-12-10_00:14:40.501 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # blocks in incomplete functions = 0 | |
| UTC-2020-12-10_00:14:40.502 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # Dwarf manifest functions = 0 # WARNING | |
| UTC-2020-12-10_00:14:40.502 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # Dwarf manifest global variables = 0 | |
| UTC-2020-12-10_00:14:40.502 I [misc] op=load bkend=renovate-binary-analyzer ElfWidth=64bit Arch=EM_X86_64 # Dwarf manifest warnings = 1 # WARNING | |
| UTC-2020-12-10_00:14:40.502 I [completed] op=load bkend=renovate-binary-analyzer Analyzer.loadBytesAsElf, executed for 2.032727395s | |
| UTC-2020-12-10_00:14:40.744 I [User-Op] load manifest | |
| UTC-2020-12-10_00:14:40.744 I [User-Op] verifying properties | |
| UTC-2020-12-10_00:14:40.744 Dbg [entered] op=verify bkend=renovate-binary-analyzer verifyElfProperties | |
| UTC-2020-12-10_00:14:40.744 Dbg [entered] op=verify bkend=renovate-binary-analyzer Solver=Z3 Analyzer.doVerify | |
| UTC-2020-12-10_00:14:40.746 Dbg [entered] op=verify bkend=renovate-binary-analyzer Solver=Z3 func=saturate_add goal=prop_Saturate Analyzer.verifyFunc:prop_Saturate | |
| UTC-2020-12-10_00:14:40.780 I [misc] op=verify bkend=renovate-binary-analyzer Solver=Z3 func=saturate_add goal=prop_Saturate Allocated stack at: (2, 0x100000:[64]) | |
| UTC-2020-12-10_00:14:40.800 Dbg [misc] op=verify bkend=renovate-binary-analyzer Solver=Z3 func=saturate_add goal=prop_Saturate proof=obligation Assuming: | |
| * in _start :1:0: Byte@0x400000 | |
| eq 0x7f:[8] (select cglobalMemoryBytes@22:a 0x400000:[64]) | |
| * in _start :1:0: Byte@0x400001 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x400001:[64]) | |
| * in _start :1:0: Byte@0x400002 | |
| eq 0x4c:[8] (select cglobalMemoryBytes@22:a 0x400002:[64]) | |
| * in _start :1:0: Byte@0x400003 | |
| eq 0x46:[8] (select cglobalMemoryBytes@22:a 0x400003:[64]) | |
| * in _start :1:0: Byte@0x400004 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x400004:[64]) | |
| * in _start :1:0: Byte@0x400005 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400005:[64]) | |
| * in _start :1:0: Byte@0x400006 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400006:[64]) | |
| * in _start :1:0: Byte@0x400007 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400007:[64]) | |
| * in _start :1:0: Byte@0x400008 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400008:[64]) | |
| * in _start :1:0: Byte@0x400009 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400009:[64]) | |
| * in _start :1:0: Byte@0x40000a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000a:[64]) | |
| * in _start :1:0: Byte@0x40000b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000b:[64]) | |
| * in _start :1:0: Byte@0x40000c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000c:[64]) | |
| * in _start :1:0: Byte@0x40000d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000d:[64]) | |
| * in _start :1:0: Byte@0x40000e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000e:[64]) | |
| * in _start :1:0: Byte@0x40000f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40000f:[64]) | |
| * in _start :1:0: Byte@0x400010 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x400010:[64]) | |
| * in _start :1:0: Byte@0x400011 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400011:[64]) | |
| * in _start :1:0: Byte@0x400012 | |
| eq 0x3e:[8] (select cglobalMemoryBytes@22:a 0x400012:[64]) | |
| * in _start :1:0: Byte@0x400013 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400013:[64]) | |
| * in _start :1:0: Byte@0x400014 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400014:[64]) | |
| * in _start :1:0: Byte@0x400015 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400015:[64]) | |
| * in _start :1:0: Byte@0x400016 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400016:[64]) | |
| * in _start :1:0: Byte@0x400017 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400017:[64]) | |
| * in _start :1:0: Byte@0x400018 | |
| eq 0x87:[8] (select cglobalMemoryBytes@22:a 0x400018:[64]) | |
| * in _start :1:0: Byte@0x400019 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400019:[64]) | |
| * in _start :1:0: Byte@0x40001a | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x40001a:[64]) | |
| * in _start :1:0: Byte@0x40001b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40001b:[64]) | |
| * in _start :1:0: Byte@0x40001c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40001c:[64]) | |
| * in _start :1:0: Byte@0x40001d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40001d:[64]) | |
| * in _start :1:0: Byte@0x40001e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40001e:[64]) | |
| * in _start :1:0: Byte@0x40001f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40001f:[64]) | |
| * in _start :1:0: Byte@0x400020 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x400020:[64]) | |
| * in _start :1:0: Byte@0x400021 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400021:[64]) | |
| * in _start :1:0: Byte@0x400022 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400022:[64]) | |
| * in _start :1:0: Byte@0x400023 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400023:[64]) | |
| * in _start :1:0: Byte@0x400024 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400024:[64]) | |
| * in _start :1:0: Byte@0x400025 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400025:[64]) | |
| * in _start :1:0: Byte@0x400026 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400026:[64]) | |
| * in _start :1:0: Byte@0x400027 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400027:[64]) | |
| * in _start :1:0: Byte@0x400028 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x400028:[64]) | |
| * in _start :1:0: Byte@0x400029 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x400029:[64]) | |
| * in _start :1:0: Byte@0x40002a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002a:[64]) | |
| * in _start :1:0: Byte@0x40002b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002b:[64]) | |
| * in _start :1:0: Byte@0x40002c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002c:[64]) | |
| * in _start :1:0: Byte@0x40002d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002d:[64]) | |
| * in _start :1:0: Byte@0x40002e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002e:[64]) | |
| * in _start :1:0: Byte@0x40002f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40002f:[64]) | |
| * in _start :1:0: Byte@0x400030 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400030:[64]) | |
| * in _start :1:0: Byte@0x400031 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400031:[64]) | |
| * in _start :1:0: Byte@0x400032 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400032:[64]) | |
| * in _start :1:0: Byte@0x400033 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400033:[64]) | |
| * in _start :1:0: Byte@0x400034 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x400034:[64]) | |
| * in _start :1:0: Byte@0x400035 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400035:[64]) | |
| * in _start :1:0: Byte@0x400036 | |
| eq 0x38:[8] (select cglobalMemoryBytes@22:a 0x400036:[64]) | |
| * in _start :1:0: Byte@0x400037 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400037:[64]) | |
| * in _start :1:0: Byte@0x400038 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x400038:[64]) | |
| * in _start :1:0: Byte@0x400039 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400039:[64]) | |
| * in _start :1:0: Byte@0x40003a | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x40003a:[64]) | |
| * in _start :1:0: Byte@0x40003b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40003b:[64]) | |
| * in _start :1:0: Byte@0x40003c | |
| eq 0x9:[8] (select cglobalMemoryBytes@22:a 0x40003c:[64]) | |
| * in _start :1:0: Byte@0x40003d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40003d:[64]) | |
| * in _start :1:0: Byte@0x40003e | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x40003e:[64]) | |
| * in _start :1:0: Byte@0x40003f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40003f:[64]) | |
| * in _start :1:0: Byte@0x400040 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400040:[64]) | |
| * in _start :1:0: Byte@0x400041 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400041:[64]) | |
| * in _start :1:0: Byte@0x400042 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400042:[64]) | |
| * in _start :1:0: Byte@0x400043 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400043:[64]) | |
| * in _start :1:0: Byte@0x400044 | |
| eq 0x5:[8] (select cglobalMemoryBytes@22:a 0x400044:[64]) | |
| * in _start :1:0: Byte@0x400045 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400045:[64]) | |
| * in _start :1:0: Byte@0x400046 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400046:[64]) | |
| * in _start :1:0: Byte@0x400047 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400047:[64]) | |
| * in _start :1:0: Byte@0x400048 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400048:[64]) | |
| * in _start :1:0: Byte@0x400049 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400049:[64]) | |
| * in _start :1:0: Byte@0x40004a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004a:[64]) | |
| * in _start :1:0: Byte@0x40004b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004b:[64]) | |
| * in _start :1:0: Byte@0x40004c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004c:[64]) | |
| * in _start :1:0: Byte@0x40004d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004d:[64]) | |
| * in _start :1:0: Byte@0x40004e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004e:[64]) | |
| * in _start :1:0: Byte@0x40004f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40004f:[64]) | |
| * in _start :1:0: Byte@0x400050 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400050:[64]) | |
| * in _start :1:0: Byte@0x400051 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400051:[64]) | |
| * in _start :1:0: Byte@0x400052 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x400052:[64]) | |
| * in _start :1:0: Byte@0x400053 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400053:[64]) | |
| * in _start :1:0: Byte@0x400054 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400054:[64]) | |
| * in _start :1:0: Byte@0x400055 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400055:[64]) | |
| * in _start :1:0: Byte@0x400056 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400056:[64]) | |
| * in _start :1:0: Byte@0x400057 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400057:[64]) | |
| * in _start :1:0: Byte@0x400058 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400058:[64]) | |
| * in _start :1:0: Byte@0x400059 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400059:[64]) | |
| * in _start :1:0: Byte@0x40005a | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x40005a:[64]) | |
| * in _start :1:0: Byte@0x40005b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40005b:[64]) | |
| * in _start :1:0: Byte@0x40005c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40005c:[64]) | |
| * in _start :1:0: Byte@0x40005d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40005d:[64]) | |
| * in _start :1:0: Byte@0x40005e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40005e:[64]) | |
| * in _start :1:0: Byte@0x40005f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40005f:[64]) | |
| * in _start :1:0: Byte@0x400060 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400060:[64]) | |
| * in _start :1:0: Byte@0x400061 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x400061:[64]) | |
| * in _start :1:0: Byte@0x400062 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400062:[64]) | |
| * in _start :1:0: Byte@0x400063 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400063:[64]) | |
| * in _start :1:0: Byte@0x400064 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400064:[64]) | |
| * in _start :1:0: Byte@0x400065 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400065:[64]) | |
| * in _start :1:0: Byte@0x400066 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400066:[64]) | |
| * in _start :1:0: Byte@0x400067 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400067:[64]) | |
| * in _start :1:0: Byte@0x400068 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400068:[64]) | |
| * in _start :1:0: Byte@0x400069 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x400069:[64]) | |
| * in _start :1:0: Byte@0x40006a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006a:[64]) | |
| * in _start :1:0: Byte@0x40006b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006b:[64]) | |
| * in _start :1:0: Byte@0x40006c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006c:[64]) | |
| * in _start :1:0: Byte@0x40006d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006d:[64]) | |
| * in _start :1:0: Byte@0x40006e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006e:[64]) | |
| * in _start :1:0: Byte@0x40006f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40006f:[64]) | |
| * in _start :1:0: Byte@0x400070 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400070:[64]) | |
| * in _start :1:0: Byte@0x400071 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400071:[64]) | |
| * in _start :1:0: Byte@0x400072 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400072:[64]) | |
| * in _start :1:0: Byte@0x400073 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400073:[64]) | |
| * in _start :1:0: Byte@0x400074 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400074:[64]) | |
| * in _start :1:0: Byte@0x400075 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400075:[64]) | |
| * in _start :1:0: Byte@0x400076 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400076:[64]) | |
| * in _start :1:0: Byte@0x400077 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400077:[64]) | |
| * in _start :1:0: Byte@0x400078 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x400078:[64]) | |
| * in _start :1:0: Byte@0x400079 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400079:[64]) | |
| * in _start :1:0: Byte@0x40007a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40007a:[64]) | |
| * in _start :1:0: Byte@0x40007b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40007b:[64]) | |
| * in _start :1:0: Byte@0x40007c | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x40007c:[64]) | |
| * in _start :1:0: Byte@0x40007d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40007d:[64]) | |
| * in _start :1:0: Byte@0x40007e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40007e:[64]) | |
| * in _start :1:0: Byte@0x40007f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40007f:[64]) | |
| * in _start :1:0: Byte@0x400080 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400080:[64]) | |
| * in _start :1:0: Byte@0x400081 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400081:[64]) | |
| * in _start :1:0: Byte@0x400082 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400082:[64]) | |
| * in _start :1:0: Byte@0x400083 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400083:[64]) | |
| * in _start :1:0: Byte@0x400084 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400084:[64]) | |
| * in _start :1:0: Byte@0x400085 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400085:[64]) | |
| * in _start :1:0: Byte@0x400086 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400086:[64]) | |
| * in _start :1:0: Byte@0x400087 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400087:[64]) | |
| * in _start :1:0: Byte@0x400088 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400088:[64]) | |
| * in _start :1:0: Byte@0x400089 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400089:[64]) | |
| * in _start :1:0: Byte@0x40008a | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x40008a:[64]) | |
| * in _start :1:0: Byte@0x40008b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40008b:[64]) | |
| * in _start :1:0: Byte@0x40008c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40008c:[64]) | |
| * in _start :1:0: Byte@0x40008d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40008d:[64]) | |
| * in _start :1:0: Byte@0x40008e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40008e:[64]) | |
| * in _start :1:0: Byte@0x40008f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40008f:[64]) | |
| * in _start :1:0: Byte@0x400090 | |
| eq 0x20:[8] (select cglobalMemoryBytes@22:a 0x400090:[64]) | |
| * in _start :1:0: Byte@0x400091 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400091:[64]) | |
| * in _start :1:0: Byte@0x400092 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x400092:[64]) | |
| * in _start :1:0: Byte@0x400093 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400093:[64]) | |
| * in _start :1:0: Byte@0x400094 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400094:[64]) | |
| * in _start :1:0: Byte@0x400095 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400095:[64]) | |
| * in _start :1:0: Byte@0x400096 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400096:[64]) | |
| * in _start :1:0: Byte@0x400097 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400097:[64]) | |
| * in _start :1:0: Byte@0x400098 | |
| eq 0x24:[8] (select cglobalMemoryBytes@22:a 0x400098:[64]) | |
| * in _start :1:0: Byte@0x400099 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400099:[64]) | |
| * in _start :1:0: Byte@0x40009a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009a:[64]) | |
| * in _start :1:0: Byte@0x40009b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009b:[64]) | |
| * in _start :1:0: Byte@0x40009c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009c:[64]) | |
| * in _start :1:0: Byte@0x40009d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009d:[64]) | |
| * in _start :1:0: Byte@0x40009e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009e:[64]) | |
| * in _start :1:0: Byte@0x40009f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40009f:[64]) | |
| * in _start :1:0: Byte@0x4000a0 | |
| eq 0x24:[8] (select cglobalMemoryBytes@22:a 0x4000a0:[64]) | |
| * in _start :1:0: Byte@0x4000a1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a1:[64]) | |
| * in _start :1:0: Byte@0x4000a2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a2:[64]) | |
| * in _start :1:0: Byte@0x4000a3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a3:[64]) | |
| * in _start :1:0: Byte@0x4000a4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a4:[64]) | |
| * in _start :1:0: Byte@0x4000a5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a5:[64]) | |
| * in _start :1:0: Byte@0x4000a6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a6:[64]) | |
| * in _start :1:0: Byte@0x4000a7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a7:[64]) | |
| * in _start :1:0: Byte@0x4000a8 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x4000a8:[64]) | |
| * in _start :1:0: Byte@0x4000a9 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000a9:[64]) | |
| * in _start :1:0: Byte@0x4000aa | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000aa:[64]) | |
| * in _start :1:0: Byte@0x4000ab | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ab:[64]) | |
| * in _start :1:0: Byte@0x4000ac | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ac:[64]) | |
| * in _start :1:0: Byte@0x4000ad | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ad:[64]) | |
| * in _start :1:0: Byte@0x4000ae | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ae:[64]) | |
| * in _start :1:0: Byte@0x4000af | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000af:[64]) | |
| * in _start :1:0: Byte@0x4000b0 | |
| eq 0x50:[8] (select cglobalMemoryBytes@22:a 0x4000b0:[64]) | |
| * in _start :1:0: Byte@0x4000b1 | |
| eq 0xe5:[8] (select cglobalMemoryBytes@22:a 0x4000b1:[64]) | |
| * in _start :1:0: Byte@0x4000b2 | |
| eq 0x74:[8] (select cglobalMemoryBytes@22:a 0x4000b2:[64]) | |
| * in _start :1:0: Byte@0x4000b3 | |
| eq 0x64:[8] (select cglobalMemoryBytes@22:a 0x4000b3:[64]) | |
| * in _start :1:0: Byte@0x4000b4 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x4000b4:[64]) | |
| * in _start :1:0: Byte@0x4000b5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000b5:[64]) | |
| * in _start :1:0: Byte@0x4000b6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000b6:[64]) | |
| * in _start :1:0: Byte@0x4000b7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000b7:[64]) | |
| * in _start :1:0: Byte@0x4000b8 | |
| eq 0xa8:[8] (select cglobalMemoryBytes@22:a 0x4000b8:[64]) | |
| * in _start :1:0: Byte@0x4000b9 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4000b9:[64]) | |
| * in _start :1:0: Byte@0x4000ba | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ba:[64]) | |
| * in _start :1:0: Byte@0x4000bb | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000bb:[64]) | |
| * in _start :1:0: Byte@0x4000bc | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000bc:[64]) | |
| * in _start :1:0: Byte@0x4000bd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000bd:[64]) | |
| * in _start :1:0: Byte@0x4000be | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000be:[64]) | |
| * in _start :1:0: Byte@0x4000bf | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000bf:[64]) | |
| * in _start :1:0: Byte@0x4000c0 | |
| eq 0xa8:[8] (select cglobalMemoryBytes@22:a 0x4000c0:[64]) | |
| * in _start :1:0: Byte@0x4000c1 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4000c1:[64]) | |
| * in _start :1:0: Byte@0x4000c2 | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x4000c2:[64]) | |
| * in _start :1:0: Byte@0x4000c3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000c3:[64]) | |
| * in _start :1:0: Byte@0x4000c4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000c4:[64]) | |
| * in _start :1:0: Byte@0x4000c5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000c5:[64]) | |
| * in _start :1:0: Byte@0x4000c6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000c6:[64]) | |
| * in _start :1:0: Byte@0x4000c7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000c7:[64]) | |
| * in _start :1:0: Byte@0x4000c8 | |
| eq 0xa8:[8] (select cglobalMemoryBytes@22:a 0x4000c8:[64]) | |
| * in _start :1:0: Byte@0x4000c9 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4000c9:[64]) | |
| * in _start :1:0: Byte@0x4000ca | |
| eq 0x40:[8] (select cglobalMemoryBytes@22:a 0x4000ca:[64]) | |
| * in _start :1:0: Byte@0x4000cb | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000cb:[64]) | |
| * in _start :1:0: Byte@0x4000cc | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000cc:[64]) | |
| * in _start :1:0: Byte@0x4000cd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000cd:[64]) | |
| * in _start :1:0: Byte@0x4000ce | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ce:[64]) | |
| * in _start :1:0: Byte@0x4000cf | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000cf:[64]) | |
| * in _start :1:0: Byte@0x4000d0 | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x4000d0:[64]) | |
| * in _start :1:0: Byte@0x4000d1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d1:[64]) | |
| * in _start :1:0: Byte@0x4000d2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d2:[64]) | |
| * in _start :1:0: Byte@0x4000d3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d3:[64]) | |
| * in _start :1:0: Byte@0x4000d4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d4:[64]) | |
| * in _start :1:0: Byte@0x4000d5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d5:[64]) | |
| * in _start :1:0: Byte@0x4000d6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d6:[64]) | |
| * in _start :1:0: Byte@0x4000d7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d7:[64]) | |
| * in _start :1:0: Byte@0x4000d8 | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x4000d8:[64]) | |
| * in _start :1:0: Byte@0x4000d9 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000d9:[64]) | |
| * in _start :1:0: Byte@0x4000da | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000da:[64]) | |
| * in _start :1:0: Byte@0x4000db | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000db:[64]) | |
| * in _start :1:0: Byte@0x4000dc | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000dc:[64]) | |
| * in _start :1:0: Byte@0x4000dd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000dd:[64]) | |
| * in _start :1:0: Byte@0x4000de | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000de:[64]) | |
| * in _start :1:0: Byte@0x4000df | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000df:[64]) | |
| * in _start :1:0: Byte@0x4000e0 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x4000e0:[64]) | |
| * in _start :1:0: Byte@0x4000e1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e1:[64]) | |
| * in _start :1:0: Byte@0x4000e2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e2:[64]) | |
| * in _start :1:0: Byte@0x4000e3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e3:[64]) | |
| * in _start :1:0: Byte@0x4000e4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e4:[64]) | |
| * in _start :1:0: Byte@0x4000e5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e5:[64]) | |
| * in _start :1:0: Byte@0x4000e6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e6:[64]) | |
| * in _start :1:0: Byte@0x4000e7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000e7:[64]) | |
| * in _start :1:0: Byte@0x4000e8 | |
| eq 0x51:[8] (select cglobalMemoryBytes@22:a 0x4000e8:[64]) | |
| * in _start :1:0: Byte@0x4000e9 | |
| eq 0xe5:[8] (select cglobalMemoryBytes@22:a 0x4000e9:[64]) | |
| * in _start :1:0: Byte@0x4000ea | |
| eq 0x74:[8] (select cglobalMemoryBytes@22:a 0x4000ea:[64]) | |
| * in _start :1:0: Byte@0x4000eb | |
| eq 0x64:[8] (select cglobalMemoryBytes@22:a 0x4000eb:[64]) | |
| * in _start :1:0: Byte@0x4000ec | |
| eq 0x6:[8] (select cglobalMemoryBytes@22:a 0x4000ec:[64]) | |
| * in _start :1:0: Byte@0x4000ed | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ed:[64]) | |
| * in _start :1:0: Byte@0x4000ee | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ee:[64]) | |
| * in _start :1:0: Byte@0x4000ef | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ef:[64]) | |
| * in _start :1:0: Byte@0x4000f0 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f0:[64]) | |
| * in _start :1:0: Byte@0x4000f1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f1:[64]) | |
| * in _start :1:0: Byte@0x4000f2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f2:[64]) | |
| * in _start :1:0: Byte@0x4000f3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f3:[64]) | |
| * in _start :1:0: Byte@0x4000f4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f4:[64]) | |
| * in _start :1:0: Byte@0x4000f5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f5:[64]) | |
| * in _start :1:0: Byte@0x4000f6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f6:[64]) | |
| * in _start :1:0: Byte@0x4000f7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f7:[64]) | |
| * in _start :1:0: Byte@0x4000f8 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f8:[64]) | |
| * in _start :1:0: Byte@0x4000f9 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000f9:[64]) | |
| * in _start :1:0: Byte@0x4000fa | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000fa:[64]) | |
| * in _start :1:0: Byte@0x4000fb | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000fb:[64]) | |
| * in _start :1:0: Byte@0x4000fc | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000fc:[64]) | |
| * in _start :1:0: Byte@0x4000fd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000fd:[64]) | |
| * in _start :1:0: Byte@0x4000fe | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000fe:[64]) | |
| * in _start :1:0: Byte@0x4000ff | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4000ff:[64]) | |
| * in _start :1:0: Byte@0x400100 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400100:[64]) | |
| * in _start :1:0: Byte@0x400101 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400101:[64]) | |
| * in _start :1:0: Byte@0x400102 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400102:[64]) | |
| * in _start :1:0: Byte@0x400103 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400103:[64]) | |
| * in _start :1:0: Byte@0x400104 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400104:[64]) | |
| * in _start :1:0: Byte@0x400105 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400105:[64]) | |
| * in _start :1:0: Byte@0x400106 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400106:[64]) | |
| * in _start :1:0: Byte@0x400107 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400107:[64]) | |
| * in _start :1:0: Byte@0x400108 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400108:[64]) | |
| * in _start :1:0: Byte@0x400109 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400109:[64]) | |
| * in _start :1:0: Byte@0x40010a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010a:[64]) | |
| * in _start :1:0: Byte@0x40010b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010b:[64]) | |
| * in _start :1:0: Byte@0x40010c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010c:[64]) | |
| * in _start :1:0: Byte@0x40010d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010d:[64]) | |
| * in _start :1:0: Byte@0x40010e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010e:[64]) | |
| * in _start :1:0: Byte@0x40010f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40010f:[64]) | |
| * in _start :1:0: Byte@0x400110 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400110:[64]) | |
| * in _start :1:0: Byte@0x400111 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400111:[64]) | |
| * in _start :1:0: Byte@0x400112 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400112:[64]) | |
| * in _start :1:0: Byte@0x400113 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400113:[64]) | |
| * in _start :1:0: Byte@0x400114 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400114:[64]) | |
| * in _start :1:0: Byte@0x400115 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400115:[64]) | |
| * in _start :1:0: Byte@0x400116 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400116:[64]) | |
| * in _start :1:0: Byte@0x400117 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400117:[64]) | |
| * in _start :1:0: Byte@0x400118 | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x400118:[64]) | |
| * in _start :1:0: Byte@0x400119 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400119:[64]) | |
| * in _start :1:0: Byte@0x40011a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011a:[64]) | |
| * in _start :1:0: Byte@0x40011b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011b:[64]) | |
| * in _start :1:0: Byte@0x40011c | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011c:[64]) | |
| * in _start :1:0: Byte@0x40011d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011d:[64]) | |
| * in _start :1:0: Byte@0x40011e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011e:[64]) | |
| * in _start :1:0: Byte@0x40011f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40011f:[64]) | |
| * in _start :1:0: Byte@0x400120 | |
| eq 0x4:[8] (select cglobalMemoryBytes@22:a 0x400120:[64]) | |
| * in _start :1:0: Byte@0x400121 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400121:[64]) | |
| * in _start :1:0: Byte@0x400122 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400122:[64]) | |
| * in _start :1:0: Byte@0x400123 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400123:[64]) | |
| * in _start :1:0: Byte@0x400124 | |
| eq 0x14:[8] (select cglobalMemoryBytes@22:a 0x400124:[64]) | |
| * in _start :1:0: Byte@0x400125 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400125:[64]) | |
| * in _start :1:0: Byte@0x400126 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400126:[64]) | |
| * in _start :1:0: Byte@0x400127 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400127:[64]) | |
| * in _start :1:0: Byte@0x400128 | |
| eq 0x3:[8] (select cglobalMemoryBytes@22:a 0x400128:[64]) | |
| * in _start :1:0: Byte@0x400129 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400129:[64]) | |
| * in _start :1:0: Byte@0x40012a | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40012a:[64]) | |
| * in _start :1:0: Byte@0x40012b | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40012b:[64]) | |
| * in _start :1:0: Byte@0x40012c | |
| eq 0x47:[8] (select cglobalMemoryBytes@22:a 0x40012c:[64]) | |
| * in _start :1:0: Byte@0x40012d | |
| eq 0x4e:[8] (select cglobalMemoryBytes@22:a 0x40012d:[64]) | |
| * in _start :1:0: Byte@0x40012e | |
| eq 0x55:[8] (select cglobalMemoryBytes@22:a 0x40012e:[64]) | |
| * in _start :1:0: Byte@0x40012f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40012f:[64]) | |
| * in _start :1:0: Byte@0x400130 | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x400130:[64]) | |
| * in _start :1:0: Byte@0x400131 | |
| eq 0x90:[8] (select cglobalMemoryBytes@22:a 0x400131:[64]) | |
| * in _start :1:0: Byte@0x400132 | |
| eq 0x2f:[8] (select cglobalMemoryBytes@22:a 0x400132:[64]) | |
| * in _start :1:0: Byte@0x400133 | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x400133:[64]) | |
| * in _start :1:0: Byte@0x400134 | |
| eq 0x17:[8] (select cglobalMemoryBytes@22:a 0x400134:[64]) | |
| * in _start :1:0: Byte@0x400135 | |
| eq 0x11:[8] (select cglobalMemoryBytes@22:a 0x400135:[64]) | |
| * in _start :1:0: Byte@0x400136 | |
| eq 0x27:[8] (select cglobalMemoryBytes@22:a 0x400136:[64]) | |
| * in _start :1:0: Byte@0x400137 | |
| eq 0x97:[8] (select cglobalMemoryBytes@22:a 0x400137:[64]) | |
| * in _start :1:0: Byte@0x400138 | |
| eq 0x47:[8] (select cglobalMemoryBytes@22:a 0x400138:[64]) | |
| * in _start :1:0: Byte@0x400139 | |
| eq 0xdd:[8] (select cglobalMemoryBytes@22:a 0x400139:[64]) | |
| * in _start :1:0: Byte@0x40013a | |
| eq 0xf:[8] (select cglobalMemoryBytes@22:a 0x40013a:[64]) | |
| * in _start :1:0: Byte@0x40013b | |
| eq 0x1f:[8] (select cglobalMemoryBytes@22:a 0x40013b:[64]) | |
| * in _start :1:0: Byte@0x40013c | |
| eq 0xb8:[8] (select cglobalMemoryBytes@22:a 0x40013c:[64]) | |
| * in _start :1:0: Byte@0x40013d | |
| eq 0x8a:[8] (select cglobalMemoryBytes@22:a 0x40013d:[64]) | |
| * in _start :1:0: Byte@0x40013e | |
| eq 0x27:[8] (select cglobalMemoryBytes@22:a 0x40013e:[64]) | |
| * in _start :1:0: Byte@0x40013f | |
| eq 0xd3:[8] (select cglobalMemoryBytes@22:a 0x40013f:[64]) | |
| * in _start :1:0: Byte@0x400140 | |
| eq 0x4c:[8] (select cglobalMemoryBytes@22:a 0x400140:[64]) | |
| * in _start :1:0: Byte@0x400141 | |
| eq 0xc0:[8] (select cglobalMemoryBytes@22:a 0x400141:[64]) | |
| * in _start :1:0: Byte@0x400142 | |
| eq 0x9c:[8] (select cglobalMemoryBytes@22:a 0x400142:[64]) | |
| * in _start :1:0: Byte@0x400143 | |
| eq 0x7:[8] (select cglobalMemoryBytes@22:a 0x400143:[64]) | |
| * in _start :1:0: Byte@0x400144 | |
| eq 0x55:[8] (select cglobalMemoryBytes@22:a 0x400144:[64]) | |
| * in _start :1:0: Byte@0x400145 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400145:[64]) | |
| * in _start :1:0: Byte@0x400146 | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x400146:[64]) | |
| * in _start :1:0: Byte@0x400147 | |
| eq 0xe5:[8] (select cglobalMemoryBytes@22:a 0x400147:[64]) | |
| * in _start :1:0: Byte@0x400148 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400148:[64]) | |
| * in _start :1:0: Byte@0x400149 | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x400149:[64]) | |
| * in _start :1:0: Byte@0x40014a | |
| eq 0x7d:[8] (select cglobalMemoryBytes@22:a 0x40014a:[64]) | |
| * in _start :1:0: Byte@0x40014b | |
| eq 0xe8:[8] (select cglobalMemoryBytes@22:a 0x40014b:[64]) | |
| * in _start :1:0: Byte@0x40014c | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40014c:[64]) | |
| * in _start :1:0: Byte@0x40014d | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x40014d:[64]) | |
| * in _start :1:0: Byte@0x40014e | |
| eq 0x75:[8] (select cglobalMemoryBytes@22:a 0x40014e:[64]) | |
| * in _start :1:0: Byte@0x40014f | |
| eq 0xe0:[8] (select cglobalMemoryBytes@22:a 0x40014f:[64]) | |
| * in _start :1:0: Byte@0x400150 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400150:[64]) | |
| * in _start :1:0: Byte@0x400151 | |
| eq 0x8b:[8] (select cglobalMemoryBytes@22:a 0x400151:[64]) | |
| * in _start :1:0: Byte@0x400152 | |
| eq 0x55:[8] (select cglobalMemoryBytes@22:a 0x400152:[64]) | |
| * in _start :1:0: Byte@0x400153 | |
| eq 0xe8:[8] (select cglobalMemoryBytes@22:a 0x400153:[64]) | |
| * in _start :1:0: Byte@0x400154 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400154:[64]) | |
| * in _start :1:0: Byte@0x400155 | |
| eq 0x8b:[8] (select cglobalMemoryBytes@22:a 0x400155:[64]) | |
| * in _start :1:0: Byte@0x400156 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x400156:[64]) | |
| * in _start :1:0: Byte@0x400157 | |
| eq 0xe0:[8] (select cglobalMemoryBytes@22:a 0x400157:[64]) | |
| * in _start :1:0: Byte@0x400158 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400158:[64]) | |
| * in _start :1:0: Byte@0x400159 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x400159:[64]) | |
| * in _start :1:0: Byte@0x40015a | |
| eq 0xd0:[8] (select cglobalMemoryBytes@22:a 0x40015a:[64]) | |
| * in _start :1:0: Byte@0x40015b | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40015b:[64]) | |
| * in _start :1:0: Byte@0x40015c | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x40015c:[64]) | |
| * in _start :1:0: Byte@0x40015d | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x40015d:[64]) | |
| * in _start :1:0: Byte@0x40015e | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x40015e:[64]) | |
| * in _start :1:0: Byte@0x40015f | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40015f:[64]) | |
| * in _start :1:0: Byte@0x400160 | |
| eq 0x8b:[8] (select cglobalMemoryBytes@22:a 0x400160:[64]) | |
| * in _start :1:0: Byte@0x400161 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x400161:[64]) | |
| * in _start :1:0: Byte@0x400162 | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x400162:[64]) | |
| * in _start :1:0: Byte@0x400163 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400163:[64]) | |
| * in _start :1:0: Byte@0x400164 | |
| eq 0x3b:[8] (select cglobalMemoryBytes@22:a 0x400164:[64]) | |
| * in _start :1:0: Byte@0x400165 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x400165:[64]) | |
| * in _start :1:0: Byte@0x400166 | |
| eq 0xe8:[8] (select cglobalMemoryBytes@22:a 0x400166:[64]) | |
| * in _start :1:0: Byte@0x400167 | |
| eq 0x7c:[8] (select cglobalMemoryBytes@22:a 0x400167:[64]) | |
| * in _start :1:0: Byte@0x400168 | |
| eq 0xa:[8] (select cglobalMemoryBytes@22:a 0x400168:[64]) | |
| * in _start :1:0: Byte@0x400169 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400169:[64]) | |
| * in _start :1:0: Byte@0x40016a | |
| eq 0x8b:[8] (select cglobalMemoryBytes@22:a 0x40016a:[64]) | |
| * in _start :1:0: Byte@0x40016b | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x40016b:[64]) | |
| * in _start :1:0: Byte@0x40016c | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x40016c:[64]) | |
| * in _start :1:0: Byte@0x40016d | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40016d:[64]) | |
| * in _start :1:0: Byte@0x40016e | |
| eq 0x3b:[8] (select cglobalMemoryBytes@22:a 0x40016e:[64]) | |
| * in _start :1:0: Byte@0x40016f | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x40016f:[64]) | |
| * in _start :1:0: Byte@0x400170 | |
| eq 0xe0:[8] (select cglobalMemoryBytes@22:a 0x400170:[64]) | |
| * in _start :1:0: Byte@0x400171 | |
| eq 0x7d:[8] (select cglobalMemoryBytes@22:a 0x400171:[64]) | |
| * in _start :1:0: Byte@0x400172 | |
| eq 0xe:[8] (select cglobalMemoryBytes@22:a 0x400172:[64]) | |
| * in _start :1:0: Byte@0x400173 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400173:[64]) | |
| * in _start :1:0: Byte@0x400174 | |
| eq 0xb8:[8] (select cglobalMemoryBytes@22:a 0x400174:[64]) | |
| * in _start :1:0: Byte@0x400175 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400175:[64]) | |
| * in _start :1:0: Byte@0x400176 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400176:[64]) | |
| * in _start :1:0: Byte@0x400177 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400177:[64]) | |
| * in _start :1:0: Byte@0x400178 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400178:[64]) | |
| * in _start :1:0: Byte@0x400179 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400179:[64]) | |
| * in _start :1:0: Byte@0x40017a | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40017a:[64]) | |
| * in _start :1:0: Byte@0x40017b | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40017b:[64]) | |
| * in _start :1:0: Byte@0x40017c | |
| eq 0x7f:[8] (select cglobalMemoryBytes@22:a 0x40017c:[64]) | |
| * in _start :1:0: Byte@0x40017d | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40017d:[64]) | |
| * in _start :1:0: Byte@0x40017e | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x40017e:[64]) | |
| * in _start :1:0: Byte@0x40017f | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x40017f:[64]) | |
| * in _start :1:0: Byte@0x400180 | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x400180:[64]) | |
| * in _start :1:0: Byte@0x400181 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400181:[64]) | |
| * in _start :1:0: Byte@0x400182 | |
| eq 0x8b:[8] (select cglobalMemoryBytes@22:a 0x400182:[64]) | |
| * in _start :1:0: Byte@0x400183 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x400183:[64]) | |
| * in _start :1:0: Byte@0x400184 | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x400184:[64]) | |
| * in _start :1:0: Byte@0x400185 | |
| eq 0x5d:[8] (select cglobalMemoryBytes@22:a 0x400185:[64]) | |
| * in _start :1:0: Byte@0x400186 | |
| eq 0xc3:[8] (select cglobalMemoryBytes@22:a 0x400186:[64]) | |
| * in _start :1:0: Byte@0x400187 | |
| eq 0x55:[8] (select cglobalMemoryBytes@22:a 0x400187:[64]) | |
| * in _start :1:0: Byte@0x400188 | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x400188:[64]) | |
| * in _start :1:0: Byte@0x400189 | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x400189:[64]) | |
| * in _start :1:0: Byte@0x40018a | |
| eq 0xe5:[8] (select cglobalMemoryBytes@22:a 0x40018a:[64]) | |
| * in _start :1:0: Byte@0x40018b | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40018b:[64]) | |
| * in _start :1:0: Byte@0x40018c | |
| eq 0x83:[8] (select cglobalMemoryBytes@22:a 0x40018c:[64]) | |
| * in _start :1:0: Byte@0x40018d | |
| eq 0xec:[8] (select cglobalMemoryBytes@22:a 0x40018d:[64]) | |
| * in _start :1:0: Byte@0x40018e | |
| eq 0x10:[8] (select cglobalMemoryBytes@22:a 0x40018e:[64]) | |
| * in _start :1:0: Byte@0x40018f | |
| eq 0xbe:[8] (select cglobalMemoryBytes@22:a 0x40018f:[64]) | |
| * in _start :1:0: Byte@0x400190 | |
| eq 0x6:[8] (select cglobalMemoryBytes@22:a 0x400190:[64]) | |
| * in _start :1:0: Byte@0x400191 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400191:[64]) | |
| * in _start :1:0: Byte@0x400192 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400192:[64]) | |
| * in _start :1:0: Byte@0x400193 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400193:[64]) | |
| * in _start :1:0: Byte@0x400194 | |
| eq 0xbf:[8] (select cglobalMemoryBytes@22:a 0x400194:[64]) | |
| * in _start :1:0: Byte@0x400195 | |
| eq 0x5:[8] (select cglobalMemoryBytes@22:a 0x400195:[64]) | |
| * in _start :1:0: Byte@0x400196 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400196:[64]) | |
| * in _start :1:0: Byte@0x400197 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400197:[64]) | |
| * in _start :1:0: Byte@0x400198 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400198:[64]) | |
| * in _start :1:0: Byte@0x400199 | |
| eq 0xe8:[8] (select cglobalMemoryBytes@22:a 0x400199:[64]) | |
| * in _start :1:0: Byte@0x40019a | |
| eq 0xa6:[8] (select cglobalMemoryBytes@22:a 0x40019a:[64]) | |
| * in _start :1:0: Byte@0x40019b | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40019b:[64]) | |
| * in _start :1:0: Byte@0x40019c | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40019c:[64]) | |
| * in _start :1:0: Byte@0x40019d | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40019d:[64]) | |
| * in _start :1:0: Byte@0x40019e | |
| eq 0x48:[8] (select cglobalMemoryBytes@22:a 0x40019e:[64]) | |
| * in _start :1:0: Byte@0x40019f | |
| eq 0x89:[8] (select cglobalMemoryBytes@22:a 0x40019f:[64]) | |
| * in _start :1:0: Byte@0x4001a0 | |
| eq 0x45:[8] (select cglobalMemoryBytes@22:a 0x4001a0:[64]) | |
| * in _start :1:0: Byte@0x4001a1 | |
| eq 0xf8:[8] (select cglobalMemoryBytes@22:a 0x4001a1:[64]) | |
| * in _start :1:0: Byte@0x4001a2 | |
| eq 0x90:[8] (select cglobalMemoryBytes@22:a 0x4001a2:[64]) | |
| * in _start :1:0: Byte@0x4001a3 | |
| eq 0xc9:[8] (select cglobalMemoryBytes@22:a 0x4001a3:[64]) | |
| * in _start :1:0: Byte@0x4001a4 | |
| eq 0xc3:[8] (select cglobalMemoryBytes@22:a 0x4001a4:[64]) | |
| * in _start :1:0: Byte@0x4001a5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001a5:[64]) | |
| * in _start :1:0: Byte@0x4001a6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001a6:[64]) | |
| * in _start :1:0: Byte@0x4001a7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001a7:[64]) | |
| * in _start :1:0: Byte@0x4001a8 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4001a8:[64]) | |
| * in _start :1:0: Byte@0x4001a9 | |
| eq 0x1b:[8] (select cglobalMemoryBytes@22:a 0x4001a9:[64]) | |
| * in _start :1:0: Byte@0x4001aa | |
| eq 0x3:[8] (select cglobalMemoryBytes@22:a 0x4001aa:[64]) | |
| * in _start :1:0: Byte@0x4001ab | |
| eq 0x3b:[8] (select cglobalMemoryBytes@22:a 0x4001ab:[64]) | |
| * in _start :1:0: Byte@0x4001ac | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x4001ac:[64]) | |
| * in _start :1:0: Byte@0x4001ad | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ad:[64]) | |
| * in _start :1:0: Byte@0x4001ae | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ae:[64]) | |
| * in _start :1:0: Byte@0x4001af | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001af:[64]) | |
| * in _start :1:0: Byte@0x4001b0 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x4001b0:[64]) | |
| * in _start :1:0: Byte@0x4001b1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001b1:[64]) | |
| * in _start :1:0: Byte@0x4001b2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001b2:[64]) | |
| * in _start :1:0: Byte@0x4001b3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001b3:[64]) | |
| * in _start :1:0: Byte@0x4001b4 | |
| eq 0x9c:[8] (select cglobalMemoryBytes@22:a 0x4001b4:[64]) | |
| * in _start :1:0: Byte@0x4001b5 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001b5:[64]) | |
| * in _start :1:0: Byte@0x4001b6 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001b6:[64]) | |
| * in _start :1:0: Byte@0x4001b7 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001b7:[64]) | |
| * in _start :1:0: Byte@0x4001b8 | |
| eq 0x38:[8] (select cglobalMemoryBytes@22:a 0x4001b8:[64]) | |
| * in _start :1:0: Byte@0x4001b9 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001b9:[64]) | |
| * in _start :1:0: Byte@0x4001ba | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ba:[64]) | |
| * in _start :1:0: Byte@0x4001bb | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001bb:[64]) | |
| * in _start :1:0: Byte@0x4001bc | |
| eq 0xdf:[8] (select cglobalMemoryBytes@22:a 0x4001bc:[64]) | |
| * in _start :1:0: Byte@0x4001bd | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001bd:[64]) | |
| * in _start :1:0: Byte@0x4001be | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001be:[64]) | |
| * in _start :1:0: Byte@0x4001bf | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001bf:[64]) | |
| * in _start :1:0: Byte@0x4001c0 | |
| eq 0x58:[8] (select cglobalMemoryBytes@22:a 0x4001c0:[64]) | |
| * in _start :1:0: Byte@0x4001c1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c1:[64]) | |
| * in _start :1:0: Byte@0x4001c2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c2:[64]) | |
| * in _start :1:0: Byte@0x4001c3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c3:[64]) | |
| * in _start :1:0: Byte@0x4001c4 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c4:[64]) | |
| * in _start :1:0: Byte@0x4001c5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c5:[64]) | |
| * in _start :1:0: Byte@0x4001c6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c6:[64]) | |
| * in _start :1:0: Byte@0x4001c7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c7:[64]) | |
| * in _start :1:0: Byte@0x4001c8 | |
| eq 0x14:[8] (select cglobalMemoryBytes@22:a 0x4001c8:[64]) | |
| * in _start :1:0: Byte@0x4001c9 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001c9:[64]) | |
| * in _start :1:0: Byte@0x4001ca | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ca:[64]) | |
| * in _start :1:0: Byte@0x4001cb | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001cb:[64]) | |
| * in _start :1:0: Byte@0x4001cc | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001cc:[64]) | |
| * in _start :1:0: Byte@0x4001cd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001cd:[64]) | |
| * in _start :1:0: Byte@0x4001ce | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ce:[64]) | |
| * in _start :1:0: Byte@0x4001cf | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001cf:[64]) | |
| * in _start :1:0: Byte@0x4001d0 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4001d0:[64]) | |
| * in _start :1:0: Byte@0x4001d1 | |
| eq 0x7a:[8] (select cglobalMemoryBytes@22:a 0x4001d1:[64]) | |
| * in _start :1:0: Byte@0x4001d2 | |
| eq 0x52:[8] (select cglobalMemoryBytes@22:a 0x4001d2:[64]) | |
| * in _start :1:0: Byte@0x4001d3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001d3:[64]) | |
| * in _start :1:0: Byte@0x4001d4 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4001d4:[64]) | |
| * in _start :1:0: Byte@0x4001d5 | |
| eq 0x78:[8] (select cglobalMemoryBytes@22:a 0x4001d5:[64]) | |
| * in _start :1:0: Byte@0x4001d6 | |
| eq 0x10:[8] (select cglobalMemoryBytes@22:a 0x4001d6:[64]) | |
| * in _start :1:0: Byte@0x4001d7 | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4001d7:[64]) | |
| * in _start :1:0: Byte@0x4001d8 | |
| eq 0x1b:[8] (select cglobalMemoryBytes@22:a 0x4001d8:[64]) | |
| * in _start :1:0: Byte@0x4001d9 | |
| eq 0xc:[8] (select cglobalMemoryBytes@22:a 0x4001d9:[64]) | |
| * in _start :1:0: Byte@0x4001da | |
| eq 0x7:[8] (select cglobalMemoryBytes@22:a 0x4001da:[64]) | |
| * in _start :1:0: Byte@0x4001db | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x4001db:[64]) | |
| * in _start :1:0: Byte@0x4001dc | |
| eq 0x90:[8] (select cglobalMemoryBytes@22:a 0x4001dc:[64]) | |
| * in _start :1:0: Byte@0x4001dd | |
| eq 0x1:[8] (select cglobalMemoryBytes@22:a 0x4001dd:[64]) | |
| * in _start :1:0: Byte@0x4001de | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001de:[64]) | |
| * in _start :1:0: Byte@0x4001df | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001df:[64]) | |
| * in _start :1:0: Byte@0x4001e0 | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x4001e0:[64]) | |
| * in _start :1:0: Byte@0x4001e1 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e1:[64]) | |
| * in _start :1:0: Byte@0x4001e2 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e2:[64]) | |
| * in _start :1:0: Byte@0x4001e3 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e3:[64]) | |
| * in _start :1:0: Byte@0x4001e4 | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x4001e4:[64]) | |
| * in _start :1:0: Byte@0x4001e5 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e5:[64]) | |
| * in _start :1:0: Byte@0x4001e6 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e6:[64]) | |
| * in _start :1:0: Byte@0x4001e7 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001e7:[64]) | |
| * in _start :1:0: Byte@0x4001e8 | |
| eq 0x5c:[8] (select cglobalMemoryBytes@22:a 0x4001e8:[64]) | |
| * in _start :1:0: Byte@0x4001e9 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001e9:[64]) | |
| * in _start :1:0: Byte@0x4001ea | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001ea:[64]) | |
| * in _start :1:0: Byte@0x4001eb | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x4001eb:[64]) | |
| * in _start :1:0: Byte@0x4001ec | |
| eq 0x43:[8] (select cglobalMemoryBytes@22:a 0x4001ec:[64]) | |
| * in _start :1:0: Byte@0x4001ed | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ed:[64]) | |
| * in _start :1:0: Byte@0x4001ee | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ee:[64]) | |
| * in _start :1:0: Byte@0x4001ef | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ef:[64]) | |
| * in _start :1:0: Byte@0x4001f0 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001f0:[64]) | |
| * in _start :1:0: Byte@0x4001f1 | |
| eq 0x41:[8] (select cglobalMemoryBytes@22:a 0x4001f1:[64]) | |
| * in _start :1:0: Byte@0x4001f2 | |
| eq 0xe:[8] (select cglobalMemoryBytes@22:a 0x4001f2:[64]) | |
| * in _start :1:0: Byte@0x4001f3 | |
| eq 0x10:[8] (select cglobalMemoryBytes@22:a 0x4001f3:[64]) | |
| * in _start :1:0: Byte@0x4001f4 | |
| eq 0x86:[8] (select cglobalMemoryBytes@22:a 0x4001f4:[64]) | |
| * in _start :1:0: Byte@0x4001f5 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x4001f5:[64]) | |
| * in _start :1:0: Byte@0x4001f6 | |
| eq 0x43:[8] (select cglobalMemoryBytes@22:a 0x4001f6:[64]) | |
| * in _start :1:0: Byte@0x4001f7 | |
| eq 0xd:[8] (select cglobalMemoryBytes@22:a 0x4001f7:[64]) | |
| * in _start :1:0: Byte@0x4001f8 | |
| eq 0x6:[8] (select cglobalMemoryBytes@22:a 0x4001f8:[64]) | |
| * in _start :1:0: Byte@0x4001f9 | |
| eq 0x7e:[8] (select cglobalMemoryBytes@22:a 0x4001f9:[64]) | |
| * in _start :1:0: Byte@0x4001fa | |
| eq 0xc:[8] (select cglobalMemoryBytes@22:a 0x4001fa:[64]) | |
| * in _start :1:0: Byte@0x4001fb | |
| eq 0x7:[8] (select cglobalMemoryBytes@22:a 0x4001fb:[64]) | |
| * in _start :1:0: Byte@0x4001fc | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x4001fc:[64]) | |
| * in _start :1:0: Byte@0x4001fd | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001fd:[64]) | |
| * in _start :1:0: Byte@0x4001fe | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001fe:[64]) | |
| * in _start :1:0: Byte@0x4001ff | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x4001ff:[64]) | |
| * in _start :1:0: Byte@0x400200 | |
| eq 0x1c:[8] (select cglobalMemoryBytes@22:a 0x400200:[64]) | |
| * in _start :1:0: Byte@0x400201 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400201:[64]) | |
| * in _start :1:0: Byte@0x400202 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400202:[64]) | |
| * in _start :1:0: Byte@0x400203 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400203:[64]) | |
| * in _start :1:0: Byte@0x400204 | |
| eq 0x3c:[8] (select cglobalMemoryBytes@22:a 0x400204:[64]) | |
| * in _start :1:0: Byte@0x400205 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400205:[64]) | |
| * in _start :1:0: Byte@0x400206 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400206:[64]) | |
| * in _start :1:0: Byte@0x400207 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400207:[64]) | |
| * in _start :1:0: Byte@0x400208 | |
| eq 0x7f:[8] (select cglobalMemoryBytes@22:a 0x400208:[64]) | |
| * in _start :1:0: Byte@0x400209 | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x400209:[64]) | |
| * in _start :1:0: Byte@0x40020a | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40020a:[64]) | |
| * in _start :1:0: Byte@0x40020b | |
| eq 0xff:[8] (select cglobalMemoryBytes@22:a 0x40020b:[64]) | |
| * in _start :1:0: Byte@0x40020c | |
| eq 0x1e:[8] (select cglobalMemoryBytes@22:a 0x40020c:[64]) | |
| * in _start :1:0: Byte@0x40020d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40020d:[64]) | |
| * in _start :1:0: Byte@0x40020e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40020e:[64]) | |
| * in _start :1:0: Byte@0x40020f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40020f:[64]) | |
| * in _start :1:0: Byte@0x400210 | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x400210:[64]) | |
| * in _start :1:0: Byte@0x400211 | |
| eq 0x41:[8] (select cglobalMemoryBytes@22:a 0x400211:[64]) | |
| * in _start :1:0: Byte@0x400212 | |
| eq 0xe:[8] (select cglobalMemoryBytes@22:a 0x400212:[64]) | |
| * in _start :1:0: Byte@0x400213 | |
| eq 0x10:[8] (select cglobalMemoryBytes@22:a 0x400213:[64]) | |
| * in _start :1:0: Byte@0x400214 | |
| eq 0x86:[8] (select cglobalMemoryBytes@22:a 0x400214:[64]) | |
| * in _start :1:0: Byte@0x400215 | |
| eq 0x2:[8] (select cglobalMemoryBytes@22:a 0x400215:[64]) | |
| * in _start :1:0: Byte@0x400216 | |
| eq 0x43:[8] (select cglobalMemoryBytes@22:a 0x400216:[64]) | |
| * in _start :1:0: Byte@0x400217 | |
| eq 0xd:[8] (select cglobalMemoryBytes@22:a 0x400217:[64]) | |
| * in _start :1:0: Byte@0x400218 | |
| eq 0x6:[8] (select cglobalMemoryBytes@22:a 0x400218:[64]) | |
| * in _start :1:0: Byte@0x400219 | |
| eq 0x59:[8] (select cglobalMemoryBytes@22:a 0x400219:[64]) | |
| * in _start :1:0: Byte@0x40021a | |
| eq 0xc:[8] (select cglobalMemoryBytes@22:a 0x40021a:[64]) | |
| * in _start :1:0: Byte@0x40021b | |
| eq 0x7:[8] (select cglobalMemoryBytes@22:a 0x40021b:[64]) | |
| * in _start :1:0: Byte@0x40021c | |
| eq 0x8:[8] (select cglobalMemoryBytes@22:a 0x40021c:[64]) | |
| * in _start :1:0: Byte@0x40021d | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40021d:[64]) | |
| * in _start :1:0: Byte@0x40021e | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40021e:[64]) | |
| * in _start :1:0: Byte@0x40021f | |
| eq 0x0:[8] (select cglobalMemoryBytes@22:a 0x40021f:[64]) | |
| * in saturate_add User Assumption: User Assumption | |
| not (bvSlt carg8@1128:bv 0x0:[64]) | |
| * in saturate_add User Assumption: User Assumption | |
| not (bvSlt carg7@1127:bv 0x0:[64]) | |
| Prove: | |
| User Assertion: error: in saturate_add | |
| prop_Saturate | |
| let -- saturate_add:0x400186 | |
| v2552 = bvSext 65 carg8@1128:bv | |
| -- saturate_add:0x400186 | |
| v2546 = bvSum carg8@1128:bv carg7@1127:bv | |
| -- saturate_add:0x400186 | |
| v2549 = bvSelect 0 8 (bvSum carg8@1128:bv carg7@1127:bv) | |
| -- saturate_add:0x400186 | |
| v2550 = bvConcat (bvSelect 8 56 v2546) v2549 | |
| -- saturate_add:0x400186 | |
| v2551 = bvSext 65 v2550 | |
| -- saturate_add:0x400186 | |
| v2555 = bvSelect 0 64 (bvSum (bvMul 0x1ffffffffffffffff:[65] v2552) v2551) | |
| -- saturate_add:0x400186 | |
| v2553 = bvSum (bvMul 0x1ffffffffffffffff:[65] v2552) v2551 | |
| -- saturate_add:0x400186 | |
| v2558 = bvSum (bvMul 0xffffffffffffffff:[64] carg8@1128:bv) v2550 | |
| -- saturate_add:0x400186 | |
| v2562 = select cstack@1115:a 0x6:[64] | |
| -- saturate_add:0x400186 | |
| v2563 = bvConcat (select cstack@1115:a 0x7:[64]) v2562 | |
| -- saturate_add:0x400186 | |
| v2565 = bvConcat v2563 (select cstack@1115:a 0x5:[64]) | |
| -- saturate_add:0x400186 | |
| v2567 = bvConcat v2565 (select cstack@1115:a 0x4:[64]) | |
| -- saturate_add:0x400186 | |
| v2569 = bvConcat v2567 (select cstack@1115:a 0x3:[64]) | |
| -- saturate_add:0x400186 | |
| v2571 = bvConcat v2569 (select cstack@1115:a 0x2:[64]) | |
| -- saturate_add:0x400186 | |
| v2573 = bvConcat v2571 (select cstack@1115:a 0x1:[64]) | |
| -- saturate_add:0x400186 | |
| v2579 = bvSext 65 carg7@1127:bv | |
| -- saturate_add:0x400186 | |
| v2577 = bvConcat (bvSelect 8 56 v2546) v2549 | |
| -- saturate_add:0x400186 | |
| v2578 = bvSext 65 v2577 | |
| -- saturate_add:0x400186 | |
| v2582 = bvSelect 0 64 (bvSum (bvMul 0x1ffffffffffffffff:[65] v2579) v2578) | |
| -- saturate_add:0x400186 | |
| v2580 = bvSum (bvMul 0x1ffffffffffffffff:[65] v2579) v2578 | |
| -- saturate_add:0x400186 | |
| v2585 = bvSum (bvMul 0xffffffffffffffff:[64] carg7@1127:bv) v2577 | |
| -- saturate_add:0x400186 | |
| v2589 = select cstack@1115:a 0x6:[64] | |
| -- saturate_add:0x400186 | |
| v2590 = bvConcat (select cstack@1115:a 0x7:[64]) v2589 | |
| -- saturate_add:0x400186 | |
| v2592 = bvConcat v2590 (select cstack@1115:a 0x5:[64]) | |
| -- saturate_add:0x400186 | |
| v2594 = bvConcat v2592 (select cstack@1115:a 0x4:[64]) | |
| -- saturate_add:0x400186 | |
| v2596 = bvConcat v2594 (select cstack@1115:a 0x3:[64]) | |
| -- saturate_add:0x400186 | |
| v2598 = bvConcat v2596 (select cstack@1115:a 0x2:[64]) | |
| -- saturate_add:0x400186 | |
| v2600 = bvConcat v2598 (select cstack@1115:a 0x1:[64]) | |
| -- saturate_add:0x400186 | |
| v2604 = select cstack@1115:a 0x6:[64] | |
| -- saturate_add:0x400186 | |
| v2605 = bvConcat (select cstack@1115:a 0x7:[64]) v2604 | |
| -- saturate_add:0x400186 | |
| v2607 = bvConcat v2605 (select cstack@1115:a 0x5:[64]) | |
| -- saturate_add:0x400186 | |
| v2609 = bvConcat v2607 (select cstack@1115:a 0x4:[64]) | |
| -- saturate_add:0x400186 | |
| v2611 = bvConcat v2609 (select cstack@1115:a 0x3:[64]) | |
| -- saturate_add:0x400186 | |
| v2613 = bvConcat v2611 (select cstack@1115:a 0x2:[64]) | |
| -- saturate_add:0x400186 | |
| v2615 = bvConcat v2613 (select cstack@1115:a 0x1:[64]) | |
| -- saturate_add:0x400186 | |
| v2587 = eq (eq v2580 (bvSext 65 v2582)) (bvSlt v2585 0x0:[64]) | |
| -- saturate_add:0x400186 | |
| v2617 = bvConcat v2615 (select cstack@1115:a 0x0:[64]) | |
| -- saturate_add:0x400186 | |
| v2602 = bvConcat v2600 (select cstack@1115:a 0x0:[64]) | |
| -- saturate_add:0x400186 | |
| v2560 = eq (eq v2553 (bvSext 65 v2555)) (bvSlt v2558 0x0:[64]) | |
| -- saturate_add:0x400186 | |
| v2575 = bvConcat v2573 (select cstack@1115:a 0x0:[64]) | |
| -- saturate_add:0x400186 | |
| v2619 = ite v2560 v2575 (ite v2587 v2602 v2617) | |
| in and (not (bvSlt v2619 carg8@1128:bv)) (not (bvSlt v2619 carg7@1127:bv)) | |
| UTC-2020-12-10_00:14:40.900 I [completed] op=verify bkend=renovate-binary-analyzer Solver=Z3 func=saturate_add goal=prop_Saturate Analyzer.verifyFunc:prop_Saturate, executed for 0.15458817s | |
| UTC-2020-12-10_00:14:40.900 I [completed] op=verify bkend=renovate-binary-analyzer Solver=Z3 Analyzer.doVerify, executed for 0.155926161s | |
| UTC-2020-12-10_00:14:40.904 I [completed] op=verify bkend=renovate-binary-analyzer verifyElfProperties, executed for 0.15947258s | |
| FAIL | |
| Exception: HUnitFailure (Just (SrcLoc {srcLocPackage = "main", srcLocModule = "Main", srcLocFile = "test/Verification/TestVerification.hs", srcLocStartLine = 193, srcLocStartCol = 21, srcLocEndLine = 193, srcLocEndCol = 86})) (ExpectedButGot Nothing "Success" "Failure") | |
| 1 out of 1 tests failed (3.29s) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment