 |
| |||
| not verifiable type-safe unmanaged code (любой неуправляемый код (напр., код из динамически подключаемых библиотек), созданный с максимальным учетом требований безопасности по отношению к типам, но для которого невозможно контролировать соблюдение этих требований в процессе исполнения ssn) | |||