Skip to content

Instantly share code, notes, and snippets.

@inaz2 inaz2/result.txt
Last active Mar 16, 2016

Embed
What would you like to do?
$ 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}'
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
You can’t perform that action at this time.