Webinar: C++ semantics - 06.11
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.
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.
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
Insérez la commande suivante dans un terminal :
pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE
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
Insérez la commande suivante dans un terminal :
pvs-studio-analyzer credentials PVS-Studio Free FREE-FREE-FREE-FREE
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 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 :
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.
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 ".
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 :
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.
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 ".
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.