News for hackers. Stuff that matters.

A comment on Checked C. Parent comment

Re:Checked C by mlindner on Friday February 19, 2021 @10:56AM (#26194430)
I’m not sure what C code bases you’ve worked with but refactoring in a large C code base is almost never local. Especially if it’s a code base that made extensive use of the gcc flags that disable making sure code does not alias.
[ Parent | on HN ]
Re:Checked C by pron on Friday February 19, 2021 @05:19PM (#26198764)
Providing enough information for the prover does not require a big refactoring, and is significantly cheaper and less risky than a rewrite for an established codebase.
[ Parent | on HN ]