diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2018-09-24 16:24:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-24 16:24:55 +0200 |
| commit | ab7f1f35d80841268760919d1d7a2b60df9b1dce (patch) | |
| tree | e89c54b053a832adbc77c6bdd9310de20254db53 | |
| parent | 2f9139cbc737978d7308496bb8249a99431320e7 (diff) | |
| parent | 4f36a60efa410b2b0eef91b729efc5e57b2ec441 (diff) | |
| download | miasm-ab7f1f35d80841268760919d1d7a2b60df9b1dce.tar.gz miasm-ab7f1f35d80841268760919d1d7a2b60df9b1dce.zip | |
Merge pull request #857 from trietptm/master
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: |