A verification module evaluates intermediate language code to verify that
the code is type safe before passing the code for execution. Code that is
not deemed type safe can cause execution errors, corrupt the runtime
environment in which the code is executing, or cause unauthorized access
to protected system resources. As such, the verification module protects a
computer system from intentional or inadvertent breaches of the computer
system's defenses. The verification module verifies the type safety of
intermediate language code that supports significant high-level language
constructs prohibited by verification modules in the prior art. One
exemplary verification module verifies intermediate language code that
includes one or more reference-based parameter, such as a pointer (or
reference), a value class containing pointers, a RefAny parameter, or a
nested pointer.
Um módulo da verificação avalía o código intermediário da língua para verificar que o código é tipo cofre antes de passar o código para a execução. Codifique que não é tipo julgado erros seguros da execução da causa da lata, corrupt o ambiente runtime em que o código está executando, ou cause acesso desautorizado aos recursos de sistema protegidos. Como esta', o módulo da verificação protege um sistema computatorizado das rupturas intencionais ou inadvertidas das defesas do sistema computatorizado. O módulo da verificação verifica o tipo a segurança de código intermediário da língua que as construções significativas da língua high-level das sustentações proibiram pelos módulos da verificação na arte prévia. Um módulo exemplary da verificação verifica o código intermediário da língua que inclui aquele ou mais parâmetro referência-baseado, tal como um ponteiro (ou a referência), uma classe do valor que contêm ponteiros, um parâmetro de RefAny, ou um ponteiro aninhado.
