DotNet CodeContracts v.1.10.20606.1-rc2

Summary

Second community-driven release of the DotNet CodeContracts that is mostly focused on minor bug fixes.

Nuget Package

Bug fixes

#221 - [VS2015] ccrewrite fails with CC1004: Malformed contract. Found Requires after assignment in method
#339 - string.IsNullOrWhiteSpace() not considered Pure by Requires() or Invariant() when running on .NET 4.6.1
#340 - ccrewrite fails to read assembly that has non-escaped comma in nested type names
#346 - Invalid contract for System.Xml.Schema.XmlSchemaSet
#349 - Possible invalid contract in System.Linq.Expression.NewExpression
#351 - Invalid contract for System.Dynamic.BindingRestrictions
#352 - Add contracts for System.Drawing.Imaging.EncoderParameters
#365 - Access to instance members in async postconditions lead to invalid IL
#410 - For 64-bit assemblies, preserve the imagebase value when rewriting.
#414 - BCL: System.Type.GetMethods() is missing on ensures
#424 - Static checker cannot prove compiler-generated Expressions are created safely.
#423 - cccheck: Cached analysis gets horrendously slow over time

Acknowledgements

Thank you goes to all of the following users, who contributed feedback, bug reports, code submissions, testing, and reviews which helped in this release. In alphabetical order by username.

@asvishnyakov
@fedotovalex
@jterry75
@hubuk
@mariachris
@mike-barnett
@tom-englert
@yaakov-h

CodeContracts

More C# Projects

v2rayN

shadowsocks-windows

jellyfin

PowerShell