이 검사는 null일 수 있는 포인터의 역참조로 이어지는 복잡한 데이터 흐름 경로를 식별하도록 설계되었습니다.