expression Namespace Reference

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

Variable Documentation

A

expression.A = ExprId("A", 32)

aff

expression.aff = ExprAssign(A[0:32], cst1)

assign1

expression.assign1 = ExprAssign(A, cst1)

assign2

expression.assign2 = ExprAssign(mem1, D)

assign3

expression.assign3 = ExprAssign(mem1, mem2)

B

expression.B = ExprId("B", 32)

big_cst

expression.big_cst = ExprInt(1, size=0x1000)

C

expression.C = A+B

cond1

expression.cond1 = ExprId("cond1", 1)

cond2

expression.cond2 = ExprId("cond2", 16)

cst1

expression.cst1 = ExprInt(1, 32)

cst2

expression.cst2 = ExprInt(2, 32)

cst3

expression.cst3 = ExprInt(3, 32)

cst4

expression.cst4 = ExprInt(4, 32)

cst_read

expression.cst_read

D

expression.D = C + A

mem

expression.mem = ExprMem(A, 32)

mem1

expression.mem1 = ExprMem(A, 32)

mem2

expression.mem2 = ExprMem(mem1 + B, 32)

mem_read

expression.mem_read

sol

expression.sol = possible_values(expr)