mirror of
https://github.com/cea-sec/miasm
synced 2026-06-21 13:48:18 +00:00
Ajax
48 lines
1.3 KiB
Python
48 lines
1.3 KiB
Python
#
|
|
# Expression regression tests #
|
|
#
|
|
from pdb import pm
|
|
from miasm2.expression.expression import *
|
|
from miasm2.expression.expression_helper import *
|
|
|
|
assert(ExprInt64(-1) != ExprInt64(-2))
|
|
|
|
# Possible values
|
|
#- Common constants
|
|
A = ExprId("A")
|
|
cond1 = ExprId("cond1", 1)
|
|
cond2 = ExprId("cond2", 16)
|
|
cst1 = ExprInt32(1)
|
|
cst2 = ExprInt32(2)
|
|
cst3 = ExprInt32(3)
|
|
cst4 = ExprInt32(4)
|
|
|
|
#- Launch tests
|
|
for expr in [
|
|
cst1,
|
|
A,
|
|
ExprMem(cst1, 32),
|
|
ExprCond(cond1, cst1, cst2),
|
|
ExprMem(ExprCond(cond1, cst1, cst2), 16),
|
|
ExprCond(cond1,
|
|
ExprCond(cond2, cst3, cst4),
|
|
cst2),
|
|
A + cst1,
|
|
A + ExprCond(cond1, cst1, cst2),
|
|
ExprCond(cond1, cst1, cst2) + ExprCond(cond2, cst3, cst4),
|
|
ExprCompose([(A, 0, 32), (cst1, 32, 64)]),
|
|
ExprCompose([(ExprCond(cond1, cst1, cst2), 0, 32), (A, 32, 64)]),
|
|
ExprCompose([(ExprCond(cond1, cst1, cst2), 0, 32),
|
|
(ExprCond(cond2, cst3, cst4), 32, 64)]),
|
|
ExprCond(ExprCond(cond1, cst1, cst2), cst3, cst4),
|
|
]:
|
|
print "*" * 80
|
|
print expr
|
|
sol = possible_values(expr)
|
|
print sol
|
|
print "Resulting constraints:"
|
|
for consval in sol:
|
|
print "For value %s" % consval.value
|
|
for constraint in consval.constraints:
|
|
print "\t%s" % constraint.to_constraint()
|