데이터 흐름 분석을 기반으로 항상 null 값 가능성 컨트랙트를 위배하거나, 예외를 발생시키거나, 불필요한 코드 구문을 보고합니다.

예:

if (array.length < index) {
  System.out.println(array[index]);
} // 배열 색인이 항상 범위를 벗어납니다
if (str == null) System.out.println("str is null");
System.out.println(str.trim());
// 마지막 구문이 NPE를 던질 수 있습니다

@NotNull
Integer square(@Nullable Integer input) {
    // 메서드 컨트랙트 위반입니다
    return input == null ? null : input * input;
}

null 값 가능성을 표시하는 어노테이션, @Contract 어노테이션, @Range 어노테이션 등 여러 어노테이션으로 검사 동작이 제어될 수 있습니다.

검사 구성:

IntelliJ IDEA 2022.3 이전에 이 검사는 '상수 조건 및 예외' 검사의 일부였습니다. 이제는 두 가지 검사인 '상숫값'과 'Null 가능성 및 데이터 흐름 문제'로 나뉩니다.