저희는 가능한 예외, 항상 true/항상 false인 조건 등 프로그램에 관한 다양한 사실을 도출해 낼 수 있는 Java 데이터 흐름 분석(DFA)을 지원합니다. 이 기능은 소스 코드에 대한 추상적인 해석을 수행하여, 코드가 실행되기 전에 코드 실행에 대한 정보를 수집합니다. 하지만, 코드에 입력되는 내용에 대해서는 거의 아무 것도 알지 못합니다. 엄밀히 말하면, 메소드 매개 변수가 @NotNull로 주석 처리된 경우, 분석 시 이 주석을 신뢰하여 null이 여기에 나타나지 않을 것으로 가정하는데, 이건 단지 약간의 정보에 불과합니…