There are solutions like CheckerFramework or Nullaway or other compile time annotation processors.