Programmes par c-logic.sf.net

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 tes