We develop PVS-Studio not only as a classic code analyzer, but also in the direction of Security and Safety. In this regard, we've started working on the support of the OWASP and AUTOSAR C++14 standards. To facilitate PVS-Studio integration into other code quality control tools, we supported analyzer results conversion to the SARIF format. Implemented 22 new diagnostics for C, C++, C#, and Java. You will learn more about these and other new features in this press release.
While the world is fighting against viruses, we are tackling bugs and potential vulnerabilities. To make the fight more effective, we've been developing the following directions for this PVS-Studio release:
The PVS-Studio analyzer is a SAST (Static Application Security Testing) tool that helps identify potential vulnerabilities and zero-day threats. For the convenience of security specialists, we have long classified PVS-Studio warnings according to the CWE list and the SEI CERT standard.
The next step was to support the OWASP ASVS standard. We still have work to do to better support detection of potential vulnerability patterns described in OWASP. However, starting with PVS-Studio 7.10, you can already get acquainted with the OWASP diagnostics mapping table. The table is not that extended so far, but it will be gradually updated.
Standards such as MISRA C and MISRA C++ are used to ensure the quality and reliability of software. They are most often used when developing software for embedded devices. You can read more about these standards in the article "What Is MISRA and how to Cook IT".
However, the MISRA C++ standard is already quite deprecated and is not meant for modern versions of the C++ programming language. Therefore, it is replaced by the AUTOSAR C++14 Coding Guidelines.
In addition to MISRA, we decided to start supporting this newer standard. The first work in this direction was carried out for PVS-Studio 7.10. The mapping table for PVS-Studio and AUTOSAR warnings is available here. As with other standards, we will gradually expand support of the AUTOSAR standard.
Utilities for converting PVS-Studio analysis results (PlogConverter.exe for Windows and plog-converter for Linux\macOS) now support conversion to SARIF (Static Analysis Results Interchange Format).
SARIF is a universal open format for presenting the results of tools that search for errors, safety and security defects. This format is supported by many static analyzers and allows you to combine various code quality control tools in a single ecosystem.
Support of handling analysis results when checking projects for Unreal Engine is added in the PVS-Studio plugin for JetBrains Rider (JetBrains Rider for Unreal Engine is now available under the early access program).
SonarQube PVS-Studio plugin can now associate analyzer messages that have a CWE (Common Weakness Enumeration) identifier with messages about security defects in the Security Category tab.
Mapping tables of PVS-Studio diagnostics to different standards:
Recent posts in our blog that I'd like to draw your attention to: