It's a framework and a huge tests data set to check coverage, false-positives rate, and some other merits of c/c++ static verifiers like CLion, Coverite, Intel Source Checker, Sonar Cube, Visual Studio, PVS-Studio, etc.
-
Updated
Oct 30, 2024 - C