NStatic seems to be a really promising code analysis tool that goes way deeper than other tools like FxCop or ReSharper.