diff options
| author | Camille Mougey <commial@gmail.com> | 2018-12-23 23:23:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-23 23:23:30 +0100 |
| commit | 439eacecd16587bf0df8fd097b8c13677326b9f3 (patch) | |
| tree | e19e9820bb8355730ae9bd0c706e414e39c895ef /miasm2/ir/translators/z3_ir.py | |
| parent | 011e1e209b3d00afe3c8e65000209a568c5eb791 (diff) | |
| parent | 814ccf50314852d12168ad5b8a4a875a86bc6e3d (diff) | |
| download | miasm-439eacecd16587bf0df8fd097b8c13677326b9f3.tar.gz miasm-439eacecd16587bf0df8fd097b8c13677326b9f3.zip | |
Merge pull request #908 from p-l-/codespell
Fix typos & add codespell
Diffstat (limited to 'miasm2/ir/translators/z3_ir.py')
| -rw-r--r-- | miasm2/ir/translators/z3_ir.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/miasm2/ir/translators/z3_ir.py b/miasm2/ir/translators/z3_ir.py index 1cc8c29d..d43468ef 100644 --- a/miasm2/ir/translators/z3_ir.py +++ b/miasm2/ir/translators/z3_ir.py @@ -50,7 +50,7 @@ class Z3Mem(object): try: mem = self.mems[size] except KeyError: - # Lazy instanciation + # Lazy instantiation self.mems[size] = z3.Array(self.name + str(size), z3.BitVecSort(size), z3.BitVecSort(8)) @@ -104,8 +104,8 @@ class TranslatorZ3(Translator): expression. Memory is abstracted via z3.Array (see Z3Mem). The result of from_expr will be a z3 Expr. - If you want to interract with the memory abstraction after the translation, - you can instanciate your own Z3Mem, that will be equivalent to the one + If you want to interact with the memory abstraction after the translation, + you can instantiate your own Z3Mem, that will be equivalent to the one used by TranslatorZ3. """ |