Жандармское обнаружение небезопасного кода

Да, это было бы возможно и довольно легко сделать.

Небезопасный код напрямую не отмечается в метаданных. Однако вы можете просмотреть инструкции и типы IL (локальные, параметры и возвращаемые значения), чтобы найти конструкцию, для которой требуется ключевое слово «небезопасное» C# (при компиляции кода).

Хороший справочник по ILasm очень поможет. Так же как и проверка вашего правила на огромных проектах (с доступным исходным кодом), чтобы убедиться, что вы не пропустите ни одного случая.