News for hackers. Stuff that matters.

A comment on GNU Coding Standards: Writing Robust Programs. Parent comment

Re:GNU Coding Standards: Writing Robust Programs by posix_me_less on Friday June 11, 2021 @12:55PM (#27475720)
The speed of development was very low, and how many people can check the proofs?
[ Parent | on HN ]
Re:GNU Coding Standards: Writing Robust Programs by dnautics on Friday June 11, 2021 @01:31PM (#27476169)
> The speed of development was very low,

Not a part of GP's assertion

> and how many people can check the proofs?

it's not necessary, the proofs are checked using automation. I'm directly taking a shot at this assertion:

> Static analysis tooling has demonstrated that it isn’t up to the task

[ Parent | on HN ]
Re:GNU Coding Standards: Writing Robust Programs by oscardssmith on Friday June 11, 2021 @03:46PM (#27477627)
Just because you have a proof doesn't mean it proves the right thing.
[ Parent | on HN ]
Re:GNU Coding Standards: Writing Robust Programs by dnautics on Friday June 11, 2021 @06:20PM (#27479193)
Congratulations. You have won the argument "there is no perfectly secure system", which no one was arguing.
[ Parent | on HN ]