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 #.
Coverity Scan Static Analysis permet de trouver et de corriger gratuitement les défauts dans votre projet open source Java, C / C ++ ou C #.Il teste chaque ligne de code et chemin d'exécution potentiel.La cause première de chaque défaut est clairement expliquée, ce qui facilite la correction des bogues.En 2006, le service Coverity Scan a été lancé avec le département américain de la Sécurité intérieure en tant que plus grand projet de recherche du secteur public-privé au monde, axé sur la qualité et la sécurité des logiciels open source.Coverity gère maintenant le projet, fournissant sa technologie de test de développement en tant que service gratuit à la communauté open source pour les aider à intégrer la qualité et la sécurité dans leur processus de développement logiciel.... Pour une liste des projets open source utilisant Coverity, voir:
coverity-scan

Les catégories

Alternatives à Coverity Scan 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.
PVS-Studio

PVS-Studio

PVS-Studio est un analyseur statique qui détecte les erreurs dans le code source des applications C, C ++ et C #.
Flawfinder

Flawfinder

Flawfinder examine le code source et signale les éventuelles faiblesses de sécurité (`` failles '') triées par niveau de risque.
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.
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.
Clang Static Analyzer

Clang Static Analyzer

L'analyseur statique Clang est un outil d'analyse de code source qui trouve des bogues dans les programmes C, C ++ et Objective-C.
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.
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 ++.