maat::ExprMem Member List

This is the complete list of members for maat::ExprMem, including all inherited members.

_concrete	maat::ExprObject	protected
_concrete_ctx_id	maat::ExprObject	protected
_hash (defined in maat::ExprObject)	maat::ExprObject	protected
_hashed (defined in maat::ExprObject)	maat::ExprObject	protected
_is_simplified	maat::ExprObject	protected
_simplified_expr	maat::ExprObject	protected
_simplifier_id	maat::ExprObject	protected
_status (defined in maat::ExprObject)	maat::ExprObject	protected
_status_ctx_id	maat::ExprObject	protected
_taint (defined in maat::ExprObject)	maat::ExprObject	protected
_taint_ctx_id	maat::ExprObject	protected
_taint_mask	maat::ExprObject	protected
_value_set (defined in maat::ExprObject)	maat::ExprObject	protected
_value_set_computed (defined in maat::ExprObject)	maat::ExprObject	protected
access_count() (defined in maat::ExprMem)	maat::ExprMem	virtual
already_simplified_by(int simplifier_id) (defined in maat::ExprObject)	maat::ExprObject
args	maat::ExprObject
as_float()	maat::ExprObject
as_float(const VarContext &ctx)	maat::ExprObject
as_int()	maat::ExprObject
as_int(const VarContext &ctx)	maat::ExprObject
as_number()	maat::ExprObject
as_number(const VarContext &ctx)	maat::ExprObject
as_uint()	maat::ExprObject
as_uint(const VarContext &ctx)	maat::ExprObject
base_expr() (defined in maat::ExprMem)	maat::ExprMem	virtual
concretize(const VarContext *ctx=nullptr)	maat::ExprMem	protectedvirtual
cond_left() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
cond_op() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
cond_right() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
contains_vars(std::set< std::string > &var_names)	maat::ExprObject
cst() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
eq(Expr other)	maat::ExprObject
ExprMem(size_t size, Expr addr, unsigned int access_count=0, Expr base=nullptr) (defined in maat::ExprMem)	maat::ExprMem
ExprMem(size_t size, Expr addr, unsigned int access_count, Expr base, ValueSet &vs) (defined in maat::ExprMem)	maat::ExprMem
ExprObject(ExprType type, size_t size, bool _is_simp=false, Taint _t=Taint::NOT_COMPUTED, ucst_t _taint_mask=maat::default_expr_taint_mask)	maat::ExprObject
get_associative_args(Op op, std::vector< Expr > &vec) (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
get_left_associative_args(Op op, std::vector< Expr > &vec, Expr &leftmost) (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
get_vars(std::set< std::string > &var_names)	maat::ExprObject
hash()	maat::ExprMem	virtual
if_false() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
if_true() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
inf(Expr other) (defined in maat::ExprObject)	maat::ExprObject
is_concolic(const VarContext &ctx)	maat::ExprObject	virtual
is_concrete(const VarContext &ctx)	maat::ExprObject
is_symbolic(const VarContext &ctx)	maat::ExprObject	virtual
is_tainted(ucst_t taint_mask=maat::default_expr_taint_mask)	maat::ExprMem	virtual
is_type(ExprType t, Op op=Op::NONE)	maat::ExprObject
make_tainted(ucst_t taint_mask=maat::default_expr_taint_mask)	maat::ExprObject
mode() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
name() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
neq(Expr other)	maat::ExprObject
op() (defined in maat::ExprObject)	maat::ExprObject	inlinevirtual
print(std::ostream &out) (defined in maat::ExprMem)	maat::ExprMem	virtual
size	maat::ExprObject
status(const VarContext &ctx)	maat::ExprMem	virtual
SymbolicMemEngine (defined in maat::ExprMem)	maat::ExprMem	friend
taint_mask()	maat::ExprObject
type	maat::ExprObject
value_set()	maat::ExprMem	virtual
~ExprMem()=default (defined in maat::ExprMem)	maat::ExprMem	virtual
~ExprObject()=default (defined in maat::ExprObject)	maat::ExprObject	virtual