Annotations de l'utilisateur pour l'analyseur C++ de PVS-Studio

Désormais, l'analyseur C++ de PVS-Studio fourni un mécanisme d'annotation de l'utilisateur. Il s'agit de marquer les types et les fonctions au format JSON pour donner des informations supplémentaires à l'analyseur. Ces informations aident l'analyseur à détecter plus d'erreurs dans le code. Les annotations sont spécifiées dans un fichier spécial au format JSON. Les annotations utilisateur permettent aussi de marquer une fonction comme dangereuse à utiliser, de définir son propre type comme nullable, etc. Pour en savoir plus sur ce mode, consultez la documentation.

Amélioration de l'intégration d'Unreal Engine

Nous avons beaucoup amélioré l'intégration de PVS-Studio avec Unreal Engine. Les améliorations sont disponibles démarré avec la version UE 5.4.

• Une implémentation de la navigation dans plusieurs fichiers parmi les warnings inclus dans le rapport de l'analyseur.
• Une fixation d'une erreur qui cause une analyse ratée dans Unreal Engine 5.3 lors de l'analyse via l'indicateur de compilation -StaticAnalyzer=PVSStudio.
• Un support pour désactiver la sortie de warning standard pour l'Unreal Build Tool via la console lors de l'exécution de l'analyse. Cela peut réduire considérablement le temps de post-traitement du rapport de l'analyseur dans les projets avec beaucoup de warnings.
• Une analyse des fichiers auto-générés (.gen.cpp) est désormais désactivée par défaut. Vous pouvez utiliser un paramètre spécial pour l'activer déjà.
• Un paramètre permettant d'exécuter l'analyseur uniquement sur les fichiers source du projet (sans tenir compte du module principal d'Unreal Engine) est disponible. Cela vous permet d'accélérer considérablement le processus d'analyse.

Extension du mode d'analyse des fichiers individuels

Le système d'analyse des fichiers individuels à l'aide de l'option --sourceFiles et de régénération du cache des dépendances du projet a été étendu. Ce mode est maintenant plus robuste pour les scénarios avec lesquels le cache de dépendances est dans un état qui ne correspond pas à la structure du projet. Par exemple, cela peut se produire lorsque plusieurs branches sont utilisées dans un système de versionnage. De plus, nous avons ajouté l'option d'exécuter l'analyse avec une mise à jour complète du cache : cela vous permet d'analyser un projet avec un cache de dépendances entièrement correct au cas où il n'y aurait aucun moyen de le maintenir à jour.

Prise en charge de la plate-forme RISC-V

L'analyseur C++ prend désormais en charge GNU RISC-V GCC Toolchain pour la plate-forme RISC-V.