diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-12-04 06:59:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-04 06:59:35 +0100 |
| commit | 34438feab8834e93deb57b51bd66a172be6e8135 (patch) | |
| tree | 3b6e03207deebdb6dc0ff3d2f9b31895d937049a /miasm/expression/simplifications.py | |
| parent | 72a8babc6ad2c13e49b12c0e79eeea61067ccc10 (diff) | |
| parent | 73b6bc5f622941cc382ddb1e4c099029dd9ec3c4 (diff) | |
| download | focaccia-miasm-34438feab8834e93deb57b51bd66a172be6e8135.tar.gz focaccia-miasm-34438feab8834e93deb57b51bd66a172be6e8135.zip | |
Merge pull request #1319 from serpilliere/fix_z3_div_add_simpl
Fix z3 div; add simpl
Diffstat (limited to 'miasm/expression/simplifications.py')
| -rw-r--r-- | miasm/expression/simplifications.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/miasm/expression/simplifications.py b/miasm/expression/simplifications.py index c65b2b7b..38c4cbf4 100644 --- a/miasm/expression/simplifications.py +++ b/miasm/expression/simplifications.py @@ -65,11 +65,13 @@ class ExpressionSimplifier(ExprVisitorCallbackBottomToTop): simplifications_common.simp_compose_and_mask, simplifications_common.simp_bcdadd_cf, simplifications_common.simp_bcdadd, + simplifications_common.simp_smod_sext, ], m2_expr.ExprSlice: [ simplifications_common.simp_slice, simplifications_common.simp_slice_of_ext, + simplifications_common.simp_slice_of_sext, simplifications_common.simp_slice_of_op_ext, ], m2_expr.ExprCompose: [simplifications_common.simp_compose], |