Skip to main content

Module memory

Module memory 

Source
Expand description

Oracles related to memory.

Functionsยง

check_memory_accesses
Oracle to perform the described memory accesses and check that they are all in- or out-of-bounds as expected