Esta página foi útil?
Seus comentários sobre este conteúdo são importantes. Queremos saber sua opinião.
Comentários adicionais?
1500 caracteres restantes
Exportar (0) Imprimir
Expandir Tudo
Este artigo foi traduzido por máquina. Coloque o ponteiro do mouse sobre as frases do artigo para ver o texto original. Mais informações.
Tradução
Original
Importante Este documento pode não descrever as práticas recomendadas para o desenvolvimento atual, links para downloads e outros recursos podem não ser mais válidos. A versão atual recomendada pode ser encontrada aqui.

Gravando verificável tipo-código seguro

Tipo-código seguro é o código que acessa tipos somente de maneiras bem definidas e permitidas. Por exemplo, de acordo com uma referência de objeto válido tipo-código 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 expostos campos, não é fortemente tipado.

Compilação JIT executa um processo chamado de verificação que examina o código e tenta determinar se o código é de fortemente tipado. Código comprovada durante a verificação ser seguros é chamado verificável tipo-código seguro. O código pode ser fortemente tipado, ainda não seja verificável fortemente tipado, devido a limitações do processo de verificação ou do compilador. Nem todos sistema autônomo idiomas são fortemente tipado, e alguns compiladores de linguagens, sistema autônomo o Microsoft Visual C++, não é possível gerar verificável fortemente tipado código gerenciado. Para determinar se o compilador da linguagem usa gera verificável tipo-código seguro, consulte a documentação do compilador. If you use a language compiler that generates verifiably type-safe code only when you avoid certain language constructs, you might want to use the Windows Software Development Kit (SDK) PEVerify tool to determine whether your code is verifiably type-safe.

Código que não seja verificável fortemente tipado 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 essencial parte do mecanismo de tempo de execução para isolar assemblies, segurança não pode ser confiável aplicada se código viola as regras de segurança de tipos. Por padrão, código que não é fortemente tipado pode ser executado somente se o computador local se originou. Portanto, o código móvel deve ser seguros.

Contribuições da comunidade

ADICIONAR
A Microsoft está realizando uma pesquisa online para saber sua opinião sobre o site do MSDN. Se você optar por participar, a pesquisa online lhe será apresentada quando você sair do site do MSDN.

Deseja participar?
Mostrar:
© 2015 Microsoft