Wesner Moise used to write about a static analysis tool called nStatic for .NET which looked really exciting. This was a few years and nothing has been published since.
Does anyone know what's happened to the tool, or in fact, Wesner himself?! I hope he's OK, his last post about nStatic development explained that he'd had some health and life imbalance issues.