Skip to main content

Module calldata

foundry_evm_symbolic::runtime

Module calldata 

Source

Structs§

SymCalldata 🔒

Functions§

bounded_copy_size_parts 🔒
Implements the bounded_copy_size_parts symbolic calldata helper.
bounded_copy_size_word 🔒
Implements the bounded_copy_size_word symbolic calldata helper.
call_input_from_memory 🔒
Implements the call_input_from_memory symbolic calldata helper.
calldata_from_call_input 🔒
Implements the calldata_from_call_input symbolic calldata helper.