miasm2.expression.expression.ExprCond Class Reference

Inheritance diagram for miasm2.expression.expression.ExprCond:

Collaboration diagram for miasm2.expression.expression.ExprCond:

Public Member Functions
def	__init__
def	__str__
def	get_r
def	get_w
def	__contains__
def	visit
def	copy
def	depth
def	graph_recursive
def	set_size
def	__getitem__
def	get_size
def	is_function_call
def	__repr__
def	__hash__
def	pre_eq
def	__eq__
def	__ne__
def	__add__
def	__sub__
def	__div__
def	__mod__
def	__mul__
def	__lshift__
def	__rshift__
def	__xor__
def	__or__
def	__and__
def	__neg__
def	__invert__
def	replace_expr
def	canonize
def	msb
def	zeroExtend
def	signExtend
def	graph
def	set_mask

Public Attributes
	arg

Static Public Attributes
	is_term = False
	is_simp = False
	is_canon = False
	is_eval = False

Properties
	cond = property(lambda self: self._cond)
	src1 = property(lambda self: self._src1)
	src2 = property(lambda self: self._src2)
	size = property(lambda self: self._size)
	mask = property(lambda self: ExprInt(-1, self.size))

Private Member Functions
def	_exprhash
def	_exprrepr

Private Attributes
	_src2
	_size

Detailed Description

An ExprCond stand for a condition on an Expr

Use cases:
 - var1 < var2
 - min(var1, var2)
 - if (cond) then ... else ...

Definition at line 571 of file expression.py.

Constructor & Destructor Documentation

def miasm2.expression.expression.ExprCond.__init__	(		self,
			cond,
			src1,
			src2
	)

Create an ExprCond
@cond: Expr, condition
@src1: Expr, value if condition is evaled to not zero
@src2: Expr, value if condition is evaled zero

Definition at line 581 of file expression.py.

    def __init__(self, cond, src1, src2):
        """Create an ExprCond
        @cond: Expr, condition
        @src1: Expr, value if condition is evaled to not zero
        @src2: Expr, value if condition is evaled zero
        """

        assert(src1.size == src2.size)

        self._cond, self._src1, self._src2 = cond, src1, src2
        self._size = self.src1.size