We are actively developing the PVS-Studio static analysis tool towards detecting Safety and Security-related errors. To be more precise, we've expanded the coverage of the MISRA C:2012 and OWASP ASVS standards. We have supported the MISRA Compliance 2020 standard. One of the more extraordinary innovations is the Best Warnings display mode. This mode displays the most significant (meaningful) warnings and can be useful when you are just starting out with the analyzer.
We have introduced a new feature for the PVS-Studio plugin for Visual Studio. Now you can display the Best Warnings the analyzer issued for a project. In other words, these are the analyzer's most valuable warnings. They demonstrate the analyzer's capabilities for someone, who is just starting out with the analyzer.
We call this feature Analyzer Best Warnings. PVS-Studio has always been grouping analyzer warnings by 3 certainty levels. We've been traditionally using these levels to prioritize showing the analysis results — all best warnings should be first-level warnings. For the new version of our analyzer, we have developed a more accurate mechanism to evaluate warnings. Now the mechanism uses many extra criteria in addition to levels — both static (the average diagnostic "value") and dynamic. The dynamic criteria are based on warnings the analyzer issues for a specific code base (for example, detection frequency).
The Analyzer Best Warnings feature is not a substitute for working with the full report. The full report may contain other dangerous errors that need to be addressed.
In future releases, we plan to expand the capabilities of the new warning evaluation mode. We also plan to add the support of this mode to other IDE plugins and analysis integration modes. You can read more about the Analyzer Best Warnings feature in our blog and documentation.
We have improved the quality of Unreal Engine project analysis. We have additionally annotated hundreds of standard functions from Unreal Engine in the C++ PVS-Studio analyzer.
In the report conversion utilities, we have supported the compliance report generation based on the MISRA Compliance 2020 standard. You can read more about this format and the generation of the MISRA compliance report in our blog: Why do you need the MISRA Compliance report and how to generate one in PVS-Studio?
Since this release is dedicated to Safety and Security, the new diagnostics are made to expand the support of the MISRA C, AUTOSAR, and OWASP standards.
We have covered 70% of the MISRA C standard. By the end of this year, we plan to increase the coverage to 80%.
The OWASP Top 10 2017 support now covers 9 out of 10 categories. Thus, the only category left unsupported by PVS-Studio is the A9:2017 category: Using Components with Known Vulnerabilities. This category belongs to the SCA (Software Composition Analysis) tool class. In the future releases, we plan to implement SCA in the C# PVS-Studio analyzer to completely cover OWASP Top 10.
On our website, you can find PVS-Studio diagnostics classified according to the list of the most dangerous and common potential vulnerabilities (CWE Top 25).
In the analyzer for C++, for large numbers, we have standardized the format for variable value range output. We have changed the text of some messages, so they may reappear in the report even though they were suppressed by the baselining mechanism. If you encounter this, please suppress these warnings again.
In the plugin for Visual Studio, you now can set shortcuts to suppress false positives and mark up warnings.
We've also optimized the C# analyzer's performance. We reduced the project preparation time before the analysis for large projects. This significantly sped up analysis. You can read more about it in our blog.