Re:Astrée Static Analyzer for C and C++
by mschnell on Friday February 03, 2023 @07:01AM
(#34640051)
You can add grammatech‘s codesonar
[ Parent
| on HN ]
Re:Astrée Static Analyzer for C and C++
by marmetio on Friday February 03, 2023 @11:08AM
(#34642993)
I believe the "level" referred to is soundness. Codesonar is self-admittedly not sound [1], and instead focuses on other valuable aspects of static analysis. It's a different type of tool.
[1] https://blogs.grammatech.com/how-sound-static-analysis-compl...