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 | |
| parent | 011e1e209b3d00afe3c8e65000209a568c5eb791 (diff) | |
| download | miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.tar.gz miasm-814ccf50314852d12168ad5b8a4a875a86bc6e3d.zip | |
Fix typos & add codespell
Diffstat (limited to 'example/symbol_exec')
| -rw-r--r-- | example/symbol_exec/dse_crackme.py | 4 | ||||
| -rw-r--r-- | example/symbol_exec/dse_strategies.py | 6 | ||||
| -rw-r--r-- | example/symbol_exec/single_instr.py | 2 |
3 files changed, 6 insertions, 6 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({ diff --git a/example/symbol_exec/dse_strategies.py b/example/symbol_exec/dse_strategies.py index 67b63aea..b38c797a 100644 --- a/example/symbol_exec/dse_strategies.py +++ b/example/symbol_exec/dse_strategies.py @@ -83,7 +83,7 @@ done = set() snapshot = dse.take_snapshot() # Only needed for the final output -reachs = set() +reaches = set() while todo: # Get the next candidate @@ -122,8 +122,8 @@ while todo: # Display info and update storages print "\tARG = %s" % sol_expr todo.add(sol_expr) - reachs.add(sol_ident) + reaches.add(sol_ident) print "Found %d input, to reach %d element of coverage" % (len(done), - len(reachs)) + len(reaches)) diff --git a/example/symbol_exec/single_instr.py b/example/symbol_exec/single_instr.py index 2de2a72e..3b27a814 100644 --- a/example/symbol_exec/single_instr.py +++ b/example/symbol_exec/single_instr.py @@ -24,7 +24,7 @@ ira = machine.ira(mdis.loc_db) ircfg = ira.new_ircfg() ira.add_asmblock_to_ircfg(asm_block, ircfg) -# Instanciate a Symbolic Execution engine with default value for registers +# Instantiate a Symbolic Execution engine with default value for registers symb = SymbolicExecutionEngine(ira) # Emulate one IR basic block |