Conjunto de regras mínimas nativo
As regras mínimas nativos do Microsoft referem-se aos problemas mais importantes em seu código nativo, incluindo buracos na segurança em potencial e o aplicativo falhará.Você deve incluir esta regra definida em qualquer regra personalizada e cria para seus projetos nativos.
Regra |
Descrição |
|---|---|
Usando a memória não inicializada |
|
Desreferenciando o ponteiro nulo |
|
Uso do valor desmarcado |
|
Terminação nula de chamada |
|
Concatenação incorreto |
|
Argumento ausente de cadeia de caracteres para formatar a função |
|
Argumento ausente de inteiro para formatar a função |
|
Argumento ausente do ponteiro para formatar a função |
|
Argumento ausente do ponteiro de cadeia de caracteres para formatar a função |
|
Retornando a memória não inicializada |
|
O índice exceder o máximo de buffer |
|
O índice exceder o máximo do buffer de pilha |
|
Argumento ausente flutuante para formatar a função |
|
Argumento adicional para formatar a função |
|
Argumento de não float para formatar a função |
|
Não inteiro Argumen para formatar a função |
|
Argumento de não caracteres para formatar a função |
|
Conversão de cadeia de caracteres inválido |
|
Chame inválido de CreateProcess |
|
Argumento inválido de objeto para a função format |
|
- Não lógico Bit a bit e precedência |
|
- Não lógico Bit a bit ou precedência |
|
Argumento inválido de cadeia de caracteres para formatar a função |
|
Todo o argumento inválido de cadeia de caracteres para formatar a função |
|
Use incompatível de tamanho e de contagem |
|
Chamada de função incorreta argumento de variável |
|
Tipos incompatíveis potenciais de argumento |
|
Excesso de leitura |
|
Excesso de gravação |
|
Valor de parâmetro inválido |
|
Propriedade inválido de atributo |
|
Conflitante valores de propriedade do atributo |
|
As referências não podem ser nulas |
|
Zero não no ponteiro |
|
MustCheck em void |
|
Tamanho do buffer não no ponteiro ou matriz |
|
A incompatibilidade nula em cancelará zero |
|
Acesso de gravação na constante |
|
Retorno usado em pré-requisito |
|
Zero não terminado no ponteiro |
|
MustCheck deve ser Sim ou não |
|
Tamanho do elemento sem tamanho do buffer |
|
O tamanho do buffer excede o tamanho da matriz |
|
Tamanho do buffer não no ponteiro |
|
Nenhuma propriedade no atributo |
|
Tamanho válido no buffer ilegível |
|
Tamanho gravável no buffer não gravável |
|
Anotação inválido: o valor da propriedade “NeedsRelease” Sim ou não deve ser |
|
A cadeia de caracteres inválido de tamanho cancelará |
|
Tipo inválido de cadeia de caracteres de tamanho |
|
Parâmetro inválido de cadeia de caracteres de tamanho |
|
Local acessível de cadeia de caracteres inválido de tamanho |
|
Tipo de buffer inválido de cadeia de caracteres de tamanho |
|
Anotação inválido: A propriedade “NeedsRelease” não pode ser usada em valores de tipo void |
|
Estilo não reconhecido da cadeia de caracteres de formato |
|
O uso de anotações de atributo nesta função invalidará todas as anotações existentes de __declspec |
|
Especificação inválida de tamanho: expressão não parsable |
|
Deref= inválido ou Notref=: expressão não parsable |
|
O valor não é um válido e sim/não avalia talvez |
|
O valor não é um valor de cadeia de caracteres |
|
O valor não é um número) |
|
Erro inesperado de expressão de anotação |
|
O número esperado de argumentos da anotação não corresponde ao número real de casos da anotação |
|
Erro inesperado de anotação de anotação |
|
O parâmetro que está sendo anotado deve ser um ponteiro |
|
Desreferenciando o ponteiro NULL.O ponteiro contém o mesmo valor NULO que outro ponteiro fez. |
|
Referência ilegal do membro não estático |
|
Referência ambígua ao membro da classe. |
|
_Success_ ou _On_failure_ usado em um contexto ilegal |
|
Pontos à esquerda do operando a uma estrutura, use “->” |
|
O operando esquerdo é uma estrutura, use “.” |
|
As anotações para o contexto de __on_failure não devem estar pre no contexto explícita |
|
Nome do contexto estático esperado para SAL_context |
|
Expressão do ponteiro esperada de anotação |
|
A anotação de _Use_decl_annotations_ deve ser usada para fazer referência, sem alteração, instrução anterior. |
|
Os nomes de parâmetro de atributo devem ser p1 p9… |
|
O typefix não pode ser aplicado a um parâmetro que já tenha um typefix |
|
A anotação de checkReturn se aplica apenas aos postconditions para o parâmetro da função específica. |
|
Para a função, o número de parâmetros para a anotação não corresponde ao localizado no arquivo |
|
Para o paramteer de função, o parâmetro da anotação não corresponde ao localizado no arquivo |
|
O membro de enumeração esperado para a anotação o parâmetro na anotação |
|
A expressão de inteiro esperado para a anotação o parâmetro na anotação |
|
Expressão de cadeia de caracteres esperada para o parâmetro na anotação |
|
__yes, __no, ou __maybe esperado para a anotação |
|
Não encontrou o token/identificador esperados da anotação, parâmetro |
|
A anotação requer parâmetros |
|
Não encontrou o número correto de parâmetros requeridos na anotação |
|
A anotação não pode também ser um PrimOp (na instrução atual) |
|
A anotação não pode também ser um PrimOp (consulte a instrução anterior) |
|
Parâmetro da anotação: não pode ser usado em anotações |
|
A anotação não da suporte a parâmetros |
|
O tipo de parâmetro não tem nenhum membro. |
|
A anotação é válida apenas na matriz |
|
pre, postagem, ou deref não aplicado a qualquer anotação |
|
pre, postagem, ou deref aplicado a um bloco |
|
a expressão de __at não se aplica à função atual |
|
A função pode não estar bem como uma anotação |
|
A anotação não pode ser usada em uma expressão |
|
A anotação no parâmetro não tem mais suporte |
|
A anotação no parâmetro tem mais de um valor de, o stringValue, e de longValue.Use paramn=xxx |
|
A anotação no parâmetro tem ambos, avaliar o stringValue, ou o longValue; e paramn=xxx.Use somente paramn=xxx |
|
A anotação no parâmetro não tiver param2 mas nenhum param1 |
|
A anotação para a função no parâmetro não é reconhecida |
|
A anotação para a função no parâmetro requer mais cancelará do tipo real anotado reserva |
|
A anotação para a função “anota essa” em uma função não-membro- |
|
A anotação do parâmetro da função não corresponde ao tipo do parâmetro |
|
Anotação inconsistente para a função: a instância anterior tem um erro. |
|
Anotação inconsistente para a função: esta instância tiver um erro. |
|
Anotação inconsistente para a função: o parâmetro tem uma outras anotações nesta instância. |
|
Anotação inconsistente para a função: o parâmetro tem uma outras anotações nesta instância. |
|
o dynamic_cast<>() não têm suporte nas anotações |
|
Um erro de sintaxe na anotação foi encontrado na função, para a anotação |
|
Um erro de sintaxe em uma anotação condicional foi localizado para a anotação intrínseca |
|
Os valores das listas de resultados devem ser constantes. |
|
Um erro de sintaxe nas anotações anotação foi encontrada na função. |
|
A anotação para a função, revise parâmetro quando for inconsistente com a declaração de função |
|
Para a função, encontrar pistas forem inconsistentes com a declaração de função |
|
O parâmetro para o _Macro_value_ for nulo |
|
Para iniciar o símbolo “,” foi encontrado “sem uma extremidade correspondente” |
|
Para o símbolo, uma “end” não foi encontrada uma correspondência “iniciado” |
|
As cadeias de formato devem estar nas condições anteriores |
|
Para a função, erro de sintaxe do parâmetro |
|
Para a função, erro de sintaxe na extremidade |
|
Para a função, erro de sintaxe na anotação de _At_() (nome do parâmetro não reconhecido) |
|
Para a função, erro de sintaxe na anotação de _At_() (nome de parâmetro inválido) |
|
Para a função: ReadableTo ou WritableTo não tinha as especificações associado como um parâmetro. |
|
a anotação para a função Externals contém mais do que o número real de parâmetros |
|
nulo/notnull de postagem no nível 0 de deref não tem sentido para a função. |
|
Operandos da expressão de tipo incompatíveis para o operador |
|
Nenhuma anotações para a primeira declaração da função. |
|
Um operador adicional de _Deref_ foi encontrado na anotação. |
|
Um operador ambíguo de _Deref_ foi encontrado na anotação. |
|
Um operador de forma incorreta colocado de _Notref_ foi encontrado aplicado ao token. |
|
Um erro quando analisar um token foi descoberta. |
|
A anotação descreve uma situação que não é condicional aplicável. |
|
A anotação descreve onde um valor dinâmico uma variável () não pode ser usado na condição. |