Wesner Moise's NStatic static-analysis tool for .NET appears to be approaching its initial beta. Moise has made a number of exciting claims for this technology since he began discussing it about 18 months ago. If I understand correctly, NStatic involves considerably "deeper" analysis than most quality-assurance tools; it almost seems it applies the field of constraint-based programming to parsed program structures. At least, that's the only way I can get my head around \<a href="http://wesnerm.blogs.com/net_undocumented/2007/06/equation_solvin.html"" target="_blank" rel="noopener noreferrer">this post.