Programy według c-logic.sf.net

Jest to skaner kodu źródłowego języka C oparty na logice symbolicznej. Analizuje kod źródłowy C (zwłaszcza jądro Linuksa, do którego jest skierowany) pod kątem błędów programowania i luk w zabezpieczeniach. Testy są definiowa