Hacker News new | ask | show | jobs
by philzook 873 days ago
https://github.com/diffblue/cbmc/issues/7732 I'll note that some form of undefined behavior checking / documentation is on the roadmap for the next major version