Source code for the CodeContracts tools for .NET - View it on GitHub