Revision: 7d9b022471c6ddb4ab4cb045f1a99bd0f0e8ed40 Config date: Fri 20 Nov 2020 12:13:37 PM IST [Z3] Initializing Current data layout: e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128 Current target triple: x86_64-unknown-linux-gnu Creating plugin CorePlugin Creating plugin BaseInstructions Creating plugin HostFiles Creating plugin Vmi Creating plugin MemUtils Creating plugin WebServiceInterface Creating plugin ExecutionTracer Creating plugin ModuleTracer Creating plugin KeyValueStore Creating plugin TranslationBlockCoverage Creating plugin ModuleExecutionDetector Creating plugin ForkLimiter Creating plugin ProcessExecutionDetector Creating plugin ModuleMap Creating plugin MemoryMap Creating plugin MultiSearcher Creating plugin CUPASearcher Creating plugin StaticFunctionModels Creating plugin TestCaseGenerator Creating plugin LinuxMonitor Creating plugin LuaBindings Creating plugin LuaCoreEvents Initializing LuaBindings WARNING: Cannot get configuration value 'pluginsConfig['LuaBindings'].logLevel': [string "return pluginsConfig['LuaBindings'].logLevel"]:1: attempt to index a nil value (field 'LuaBindings') Initializing LuaCoreEvents WARNING: Cannot get configuration value 'pluginsConfig['LuaCoreEvents'].logLevel': value of type nil can not be converted to string LuaCoreEvents: Registering instrumentation for core signals LuaCoreEvents: Registering onStateForkDecide(onStateForkDecide) WARNING: Cannot get configuration value 'pluginsConfig['LuaCoreEvents'].onStateKill': value of type nil can not be converted to string WARNING: Cannot get configuration value 'pluginsConfig['LuaCoreEvents'].onTimer': value of type nil can not be converted to string Initializing TestCaseGenerator WARNING: Cannot get configuration value 'pluginsConfig['TestCaseGenerator'].logLevel': value of type nil can not be converted to string WARNING: Cannot get configuration value 'pluginsConfig['TestCaseGenerator'].generateOnStateFork': value of type nil can not be converted to boolean Initializing MultiSearcher WARNING: Cannot get configuration value 'pluginsConfig['MultiSearcher'].logLevel': [string "return pluginsConfig['MultiSearcher'].logLeve..."]:1: attempt to index a nil value (field 'MultiSearcher') Initializing ForkLimiter WARNING: Cannot get configuration value 'pluginsConfig['ForkLimiter'].logLevel': value of type nil can not be converted to string Initializing KeyValueStore WARNING: Cannot get configuration value 'pluginsConfig['KeyValueStore'].logLevel': [string "return pluginsConfig['KeyValueStore'].logLeve..."]:1: attempt to index a nil value (field 'KeyValueStore') WARNING: Cannot get configuration value 'pluginsConfig['KeyValueStore'].server': [string "return pluginsConfig['KeyValueStore'].server"]:1: attempt to index a nil value (field 'KeyValueStore') WARNING: Cannot get configuration value 'pluginsConfig['KeyValueStore'].port': [string "return pluginsConfig['KeyValueStore'].port"]:1: attempt to index a nil value (field 'KeyValueStore') WARNING: Cannot get configuration value 'pluginsConfig['KeyValueStore'].type': [string "return pluginsConfig['KeyValueStore'].type"]:1: attempt to index a nil value (field 'KeyValueStore') Initializing ExecutionTracer WARNING: Cannot get configuration value 'pluginsConfig['ExecutionTracer'].logLevel': [string "return pluginsConfig['ExecutionTracer'].logLe..."]:1: attempt to index a nil value (field 'ExecutionTracer') Initializing WebServiceInterface WARNING: Cannot get configuration value 'pluginsConfig['WebServiceInterface'].logLevel': value of type nil can not be converted to string WebServiceInterface: SeedSearcher not present, seed statistics will not be available WebServiceInterface: Recipe plugin not present, recipe statistics will not be available Initializing Vmi WARNING: Cannot get configuration value 'pluginsConfig['Vmi'].logLevel': value of type nil can not be converted to string Vmi: adding path /home/nano/s2e/projects/bubble_test Vmi: adding path /home/nano/s2e/images/debian-9.2.1-x86_64/guestfs Initializing HostFiles WARNING: Cannot get configuration value 'pluginsConfig['HostFiles'].logLevel': value of type nil can not be converted to string Initializing BaseInstructions WARNING: Cannot get configuration value 'pluginsConfig['BaseInstructions'].logLevel': [string "return pluginsConfig['BaseInstructions'].logL..."]:1: attempt to index a nil value (field 'BaseInstructions') WARNING: Cannot get configuration value 'pluginsConfig['BaseInstructions'].restrict': [string "return pluginsConfig['BaseInstructions'].rest..."]:1: attempt to index a nil value (field 'BaseInstructions') Initializing LinuxMonitor WARNING: Cannot get configuration value 'pluginsConfig['LinuxMonitor'].logLevel': value of type nil can not be converted to string Initializing ModuleMap Initializing ProcessExecutionDetector WARNING: Cannot get configuration value 'pluginsConfig['ProcessExecutionDetector'].logLevel': value of type nil can not be converted to string Initializing MemoryMap Initializing MemUtils WARNING: Cannot get configuration value 'pluginsConfig['MemUtils'].logLevel': [string "return pluginsConfig['MemUtils'].logLevel"]:1: attempt to index a nil value (field 'MemUtils') Initializing ModuleExecutionDetector WARNING: Cannot get configuration value 'pluginsConfig['ModuleExecutionDetector'].trackExecution': value of type nil can not be converted to boolean Initializing StaticFunctionModels WARNING: Cannot get configuration value 'pluginsConfig['StaticFunctionModels'].logLevel': value of type nil can not be converted to string StaticFunctionModels: Model count: WARNING: Cannot get configuration value 'pluginsConfig['StaticFunctionModels'].count': value of type nil can not be converted to integer 0 Initializing CUPASearcher MultiSearcher: Registering CUPASearcher MultiSearcher: Switching to CUPASearcher CUPASearcher: CUPASearcher is now active Initializing TranslationBlockCoverage WARNING: Cannot get configuration value 'pluginsConfig['TranslationBlockCoverage'].logLevel': value of type nil can not be converted to string WARNING: Cannot get configuration value 'pluginsConfig['TranslationBlockCoverage'].writeCoveragePeriod': value of type nil can not be converted to integer Initializing ModuleTracer WARNING: Cannot get configuration value 'pluginsConfig['ModuleTracer'].logLevel': [string "return pluginsConfig['ModuleTracer'].logLevel..."]:1: attempt to index a nil value (field 'ModuleTracer') Initializing CorePlugin WARNING: Cannot get configuration value 'pluginsConfig['CorePlugin'].logLevel': [string "return pluginsConfig['CorePlugin'].logLevel"]:1: attempt to index a nil value (field 'CorePlugin') 0 [State 0] Created initial state Initializing periodic timer Adding memory block (startAddr = 0xffffffffffffffff, size = 0x10000000, hostAddr = 0x7fe25fe00000, isSharedConcrete=0, name=pc.ram) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x40000, hostAddr = 0x7fe250400000, isSharedConcrete=1, name=pc.bios) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x20000, hostAddr = 0x7fe250000000, isSharedConcrete=1, name=pc.rom) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x1000000, hostAddr = 0x7fe24ee00000, isSharedConcrete=1, name=vga.vram) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x10000, hostAddr = 0x7fe24dc00000, isSharedConcrete=1, name=vga.rom) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x40000, hostAddr = 0x7fe24da00000, isSharedConcrete=1, name=e1000.rom) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x20000, hostAddr = 0x7fe24d600000, isSharedConcrete=1, name=/rom@etc/acpi/tables) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x1000, hostAddr = 0x7fe24d400000, isSharedConcrete=1, name=/rom@etc/table-loader) Adding memory block (startAddr = 0xffffffffffffffff, size = 0x1000, hostAddr = 0x7fe24d200000, isSharedConcrete=1, name=/rom@etc/acpi/rsdp) 2 [State 0] HostFiles: opening bootstrap.sh 3 [State 0] HostFiles: opening guest-tools64/s2ecmd 3 [State 0] HostFiles: opening guest-tools64/s2eget 3 [State 0] HostFiles: opening guest-tools64/s2eput 3 [State 0] HostFiles: opening guest-tools32/s2e.so 3 [State 0] HostFiles: opening guest-tools64/s2e.so 5 [State 0] LinuxMonitor: Received kernel init page_offset=0xffff880000000000 ¤t_task=0xffffffff820e73e0 task_struct.pid offset=1120 task_struct.tgid offset=1124 5 [State 0] LinuxMonitor: Kernel is at address 0xffffffff81000000 Vmi: Loading module from disk (vmlinux) Vmi: Attempting to load binary file: /home/nano/s2e/images/debian-9.2.1-x86_64/guestfs/vmlinux 6 [State 0] LinuxMonitor: munmap pid=0x4e2 start=0x7efdd59f3000 end=0x7efdd59f5000 6 [State 0] LinuxMonitor: munmap pid=0x4e2 start=0x7efdd59fe000 end=0x7efdd59ff000 6 [State 0] LinuxMonitor: munmap pid=0x4e2 start=0x7efdd59fd000 end=0x7efdd59fe000 6 [State 0] LinuxMonitor: munmap pid=0x4e2 start=0x7efdd59fc000 end=0x7efdd59fd000 6 [State 0] LinuxMonitor: munmap pid=0x4e2 start=0x7efdd59f8000 end=0x7efdd59fc000 6 [State 0] LinuxMonitor: Removing task (pid=0x4e2, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa558acb000 end=0x7fa558ce6000 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa558893000 end=0x7fa558acb000 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa558691000 end=0x7fa558893000 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa55848f000 end=0x7fa558691000 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa55ae59000 end=0x7fa55ae9f000 7 [State 0] LinuxMonitor: munmap pid=0x4e1 start=0x7fa558083000 end=0x7fa558287000 7 [State 0] LinuxMonitor: Removing task (pid=0x4e1, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2eget loaded pid=0x4e5 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x401000 size=0x1000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x402000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x403000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6f8bb000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e5 start=0x7f5e6f8de000 end=0x7f5e6fae1000 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6fade000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc900004f7a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7f5e6f8bb000 elf_entry=0x7f5e6f8bb000 interp_load_addr=0x7f5e6f8bb000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb16000 Pid=0x4e5 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2eget Path=./s2eget Size=0x15dd AddressSpace=0xdb16000 Pid=0x4e5 EntryPoint=0x401150 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6fad6000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6fad4000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6f51c000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e5 start=0x7f5e6f6b1000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e5 start=0x7f5e6f8b1000 end=0x7f5e6f8b7000 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6f8b1000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4e5 start=0x7f5e6f8b7000 end=0x7f5e6f8bb000 7 [State 0] LinuxMonitor: mmap pid=0x4e5 addr=0x7f5e6f8b7000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e5 start=0x7f5e6f8b1000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e5 start=0x403000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e5 start=0x7f5e6fade000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4e5 start=0x7f5e6fad6000 end=0x7f5e6fade000 7 [State 0] HostFiles: opening bubble.exe 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x55aeb3d11000 end=0x55aeb3e11000 7 [State 0] LinuxMonitor: munmap pid=0x4e3 start=0x7f89b2200000 end=0x7f89b2a0d000 7 [State 0] LinuxMonitor: munmap pid=0x4e3 start=0x7f89b4502000 end=0x7f89b4503000 7 [State 0] LinuxMonitor: munmap pid=0x4e3 start=0x7f89b4501000 end=0x7f89b4502000 7 [State 0] LinuxMonitor: munmap pid=0x4e3 start=0x7f89b4500000 end=0x7f89b4501000 7 [State 0] LinuxMonitor: munmap pid=0x4e3 start=0x7f89b44fc000 end=0x7f89b4500000 7 [State 0] LinuxMonitor: munmap pid=0x4e4 start=0x7f89b2200000 end=0x7f89b2a0d000 7 [State 0] LinuxMonitor: munmap pid=0x4e4 start=0x7f89b4502000 end=0x7f89b4503000 7 [State 0] LinuxMonitor: munmap pid=0x4e4 start=0x7f89b4501000 end=0x7f89b4502000 7 [State 0] LinuxMonitor: munmap pid=0x4e4 start=0x7f89b4500000 end=0x7f89b4501000 7 [State 0] LinuxMonitor: munmap pid=0x4e4 start=0x7f89b44fc000 end=0x7f89b4500000 7 [State 0] LinuxMonitor: Removing task (pid=0x4e4, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Removing task (pid=0x4e3, cr3=0xebe5000, exitCode=0). 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x7f89b2200000 end=0x7f89b2a0d000 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x7f89b4502000 end=0x7f89b4503000 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x7f89b4501000 end=0x7f89b4502000 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x7f89b4500000 end=0x7f89b4501000 7 [State 0] LinuxMonitor: munmap pid=0x4e0 start=0x7f89b44fc000 end=0x7f89b4500000 7 [State 0] LinuxMonitor: Removing task (pid=0x4e0, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Removing task (pid=0x4e5, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Removing task (pid=0x4e6, cr3=0xda3b000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2eget loaded pid=0x4e7 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x401000 size=0x1000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x402000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x403000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0afc000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e7 start=0x7f73e0b1f000 end=0x7f73e0d22000 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0d1f000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7f73e0afc000 elf_entry=0x7f73e0afc000 interp_load_addr=0x7f73e0afc000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb03000 Pid=0x4e7 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2eget Path=./s2eget Size=0x15dd AddressSpace=0xdb03000 Pid=0x4e7 EntryPoint=0x401150 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0d17000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0d15000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e075d000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e7 start=0x7f73e08f2000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e7 start=0x7f73e0af2000 end=0x7f73e0af8000 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0af2000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4e7 start=0x7f73e0af8000 end=0x7f73e0afc000 7 [State 0] LinuxMonitor: mmap pid=0x4e7 addr=0x7f73e0af8000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e7 start=0x7f73e0af2000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e7 start=0x403000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e7 start=0x7f73e0d1f000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4e7 start=0x7f73e0d17000 end=0x7f73e0d1f000 7 [State 0] HostFiles: opening sort_in_data.txt 7 [State 0] LinuxMonitor: Removing task (pid=0x4e7, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process /bin/cp loaded pid=0x4e8 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x55e1efa9c000 size=0x220000 prot=0x5 flag=0x1802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x55e1efabb000 end=0x55e1efcbc000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x55e1efcba000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x1e 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330742000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330765000 end=0x7fb330968000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330965000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7fb330742000 elf_entry=0x7fb330742000 interp_load_addr=0x7fb330742000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb0d000 Pid=0x4e8 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=cp Path=/bin/cp Size=0x1f3bc AddressSpace=0xdb0d000 Pid=0x4e8 EntryPoint=0x55e1efaa00d0 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33095d000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33095b000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33051a000 size=0x227ad0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb33053f000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb33073e000 end=0x7fb330740000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33073e000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x24 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330740000 end=0x7fb330742000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330740000 size=0x1ad0 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330311000 size=0x2082a0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb330318000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330518000 end=0x7fb33051a000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330518000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x7 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33010c000 size=0x204170 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb330110000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb33030f000 end=0x7fb330311000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb33030f000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x3 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32fd6d000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32ff02000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330102000 end=0x7fb330108000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330102000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330108000 end=0x7fb33010c000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330108000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32fafa000 size=0x272108 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32fb6c000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb32fd6b000 end=0x7fb32fd6d000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32fd6b000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x71 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32f8f6000 size=0x2030f0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32f8f9000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb32faf8000 end=0x7fb32fafa000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32faf8000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330959000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32f6d9000 size=0x21c448 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32f6f1000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb32f8f0000 end=0x7fb32f8f2000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32f8f0000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x17 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb32f8f2000 end=0x7fb32f8f6000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb32f8f2000 size=0x3448 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330956000 size=0x3000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb330102000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32f8f0000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32faf8000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb32fd6b000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb33030f000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb330518000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb33073e000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x55e1efcba000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e8 start=0x7fb330965000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb33095d000 end=0x7fb330965000 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb3307bb000 size=0x19a1a0 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e8 addr=0x7fb330799000 size=0x22000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e8 start=0x7fb330799000 end=0x7fb3307bb000 7 [State 0] LinuxMonitor: Removing task (pid=0x4e8, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2eget loaded pid=0x4e9 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x401000 size=0x1000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x402000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x403000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef90851000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e9 start=0x7fef90874000 end=0x7fef90a77000 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef90a74000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7fef90851000 elf_entry=0x7fef90851000 interp_load_addr=0x7fef90851000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb44000 Pid=0x4e9 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2eget Path=./s2eget Size=0x15dd AddressSpace=0xdb44000 Pid=0x4e9 EntryPoint=0x401150 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef90a6c000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef90a6a000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef904b2000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e9 start=0x7fef90647000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4e9 start=0x7fef90847000 end=0x7fef9084d000 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef90847000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4e9 start=0x7fef9084d000 end=0x7fef90851000 7 [State 0] LinuxMonitor: mmap pid=0x4e9 addr=0x7fef9084d000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4e9 start=0x7fef90847000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e9 start=0x403000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4e9 start=0x7fef90a74000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4e9 start=0x7fef90a6c000 end=0x7fef90a74000 7 [State 0] HostFiles: opening sort_in_data.txt.symranges 7 [State 0] LinuxMonitor: Removing task (pid=0x4e9, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2ecmd loaded pid=0x4ea 7 [State 0] LinuxMonitor: mmap pid=0x4ea addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ea addr=0x401000 size=0x183000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4ea addr=0x584000 size=0x60000 prot=0x1 flag=0x1812 pgoff=0x184 7 [State 0] LinuxMonitor: mmap pid=0x4ea addr=0x5e5000 size=0xd000 prot=0x3 flag=0x1812 pgoff=0x1e4 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2ecmd Path=./s2ecmd Size=0x1ee6e9 AddressSpace=0xdb09000 Pid=0x4ea EntryPoint=0x404890 Checksum=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ea start=0x5e5000 size=0xa000 prot=0x1 7 [State 0] BaseInstructions: Message from guest (0x7ffd27795b10): Opened symranges file sort_in_data.txt.symranges 7 [State 0] LinuxMonitor: Removing task (pid=0x4ea, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Removing task (pid=0x4eb, cr3=0xda3b000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2eget loaded pid=0x4ec 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x401000 size=0x1000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x402000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x403000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc4074df000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ec start=0x7fc407502000 end=0x7fc407705000 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc407702000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7fc4074df000 elf_entry=0x7fc4074df000 interp_load_addr=0x7fc4074df000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xda47000 Pid=0x4ec EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2eget Path=./s2eget Size=0x15dd AddressSpace=0xda47000 Pid=0x4ec EntryPoint=0x401150 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc4076fa000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc4076f8000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc407140000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ec start=0x7fc4072d5000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ec start=0x7fc4074d5000 end=0x7fc4074db000 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc4074d5000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4ec start=0x7fc4074db000 end=0x7fc4074df000 7 [State 0] LinuxMonitor: mmap pid=0x4ec addr=0x7fc4074db000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ec start=0x7fc4074d5000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ec start=0x403000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ec start=0x7fc407702000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4ec start=0x7fc4076fa000 end=0x7fc407702000 7 [State 0] HostFiles: opening sort_output_golden.txt 7 [State 0] LinuxMonitor: Removing task (pid=0x4ec, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process /bin/cp loaded pid=0x4ed 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x55f07e91f000 size=0x220000 prot=0x5 flag=0x1802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x55f07e93e000 end=0x55f07eb3f000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x55f07eb3d000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x1e 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c75b000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c77e000 end=0x7ff30c981000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c97e000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7ff30c75b000 elf_entry=0x7ff30c75b000 interp_load_addr=0x7ff30c75b000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb44000 Pid=0x4ed EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=cp Path=/bin/cp Size=0x1f3bc AddressSpace=0xdb44000 Pid=0x4ed EntryPoint=0x55f07e9230d0 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c976000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c974000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c533000 size=0x227ad0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c558000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c757000 end=0x7ff30c759000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c757000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x24 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c759000 end=0x7ff30c75b000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c759000 size=0x1ad0 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c32a000 size=0x2082a0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c331000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c531000 end=0x7ff30c533000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c531000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x7 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c125000 size=0x204170 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c129000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c328000 end=0x7ff30c32a000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c328000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x3 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30bd86000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30bf1b000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c11b000 end=0x7ff30c121000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c11b000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c121000 end=0x7ff30c125000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c121000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30bb13000 size=0x272108 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30bb85000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30bd84000 end=0x7ff30bd86000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30bd84000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x71 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30b90f000 size=0x2030f0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30b912000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30bb11000 end=0x7ff30bb13000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30bb11000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c972000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30b6f2000 size=0x21c448 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30b70a000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30b909000 end=0x7ff30b90b000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30b909000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x17 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30b90b000 end=0x7ff30b90f000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30b90b000 size=0x3448 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c96f000 size=0x3000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c11b000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30b909000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30bb11000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30bd84000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c328000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c531000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c757000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x55f07eb3d000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ed start=0x7ff30c97e000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c976000 end=0x7ff30c97e000 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c7d4000 size=0x19a1a0 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ed addr=0x7ff30c7b2000 size=0x22000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ed start=0x7ff30c7b2000 end=0x7ff30c7d4000 7 [State 0] LinuxMonitor: Removing task (pid=0x4ed, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2eget loaded pid=0x4ee 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x401000 size=0x1000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x402000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x403000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01163cd000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ee start=0x7f01163f0000 end=0x7f01165f3000 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01165f0000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7f01163cd000 elf_entry=0x7f01163cd000 interp_load_addr=0x7f01163cd000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xd427000 Pid=0x4ee EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2eget Path=./s2eget Size=0x15dd AddressSpace=0xd427000 Pid=0x4ee EntryPoint=0x401150 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01165e8000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01165e6000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f011602e000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ee start=0x7f01161c3000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4ee start=0x7f01163c3000 end=0x7f01163c9000 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01163c3000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4ee start=0x7f01163c9000 end=0x7f01163cd000 7 [State 0] LinuxMonitor: mmap pid=0x4ee addr=0x7f01163c9000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ee start=0x7f01163c3000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ee start=0x403000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4ee start=0x7f01165f0000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4ee start=0x7f01165e8000 end=0x7f01165f0000 7 [State 0] HostFiles: opening sort_output_golden.txt.symranges 7 [State 0] LinuxMonitor: Removing task (pid=0x4ee, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./s2ecmd loaded pid=0x4ef 7 [State 0] LinuxMonitor: mmap pid=0x4ef addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4ef addr=0x401000 size=0x183000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4ef addr=0x584000 size=0x60000 prot=0x1 flag=0x1812 pgoff=0x184 7 [State 0] LinuxMonitor: mmap pid=0x4ef addr=0x5e5000 size=0xd000 prot=0x3 flag=0x1812 pgoff=0x1e4 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2ecmd Path=./s2ecmd Size=0x1ee6e9 AddressSpace=0xdb09000 Pid=0x4ef EntryPoint=0x404890 Checksum=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4ef start=0x5e5000 size=0xa000 prot=0x1 7 [State 0] BaseInstructions: Message from guest (0x7ffc19b1ab90): Opened symranges file sort_output_golden.txt.symranges 7 [State 0] LinuxMonitor: Removing task (pid=0x4ef, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process /bin/chmod loaded pid=0x4f0 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x55e18dc2a000 size=0x20f000 prot=0x5 flag=0x1802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f0 start=0x55e18dc38000 end=0x55e18de39000 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x55e18de37000 size=0x2000 prot=0x3 flag=0x1812 pgoff=0xd 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed2270000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f0 start=0x7f7ed2293000 end=0x7f7ed2496000 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed2493000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7f7ed2270000 elf_entry=0x7f7ed2270000 interp_load_addr=0x7f7ed2270000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdce3000 Pid=0x4f0 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=chmod Path=/bin/chmod Size=0xd7e4 AddressSpace=0xdce3000 Pid=0x4f0 EntryPoint=0x55e18dc2ca50 Checksum=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed248b000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed2489000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed1ed1000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f0 start=0x7f7ed2066000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f0 start=0x7f7ed2266000 end=0x7f7ed226c000 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed2266000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4f0 start=0x7f7ed226c000 end=0x7f7ed2270000 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed226c000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f0 start=0x7f7ed2266000 size=0x4000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4f0 start=0x55e18de37000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: mprotect pid=0x4f0 start=0x7f7ed2493000 size=0x1000 prot=0x1 7 [State 0] LinuxMonitor: munmap pid=0x4f0 start=0x7f7ed248b000 end=0x7f7ed2493000 7 [State 0] LinuxMonitor: mmap pid=0x4f0 addr=0x7f7ed22ee000 size=0x19a1a0 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: Removing task (pid=0x4f0, cr3=0x1e08000, exitCode=0). 7 [State 0] LinuxMonitor: Process ./bubble.exe loaded pid=0x4f1 7 [State 0] ProcessExecutionDetector: starting to track: bubble.exe (pid: 0x4f1 as: 0xdce3000) 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x559d5df73000 size=0x14a000 prot=0x1 flag=0x1802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x559d5df8b000 end=0x559d5e0bd000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x559d5df8b000 size=0xdd000 prot=0x5 flag=0x1812 pgoff=0x18 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x559d5e068000 size=0x43000 prot=0x1 flag=0x1812 pgoff=0xf5 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x559d5e0ac000 size=0xd000 prot=0x3 flag=0x1812 pgoff=0x138 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf6f3000 size=0x226000 prot=0x5 flag=0x802 pgoff=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf716000 end=0x7fbbbf919000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf916000 size=0x2000 prot=0x3 flag=0x812 pgoff=0x23 7 [State 0] BaseInstructions: Message from guest (0xffffc90000537a30): elf_interpreter=/lib64/ld-linux-x86-64.so.2 interp_map_addr=7fbbbf6f3000 elf_entry=0x7fbbbf6f3000 interp_load_addr=0x7fbbbf6f3000 7 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x23fe0 AddressSpace=0xdb43000 Pid=0x4f1 EntryPoint=0xc20 Checksum=0x0 7 [State 0] LinuxMonitor: ModuleDescriptor Name=bubble.exe Path=./bubble.exe Size=0x1436fd AddressSpace=0xdb43000 Pid=0x4f1 EntryPoint=0x559d5df944c0 Checksum=0x0 7 [State 0] ModuleExecutionDetector: loading id mod_0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf914000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf90a000 size=0x9278 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbf90c000 size=0x6000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf90c000 end=0x7fbbbf910000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf90c000 size=0x4000 prot=0x5 flag=0x12 pgoff=0x2 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf910000 end=0x7fbbbf911000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf910000 size=0x1000 prot=0x1 flag=0x12 pgoff=0x6 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf912000 end=0x7fbbbf914000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf912000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x7 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf902000 size=0x75c3 prot=0x1 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf371000 size=0x381260 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbf4e3000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf6e3000 end=0x7fbbbf6ef000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf6e3000 size=0xc000 prot=0x3 flag=0x12 pgoff=0x172 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf6ef000 end=0x7fbbbf6f3000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf6ef000 size=0x3260 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf06d000 size=0x3030e8 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbf170000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf36f000 end=0x7fbbbf371000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf36f000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x102 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbee56000 size=0x216430 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbee6c000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbf06b000 end=0x7fbbbf06d000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf06b000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x15 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbeab7000 size=0x39e960 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbec4c000 size=0x200000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbee4c000 end=0x7fbbbee52000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbee4c000 size=0x6000 prot=0x3 flag=0x12 pgoff=0x195 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbee52000 end=0x7fbbbee56000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbee52000 size=0x3960 prot=0x3 flag=0x32 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbe8b3000 size=0x2030f0 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbe8b6000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbeab5000 end=0x7fbbbeab7000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbeab5000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x2 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbf900000 size=0x2000 prot=0x3 flag=0x22 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbe69b000 size=0x2171c8 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbe6b2000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbe8b1000 end=0x7fbbbe8b3000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbe8b1000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x16 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbe481000 size=0x219208 prot=0x5 flag=0x2 pgoff=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f1 start=0x7fbbbe49a000 size=0x1ff000 prot=0x0 7 [State 0] LinuxMonitor: munmap pid=0x4f1 start=0x7fbbbe699000 end=0x7fbbbe69b000 7 [State 0] LinuxMonitor: mmap pid=0x4f1 addr=0x7fbbbe699000 size=0x2000 prot=0x3 flag=0x12 pgoff=0x18 7 [State 0] LinuxMonitor: Removing task (pid=0x4f1, cr3=0x1e08000, exitCode=256). 7 [State 0] ProcessExecutionDetector: Unloading process 0x4f1 7 [State 0] LinuxMonitor: Removing task (pid=0x4c9, cr3=0x1e08000, exitCode=256). 7 [State 0] LinuxMonitor: Process ./s2ecmd loaded pid=0x4f2 7 [State 0] LinuxMonitor: mmap pid=0x4f2 addr=0x400000 size=0x1000 prot=0x1 flag=0x1812 pgoff=0x0 7 [State 0] LinuxMonitor: mmap pid=0x4f2 addr=0x401000 size=0x183000 prot=0x5 flag=0x1812 pgoff=0x1 7 [State 0] LinuxMonitor: mmap pid=0x4f2 addr=0x584000 size=0x60000 prot=0x1 flag=0x1812 pgoff=0x184 7 [State 0] LinuxMonitor: mmap pid=0x4f2 addr=0x5e5000 size=0xd000 prot=0x3 flag=0x1812 pgoff=0x1e4 7 [State 0] LinuxMonitor: ModuleDescriptor Name=s2ecmd Path=./s2ecmd Size=0x1ee6e9 AddressSpace=0xf245000 Pid=0x4f2 EntryPoint=0x404890 Checksum=0x0 7 [State 0] LinuxMonitor: mprotect pid=0x4f2 start=0x5e5000 size=0xa000 prot=0x1 7 [State 0] BaseInstructions: Killing state 0 7 [State 0] Terminating state: State was terminated by opcode message: "bootstrap terminated" status: 0x0 7 [State 0] TestCaseGenerator: generating test case at address 0x404e2d 7 [State 0] TestCaseGenerator: All states were terminated Terminating node id 0 (instance slot 0) Engine terminated.