It looks like a fairly powerful static analysis framework, well beyond what the C# type system can prove. Not sure what exactly it can do, but the static checke

It looks like a fairly powerful static analysis framework, well beyond what the C# type system can prove. Not sure what exactly it can do, but the static checker dialog box allows you to enable: Implicit Non-Null Obligations Implicit Arithmetic Obligations Implicit Array Bounds Obligations Redundant Assumptions If it can do a good job of checking these statically, I'm impressed!