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.
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.

Site Internet:

Les catégories

Alternatives à Infer 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 #.
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 #.
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.
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.
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.
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 ++.