admin/cea-sec-miasm
1
0
Fork 0
mirror of https://github.com/cea-sec/miasm synced 2026-06-21 13:48:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

Test/simplification: add cmpx regression tests

Browse Source
This commit is contained in:
serpilliere
2015-07-29 19:41:09 +02:00
parent 08edc10392
commit 5802dfd9ff
1 changed files with 33 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/expression/simplifications.py
+33
View File
@@ -3,6 +3,7 @@
#
from pdb import pm
from miasm2.expression.expression import *
from miasm2.expression.expression_helper import expr_cmpu, expr_cmps
from miasm2.expression.simplifications import expr_simp, ExpressionSimplifier
from miasm2.expression.simplifications_cond import ExprOp_inf_signed, ExprOp_inf_unsigned, ExprOp_equal
@@ -264,6 +265,38 @@ to_test = [(ExprInt32(1) - ExprInt32(1), ExprInt32(0)),
a[:16]),
((a << ExprInt32(16))[24:32],
a[8:16]),
(expr_cmpu(ExprInt32(0), ExprInt32(0)),
ExprInt1(0)),
(expr_cmpu(ExprInt32(10), ExprInt32(0)),
ExprInt1(1)),
(expr_cmpu(ExprInt32(10), ExprInt32(5)),
ExprInt1(1)),
(expr_cmpu(ExprInt32(5), ExprInt32(10)),
ExprInt1(0)),
(expr_cmpu(ExprInt32(-1), ExprInt32(0)),
ExprInt1(1)),
(expr_cmpu(ExprInt32(-1), ExprInt32(-1)),
ExprInt1(0)),
(expr_cmpu(ExprInt32(0), ExprInt32(-1)),
ExprInt1(0)),
(expr_cmps(ExprInt32(0), ExprInt32(0)),
ExprInt1(0)),
(expr_cmps(ExprInt32(10), ExprInt32(0)),
ExprInt1(1)),
(expr_cmps(ExprInt32(10), ExprInt32(5)),
ExprInt1(1)),
(expr_cmps(ExprInt32(5), ExprInt32(10)),
ExprInt1(0)),
(expr_cmps(ExprInt32(-1), ExprInt32(0)),
ExprInt1(0)),
(expr_cmps(ExprInt32(-1), ExprInt32(-1)),
ExprInt1(0)),
(expr_cmps(ExprInt32(0), ExprInt32(-1)),
ExprInt1(1)),
(expr_cmps(ExprInt32(-5), ExprInt32(-10)),
ExprInt1(1)),
(expr_cmps(ExprInt32(-10), ExprInt32(-5)),
ExprInt1(0)),
]