Use annotations to refine code inspection| ReSharper Help
Detecting possible NullReferenceException with ReSharper| ReSharper Help