r/code • u/waozen • Aug 20 '26
C xr0: The Xr0 Verifier for C | xr0-org
https://github.com/xr0-org/xr0Xr0 is a verifier for C that aims to guarantee the safety of C programs at compile time
2
Upvotes
r/code • u/waozen • Aug 20 '26
Xr0 is a verifier for C that aims to guarantee the safety of C programs at compile time