In Specifications and More on Specifications , Wesner Moise talks about some of the features in his upcoming tool NStatic , which is a static analysis tool for .NET. I've been following Wesner for a couple of years now, being especially interested in the tool, since it's a tool I've been wanting to write...