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