Reports diagnostics, helping you to annotate your source tree with (Item)NotNull / (Item)CanBeNull attributes. See also: https://www.jetbrains.com/resharper/help/Code_Analysis__Code_Annotations.html
You need Visual Studio 2013/2012/2010 and Resharper v8 or higher to use this analyzer. See package "ResharperCodeContractNullability" if you use Visual Studio 2015.
Improved support for External Annotation files (side-by-side and Resharper Extensions); support Resharper installation in 'All Users' mode; bugfixes in reporting correctness (async, strings in PCL); fixed a few potential race conditions; fixed installer issue in Visual Basic projects; performance optimalizations.
This package has no dependencies.