News for hackers. Stuff that matters.

A comment on Feds: Critical Software Must Drop C/C++ by 2026 or Face Risk. Parent comment

Re:Feds: Critical Software Must Drop C/C++ by 2026 or Face Risk by Animats on Saturday November 02, 2024 @04:41PM (#42029090)
It's not for everything. But the serious verification techniques should be mandatory in critical infrastructure. Routers, BGP nodes, and firewalls would be a good place to start. Embedded systems that control important things - train control, power distribution, pipelines, water and sewer. Get those nailed down hard.

Diagrams like this scare me.[1]

[1] https://new.abb.com/docs/librariesprovider78/eventos/jjtts-2...

[ Parent | on HN ]
Re:Feds: Critical Software Must Drop C/C++ by 2026 or Face Risk by cryptonector on Saturday November 02, 2024 @06:15PM (#42029601)
> Routers, BGP, ...

Well, but those need new features from time to time, and certification would make that nigh impossible. I'd settle for memory-safe languages as the happy middle of the road.

[ Parent | on HN ]