gistfile1.txt

➜  ~ ~/.local/bin/manticore --verbose heap0
2017-03-13 15:15:42,372: [10700] MAIN:INFO: [+] Loading challenge ['heap0']
2017-03-13 15:15:42,372: [10700] MODEL:DEBUG: Opening file descriptors (0,1,2)
2017-03-13 15:15:42,375: [10700] MODEL:DEBUG: Loading heap0 as a i386 elf
2017-03-13 15:15:42,378: [10700] MODEL:DEBUG: Loading elf offset: 00000000 addr:56555000 56556000 r x
2017-03-13 15:15:42,378: [10700] MODEL:DEBUG: Loading elf offset: 00000000 addr:56556000 56558000 rw 
2017-03-13 15:15:42,379: [10700] MODEL:DEBUG: Zeroing main elf fractional pages. From 56557008 to 56558000.
2017-03-13 15:15:42,379: [10700] MODEL:DEBUG: Main elf bss:56557008
2017-03-13 15:15:42,379: [10700] MODEL:DEBUG: Main elf brk 56558000:
2017-03-13 15:15:42,446: [10700] MODEL:DEBUG: Loading interpreter offset: 00000000 addr:bffbd000 bffdf000 r x
2017-03-13 15:15:42,446: [10700] MODEL:DEBUG: Loading interpreter offset: 00022000 addr:bffbb000 bffbd000  wx
2017-03-13 15:15:42,447: [10700] MODEL:DEBUG: Zeroing interpreter elf fractional pages. From bffdee30 to bffdf000.
2017-03-13 15:15:42,448: [10700] MODEL:DEBUG: Interpreter bss:bffdee30
2017-03-13 15:15:42,448: [10700] MODEL:DEBUG: Interpreter brk bffdf000:
2017-03-13 15:15:43,444: [10700] MODEL:DEBUG: Entry point: 00000000bff98ac0
2017-03-13 15:15:43,444: [10700] MODEL:DEBUG: Stack start: 00000000c0000000
➜  ~ ~/.local/bin/manticore --verbose heap0
2017-03-13 15:16:27,513: [10805] MAIN:INFO: [+] Loading challenge ['heap0']
2017-03-13 15:16:27,513: [10805] MODEL:DEBUG: Opening file descriptors (0,1,2)
2017-03-13 15:16:27,516: [10805] MODEL:DEBUG: Loading heap0 as a i386 elf
2017-03-13 15:16:27,518: [10805] MODEL:DEBUG: Loading elf offset: 00000000 addr:56555000 56556000 r x
2017-03-13 15:16:27,518: [10805] MODEL:DEBUG: Loading elf offset: 00000000 addr:56556000 56558000 rw 
2017-03-13 15:16:27,520: [10805] MODEL:DEBUG: Zeroing main elf fractional pages. From 56557008 to 56558000.
2017-03-13 15:16:27,520: [10805] MODEL:DEBUG: Main elf bss:56557008
2017-03-13 15:16:27,520: [10805] MODEL:DEBUG: Main elf brk 56558000:
2017-03-13 15:16:27,586: [10805] MODEL:DEBUG: Loading interpreter offset: 00000000 addr:bffbd000 bffdf000 r x
2017-03-13 15:16:27,586: [10805] MODEL:DEBUG: Loading interpreter offset: 00022000 addr:bffbb000 bffbd000  wx
2017-03-13 15:16:27,587: [10805] MODEL:DEBUG: Zeroing interpreter elf fractional pages. From bffdee30 to bffdf000.
2017-03-13 15:16:27,587: [10805] MODEL:DEBUG: Interpreter bss:bffdee30
2017-03-13 15:16:27,587: [10805] MODEL:DEBUG: Interpreter brk bffdf000:
2017-03-13 15:16:28,444: [10805] MODEL:DEBUG: Entry point: 00000000bff98ac0
2017-03-13 15:16:28,444: [10805] MODEL:DEBUG: Stack start: 00000000c0000000
2017-03-13 15:16:28,444: [10805] MODEL:DEBUG: Brk: 0000000056558000
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG: Mappings:
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   0000000056555000-0000000056556000  r x 00000000 heap0
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   0000000056556000-0000000056558000  rw  00000000 heap0
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   00000000bffbb000-00000000bffbd000  rw  00022000 /lib/ld-linux.so.2
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   00000000bffbd000-00000000bffde000  r x 00000000 
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   00000000bffde000-00000000bffdf000  rw  00000000 
2017-03-13 15:16:28,445: [10805] MODEL:DEBUG:   00000000bffdf000-00000000c0000000  rwx 00000000 
2017-03-13 15:16:28,446: [10805] MODEL:DEBUG: Setting argv, envp and auxv.
2017-03-13 15:16:28,446: [10805] MODEL:DEBUG:   Arguments: ['heap0']
2017-03-13 15:16:28,446: [10805] MODEL:DEBUG:   Environment:
2017-03-13 15:16:28,453: [10805] EXECUTOR:DEBUG: Workspace set: ./mcore_Dwy47R
2017-03-13 15:16:28,476: [10805] EXECUTOR:DEBUG: Saving state 0 to file state_000000.pkl
2017-03-13 15:16:28,479: [10805] EXECUTOR:DEBUG: Adding state state_000000.pkl to processing list. State list size: 1
2017-03-13 15:16:28,480: [10805] EXECUTOR:DEBUG: STAT:      name  branches     dicount    filesize       forks      icount   nsyscalls          pc        proc    received        smem     symbols    syscount  transmited
2017-03-13 15:16:28,480: [10805] EXECUTOR:DEBUG: STAT:         0{(None, 3220802240): 1}           0      187189           0           0           0        None        None           0           0           0           0           0
2017-03-13 15:16:28,499: [10856] EXECUTOR:DEBUG: Starting Manticore Symbolic Emulator mainloop (pid 10856).
2017-03-13 15:16:28,501: [10856] EXECUTOR:DEBUG: Prioritizing metric max [1.0]
2017-03-13 15:16:28,501: [10856] EXECUTOR:DEBUG: Selecting a new state to analyze ./mcore_Dwy47R/state_000000.pkl. Using policy: random. Processing list size is 1
2017-03-13 15:16:28,509: [10856] EXECUTOR:DEBUG: Removing state 0 from storage
2017-03-13 15:16:28,509: [10856] EXECUTOR:DEBUG: Selected state: 0 (1.0)
2017-03-13 15:16:28,522: [10856] EXECUTOR:INFO: Generating testcase No. 1 for state No.0 - Invalid PC ExceptionTrying to execute invalid memory @bff98ac0
2017-03-13 15:16:28,529: [10856] EXECUTOR:DEBUG: saved in 0 seconds
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR: THIS SHOULD NOT REACHABLE! Exception in user code: 'NoneType' object has no attribute 'address'
Traceback (most recent call last):
  File "/home/jp/.local/lib/python2.7/site-packages/manticore/core/executor.py", line 980, in run
    self.generate_testcase(current_state, "Invalid PC Exception" + str(e))
  File "/home/jp/.local/lib/python2.7/site-packages/manticore/core/executor.py", line 673, in generate_testcase
    output.write("  Instruction: 0x%x\t(%s %s)\n" %(i.address, i.mnemonic, i.op_str))
AttributeError: 'NoneType' object has no attribute 'address'

2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR: Traceback (most recent call last):
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR:   File "/home/jp/.local/lib/python2.7/site-packages/manticore/core/executor.py", line 980, in run
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR:     self.generate_testcase(current_state, "Invalid PC Exception" + str(e))
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR:   File "/home/jp/.local/lib/python2.7/site-packages/manticore/core/executor.py", line 673, in generate_testcase
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR:     output.write("  Instruction: 0x%x\t(%s %s)\n" %(i.address, i.mnemonic, i.op_str))
2017-03-13 15:16:28,531: [10856] EXECUTOR:ERROR: AttributeError: 'NoneType' object has no attribute 'address'
2017-03-13 15:16:28,532: [10856] EXECUTOR:DEBUG: No more states in the queue, byte bye!
2017-03-13 15:16:28,544: [10805] EXECUTOR:DEBUG: Profiling not enabled.