diff options
| author | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-07 16:01:37 +0100 |
|---|---|---|
| committer | Tim Blazytko <tim.blazytko@rub.de> | 2016-01-07 16:01:37 +0100 |
| commit | 5b0efa8fa49052700c68ca558f2c91f32d11f634 (patch) | |
| tree | 3d6499dafe9f78b4706e90ad865383f6a82b49d1 | |
| parent | 1bb7dab40c4f102e68e9ce1d9ed6d27a6a051064 (diff) | |
| download | miasm-5b0efa8fa49052700c68ca558f2c91f32d11f634.tar.gz miasm-5b0efa8fa49052700c68ca558f2c91f32d11f634.zip | |
smt2_translator: fixed translation of ExprId
Diffstat (limited to '')
| -rw-r--r-- | miasm2/ir/translators/smt2.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/miasm2/ir/translators/smt2.py b/miasm2/ir/translators/smt2.py index b2e11b5b..dd950074 100644 --- a/miasm2/ir/translators/smt2.py +++ b/miasm2/ir/translators/smt2.py @@ -135,9 +135,7 @@ class TranslatorSMT2(Translator): def from_ExprId(self, expr): if isinstance(expr.name, asm_label) and expr.name.offset is not None: - if expr.name.offset not in self._bitvectors: - self._bitvectors[str(expr.name.offset)] = expr.size - return str(expr.name.offset) + return bit_vec_val(str(expr.name.offset), expr.size) else: if str(expr) not in self._bitvectors: |