3 ms·
Not a Zig user, but this seems to indicate Zig still doesn't always detect use-after-free even with all safety flags on. It seems progress is being made though.
by nyanpasu64 6y ago
Not a Zig user, but this seems to indicate Zig still doesn't always detect use-after-free even with all safety flags on. It seems progress is being made though. https://github.com/ziglang/zig/issues/3180 https://github.com/ziglang/zig/issues/3180
- pron 6y agoYou are correct, that's still a WIP, but the goal is to have "safe Zig" (i.e. Zig with safety checks on) catch all undefined behaviour modulo explicitly marked unsafe casts (which correspond to unsafe Rust code).
- IshKebab 6y agoThat sounds great as long as the performance cost is not too high.
- atombender 6y agoBy "catch", do you mean at compile time?
- pron 6y agoSome at compile-time, and some at runtime.
- deleted 6y ago[deleted]