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 this post.