diff options
| author | Minh Triet Pham Tran <trietptm@gmail.com> | 2018-09-24 14:51:43 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-24 14:51:43 +0700 |
| commit | 4f36a60efa410b2b0eef91b729efc5e57b2ec441 (patch) | |
| tree | e89c54b053a832adbc77c6bdd9310de20254db53 | |
| parent | 2f9139cbc737978d7308496bb8249a99431320e7 (diff) | |
| download | miasm-4f36a60efa410b2b0eef91b729efc5e57b2ec441.tar.gz miasm-4f36a60efa410b2b0eef91b729efc5e57b2ec441.zip | |
Update README.md
Diffstat (limited to '')
| -rw-r--r-- | README.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md index 3f6c6690..24eca858 100644 --- a/README.md +++ b/README.md @@ -277,7 +277,7 @@ Symbolic execution Initializing the IR pool: ```pycon ->>> ira = machine.ira() +>>> ira = machine.ira(loc_db) >>> ircfg = ira.new_ircfg_from_asmcfg(asmcfg) ``` @@ -356,7 +356,7 @@ Retry execution with a concrete ECX. Here, the symbolic / concolic execution rea ```pycon >>> from miasm2.expression.expression import ExprInt ->>> sb.symbols[machine.mn.regs.ECX] = ExprInt(-3) +>>> sb.symbols[machine.mn.regs.ECX] = ExprInt(-3, 32) >>> symbolic_pc = sb.run_at(ircfg, 0, step=True) Instr LEA ECX, DWORD PTR [ECX + 0x4] Assignblk: |