static analysis Archives

Static Analysis Fixes, Improvements, and Updates in Visual Studio 2019 16.9

Jordan Maples March 17, 2021 Mar 17, 2021 03/17/21

MSVC static analysis update for Visual Studio 16.9.

Even More New Safety Rules in C++ Code Analysis

Hwi-sung Im October 28, 2020 Oct 28, 2020 10/28/20

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

Jordan Maples October 6, 2020 Oct 6, 2020 10/6/20

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

Hwi-sung Im October 2, 2020 Oct 2, 2020 10/2/20

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

Sunny Chatterjee September 4, 2020 Sep 4, 2020 09/4/20

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

Kyle Reed January 24, 2019 Jan 24, 2019 01/24/19

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. ...

C++ Core Checks in Visual Studio 2017 15.7 Preview 2

Sunny Chatterjee March 22, 2018 Mar 22, 2018 03/22/18

This post was written by Sergiy Oryekhov. The C++ Core Guidelines Check extension received several new rules in Visual Studio 2017 15.7 Preview 2. The primary focus in this iteration was on the checks that would make it easier to adopt utilities from the Guidelines Support Library. Below is a quick summary of these additions. For more ...

C++ Code Analysis Improvements for Visual Studio 2017 15.7 Preview 1

Kyle Reed March 13, 2018 Mar 13, 2018 03/13/18

点这里看中文版 We're making it easier to configure and use the C++ code analysis features with a set of changes targeting 15.7. In the first 15.7 preview we've cleaned up the UI, fixed our documentation links and, most importantly, simplified the way analysis extensions are configured. If you're not familiar with C++ Core Check, it's...

Arithmetic overflow checks in C++ Core Check

Sunny Chatterjee February 23, 2018 Feb 23, 2018 02/23/18

点这里看中文版 We've improved the C++ Code Analysis toolset with every major compiler update in Visual Studio 2017. Version 15.6, now in Preview, includes a set of arithmetic overflow checks. This article discusses those checks and why you’ll want to enable them in your code. If you’re just getting started with C++ Code Analysis ...

C++ Core Check in Visual Studio 2017 15.6 Preview 2

Andrew Pardoe January 18, 2018 Jan 18, 2018 01/18/18

点这里看中文版 This post was written by Sergiy Oryekhov. Note that some of the links to docs.microsoft.com do not yet resolve. Not all of the official documentation has yet been written for this topic. Visual Studio 2017 15.6 Preview 2 includes a set of updates to the C++ Core Guidelines Check extension. We added more checks to help ...

C++ Team Blog

static analysis Archives | C++ Team Blog