123
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 Windows

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