expression.py File Reference

Namespaces
	expression

Variables
	expression.big_cst = ExprInt(1, size=0x1000)
	expression.A = ExprId("A", 32)
	expression.B = ExprId("B", 32)
	expression.cond1 = ExprId("cond1", 1)
	expression.cond2 = ExprId("cond2", 16)
	expression.cst1 = ExprInt(1, 32)
	expression.cst2 = ExprInt(2, 32)
	expression.cst3 = ExprInt(3, 32)
	expression.cst4 = ExprInt(4, 32)
	expression.sol = possible_values(expr)
	expression.aff = ExprAssign(A[0:32], cst1)
	expression.mem = ExprMem(A, 32)
	expression.mem_read
	expression.C = A+B
	expression.D = C + A
	expression.cst_read
	expression.mem1 = ExprMem(A, 32)
	expression.mem2 = ExprMem(mem1 + B, 32)
	expression.assign1 = ExprAssign(A, cst1)
	expression.assign2 = ExprAssign(mem1, D)
	expression.assign3 = ExprAssign(mem1, mem2)