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 sam_bristow on Friday February 03, 2023 @02:00AM (#34638024)
I _think_ Perforce's QA-C uses abstract interpretation, but I'm not 100% sure.
[ Parent | on HN ]

There are no comments on this comment yet.