diff options
| author | Pierre LALET <pierre.lalet@cea.fr> | 2018-12-23 19:26:44 +0100 |
|---|---|---|
| committer | Pierre LALET <pierre.lalet@cea.fr> | 2018-12-23 19:26:44 +0100 |
| commit | 814ccf50314852d12168ad5b8a4a875a86bc6e3d (patch) | |
| tree | e19e9820bb8355730ae9bd0c706e414e39c895ef /example/symbol_exec/dse_crackme.py | |
| parent | 011e1e209b3d00afe3c8e65000209a568c5eb791 (diff) | |
| download | miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.tar.gz miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.zip | |
Fix typos & add codespell
Diffstat (limited to 'example/symbol_exec/dse_crackme.py')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/example/symbol_exec/dse_crackme.py b/example/symbol_exec/dse_crackme.py index 22b6d9b1..37700d75 100644 --- a/example/symbol_exec/dse_crackme.py +++ b/example/symbol_exec/dse_crackme.py @@ -222,7 +222,7 @@ def xxx_puts_symb(dse): todo = set([""]) # Set of file content to test -# Instanciate the DSE engine +# Instantiate the DSE engine machine = Machine("x86_64") # Convert strategy to the correct value strategy = { @@ -236,7 +236,7 @@ dse = DSEPathConstraint(machine, produce_solution=strategy) dse.attach(sb.jitter) # Update the jitter state: df is read, but never set -# Approachs: specific or generic +# Approaches: specific or generic # - Specific: # df_value = ExprInt(sb.jitter.cpu.df, dse.ir_arch.arch.regs.df.size) # dse.update_state({ |