Xr0: A Verification Tool for Safer C Programming
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.
Read the full articleXr0 is a verifier for C that eliminates undefined behaviour, like use-after-frees, double frees, null pointer dereferences and the use of uninitialised memory.
Read the full article
Comments
Sign in to join the conversation.
No comments yet. Be the first.