PVS-Studio 7.16, expanding the horizons: MISRA C, Visual Studio 2022, .NET 6

The Visual Studio 2022 support

.NET 6 and C# 10.0 support

MISRA C

Different enhancements

New diagnostics

  • V833. Using ‘std::move’ function with const object disables move semantics.
  • V1076. Code contains invisible characters that may alter its logic. Consider enabling the display of invisible characters in the code editor.
  • V2615. MISRA. A compatible declaration should be visible when an object or function with external linkage is defined.
  • V2616. MISRA. All conditional inclusion preprocessor directives should reside in the same file as the conditional inclusion directive to which they are related.
  • V2617. MISRA. Object should not be assigned or copied to an overlapping object.
  • V2618. MISRA. Identifiers declared in the same scope and name space should be distinct.
  • V2619. MISRA. Typedef names should be unique across all name spaces.
  • V2620. MISRA. Value of a composite expression should not be cast to a different essential type category or a wider essential type.
  • V2621. MISRA. Tag names should be unique across all name spaces.
  • V2622. MISRA. External object or function should be declared once in one and only one file.
  • V5616. OWASP. Possible command injection. Potentially tainted data is used to create OS command.

Latest articles in our blog

Feedback

--

--

--

The developer, the debugger, the unicorn. I know all about static analysis and how to find bugs and errors in C, C++, C#, and Java source code.

Love podcasts or audiobooks? Learn on the go with our new app.

Recommended from Medium

Multi-Tenancy Architecture

Embrace Non-Functional Requirements

How to Start a Career in Testing?

Partnership with ApeSwap Finance

Data Analysis using Funnelling

SOLIDWORKS NOT UPDATING THE DIMENSIONS OF PART AS CHANGING EQUATIONS

Progressive Web Apps and the changing face of the mobile web

Deploy and host your container via GCP Cloud Run

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store
Unicorn Developer

Unicorn Developer

The developer, the debugger, the unicorn. I know all about static analysis and how to find bugs and errors in C, C++, C#, and Java source code.

More from Medium

Modbus With .Net 5

PVS-Studio checks Umbraco code for the third time

A Look Into Roslyn Analyzers

Structs in C# 10 or What brings a structure’s explicit parameterless constructor?