Maat C++ Documentation
maat::ExprMem Member List

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

_concretemaat::ExprObjectprotected
_concrete_ctx_idmaat::ExprObjectprotected
_hash (defined in maat::ExprObject)maat::ExprObjectprotected
_hashed (defined in maat::ExprObject)maat::ExprObjectprotected
_is_simplifiedmaat::ExprObjectprotected
_simplified_exprmaat::ExprObjectprotected
_simplifier_idmaat::ExprObjectprotected
_status (defined in maat::ExprObject)maat::ExprObjectprotected
_status_ctx_idmaat::ExprObjectprotected
_taint (defined in maat::ExprObject)maat::ExprObjectprotected
_taint_ctx_idmaat::ExprObjectprotected
_taint_maskmaat::ExprObjectprotected
_value_set (defined in maat::ExprObject)maat::ExprObjectprotected
_value_set_computed (defined in maat::ExprObject)maat::ExprObjectprotected
access_count() (defined in maat::ExprMem)maat::ExprMemvirtual
already_simplified_by(int simplifier_id) (defined in maat::ExprObject)maat::ExprObject
argsmaat::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::ExprMemvirtual
concretize(const VarContext *ctx=nullptr)maat::ExprMemprotectedvirtual
cond_left() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
cond_op() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
cond_right() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
contains_vars(std::set< std::string > &var_names)maat::ExprObject
cst() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
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::ExprObjectinlinevirtual
get_left_associative_args(Op op, std::vector< Expr > &vec, Expr &leftmost) (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
get_vars(std::set< std::string > &var_names)maat::ExprObject
hash()maat::ExprMemvirtual
if_false() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
if_true() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
inf(Expr other) (defined in maat::ExprObject)maat::ExprObject
is_concolic(const VarContext &ctx)maat::ExprObjectvirtual
is_concrete(const VarContext &ctx)maat::ExprObject
is_symbolic(const VarContext &ctx)maat::ExprObjectvirtual
is_tainted(ucst_t taint_mask=maat::default_expr_taint_mask)maat::ExprMemvirtual
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::ExprObjectinlinevirtual
name() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
neq(Expr other)maat::ExprObject
op() (defined in maat::ExprObject)maat::ExprObjectinlinevirtual
print(std::ostream &out) (defined in maat::ExprMem)maat::ExprMemvirtual
sizemaat::ExprObject
status(const VarContext &ctx)maat::ExprMemvirtual
SymbolicMemEngine (defined in maat::ExprMem)maat::ExprMemfriend
taint_mask()maat::ExprObject
typemaat::ExprObject
value_set()maat::ExprMemvirtual
~ExprMem()=default (defined in maat::ExprMem)maat::ExprMemvirtual
~ExprObject()=default (defined in maat::ExprObject)maat::ExprObjectvirtual