nullability annotations in C
nullability annotations in C
Posted Feb 14, 2025 23:39 UTC (Fri) by Cyberax (✭ supporter ✭, #52523)In reply to: nullability annotations in C by mathstuf
Parent article: Maintainer opinions on Rust-for-Linux
Runtime checks won't help you for things like use-after-free. You really need a full-blown GC, and fat pointers that encode the block lengths.
There _are_ attempts to do that with C. I know of this one: https://github.com/pizlonator/llvm-project-deluge/blob/de...
Posted Feb 15, 2025 22:22 UTC (Sat)
by mathstuf (subscriber, #69389)
[Link]
nullability annotations in C
Ah, that was the project I was thinking of. I clearly didn't properly internalize its mechanisms when I read that last.