Но я бы не стал путать инструмент статического анализа с отладчиком, и я считаю, что здесь вам нужна отладка. Другими словами, FxCop может сказать вам, что все отлично, но вы все равно можете получить исключение во время выполнения.
Некоторые ошибки во время выполнения очень сложно обнаружить, просто взглянув на код (например, условия гонки с несколькими потоками). Таким образом, не существует «инструмента анализа кода», который мог бы исключить время выполнения, просто анализируя код.
Проверьте по этой ссылке несколько примеров отладки: http://msdn.microsoft.com/en-us/library/ms954594.aspx. Вероятно, вам придется выполнить некоторые шаги в вашем коде с помощью отладчика, возможно, отследить некоторые данные в файле журнала, а затем попытаться найти точно, где это идет не так.