Статическая проверка конвенций фреймворка

Есть ли продукт/проект, который позволил бы вам определить соглашения, скажем, для проекта MVC, чтобы статически проверять соглашения об именовании, такие как Controller, добавляемые в конце классов, которые наследуются от контроллера, и/или принудительно применять определенную сигнатуру метода при оформлении метода с атрибутом.

Я в основном ищу способ установить некоторые защитные рельсы для новых разработчиков, приходящих в нашу команду, где у нас есть четкий набор соглашений, некоторые из которых используются для динамического подключения вещей через отражение. Видеть, что эта проводка отражения не сработает из-за несовместимой подписи, было бы огромным подспорьем для нашего процесса наращивания.

Необходимые ключевые особенности:

• Статическая/компиляционная проверка на нарушение правил
• Возможность нацеливать методы, украшенные определенными атрибутами (через RegEx или мастер)
• Различные наборы правил, основанные на различных типах проектов. (пример: Набор соглашений для приложения MVC, другой набор для приложения Web Forms, и другой набор для библиотеки классов с суффиксом .BLL)

Любые предложения приветствуются, хотя я прошу вас отвечать только если вы знаете, что эти функции поддерживаются.