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 door de gebruiker.
versiegeschiedenis
- Versie N/A geplaatst op 2011-08-13
Verschillende oplossingen en updates - Versie N/A geplaatst op 2011-08-13
Programmadetails
- Categorie: Ontwikkeling > Andere
- Publisher: c-logic.sf.net
- Licentie: Gratis
- Prijs: N/A
- Versie: Array
- Platform: linux