5 days ago · software

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

Article URL: https://xr0.dev Comments URL: https://news.ycombinator.com/item?id=46479673 Points: 14 Comments: 2...