Nous utilisons des cookies pour améliorer votre expérience de navigation. En savoir plus
Accepter
to the top
close form

Remplissez le formulaire ci‑dessous en 2 étapes simples :

Vos coordonnées :

Étape 1
Félicitations ! Voici votre code promo !

Type de licence souhaité :

Étape 2
Team license
Enterprise licence
** En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité
close form
Demandez des tarifs
Nouvelle licence
Renouvellement de licence
--Sélectionnez la devise--
USD
EUR
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
La licence PVS‑Studio gratuit pour les spécialistes Microsoft MVP
close form
Pour obtenir la licence de votre projet open source, s’il vous plait rempliez ce formulaire
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form
I am interested to try it on the platforms:
* En cliquant sur ce bouton, vous déclarez accepter notre politique de confidentialité

close form

Votre demande est en cours de traitement

Nous enverrons une clé d'essai à votre e-mail .

Si l'e-mail n'apparaît pas dans votre boîte de réception, recherchez-le dans l'un des dossiers suivants.

  • Promotion
  • Notifications
  • Spam

Webinar: C++ semantics - 06.11

La licence PVS-Studio gratuite pour les étudiants et les professeurs

Pour aider les étudiants à explorer les outils d'analyse statique et à développer les compétences pour les utiliser, notre équipe offre d'utilisation de PVS‑Studio gratuitement.

Pour Windows

Étape 1

Téléchargez et exécutez l'assistant d'installation de PVS‑Studio

Étape 2

Lors de l'installation, sélectionnez l'option “I’m a student”. Le nom d'utilisateur et la clé de licence seront générés automatiquement.

Étape 3

Insérez le texte suivant au début de chaque fichier :

// This is a personal academic project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++, C#, and Java: https://pvs-studio.com

Pour Linux

Étape 1

Téléchargez PVS‑Studio de la manière que vous préférez

Étape 2

Insérez la commande suivante dans un terminal :

pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE

Étape 3

Insérez le texte suivant au début de chaque fichier :

// This is a personal academic project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++, C#, and Java: https://pvs-studio.com

Pour macOS

Étape 1

Téléchargez PVS‑Studio de la manière que vous préférez

Étape 2

Insérez la commande suivante dans un terminal :

pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE

Étape 3

Insérez le texte suivant au début de chaque fichier :

// This is a personal academic project. Dear PVS-Studio, please check it.
// PVS-Studio Static Code Analyzer for C, C++, C#, and Java: https://pvs-studio.com

Autres façons d'activer une licence

Pour aider les étudiants à explorer les outils d'analyse statique et à développer les compétences pour les utiliser, notre équipe offre d'utilisation de PVS-Studio gratuitement.

Il y a trois approches d'utiliser PVS-Studio gratuitement à des fins éducatives :

  • L'addition de commentaires spéciaux au code source ;
  • L'utilisation de site web Compiler Explorer ;
  • La licence gratuite pour les projets open source.

Aucune de ces options nécessite de nous contacter pour obtenir une clé d'évaluation. Vous téléchargez simplement la distribution et procédez les instructions infra.

Trouvons les situations d'utilisation de chaque fonction.

L'addition de commentaires spéciaux au code source

En travaillant sur le projet académique avec un certain nombre de fichiers sources, le plus pratique d'utiliser l'analyseur est d'ajouter un commentaire spécial à ces fichiers :

// This is a personal academic project.

// PVS-Studio Static Code Analyzer for C, C++, C#, and Java: https://pvs-studio.com

Pour démarrer l'utilisation PVS-Studio gratuitement, procéder deux étapes :

Étape 1. Si vous utilisiez PVS-Studio comme plugin de Visual Studio ou vous utilisiez l'utilitaire " C and C++ Compiler Monitoring UI " (Standalone.exe), entrez la clé de licence suivante :

Name: PVS-Studio Free

Key: FREE-FREE-FREE-FREE

Si vous installez PVS-Studio pour Linux/macOS, utilisez la commande suivante :

pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE

Note. Préalablement, un commentaire suffisait pour activer la licence gratuite pour Linux. Maintenant, vous devez également entrer cette clé spéciale. Sans elle, certains scénarios d'utilisation de l'analyseur se sont devenus peu pratiques. En savoir.

Étape 2. Ajoutez deux lignes de commentaires qui décrivent ci-dessus au début de chaque fichier de compilation. C'est-à-dire les fichiers dont les extensions sont c, cc, cpp, cs, java, etc. Vous ne devez pas de modifier fichiers d'en-tête (h).

Il est possible d'ajouter les commentaires soit manuellement, soit à l'aide d'un utilitaire spécial, qui peut être téléchargé (avec le code source) ici : how-to-use-pvs-studio-free.

Ce scénario est décrit plus en détail dans l'article " For professors' note: use PVS-Studio to get students familiar with code analysis tools ".

L'utilisation de site web Compiler Explorer

Vous pouvez trouver pratique de faire vos travaux pratiques en consistant un seul fichier à l'aide de site web Compiler Explorer (godbolt.org). C'est l'outil en-ligne qui permet d'écrire, de compiler et d'exécuter des programmes en Ada, C, C++, D, Fortran, Go, Pascal, Rust et d'autres langues de programmation. Vous pouvez utiliser Compiler Explorer pour générer un lien de code et envoyer à votre professeur pour l'évaluation. Il devient surtout pratique d'utiliser.

Si votre code est écrit en C ou en C++, vous pouvez également vérifier votre programme avec PVS-Studio directement dans Compiler Explorer et ainsi obtenir une expérience pratique du fonctionnement de l'analyseur.

Supposez que vous avez travail de laboratoire sur les boucles en C++ et que vous devez écrire un programme de tri de tableaux. Faisons une erreur dedans et voyons fonctionner la combinaison du Compiler Explorer + PVS-Studio :

for-students_fr/image1.png

Voici notre travail pratique avec une faute :

  • La fenêtre d'édition ;
  • Le code d'assemblage obtenu, qui ne nous intéresse pas pour le moment ;
  • En apparence, le débit de programme est correct ;
  • Warnings par PVS-Studio.

Le tableau semble être trié correctement, donc le programme aussi ressemble correct. Mais, c'est de la chance. En fait, nous indexons des limites du tableau, ce sur quoi PVS-Studio nous met en garde. Examinons de plus près la condition de la boucle interne :

j < size + 1

Voici à quoi cela devrait réellement ressembler :

j < size

Maintenant, vous pouvez corriger l'erreur et envoyer à votre professeur un lien pour l'évaluation : un travail pratique bien fait.

La licence gratuite pour les projets open source

Les développeurs collaborant sur un projet académique open source peuvent obtenir des licences gratuites. Pour en savoir plus de cette option, consultez les liens : " Ways to Get a Free PVS-Studio License ".

La note pour nos utilisateurs et nos utilisatrices d'entreprise

Aucun des scénarios discutés associés à l'utilisation gratuite de PVS-Studio n'est supposé être de tester notre outil sur un projet commercial. C'est tout simplement impossible ou peu pratique.

Contactez-nous pour une clé d'évaluation et indiquez votre adresse e-mail d'entreprise. Cela nous permettra de vérifier si nous avons déjà discuté avec vos collaborateurs, si votre entreprise est ou a été parmi nos clients, etc. En cas de besoin, nous pouvons vous conseiller dans l'utilisation de l'analyseur. Si vous envisagez d'intégrer PVS-Studio à, par exemple, SonarQube, nous vous fournirons une licence Enterprise.