user-demo

17 [State 0] Mimesis: Target program loaded: user-demo, pid: 0x386.
17 [State 0] BaseInstructions: Message from guest (0xffffc90000ebfaf0): elf_interpreter=/lib64/ld-linux-x86-64.so.2 elf_entry=0x7f815865b000 interp_load_addr=0x7f815865b000
17 [State 0] LinuxMonitor: ModuleDescriptor Name=ld-linux-x86-64.so.2 Path=/lib64/ld-linux-x86-64.so.2 Size=0x38889 AddressSpace=0x7815000 Pid=0x386 EntryPoint=0x20290 Checksum=0x0
17 [State 0] LinuxMonitor: ModuleDescriptor Name=user-demo Path=./user-demo Size=0x2cc5 AddressSpace=0x7815000 Pid=0x386 EntryPoint=0x2290 Checksum=0x0
17 [State 0] ModuleExecutionDetector: loading id mod_0
17 [State 0] Mimesis: Symbolic variable created: v0_ingress_intf_0
17 [State 0] BaseInstructions: Inserted symbolic data @0x7fff5082289c of size 0x4: ingress_intf='\x00\x00\x00\x00' pc=0xffffffffa0797c5e
17 [State 0] Mimesis: Symbolic variable created: v1_ingress_packet_1
17 [State 0] BaseInstructions: Inserted symbolic data @0x7fff508228e0 of size 0x52: ingress_packet='\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00
\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00' pc=0xffffffffa0797c5e
17 [State 0] Mimesis:
=== Mimesis::user_recv ===
  depth: 1
  intf: (ReadLSB w32 0x0 v0_ingress_intf_0)
  buffer: 0x7fff508228e0
  len: 0x52
  pkt: (ReadLSB w656 0x0 v1_ingress_packet_1)
--- Path constraints ---
------------------------
17 [State 0] Forking state 0 at pc = 0x56429144a225 at pagedir = 0x7815000
    state 1
    state 0
17 [State 0] Mimesis:
=== Mimesis::user_send ===
  depth: 1
  intf: (ZExt w32 (ReadLSB w16 0xe v1_ingress_packet_1))
  buffer: 0x7fff508228e0
  len: 0x52
  pkt: (ReadLSB w656 0x0 v1_ingress_packet_1)
--- Path constraints ---
    (Eq false
     (Ule 0x8
          (ZExt w64 (ReadLSB w32 0x0 v0_ingress_intf_0))))
------------------------
17 [State 0] Terminating state: Kill state at egress
17 [State 0] Switching from state 0 to state 1
17 [State 0] Saving state
17 [State 1] Restoring state
Copied 0 (count=0)
17 [State 1] Terminating state: Kill state at depth 2
All states were terminated