Re:Checked C
by GoblinSlayer on Thursday December 22, 2022 @03:54AM
(#34091230)
It's justified for aerospace, because failures are quite expensive there, but for usual business it will be much easier to implement automatic bound checking, like at 1% complexity of the C compiler.
[ Parent
| on HN ]
I wonder what operating systems the aerospace industry uses, since failures in the operating system could be equally expensive, yet operating system developers generally do not have access to these tools.