It's possible to do memory safety analysis for zig. I think you could pretty easily add a noalias checker on top of this: https://github.com/ityonemo/clr http

It's possible to do memory safety analysis for zig. I think you could pretty easily add a noalias checker on top of this: https://github.com/ityonemo/clr https://github.com/ityonemo/clr