Rust Articles, Tutorials & News

Xr0 Makes C Safer than Rust

There is a practical way to guarantee the safety of C programs at compile time, in the sense of no use-after-frees, no double frees, no buffer out-of-bounds reads/writes, no null pointer dereferences, no uses of uninitialised memory, no arithmetic overflo…

Read more »