PVS-Studio 7.35: MISRA C 2023 support, plugin for Qt Creator 15, modified file analysis in Visual Studio, and much more
The PVS-Studio team has started working on expanding coverage of the MISRA C standard. We plan to cover at least 85% of MISRA C this year and support the latest version of MISRA C 2023. For more details on MISRA standards in PVS-Studio, welcome to the page.
The PVS-Studio plugin is now available for Qt Creator versions 15.x. We have also discontinued support for Qt Creator 9.x versions. We aim to maintain backward compatibility by supporting the latest plugin versions for all Qt Creator versions within two years of each release.
We have introduced the modified file analysis mode to the plugin for Visual Studio. Now, in the PVS-Studio_Cmd.exe command line utility, you can use a sub-mode within the modified file analysis mode that analyzes both files modified since the previous analysis run and files that still contain warnings from the previous run. More details on this update can be found in the documentation.
The C# analyzer has been optimized for analyzing code blocks with a large number of variable identifiers (500 or more). Previously, they could cause slowdowns during analysis.
PVS-Studio 7.34: support for Apple Silicon ARM64, .NET 9, taint analysis in Java analyzer, and more
We ported PVS-Studio analyzers to Apple Silicon processors with the ARM64 architecture. Download PVS-Studio on this page.
PVS-Studio C# analyzer now supports projects for .NET 9.
PVS-Studio Java analyzer now includes a taint analysis mechanism. We created the first diagnostic rule based on this mechanism—it can detect SQL injection vulnerabilities. Next year, the Java team will focus on SAST, covering the OWASP Top 10 list of the most common potential vulnerabilities, and adding more diagnostic rules for taint analysis.
The PVS-Studio_Cmd and pvs-studio-dotnet command line utilities have been updated to include a modified file analysis mode that auto-detects source files changed between analysis runs. This mode is an alternative to incremental analysis. You can use it to check Pull Requests. For more details on this mode, please consult the documentation.
PVS-Studio 7.33: C# user annotations, SN-DBS support, and more
PVS-Studio C++ analyzer memory consumption has been reduced when analyzing template instantiation and initialization of multiple global variables containing string literals.
PVS-Studio C++ analyzer now generates fewer false positives when analyzing Unreal Engine projects. The processing of __builtin_expect built-in functions implemented in the compiler has been standardized, and the way explicit casting to bool is processed has been enhanced. This improves the analysis of check functions implemented through the DO_CHECK macro in Unreal Engine projects.
The PVS-Studio integration with Unreal Engine now supports SN-DBS, a distributed build system. In the documentation, you can learn more about the PVS-Studio integration with Unreal Engine. These changes apply to Unreal Engine 5.5.
PVS-Studio C# analyzer now supports user annotations for functions and types in JSON format, as it is already possible in PVS-Studio C++ analyzer. For more details on user annotations, please consult the documentation.
Did you miss our latest products or just want to catch up on what's new? We put together a quick 5-minute overview of the latest PVS-Studio updates over the past three years in a video that you can check out anytime.