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 #.
PVS-Studio est un analyseur statique qui détecte les erreurs dans le code source des applications C, C ++ et C #.L'outil PVS-Studio est destiné aux développeurs d'applications contemporaines et il s'intègre dans l'environnement Visual Studio 2005/2008/2010/2012/2013.PVS-Studio pour Linux:

Site Internet:

traits

Les catégories

Alternatives à PVS-Studio 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.
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 #.
libtheora

libtheora

libtheora est une implémentation de référence du format de compression vidéo Theora développé par la Fondation Xiph.Org.
Apache Portable Runtime

Apache Portable Runtime

Apache Portable Runtime (APR) est une bibliothèque de support pour le serveur Web Apache.Il fournit un ensemble d'API qui correspondent au système d'exploitation sous-jacent.
libogg

libogg

Les bibliothèques Libogg fournissent les fonctions nécessaires aux programmes pour lire ou écrire des flux binaires au format Ogg.
Energia

Energia

Energia est une plate-forme de prototypage rapide pour le Launchpad MCU de Texas Instruments.Energia est basé sur le câblage et Arduino et utilise l'IDE de traitement.
CxxProf

CxxProf

CxxProf est une bibliothèque de profilage instrumentée manuelle pour C ++.Son objectif est de fournir une intégration facile dans les projets existants avec aussi peu de frais généraux que possible.
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.
LDRA Testbed

LDRA Testbed

Liverpool Data Research Associates (LDRA) est un fournisseur d'outils d'analyse logicielle, de test et de traçabilité des exigences pour les secteurs public et privé et un pionnier de l'analyse logicielle statique et dynamique.