basic_simplification Namespace Reference

Variables
	a = ExprId('eax', 32)
	b = ExprId('ebx', 32)
list	exprs

Variable Documentation

a

basic_simplification.a = ExprId('eax', 32)

b

basic_simplification.b = ExprId('ebx', 32)

exprs

list basic_simplification.exprs

Initial value:

=  [a + b - a,
         ExprInt(0x12, 32) + ExprInt(0x30, 32) - a,
         ExprCompose(a[:8], a[8:16])]