Проверяемый код - это код, который компилируется в IL и может быть доказано, что он не создает никакого IL, который может выполнять небезопасный код, обходить проверки безопасности доступа к коду или каким-либо образом портить состояние CLR. Точные правила сложны однако. Представление в десять тысяч футов - это код, написанный на управляемых языках, таких как VB.NET или C #, без ключевого слова unsafe. Тем не менее, вы можете написать непроверяемый код на C # без использования ключевого слова unsafe. Проверьте, например, этот ответ .
Существует специальный инструмент для проверки сборки, PEVerify.exe . Он выполняет те же проверки, что и JIT-компилятор и CLR. Внизу связанной страницы есть ссылки на статьи MSDN о проверке.