Developing a Rust-Inspired Static Analysis Tool for C++ Using AI Assistance
TL;DR A post titled 'Building a Rust-style static analyzer for C++ with AI' appeared on mpaxos.com. The full article text…
Reassessing Tony Hoare’s ‘Billion Dollar Mistake’ for Null Pointers
TL;DR The author revisits Tony Hoare’s label of null references as a “billion dollar mistake,” arguing the claim is hyperbolic…
Was It Really a Billion Dollar Mistake? Reassessing Null Pointer Costs and Trade-offs
TL;DR The author revisits Tony Hoare’s “billion-dollar mistake” label for null pointers and argues that null dereferences are among the…
Corroded: A repository that provides intentionally unsafe, ‘illegal’ Rust primitives
TL;DR A public GitHub repository called Corroded offers Rust APIs and examples that deliberately bypass the language's safety checks, including…
Xr0 verifier: compile-time checking framework to eliminate C undefined behavior
TL;DR Xr0 is a verifier for C that aims to detect and eliminate a range of undefined behaviours at compile…
C3: An Ergonomic, Safe and Familiar Evolution of the C Language
TL;DR C3 is a C-like programming language that emphasizes safety, ergonomics and seamless C interoperability. The language offers full C…
Treat the Compiler as Your Friend: Stop Lying to It, Prevent Crashes
TL;DR A recent long-form piece argues that treating compilers as partners rather than obstacles reduces runtime failures. It contrasts compile-time…
curl eliminates strcpy usage, extending its earlier strncpy ban
TL;DR The curl project has replaced direct strcpy calls with a new bounded copy function, following an earlier removal of…
Nonprofit Pushes Memory-Safe Rewrites for Internet Infrastructure
TL;DR MemorySafety.org promotes replacing unsafe C/C++ components in critical internet software with memory-safe implementations, primarily using Rust. The site lists…