Key points are not available for this paper at this time.
불일치 검사란 값의 여러 사용을 검사하여 소프트웨어 오류를 감지하는 방법입니다. 우리는 불일치 추론이 더 오래되고 잘 이해된 타입 추론 문제의 변형으로 이해되는 것이 최선이라고 제안합니다. 이러한 통찰을 바탕으로 불일치 오류를 발견하기 위한 정확하고 공식적인 프레임워크를 설명합니다. 이전의 접근 방식과 달리, 불일치 오류를 찾기 위한 우리의 기술은 순수하게 의미적이며 복잡한 별칭과 경로 민감 조건을 처리할 수 있습니다. 우리는 의미적 불일치 추론을 기반으로 하는 C 프로그램의 널 참조 분석을 구축하였으며, 이를 활용하여 널 역참조 오류가 이전에 알려지지 않은 수백 건을 널리 사용되는 C 프로그램에서 발견했습니다.
Dillig et al. (Sun,)은 이 문제를 연구했습니다.