In my last blog, I mentioned that you should use source-code annotation language is suppose to be used with Code Analysis. I forgot to put the link that I use in that blog.
Here is a useful link to information that seems pretty accurate:
Older video: http://channel9.msdn.com/events/BUILD/BUILD2011/TOOL-100T
For students, professors and devs with access to the Visual Studio Ultimate: