News for hackers. Stuff that matters.

A comment on Astrée Static Analyzer for C and C++. Parent comment

Re:Astrée Static Analyzer for C and C++ by zokier on Friday February 03, 2023 @06:27AM (#34639843)
Frama-C is big reason why I think learning and writing C makes still sense in 2023.
[ Parent | on HN ]

There are no comments on this comment yet.