Programma's van c-logic.sf.net

Dit is een C-broncodescanner op basis van symbolische logica. Het analyseert C broncode (vooral die van de Linux kernel, waarop het is gericht) voor het programmeren van fouten en kwetsbaarheden. De tests worden gedefinieerd