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

• Comment obtenir une licence
• 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

Chez PVS-Studio, nous développons un analyseur statique de code pour les langages C, C++, C# et Java. Nous sommes convaincus que les bases de l'écriture d'un code propre et sécurisé doivent être posées dès le début du processus d'apprentissage.

À des fins éducatives et de recherche, nous proposons une licence étudiante temporaire gratuite aux étudiants et aux enseignants des filières informatiques.

Comment obtenir une licence

Si vous êtes étudiant ou enseignant, sélectionnez l'option Student License lors du remplissage du formulaire Request a Trial Key.

Veuillez noter : lors de la demande de licence, utilisez l'adresse e-mail de votre établissement d'enseignement (domaine universitaire). C'est le seul moyen d'obtenir une licence étudiante.

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.