Pour obtenir une clé
d'essai remplissez le formulaire ci-dessous
Demandez des tariffs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
RUB
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité

Free PVS-Studio license for Microsoft MVP specialists
To get the licence for your open-source project, please fill out this form
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

I am interested to try it on the platforms:
** En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

Votre message a été envoyé.

Nous vous répondrons à


Si vous n'avez toujours pas reçu de réponse, vérifiez votre dossier
Spam/Junk et cliquez sur le bouton "Not Spam".
De cette façon, vous ne manquerez la réponse de notre équipe.

>
L'analyseur PVS-Studio
logo
PVS-Studio est un analyseur statique qui veille à la qualité du code, à la sécurité (SAST) et à la sûreté du code
1. Télécharger
2. Demander d'essai
3. Demander des tarifs
1. Télécharger
Téléchargez la distribution
de l'analyseur PVS-Studio
--Choisir la plateforme--
Linux
macOS
Windows
--Choisir la langage--
C, C++
C#
Java
--Format de distribution--
rpm
deb
tgz
rpm
deb
tar.gz
pkg
tgz
tar.gz
exe
exe
exe
Lancement rapide
Télécharger
2. Demander d'essai
Demandez notre clé d'essai pour
tester les capacités de l'analyseur
--Sélectionner un type de licence--
Team licence
Enterprise licence
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

3. Demander des tarifs
Demandez des tariffs
--Sélectionnez la devise--
USD
EUR
RUB
* En cliquant sur ce bouton, vous acceptez notre politique de confidentialité.

Quand il est temps d'utiliser l'analyseur PVS-Studio
Pour un développeur
Si vous faites des erreurs occasionnelles pendant le développement
Si vous passez trop de temps à déboguer en cherchant des erreurs
Si des erreurs se retrouvent dans le système de contrôle de version
Si vous ne voulez pas revenir au débogage du code lorsqu'une erreur a été détectée dans la phase de test
Pour un gestionnaire
Si vous revenez fréquent à d'anciennes tâches pour revenir raison de bogues
Si des erreurs se trouvent dans vos produits
Si le nombre de développeurs dans votre société augmente et vous êtes confronté à une baisse de la qualité du code
S'il est difficile d'évaluer la qualité et la fiabilité du code avec l'augmentation de la quantité de code
Pour un QA spécialistes
Si vous rencontrez des difficultés à l'audit externe du code
Si votre clients potentiels exigent l'utilisation de tels outils
Si votre clients exigent l'utilisation de normes de sécurité et de sûreté dans le développement
Comment PVS-Studio trouve les vulnérabilités potentielles

PVS-Studio détecte diverses erreurs – fautes de frappe, code mort et vulnérabilités potentielles (Static Application Security Testing, SAST).

L'analyseur fait correspondre les avertissements à l'énumération des faiblesses communes (CWE), aux normes de codage du SEI CERT, et prend en charge la norme MISRA.

Cliquez sur les liens ci-dessous pour voir les classifications des avertissements de PVS-Studio pour diverses normes :

Vous pouvez intégrer PVS-Studio dans
IDE
Visual Studio
IntelliJ IDEA
Qt Creator
Eclipse
Construction distribuée
Moteurs de jeux
Unreal Engine
Qualité du code
Systèmes de construction
MSBuild
CMake
Make
Ninja
Gradle
Maven
Embarqué
Keil µVision, DS-MDK
IAR Embedded Workbench
Platform.io
QNX Momentics
TI ARM Code Generation
Virtualisation
WSL
Langages et compilateurs pris en charge

Windows

Visual Studio, C, C++, C++/CLI, C++/CX (WinRT)

MinGW C, C++

Windows/Linux/macOS

GNU Arm Embedded Toolchain, Arm Embedded
GCC compiler, C, C++

Qt Creator, Eclipse, GCC, Clang, C, C++

IntelliJ IDEA, Android Studio, Java

Visual Studio, JetBrains Rider, C#, .NET Framework, .NET Core

Windows/Linux

IAR Embedded Workbench, C/C++ Compiler for ARM C, C++

QNX Momentics, QCC C, C++

Keil µVision, DS-MDK, ARM Compiler 5/6 C, C++

Texas Instruments Code Composer Studio, ARM Code
Generation Tools C, C++

MPLAB XC8 C

Types de problèmes détectés par PVS-Studio
Qualité
Erreurs de frappe
Déréférencement de pointeurs nuls/de références nuls
Index de tableau hors limites
Opérations de décalage incorrectes
et autres.
Sécurité
Sûreté
Types de licences PVS-Studio
Team Licence
Enterprise Licence
Ligne de commande
Check!
Check!
Visual Studio
Check!
Check!
IntelliJ IDEA
Check!
Check!
Rider
Check!
Check!
Jenkins
Check!
Check!
TeamCity
Check!
Check!
Qualité
Check!
Check!
Sûreté
Check!
Check!
Sécurité
Check!
Check!
SonarQube
No check
Check!
Analyse des commits
No check
Check!
IncrediBuild
No check
Check!
Unreal Engine
No check
Check!
Notifications
Check!
Check!
Demander une clé d'essai
Demander des tarifs
Demander une clé d'essai
Demander des tarifs
Demander une clé d'essai
Запросить цену Team лицензии
Le nombre de diagnostics
dans le PVS-Studio augmente chaque année
Nombre de diagnostics
Nombre de diagnostics
Dates de publication (indiquées par des points sur le graphique)
Les clients choisissent PVS-Studio pour...
Le support technique expert

