In practice as long as you stick to using zig std, an analyzer can get quite far