PVS-Studio est maintenant dans l'Explorateur de compilateurs

Il n'y a pas longtemps, un événement important a eu lieu: PVS-Studio est apparu dans Compiler Explorer! Vous pouvez maintenant analyser rapidement et facilement votre code pour les erreurs directement sur godbolt.org (Explorateur de compilateurs). Cette innovation ouvre un grand nombre de nouvelles possibilités - de la curiosité satisfaisante sur les capacités de l'analyseur à la possibilité de partager rapidement le résultat du test avec un ami. Comment utiliser ces opportunités sera discuté dans cet article. Attention - Gros GIF!



Si vous voulez aller droit au but et analyser le code ici et maintenant, voici un lien complètement prêt à l'emploi . Je recommande de l'ajouter à vos signets - cela vous sera toujours utile;)



Parlons maintenant de tout dans l'ordre. Compiler Explorer est un service en ligne interactif pour explorer les compilateurs. Ici, vous pouvez écrire du code directement sur le site et voir immédiatement quelle sortie d'assembly tel ou tel compilateur va générer pour lui:





De plus, il existe tout un ensemble de possibilités sur le site, et nous allons aujourd'hui envisager la possibilité d'analyser avec PVS-Studio. Afin de mener l'analyse, vous devez effectuer les opérations suivantes:

1. Allez sur le site godbolt.org ,
2. Dans l'onglet avec la sortie du compilateur, cliquez sur "Ajouter un outil ...",
3. Sélectionnez "PVS-Studio" dans la liste déroulante.

Vous pouvez voir un exemple d'une telle séquence d'actions dans l'animation ci-dessous:





Terminé! Désormais, dans la fenêtre qui apparaît, tous les avertissements émis par l'analyseur à votre code seront automatiquement affichés. Vous pouvez analyser à la fois votre propre code manuscrit et les fichiers source téléchargés séparément. Naturellement, les fichiers doivent être autonomes et ne pas être inclus dans des fichiers qui ne font pas partie de la bibliothèque standard. Sinon, le fichier ne sera ni compilé ni vérifié.



Pour le moment, l'analyse utilisant PVS-Studio est disponible sur le site pour toutes les versions de GCC et Clang pour les plates-formes x86 et x64. Nous prévoyons d'étendre les capacités du site à d'autres compilateurs que nous prenons en charge (par exemple, MSVC ou des compilateurs pour ARM), s'il y a une demande.



Actuellement, seuls les diagnostics généraux des niveaux d'erreur, d'avertissement et de note sont activés sur le site. Nous avons délibérément omis les autres modes (Optimisation, 64 bits, Personnalisé et MISRA) afin que seuls les avertissements les plus importants restent dans la sortie. De plus, contrairement à PVS-Studio lui-même, Compiler Explorer ne prend pas encore en charge C # et Java - nous prévoyons d'exécuter l'analyse de code dans ces langages dès qu'ils y apparaissent :)



Compiler Explorer a un système de fenêtres très intelligent, vous pouvez donc les déplacer ou , par exemple, se chevauchent. Si vous n'êtes pas actuellement intéressé par la sortie du compilateur, vous pouvez la "cacher". Comme ça:





Vous pouvez soit écrire du code directement dans la fenêtre de l'Explorateur du compilateur, soit télécharger des fichiers individuels. Pour ce faire, cliquez sur "Enregistrer / Charger" et sélectionnez "Système de fichiers" dans l'onglet qui s'ouvre. Vous pouvez également «télécharger» le code que vous écrivez sur votre ordinateur en appuyant sur Ctrl + S.





Vous ne pouvez pas analyser des projets entiers sur le site - vous ne pouvez télécharger des fichiers que séparément.



Si vous souhaitez voir la sortie de votre programme, vous pouvez ouvrir la fenêtre d'exécution en cliquant sur "Ajouter nouveau ... -> Exécution uniquement" dans la fenêtre d'écriture de code (pas dans la fenêtre avec le compilateur). Sur le gif ci-dessous, vous pouvez voir la sortie des travaux de laboratoire tirée de notre page sur l' utilisation gratuite de PVS-Studio par les étudiants et les enseignants .





Au fait, avez-vous remarqué que lorsque vous cliquez sur les liens vers godbolt, vous obtenez un code pré-écrit dans les fenêtres pré-arrangées? Oui, vous pouvez générer des permaliens qui préservent complètement l'état de la page au moment de la génération! Pour ce faire, vous devez cliquer sur le bouton "Partager" dans le coin supérieur droit de l'écran.





Cette méthode est très pratique pour partager les résultats de compilation / analyse de votre code avec vos amis et collègues. Il est particulièrement pratique que le destinataire n'ait littéralement rien à faire: il suffit de suivre le lien et tout ce dont vous avez besoin s'ouvrira immédiatement sous vos yeux.



Nous prévoyons de profiter de cette opportunité pour travailler avec des clients dans le support technique: l'utilisation de l'Explorateur de compilateurs est souvent très pratique pour compiler des exemples peu reproductibles qui peuvent être rapidement pris et envoyés par courrier.



Dans l'onglet "Partager", vous trouverez également un élément pour créer un lien incorporé, avec lequel vous pouvez intégrer une fenêtre avec l'Explorateur de compilateurs sur un autre site.



L'Explorateur de compilateurs contient toujours une version à jour de PVS-Studio, par conséquent, après chacune de nos versions, de plus en plus d'erreurs peuvent être trouvées sur le site. Néanmoins, l'utilisation de PVS-Studio sur godbolt.org ne donne pas une image complète de ses capacités, car PVS-Studio n'est pas seulement un diagnostic, mais aussi une infrastructure développée:

• Analyse de code en langages C, C ++, C # et Java pour un plus grand nombre de plates-formes et de compilateurs;
• Plugins pour Visual Studio 2010-2019, JetBrains Rider, IntelliJ IDEA;
• Intégration dans TeamCity, PlatformIO, Azure DevOps, Travis CI, CircleCI, GitLab CI / CD, Jenkins, SonarQube, etc.
• Utilitaire de surveillance de compilation pour l'analyse indépendante de l'IDE ou du système de construction;
• Et bien d'autres.

En fin de compte, ce n'est qu'après avoir téléchargé l'analyseur que vous pourrez analyser pleinement un projet composé de plusieurs fichiers. Par conséquent, la meilleure façon d'obtenir une compréhension correcte de PVS-Studio est de télécharger l' analyseur et de l'essayer sur votre projet.



Pour rester à jour, suivez nos actualités. Lisez également notre blog : nous y publions non seulement des nouvelles et des articles sur la recherche de bogues dans de vrais projets, mais également divers points intéressants liés au C, C ++, C # et Java.



Nos réseaux sociaux:

• Twitter - @pvsstudio_rus
• Vkontakte - Analyseur PVS-Studio
• Facebook - @StaticCodeAnalyzer
• Télégramme - PVS-Studio rus

Si vous souhaitez partager cet article avec un public anglophone, veuillez utiliser le lien de traduction: George Gribkov. PVS-Studio est maintenant dans l'Explorateur de compilateurs! .