Splint

Splint

Splint est un outil de vérification statique des programmes C pour les failles de sécurité et les erreurs de codage.Avec un effort minimal, Splint peut être utilisé comme une meilleure charpie.
Splint est un outil de vérification statique des programmes C pour les failles de sécurité et les erreurs de codage.Avec un effort minimal, Splint peut être utilisé comme une meilleure charpie.Si des efforts supplémentaires sont investis pour ajouter des annotations aux programmes, Splint peut effectuer une vérification plus forte que n'importe quel peluche standard.
splint

Site Internet:

traits

Les catégories

Alternatives à Splint pour toutes les plateformes avec n'importe quelle licence

Cppcheck

Cppcheck

Cppcheck est un outil d'analyse statique pour le code C / C ++.Contrairement aux compilateurs C / C ++ et à de nombreux autres outils d'analyse, il ne détecte pas les erreurs de syntaxe dans le code.
Coverity Scan

Coverity Scan

Coverity Scan Static Analysis permet de trouver et de corriger gratuitement les défauts dans votre projet open source Java, C / C ++ ou C #.
Flawfinder

Flawfinder

Flawfinder examine le code source et signale les éventuelles faiblesses de sécurité (`` failles '') triées par niveau de risque.
lgtm.com

lgtm.com

lgtm.com est une plateforme d'analyse de code.Son utilisation est gratuite pour les logiciels open source;les résultats de plus de 55 000 projets sont facilement disponibles (ajoutez le vôtre!), a une intégration automatique de la demande de révision de code (GitHub, Bitbucket, GitLab), et bien plus encore.
Infer

Infer

Facebook Infer est un outil d'analyse statique - si vous donnez à Infer du code Objective-C, Java ou C, il produit une liste de bogues potentiels.
VisualCodeGrepper
EDoC++

EDoC++

EDoC ++ est un outil d'analyse de source C ++ conçu pour identifier les problèmes associés à l'utilisation des exceptions dans le code C ++.