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 edwcross on Friday February 03, 2023 @03:44AM (#34638800)
There are probably others, but this is one such startup: https://trust-in-soft.com/
[ Parent | on HN ]

There are no comments on this comment yet.