Como posso activar a análise de código C/C++ no VS2015?

Estou a trabalhar numa biblioteca C++ e gostaria de permitir a análise estática do Visual Studio. Para me familiarizar com isso, li estes artigos e comecei esta passagem . No entanto, tanto no meu projecto como no projecto de demonstração Walk Through, não consigo que a análise funcione dentro do Visual Studio. Especificamente, nestes passos da passagem:

  1. no Solution Explorer, selecione o projeto CodeDefects.

  2. no menu projecto, carregue em Propriedades.

  3. Clique Em Análise De Código.

  4. carregue na opção Activar a análise de código para C/C++ na opção Build.

Não vejo a caixa do Passo 6. O meu diálogo é assim:

Code analysis properties page

Além disso, executando esta linha de comandos (para a demonstração):

cl /analyze .\Bug.cpp

produz vários avisos de análise de código, mas executando a análise de código na SOLUÇÃO No Visual Studio (analise, execute a análise de código, na solução) não mostra nenhum aviso na lista de erros.

O que me está a escapar?

Aqui está o meu MVCE, descendo do passo a frente.:

  1. usando Visual Studio 2015 Professional Update 2, criar um projeto C++ vazio.

  2. muda o tipo de configuração do projecto para "biblioteca estática".

  3. carregue com o botão direito nas propriedades do projecto, seleccione a análise de código e, em seguida, assinale a opção para "Activar a análise de código no Build "e seleccionar" Microsoft all Rules " para a plataforma/configuração actual ou tudo.

  4. Cria O Bug.cpp " e defina o seu conteúdo para isto:

    int path_dependent(int n)
    {
        int i;
        int j;
        if (n == 0)
            i = 1;
        else
            j = 1;
        return i + j;
    }
    
  5. constrói o projecto. Não Observe erros para C6001 na lista de erros.

  6. numa linha de comandos de desenvolvimento, execute o comando cl /analyze:only .\Bug.cpp e observe os erros esperados:

    Microsoft (R) C/C++ Optimizing Compiler Version 19.00.23918 for x86
    Copyright (C) Microsoft Corporation.  All rights reserved.
    
    Bug.cpp
    c:\sources\cppdemo\codedefectsdemo\bug.cpp(9) : warning C6001: Using uninitialized memory 'i'.: Lines: 3, 4, 5, 8, 9
    c:\sources\cppdemo\codedefectsdemo\bug.cpp(9) : warning C6001: Using uninitialized memory 'j'.: Lines: 3, 4, 5, 6, 9
    
Author: Patrick Quirk, 2016-06-20