maat::SymbolicMemWrite class

Represents a symbolic pointer memory write.

❱   Base classes

class Serializable
Virtual interface that serializable classes must implement.

❱   Constructors, destructors, conversion operators

SymbolicMemWrite()
Dummy constructor used for deserialization.

❱   Public functions

auto class_uid() const -> uid_t virtual
Return the class uid (see ClassId enum)

void dump(serial::Serializer&) const virtual
Dump the object contents in a serializer stream.

void load(serial::Deserializer&) virtual
Restore an object from a deserializer stream.

❱   Public variables

Expr addr
Address of the write (symbolic pointer)

Value value
Value written.