Partilhar via


Escrevendo verificável com código de tipo seguro

O código de tipo seguro é o código que acessa tipos apenas maneiras bem definidas e permitido. Por exemplo, dada uma referência de objeto válido, o código de tipo seguro pode acessar a memória em compensações fixas correspondentes aos membros do campo real. No entanto, se o código acessa a memória em deslocamentos arbitrários fora do intervalo de memória que pertence a esse objeto publicamente exposta a campos, não é tipo seguro.

Compilação do Just-in-time (JIT) executa um processo chamado de verificação que examina o código e tenta determinar se o código é de tipo seguro. Código comprovada durante a verificação de segurança de tipos de ser é chamado de código de segurança de tipo verificável. Código pode ser de tipo seguro ainda não ser verificável type-safe, devido às limitações do processo de verificação ou do compilador. Nem todos os idiomas são fortemente tipadas e alguns compiladores de linguagens, como o Microsoft Visual C++, não é possível gerar o código gerenciado de segurança de tipo verificável. Para determinar se você usar o compilador da linguagem gera código verificável com segurança de tipo, consulte a documentação do compilador. Se você usar um compilador de linguagem que gera o código de segurança de tipo verificável somente quando você evitar determinadas construções de linguagem, talvez você queira usar o Windows Software Development Kit (SDK) ferramenta de PEVerify para determinar se o seu código é verificável com segurança de tipos.

O código não verificável com segurança de tipos pode tentar executar se a diretiva de segurança permite que o código ignorar a verificação. No entanto, como segurança de tipos é uma parte essencial de que o mecanismo do runtime para isolar assemblies, segurança não é confiável imposta se código viola as regras de segurança de tipos. Por padrão, código que não é um tipo seguro é permitido executar somente se ela se origina de um computador local. Portanto, o código móvel deve ser fortemente tipadas.

Consulte também

Referência

Peverify (ferramenta PEVerify)

Conceitos

Segurança de Acesso de código

Noções Básicas sobre Segurança de Accesso a Código

Processo de Execução Gerenciada