Differences
This shows you the differences between two versions of the page.
|
cns:labs:lab-13 [2017/01/17 16:11] lucian.mogosanu [Tutorial: Symbolic Execution using Angr [2p]] |
cns:labs:lab-13 [2019/12/08 15:19] (current) dennis.plosceanu |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Lab 13 - Advanced Binary Analysis ====== | + | ====== Extra - Advanced Binary Analysis ====== |
| ===== Resources ===== | ===== Resources ===== | ||
| Line 181: | Line 181: | ||
| For more details, refer to the [[http://docs.python-guide.org/en/latest/dev/virtualenvs/|Python virtualenv guide]]. | For more details, refer to the [[http://docs.python-guide.org/en/latest/dev/virtualenvs/|Python virtualenv guide]]. | ||
| + | </note> | ||
| + | |||
| + | <note important> | ||
| + | If you get the following message when you try to run ''solve.py'': | ||
| + | |||
| + | <code> | ||
| + | ... | ||
| + | ImportError: cannot import name arm | ||
| + | </code> | ||
| + | |||
| + | Try applying the workaround from this GitHub issue: [[https://github.com/angr/angr/issues/52#issuecomment-169509200|https://github.com/angr/angr/issues/52#issuecomment-169509200]] | ||
| </note> | </note> | ||
| Line 294: | Line 305: | ||
| segmentation fault | segmentation fault | ||
| </code> | </code> | ||
| + | |||
| + | <note warning> | ||
| + | It may be that above so many NUL-bytes will not work properly under Bash. So you can replace that with a command such as the one below<code> | ||
| + | $ ./level07 -2147483627 $(python -c 'print "A"*40 + "FLOW"') | ||
| + | WIN! | ||
| + | segmentation fault | ||
| + | </code> | ||
| + | </note> | ||
| <note important> | <note important> | ||
