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:

traits

Les catégories

Alternatives à Infer pour Linux

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