Just watched @ityonemo’s video explaining how clr can detect many “unsafe” operations, like returning stack pointers, at compile-time by statically analyzing Zig’s AIR:
clr
Very cool, thought I’d share here as it relates to the problem statement.