Re: Limitations of code quality to ensure safety of modern software
Not sure why you directed this to me. I have always advocated for product and process quality, of which code quality is just one aspect. The safety of a product, as you say at the end might be compromised by the design, which is why I have been advocating for the quality and safety aspects mentioned above.
From: Elana Copperman <Elana.Copperman@...>
Sent: Tuesday, June 21, 2022 1:02 AM
To: Brink, Peter <Peter.Brink@...>; devel@...
Subject: Limitations of code quality to ensure safety of modern software
I don't know if this contest is still being supported. But as you can see, it highlights the limitations of C as a programming language.
So that ensuring "quality" of any C-based safety critical system is not easy, even before we get to the limitations of Linux and open source.
Unfortunately throughout my career I have seen plenty of code examples which, although not malicious in the sense of this contest, comply with accepted development/coding/test processes – but are inherently unsafe, sometimes by design.