C++ Team Blog

The latest in C++, Visual Studio, VS Code, and vcpkg from the MSFT C++ team

static analysis - C++ Team Blog

Microsoft C++ Code Analysis Warnings with Key Events

September 20, 2022 Sep 20, 2022 09/20/22
Hwi-sung Im
Introduction  To make your C++ coding experience as safe as possible, the Microsoft C++ Code Analysis has added new checks and improved existing ones to help you prevent bugs before they find their way into your products. Some of the checks work harder than others, analyzing the code deeper by simulating runtime behavior. As such, they can ...

Visual Studio Code C++ December 2021 Update: clang-tidy

December 14, 2021 Dec 14, 2021 12/14/21
Julia Reid
The latest insiders release of the C++ extension is here, bringing clang-tidy support to VS Code! Clang-tidy is a clang-based C++ linter tool that detects common errors in your code, like style violations and bugs that can be deduced via static analysis. Clang-tidy integration was one of our top asks on GitHub, so we’re excited to announce ...

Static Analysis Fixes, Improvements, and Updates in Visual Studio 2019 version 16.10

June 10, 2021 Jun 10, 2021 06/10/21
Jordan Maples
The C++ static analysis team is committed to making your C++ coding experience as safe as possible. We are adding richer code safety checks and addressing high impact customer feedback bugs posted on the  C++ Developer Community page. Thank you for engaging with us and giving us great feedback on the past releases and early previews leading ...
Comments are closed.0 0
C++

New Static Analysis Rule for Bounds Checking

May 11, 2021 May 11, 2021 05/11/21
Jordan Maples
We have added a new experimental static analysis rule in Visual Studio 16.10 version Preview 3 - C26458, WARNING_PATH_SENSITIVE_USE_GSL_AT. The new warning is a more precise and less noisy version of warning C26446, WARNING_USE_GSL_AT. Both warnings analyse standard containers for unchecked element access and they both share the warning ...

Even More New Safety Rules in C++ Code Analysis

October 28, 2020 Oct 28, 2020 10/28/20
Hwi-sung Im
In Visual Studio version 16.8 Preview 3,  we have added a few safety rules to C++ Code Analysis that can find some common mistakes, which can lead to bugs ranging from simple broken features to costly security vulnerabilities. These new rules are developed around issues discovered in production software via ...

C++ Core Check in Visual Studio

October 6, 2020 Oct 6, 2020 10/6/20
Jordan Maples
C++ Core Check is Microsoft’s static analysis tool that enforces the rules from the C++ Core Guidelines, which is maintained by the C++ Foundation. This post is to provide a snapshot of the C++ Core Guidelines coverage that C++ Core Check offers. For background, the C++ team introduced C++ Core Check in December 2015 as part of Visual ...

New Safety Rules in C++ Code Analysis

October 2, 2020 Oct 2, 2020 10/2/20
Hwi-sung Im
In Visual Studio version 16.8 Preview 3,  we are adding a few safety rules to C++ Code Analysis that can find some common mistakes, which can lead to bugs ranging from simple broken features to costly security vulnerabilities. These new rules are developed around issues discovered in production software via security reviews and...

New safety rules in C++ Core Check

September 4, 2020 Sep 4, 2020 09/4/20
Sunny Chatterjee
Rust and C++ are two popular systems programming languages. For years, the focus of C++ has been on performance. We are increasingly hearing calls from customers and security researchers that C++ should have stronger safety guarantees in the language. C++ often falls behind Rust when it comes to programming safety. Visual Studio 2019 ...

Lifetime Profile Update in Visual Studio 2019 Preview 2

January 24, 2019 Jan 24, 2019 01/24/19
Kyle Reed
The C++ Core Guidelines' Lifetime Profile, which is part of the C++ Core Guidelines, aims to detect lifetime problems, like dangling pointers and references, in C++ code. It uses the type information already present in the source along with some simple contracts between functions to detect defects at compile time with minimal annotation. ...