From the developer:
""Fremont, CA - Software4net, Inc. announces immediate availability of CLRxLint 1.0 checked exception verifier for Microsoft .NET platform. With support for any MS CLR-based languages including C#, VB.NET and Managed C++, CLRxLint is the only solution that introduces concept of checked exception for .NET platform. CLRxLint allows developer declare checked exceptions in assembly, define methods, delegates or properties with pre-declared checked exceptions and later verify the contract between checked exceptions and methods. Unique design of CLRxLint enables support for any CLR-based languages, present and future. CLRxLint verifier works through decompiling assembly into MSIL code, further analyzing MSIL code and tracing error and warnings back to source code. CLRxLint truly leverages unique capabilities provided by Microsoft Common Language Runtime.""