Au fil des ans, nous avons constitué une équipe d'experts en analyse de code qui a fait ses preuves. Les clients bénéficient d'un soutien direct de la part des développeurs de nos analyseurs.

La disponibilité de l'utilisation hors ligne

Vous pouvez utiliser notre analyseur hors ligne. Cela inclut l'installation, l'activation, le lancement, l'analyse du code source et tous les autres scénarios d'utilisation. Il s'agit d'une solution parfaite pour les sociétés qui utilisent des environnements de développement isolés et qui développent des logiciels pour les secteurs financier ou gouvernemental.

La facilité d'utilisation

Pour jeter un coup d'œil rapide sur l'analyseur, utilisez le système de surveillance de la compilation. Il est conçu pour Windows et Linux et ne nécessite pas d'intégrer PVS-Studio dans un projet.

La capacités de diagnostic

Nous avons développé plus de 900 règles de diagnostic et en ajoutons de nouvelles chaque mois.

L'intégration multiplateforme

De nombreuses applications sont créées pour plusieurs plateformes afin de répondre à la demande du marché actuel. Notre analyseur multiplateforme fournit à ces clients une couverture complète du code.

Des rapports d'analyse faciles à utilizer

Les rapports de l'analyseur sont disponibles aux formats Html, Xml, Csv, Txt, Json, CompileError, TaskList, TeamCity. Le générateur de rapports lui-même est publié sur GitHub pour des modifications personnalisées.

CLI pratique

Vous pouvez choisir l'une des trois approches simples : exécuter l'analyseur à partir de la ligne de commande, l'intégrer dans un script de construction ou un CI.

Les plugins

Pour améliorer l'interaction avec l'analyseur, nous fournissons des plugins pour Visual Studio, Visual Studio, IntelliJ IDEA, Rider, SonarQube, Jenkins et d'autres produits similaires.

La mode de vérification du code hérité

Certains clients hésitent à introduire un analyseur dans leur processus de développement en raison de l'importance de la base de code. PVS-Studio répond à ces clients en introduisant le mode de vérification du code hérité. Vous pouvez installer PVS-Studio, cacher les avertissements pour l'ancien code (hérité) jusqu'à plus tard, et utiliser l'analyseur pour vérifier le nouveau code.

La gestion des fausses alertes

L'analyse statique implique que vous pouvez recevoir de fausses alertes. Outre le fait de contacter notre support, les utilisateurs disposent de nombreux moyens pour traiter les faux positifs. Cela rend le travail avec l'analyseur très pratique.

Qu'est-ce que PVS-Studio ?
Si vous vous demandez: "Qu'est-ce que PVS-Studio ?" - cette vidéo répond à votre question.
Ici, nous allons parler des sujets et des aspects les plus importants liés à l'analyseur statique PVS-Studio. Vous découvrirez non seulement comment PVS-Studio peut vous aider, mais aussi quels mécanismes et quelles approches il utilise.
Comment PVS-Studio fait-il tout cela ?
Le prétraitement des fichiers sources C et C++ (basé sur les paramètres de compilation) permet d'étendre les directives du préprocesseur, c'est-à-dire d'inclure des fichiers d'en-tête et de substituer des macros. L'analyseur utilise cette fonctionnalité pour construire le modèle sémantique le plus complet du code analysé.
L'analyse basée sur un arbre syntaxique abstrait recherche les fragments du code source qui sont similaires aux modèles de code connus avec une erreur.
Les annotations de méthodes fournissent plus d'informations sur les méthodes utilisées que ce que l'on peut obtenir en analysant uniquement leurs signatures.
L'analyse du flux de données est utilisée pour évaluer les limitations qui sont imposées aux valeurs des variables lors du traitement de diverses constructions du langage. Par exemple, l'analyse du flux de données permet d'évaluer les valeurs qu'une variable peut prendre à l'intérieur de blocs if/else.
L'exécution symbolique évalue les valeurs des variables qui peuvent entraîner des erreurs et vérifie l'étendue des valeurs.
L'inférence de type basée sur un modèle sémantique de programme fournit à l'analyseur des informations complètes sur toutes les variables et instructions du code.
L'analyse des données altérées détecte les cas où une application utilise des données utilisateurs non vérifiés. Une confiance excessive dans ces données peut entraîner des vulnérabilités (par exemple, SQLI, XSS, traversée de chemin).
L'analyse intermodulaire permet aux diagnostics de tenir compte des fonctions déclarées dans d'autres unités de traduction
L'analyse de la composition logicielle (SCA) recherche les dépendances de l'application sur les composants qui contiennent des vulnérabilités.
Unicorn with delicious cookie
Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter