Solidity compilers: memory safety

OtterSec explores the Solidity compilation pipeline and YUL optimizer assumptions to explain what 'memory-safe' assembly actually guarantees — and where inline assembly breaks those guarantees.