PVS-Studio

PVS-Studio 7.43 is now released. This version features new analyzers for JavaScript, TypeScript and Go projects, new IDE plugins for WebStorm and GoLand, expanded support for MISRA C++ 2023, and more. -- New analyzers and IDE plugins -- The major PVS-Studio 8 release introduces new analyzers for JavaScript, TypeScript, and Go. This version provides the analyzers with a basic set of diagnostic rules, a CLI for each analyzer, and plugins for the IDEs (WebStorm and GoLand). The PVS-Studio plugin for Visual Studio Code now supports the new analyzers and allows you to configure each analyzer from the options panel. -- pvs-settings.toml configuration files -- A new TOML-based configuration file format is now used to configure the new analyzers, the new IDE plugins, and the updated Visual Studio Code extension. -- MISRA C++ 2023 -- We continue to enhance the support of the MISRA C++ 2023 standard. We've adapted sixteen existing diagnostic rules of the MISRA group to the MISRA C++ 2023 standard. -- Compiler support -- We have also expanded the list of C and C++ compilers that are compatible with the PVS-Studio analyzer for these languages. -- Plugin for Qt Creator 20 -- -- Extended logging system for MSBuild projects -- -- Much more in press release -- If you're interested in full press release, follow the link or visit our website - you'll find all necessary info. https://pvs-studio.com/en/blog/posts/1406/ Your PVS-Studio Team

PVS-Studio 7.43 is now released. This version features expanded support for MISRA C++ 2023, Unreal Engine integration in the Team license, Zephyr SDK support and much more. - Unreal Engine support in the Team license - Good news for Unreal Engine developers: analysis of Unreal Engine projects is no longer limited to the Enterprise license. Starting with PVS-Studio 7.43, this functionality is also available in the Team license. - MISRA C++ 2023 - We continue to expand our support for MISRA C++ 2023. In this update, we've adapted 12 existing diagnostic rules from the MISRA group to comply with the MISRA C++ 2023 standard. - Zephyr SDK support - PVS-Studio 7.43 can now analyze projects that use compilers from the Zephyr SDK. You can inspect such projects via compile_commands.json or build monitoring. - Analyzer improvements - We've enhanced the interprocedural loop analysis in the C and C++ analyzer. Now the analyzer can evaluate canonical loops and factor in possible value ranges of variables. The C# analyzer now supports .NET SDK version 10.0.300 on Linux and macOS. - Early Access Program is live - Our Early Access Program for JavaScript and Go analyzers and the Atlas code quality management platform is still open. You can now also evaluate PVS-Studio for TypeScript. - New diagnostic rules - [JAVA] V6135. The return value of the 'finally' block overrides return values of 'try' and 'catch' blocks. If you're interested in full press release, follow the link or visit our website - you'll find all necessary info. https://pvs-studio.com/en/blog/posts/1386/ Your PVS-Studio Team

The first version ships with two dozen diagnostic rules for catching typos and errors in JavaScript. It also includes a CLI tool and a WebStorm plugin. If you've already signed up, check your email for the testing instructions. If no email landed yet, contact us via feedback form on the website. We will help you get access. We'll help you gain access to the EAP. If this is your first time hearing about our TypeScript analyzer development and you wish to participate in the EAP, you can register on our website: We’d be happy to have you in the beta! Your ideas will shape the product.

PVS-Studio 7.42 is now released. This version features expanded support for MISRA C++ 2023, a plugin for Qt Creator 19, official integration with CMake, and other useful improvements. Keep reading for details. - Early Access Program for new analyzers - On April 6, we started open testing for analyzers supporting JavaScript and Go (20 diagnostic rules each, CLI, and plugins for WebStorm/GoLand). A TypeScript analyzer will be added soon. - Expanded MISRA C++ 2023 support - We have adapted 22 existing diagnostic rules from the MISRA group to align with the MISRA C++ 2023 standard. Additionally, it is now possible to select the MISRA C++ version within PVS-Studio IDE plugins and command-line utilities. - Official CMake integration - Starting with version 4.3.0, the CMake build system includes a built-in mechanism for working with PVS-Studio. This allows analyzer warnings to appear directly during the project compilation process. - Qt Creator 19 integration - Support for the PVS-Studio plugin for Qt Creator versions 19.x has been added. The plugin enables running analysis, reviewing warnings, and working with code without leaving a familiar development environment. - New diagnostic rules - C++: V1119. Preprocessing directive is present within a macro argument. This leads to undefined behavior. C#: V3232. Use of externally-controlled format string. Potentially tainted data is used as a format string. Java: V6133. Dereferencing the parameter without a null check. Passing the 'null' value to the 'equals' method should not cause 'NullPointerException'. V6134. It is not recommended to throw exceptions from the 'equals' method. If you're curious to learn more about PVS-Studio updates, welcome to our website and blog section. https://pvs-studio.com/en/blog/posts/1365/ Your PVS-Studio Team

We are launching the Early Access Program for Go and JavaScript analyzers, as well as PVS-Studio Atlas. To sign up, follow the link: https://pvs-studio.com/en/pvs-studio-eap/ If you signed up, please check your inbox.

PVS-Studio static analyzer is a tool for detecting code errors throughout the entire project lifecycle. In this article, you can meet the key analyzer features, common usage scenarios, and analysis options, and learn everything you need to get started. We just published a beginner-friendly guide on how to use PVS-Studio. Learn more at the link: https://pvs-studio.com/en/blog/posts/1358/