Last active
March 16, 2016 07:49
-
-
Save inaz2/91f9bf9b011785076fbe to your computer and use it in GitHub Desktop.
Internetwache CTF 2016 File Checker (rev 60) / https://github.com/ctfs/write-ups-2016/tree/master/internetwache-ctf-2016/reversing/file-checker-60
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
| $ 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}' |
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
| 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) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment