Инструмент статического анализа для проверки блокировки перед доступом к переменной

Я знаю, что существует довольно много инструментов статического анализа для C # или .Net. См. Этот вопрос для получения хорошего списка доступных инструментов. Я использовал некоторые из них в прошлом, и у них есть хороший способ обнаружения проблем.

В настоящее время я ищу способ автоматически применять некоторые правила блокировки, которые есть в наших командах. Например, я хотел бы ввести следующие правила:

«Каждый общедоступный метод, который использует член foo , должен получить блокировку на bar » Или «Каждый вызов события foobar должен быть вне блокировки для bar »

Написание собственных правил FxCop, если выполнимо , кажется довольно сложным. Есть ли более простой способ сделать это?