Il s’agit d’un scanner de code source C basé sur la logique symbolique. Il analyse le code source C (en particulier celui du noyau Linux, auquel il est destiné) pour les erreurs de programmation et les vulnérabilités. Les tests sont définis par l’utilisateur.
historique de la version
- Version N/A posté sur 2011-08-13
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-08-13
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: c-logic.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: linux