Nvidia Security Team: “What if we just stopped using C?”

Re:Nvidia Security Team: “What if we just stopped using C?” by docandrew on Monday November 07, 2022 @10:49AM (#33507346)

I don’t think the federal government should step in and regulate it, but why not some kind of professional or trade organization, like UL?

And really, I think your argument bolsters my case. Federal and state governments are freaking out about cybersecurity and protecting infrastructure and voting systems, so why shouldn’t they ban the use of software written in C in their acquisition process?

[ Parent | on HN ]

Re:Nvidia Security Team: “What if we just stopped using C?” by flohofwoe on Monday November 07, 2022 @10:56AM (#33507475)

Such regulations already exists, see for instance https://en.wikipedia.org/wiki/MISRA_C. Similar rules could be created for Rust (I would assume that this would have to be some sort of 'sane subset' of Rust, which for instance would forbid dynamic memory allocation alltogether).

[ Parent | on HN ]

Re:Nvidia Security Team: “What if we just stopped using C?” by topdancing on Monday November 07, 2022 @04:46PM (#33512992)

Or you could use https://en.m.wikipedia.org/wiki/SPARK_(programming_language) which is already a formal defined language and literally the thing discussed in the link right at the top.

[ Parent | on HN ]