News for hackers. Stuff that matters.

A comment on Nvidia Security Team: “What if we just stopped using C?”. Parent comment

Re:Nvidia Security Team: “What if we just stopped using C?” by topdancing on Monday November 07, 2022 @05:07PM (#33513240)
> SPARK itself can handle and prove some ownership properties but to the best of my knowledge isn't at the level of rust in memory safety on dynamically allocated memory.

It actually is: https://www.adacore.com/uploads/techPapers/Safe-Dynamic-Memo...

And using https://www.adacore.com/sparkpro as a reference (ignore the 'Pro' bit as it's also available in the GPL edition) - anything certified to SPARK Silver level is far safer than any Rust code out there.

[ Parent | on HN ]
Re:Nvidia Security Team: “What if we just stopped using C?” by touisteur on Monday November 07, 2022 @08:50PM (#33515049)
Seems I missed some of the progress... Things are moving fast these days.
[ Parent | on HN ]