Propriedades de anotação
Cada instância de um atributo Pre ou Post especifica um conjunto de propriedades para o parâmetro anotado ou valor de retorno em um nível específico de dereferência.
A tabela a seguir lista propriedades que podem ser expressas como um parâmetro para os atributos Pre e Post.
Nesta seção
Seções relacionadas
Diretrizes para escrever código seguro
Analisar a qualidade do código C/C++ usando a análise de código