Xr0 is a verifier for C. It eliminates many stubborn instances of undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.
Xr0
LinkShared
Related
Untangling Lifetimes: The Arena Allocator - by Ryan Fleury
rfleury.com · · Page
Since C, "skill issues", and "memory safety" have been making the rounds again, I figured it'd be a good time to repost…
Dive into Systems
diveintosystems.org · · Page
Dive into Systems is a free, online textbook that serves as a gentle introduction to computer systems, computer…
www.ravenbrook.com - Memory Pool System
ravenbrook.com · · Page
The Memory Pool System is a flexible and adaptable memory manager. Among its many advantages are an incremental garbage…
CS240 Fall 2012: Programming in C
cs.purdue.edu · · Page
good lab exercises.
On C Library Implementation - Rusty Russell's Coding Blog
rusty.ozlabs.org · · Page
picoc - Project Hosting on Google Code
code.google.com · · Page
PicoC is a very small C interpreter for scripting. It was originally written for scripting a UAV's on-board flight…