News for hackers. Stuff that matters.
Re:Astrée Static Analyzer for C and C++ by intelVISA on Friday February 03, 2023 @12:40AM (#34637548)
Assuming no allocations it wouldn't be terribly hard to implement most of the features listed on the landing page. Still, nice work!

Roughest bit is probably having to write the portable, cross-platform GUI imo.

There are no comments on this comment yet.