Xr0 verifier, guarantee the safety of C programs at compile time

https://xr0.dev

#HackerNews #Xr0Verifier #CPrograms #CompileTime #Safety #SoftwareDevelopment

Xr0 – C But Safe

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.