ReSharper provides a new type of on-the-fly error analysis called Value Analysis for analyzing null references and boolean
values. It automatically detects when you access a variable that can possibly be null and immediately warns you about it:
It can also suggest that a condition is always true or false at a specific point in code.
Additional sources for warnings can be customized and added by referencing the
JetBrains.Annotations namespace and using custom attributes that is contains. Refer to