JetBrains.Annotations.Core (nuget): Code inspection and many other ReSharper features largely rely on heuristic analysis of the source code to detect issues, suggest possible improvements, and help you in other ways.
Keywords: ReSharper|Code|Annotation