Le fonctionnement de notre assistance

PVS-Studio 7.42 (08 Avril 2026)

• [#7899127] The C and C++ analyzer: added the V021 warning, which is issued when the data-flow analysis mechanism is locally disabled on complex functions (more than 2,500 iterations) to ensure stable analyzer performance.
• [#2796542] The C and C++ analyzer: the //V_RET_NULL_ALL, class: [namespace::][class::]className control comment was added to the .pvsconfig analyzer configuration file. It enables mark a class whose functions may return a null pointer.
• [#4642959] The C and C++ analyzer: fixed an infinite loop that occurred when analyzing template code.
• [#1148217, #6791800] The C and C++ analyzer: fixed handling of the underlying type for enum.
• [#4530503] The C++ analyzer: improved handling of the noexcept keyword.
• [#5221213] The C++ analyzer: improved handling of the int64_t type on Unix platforms.
• [#4228085] The C++ analyzer: improved handling of objects moved using std::move.
• The C++ analyzer: fixed a crash in Unreal Engine projects.
• The C++ analyzer: supported the new placement operator in Unreal Engine containers.
• [#5104520] The MSBuild project analyzer: added the -j flag to control the number of analysis threads.
• [#4403738, #5291029] The MSBuild project analyzer: added a mechanism for redirecting included files to ensure correct header inclusion during preprocessing.
• [#7186714] Standardized warning generation between the MSBuild project analyzer and the Visual Studio plugin when a warning is suppressed in only one project of a solution.
• [#5586928] The C# analyzer: unified the built-in annotations for async methods in standard library classes across .NET and the .NET Framework.
• [#7773593] The C# analyzer: improved handling of variable self-assignments.
• The C# analyzer: added additional mechanisms. If the analyzer is unable to obtain built-in .NET types, a new warning (V053) will be generated. The --createBinaryLogs flag was also added to log the Roslyn operation.
• [#2318099] The Java analyzer: improved support for analyzing Android projects.
• [#3593191] V557: improved handling of fixed-size arrays.
• [#8531982] V567: fixed an exception that caused false positives.
• V591: improved handling of static_assert when using static_assert(sizeof(T)) as a non-return statement.
• [#6206825] V607: added additional examples to the diagnostic rule documentation.
• [#9407019] V5610: added built-in annotations for ControllerBase.Content.
• [#3531421] Updated the documentation on incremental analysis and file list analysis mechanisms

PVS-Studio 7.41 (10 Février 2026)

• The PVS-Studio distributions now include the pvs-fp-cleaner utility, designed to remove redundant false alarm markers from the code base. For more details, please consult the documentation.
• A new logging system has been introduced to simplify the collection of information about issues encountered when using PVS-Studio analyzers. The first stage involved adding extended logging for the cross-platform analyzer of C and C++ projects. The next release will include extended logging support for C++ and C# MSBuild project analyzer. For more details on the new logging system, please consult the documentation.
• The C and C++ analyzer: fixed an issue with parsing the final specifier in virtual functions when working with Unreal Engine projects.
• [#6541557] The C analyzer: fixed handling of the wchar_t type.
• [#7663339] The C++ analyzer: fixed a bug when handling user annotations for classes with the std:shared_ptr semantics.
• [#5586928] The C# analyzer: supported taint annotations for async functions. Added taint annotations for async functions of standard library classes.
• [#1599735] The C# analyzer: fixed bugs when working with .NET Core SDK projects that include Directory.Build.props on systems where Visual Studio instances are not present.
• [#7966027] The Java analyzer: supported annotation processors.
• [#7139148] V557: improved support for std::array.
• [#5953648] V609: fixed value evaluation for unknown ranges.
• [#3205151] The IntelliJ IDEA IDE plugin: added support for converting analyzer reports to CSV format and a setting for displaying relative paths; fixed slowdown when opening documentation.
• [#8775753] The Qt Creator IDE plugin: fixed an issue when evaluating Qt projects on macOS.

PVS-Studio 7.39 (10 Octobre 2025)

• [#9388627] The cross-platform C and C++ project analyzer: Fixed an issue involving relative paths when using the V_ANALYSIS_PATHS and V_EXCLUDE_PATH settings in the .pvsconfig analysis configuration files.
• [#0859221] V112: Added aggregate initialization support.
• [#5099068] The C and C++ analyzer: Enhanced the performance of the new C and C++ code parser with template functions.
• [#0970334] V758: Fixed false positives when returning std::basic_string_view<T>::data from functions.
• [#7182810] V1050: Added an exclusion for the std::addressof function and the offsetof macro.
• [#6439638] V6014: Fixed handling of lambda functions with the void return type.
• [#6346294] V1077: Fixed false positives caused by incorrect handling of conditionally called functions.
• [#9363217] V1058: Fixed false positives caused by incorrect handling of function pointers.
• [#9726590] V2592: Fixed the analyzer crash.
• [#3099012] The C and C++ analyzer: Fixed comparison of different enum types.
• [#4122041] The C and C++ analyzer: Added support for the alignof keyword (C23), which fixes the analyzer crash issue.
• [#9817902] The C and C++ analyzer: Added support for the sccache incremental build tool.
• [#9409333] V1078: Added support for the Swap function family from Unreal Engine.
• [#3544838] V654: Fixed volatile pointer handling.
• [#3748519] Updated instructions for installing PVS-Studio from .deb and .rpm repositories.
• [#6304087] V2023. Absence of the 'override' specifier when overriding a virtual function may cause a mismatch of signatures.

PVS-Studio 7.38 (06 Août 2025)

• [#1951949] V783: Enhanced checking of validity conditions for iterators.
• [#9161879] V776: Fixed handling of types with implicit conversion operators to bool.
• [#0706205] V1028: Enhanced handling of infinite loops.
• [#5814205] V1082, V654: Enhanced handling of noreturn functions.
• [#9161879] V1001: Supported modification of containers via proxy objects.
• [#9291102] V3114: Fixed handling of Disposable objects in interprocedural context.
• [#5175936] The cross-platform C and C++ project analyzer: Enhanced performance in the trace mode.
• [#9109514] The plugin for Visual Studio: Added analysis progress tracking via a taskbar notification icon and the option to collapse the analysis progress window.
• [#2587435] The MSBuild Project analyzer: Added a mechanism for overwriting higher-priority settings for .pvsconfig diagnostic rule configuration files.
• [#6209762] The Visual Studio Code plugin: Added the option to filter warnings by CWE identifiers.

PVS-Studio 7.37 (11 Juin 2025)

• [#1399651] The C++ analyzer: fixed a crash when analyzing nested structures with bit data members.
• [#7555563] The C# analyzer: fixed hanging during project evaluation.
• [#3843404] The Java analyzer: supported Kotlin DSL when using the PVS-Studio plugin for the Gradle build system. See the documentation for details.
• [#5752819] Plog Converter: enhanced the algorithm for evaluating message uniqueness in the DefectDojo format report.
• [#9485590] Plog Converter: refined the sorting of warnings in the fullhtml format.
• [#1987667] V728: improved multi-component condition handling.

PVS-Studio 7.36 (09 Avril 2025)

• [#0792723] The C# analyzer: Added support for linking parameter values to return values in data flow analysis.
• [#6480713] The C# analyzer: Fixed handling of the is pattern with double.NaN in data flow analysis.
• [#6052600] The MSBuild project analyzer: Supported analysis of SLNX-format
• [#3211560] [#3211560] PlogConverter: Reduced resource usage when converting large analyzer reports.
• [#6791800] The C++ analyzer: Added support for the constexpr and alignas keywords from the C23 standard.
• [#1270371] V567: Fixed handling of built-in functions and added an exception for the __builtin_choose_expr function.
• [#8916276] V575: Fixed an incorrect type output as a result of calling the std::make_optional() function.
• [#6645077] V607: Implemented proper handling of the QHash class.
• [#8107471] V758: Fixed handling of lambda return values.
• [#6791800] V779: Fixed handling of the NOP assembly instructions.
• [#5335301] V1030: Fixed handling of variables captured by value in lambda capture lists.
• [#0105811] V1101: Fixed detection of overridden virtual functions.