diff options
| author | Ajax <commial@gmail.com> | 2018-03-05 14:27:36 +0100 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2018-03-05 16:02:10 +0100 |
| commit | acebba656c4924287a87fbfffd049b203e1a2604 (patch) | |
| tree | 8134ea8638a64ef5af161d003c91aba573875b6c /example/symbol_exec | |
| parent | 342614c1ec4bedd5bcc089ba01909a66b9a73aba (diff) | |
| download | miasm-acebba656c4924287a87fbfffd049b203e1a2604.tar.gz miasm-acebba656c4924287a87fbfffd049b203e1a2604.zip | |
Sandbox: on Linux env import, also set the ABORT_ADDR
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index 303447a4..f6050486 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -195,7 +195,7 @@ def xxx___libc_start_main_symb(dse): main_addr = dse.eval_expr(regs.RDI) argc = dse.eval_expr(regs.RSI) argv = dse.eval_expr(regs.RDX) - hlt_addr = ExprInt(0x1337beef, 64) + hlt_addr = ExprInt(sb.CALL_FINISH_ADDR, 64) dse.update_state({ ExprMem(top_stack, 64): hlt_addr, |