Re:Astrée Static Analyzer for C and C++
by jamesfinlayson on Friday February 03, 2023 @01:04AM
(#34637666)
If there's a high enough risk, maybe. I've worked in gambling (regulated, but not to the same degree as something that's life and death) and the security team has pushed for the use of tools like this.
[ Parent
| on HN ]
There are no comments on this comment yet.