it seems like a reasonable enterprise to intercept the data dependency graph from the zig compiler and subject it to analysis to prove memory safety parameters:

(my wip experiment: ) https://github.com/ityonemo/clr