Re:Astrée Static Analyzer for C and C++
by ryao on Friday February 03, 2023 @01:18AM
(#34637763)
Most operating system developers are unlikely to be able to afford it given how it’s pricing is “if you need to ask, it costs too much”. :/
[ Parent
| on HN ]
There are no comments on this comment yet.