Assembly safety with Solidity 0.8.13

Solidity 0.8.13 marked the production readiness of the Yul IR pipeline. This, amongst other things, helps to alleviate stack too deep errors.

However, one requirement of the pipeline is that any assembly sections be memory-safe, such that they only use memory that has been previously allocated either by high-level Solidity code or by reading from the free memory pointer at 0x40.

Could someone from OZ please confirm whether assembly code in your contracts is memory-safe, or if work to determine this hasn't been undertaken yet?

Many thanks,

Hi @mattduffles, We haven't thought about this yet. Can you open an issue in the repository?