diff options
| author | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-17 10:15:39 +0100 |
|---|---|---|
| committer | Fabrice Desclaux <fabrice.desclaux@cea.fr> | 2017-03-17 10:15:39 +0100 |
| commit | 0d6fd6c716961f1183a5f5a422473e3f1804f851 (patch) | |
| tree | 43f10029216fb4f2b96a0725093603aaf43a1c8b | |
| parent | f87c4f1ce9f5b6c405ff52a0256d27e2431171ce (diff) | |
| download | miasm-0d6fd6c716961f1183a5f5a422473e3f1804f851.tar.gz miasm-0d6fd6c716961f1183a5f5a422473e3f1804f851.zip | |
Symbexec: fix tipo symbmngr
| -rw-r--r-- | miasm2/ir/symbexec.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/miasm2/ir/symbexec.py b/miasm2/ir/symbexec.py index c26cd68e..33d0f8bd 100644 --- a/miasm2/ir/symbexec.py +++ b/miasm2/ir/symbexec.py @@ -16,7 +16,7 @@ log.addHandler(console_handler) log.setLevel(logging.INFO) -class SymbolsMngr(object): +class SymbolMngr(object): """ Store registers and memory symbolic values """ @@ -83,13 +83,13 @@ class SymbolsMngr(object): [x[0] for x in self.symbols_mem.values()]) def copy(self): - new_symbols = SymbolsMngr() + new_symbols = SymbolMngr() new_symbols.symbols_id = dict(self.symbols_id) new_symbols.symbols_mem = dict(self.symbols_mem) return new_symbols def inject_info(self, info): - new_symbols = SymbolsMngr() + new_symbols = SymbolMngr() for expr, value in self.items(): expr = expr_simp(expr.replace_expr(info)) value = expr_simp(value.replace_expr(info)) @@ -107,7 +107,7 @@ class SymbolicExecutionEngine(object): func_read=None, func_write=None, sb_expr_simp=expr_simp): - self.symbols = SymbolsMngr() + self.symbols = SymbolMngr() for expr, value in known_symbols.items(): self.symbols[expr] = value self.func_read = func_read |