You might find this paper interesting in regard to memsets optimized away: https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-yang.pdf https

You might find this paper interesting in regard to memsets optimized away: https://www.usenix.org/system/files/conference/usenixsecurity17/sec17-yang.pdf https://www.usenix.org/system/files/conference/usenixsecurit... I agree with you on a standard platform. Id get a company like Galois to build it. They already have and open-sourced the necessary tooling from thrir prior contracts.