Доступна ли статическая проверка кода для потенциальных ссылок на нулевые объекты?

Мне нужен способ получать предупреждения, когда ссылка на объект потенциально может генерировать исключение Null Reference Exception, чтобы я мог написать для них защитный код.

Я посмотрел на Resharper, но не увидел там ничего, что могло бы это сделать.

Code Contracts, вероятно, не-стартер; приложение довольно большое и написано на.NET 3.5 до того, как Code Contracts стали официально доступны.