Partilhar via


/sdl (Habilitar verificações de segurança adicionais)

Habilita as verificações recomendadas do SDL (Security Development Lifecycle). Essas verificações transformam os avisos relevantes à segurança em erros e definem recursos adicionais de geração de código seguro.

Sintaxe

/sdl[-]

Comentários

A /sdl habilita um superconjunto de verificações de segurança de linha de base fornecidas por /GS e substitui /GS-. Por padrão, /sdl permanece desativado. /sdl- desabilita as verificações de segurança adicionais.

Verificações de tempo de compilação

/sdl habilita esses avisos como erros:

Aviso habilitado pela opção /sdl Opção de linha de comando equivalente Descrição
C4146 /we4146 Um operador unário de subtração foi aplicado a um tipo sem sinal, gerando um resultado sem sinal.
C4308 /we4308 Uma constante integral negativa convertida em tipo sem sinal, gerando um resultado possivelmente sem sentido.
C4532 /we4532 O uso de palavras-chave continue, break ou goto em um bloco __finally/finally tem um comportamento indefinido durante o encerramento anormal.
C4533 /we4533 A inicialização de uma variável no código não será executada.
C4700 /we4700 Uso de uma variável local não inicializada.
C4703 /we4703 Uso de uma variável de ponteiro local possivelmente não inicializada.
C4789 /we4789 Saturação de buffer quando funções específicas do CRT (runtime do C) são usadas.
C4995 /we4995 Uso de uma função marcada com pragma deprecated.
C4996 /we4996 Uso de uma função marcada como deprecated.

verificações de runtime

Quando /sdl está habilitado, o compilador gera o código que faz essas verificações em tempo de execução:

  • Habilita o modo estrito de detecção de saturação de buffer em tempo de execução do /GS, equivalente à compilação com #pragma strict_gs_check(push, on).

  • Faz a limpeza de ponteiro limitada. Em expressões que não envolvem desreferências e em tipos que não têm nenhum destruidor definido pelo usuário, as referências de ponteiro são definidas como um endereço não válido após uma chamada para delete. Essa limpeza ajuda a evitar a reutilização de referências de ponteiro obsoletas.

  • Inicializa ponteiros de membro de classe. Inicializa automaticamente os membros da classe do tipo de ponteiro como nullptr na instanciação do objeto (antes da execução do construtor). Isso ajuda a impedir o uso de ponteiros não inicializados que o construtor não inicializa explicitamente. A inicialização do ponteiro do membro gerado pelo compilador é chamada desde que:

    • O objeto não é alocado usando um operator new personalizado (definido pelo usuário)

    • O objeto não é alocado como parte de uma matriz (por exemplo new A[x])

    • A classe não é gerenciada nem importada

    • A classe tem um construtor padrão definido pelo usuário.

    Para ser inicializado pela função de inicialização de classe gerada pelo compilador, um membro deve ser um ponteiro e não uma propriedade ou uma constante.

Para mais informações, confira Avisos, /sdl e melhoria da detecção de variáveis não inicializadas.

Para definir esta opção do compilador no ambiente de desenvolvimento do Visual Studio

  1. Abra a caixa de diálogo Páginas de Propriedades do projeto. Para obter detalhes, confira Definir as propriedades de build e do compilador do C++ no Visual Studio.

  2. Selecione a página de propriedades Propriedades da Configuração>C/C++>Geral.

  3. Defina a propriedade Verificações do SDL usando o controle suspenso da propriedade. Escolha OK ou Aplicar para salvar as alterações.

Confira também

Opções do compilador MSVC
Sintaxe da linha de comando do compilador MSVC