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.