Internetwache CTF 2016 File Checker (rev 60) / https://github.com/ctfs/write-ups-2016/tree/master/internetwache-ctf-2016/reversing/file-checker-60

result.txt

$ python solve.py
ERROR   | 2016-03-16 15:42:22,827 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
ERROR   | 2016-03-16 15:42:22,830 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
ERROR   | 2016-03-16 15:42:22,833 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
WARNING | 2016-03-16 15:42:22,901 | simuvex.vex.irsb | <SimIRSB 0x107132b> hit an error while analyzing statement 19
Traceback (most recent call last):
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 92, in _handle_irsb
    self._handle_statements()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 208, in _handle_statements
    s_stmt = translate_stmt(self.irsb, stmt_idx, self.last_imark, self.state)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/__init__.py", line 31, in translate_stmt
    s.process()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/base.py", line 26, in process
    self._execute()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/store.py", line 31, in _execute
    self.state.memory.store(addr.expr, data.expr, action=a, endness=self.stmt.endness)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/storage/memory.py", line 406, in store
    self._store(request)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 686, in _store
    req.actual_addresses = self.concretize_write_addr(req.addr)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 448, in concretize_write_addr
    return self._concretize_addr(addr, strategy=strategy, limit=limit, approx_limit=approx_limit, action='store')
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 419, in _concretize_addr
    raise SimMemoryAddressError("Unable to concretize address with the provided strategy.")
SimMemoryAddressError: Unable to concretize address with the provided strategy.
(snip)
ERROR   | 2016-03-16 15:42:50,918 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
ERROR   | 2016-03-16 15:42:50,924 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
ERROR   | 2016-03-16 15:42:50,927 | simuvex.procedures.syscalls | no syscall 202 for arch AMD64
WARNING | 2016-03-16 15:42:51,131 | simuvex.vex.irsb | <SimIRSB 0x1108150> hit an error while analyzing statement 15
Traceback (most recent call last):
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 92, in _handle_irsb
    self._handle_statements()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/irsb.py", line 208, in _handle_statements
    s_stmt = translate_stmt(self.irsb, stmt_idx, self.last_imark, self.state)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/__init__.py", line 31, in translate_stmt
    s.process()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/base.py", line 26, in process
    self._execute()
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/vex/statements/store.py", line 31, in _execute
    self.state.memory.store(addr.expr, data.expr, action=a, endness=self.stmt.endness)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/storage/memory.py", line 406, in store
    self._store(request)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 686, in _store
    req.actual_addresses = self.concretize_write_addr(req.addr)
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 448, in concretize_write_addr
    return self._concretize_addr(addr, strategy=strategy, limit=limit, approx_limit=approx_limit, action='store')
  File "/home/user/tmp/angr-doc/ENV/local/lib/python2.7/site-packages/simuvex/plugins/symbolic_memory.py", line 419, in _concretize_addr
    raise SimMemoryAddressError("Unable to concretize address with the provided strategy.")
SimMemoryAddressError: Unable to concretize address with the provided strategy.
'IW{FILE_CHeCKa}'

solve.py

import angr

b = angr.Project('./filechecker')
e = b.surveyors.Explorer(find=0x400743)
e.run()

if len(e.found) > 0:
    print "%r" % e.found[0].state.posix.dumps(4)