Get the latest tech news
Xr0 verifier, guarantee the safety of C programs at compile time
Xr0 is a verifier for C that eliminates undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.
None
Or read this on Hacker News
