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

• L'addition de commentaires spéciaux au code source
• L'utilisation de site web Compiler Explorer
• La licence gratuite pour les projets open source
• La note pour nos utilisateurs et nos utilisatrices d'entreprise

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 :

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.