Module memory 

Structs

SymCode 🔒

SymMemory 🔒

SymReturnData 🔒

SymStack 🔒

SymbolicMemoryWrite 🔒

Enums

BoundedCopySize 🔒

GuardedOpcode 🔒

Functions

max_u256_expr 🔒

Implements the max_u256_expr symbolic memory helper.

memory_size_after_access 🔒

Returns the memory_size_after_access symbolic memory helper result.

memory_size_after_symbolic_access 🔒

Returns the memory_size_after_symbolic_access symbolic memory helper result.

symbolic_copy_size_byte 🔒

Returns the symbolic_copy_size_byte symbolic memory helper result.