Reports problems related to the nullability annotations: overriding problems (e.g. not-null parameter overrides nullable parameter), non-annotated getters of annotated fields, and so on.