더블페치 버그 탐지 도구 개발(Deadline)

시스템 호출 실행 중에는 일반적으로 커널이 사용자 공간 메모리를 여러 번 읽는 경우가 발생한다. 이때 가져온 사용자 공간 메모리가 읽기에서 변경될 수 있는 경우, 즉 변수의 값을 확인하는 단계와 실제 사용하는 단계에서 값이 변경되는 이중 가져오기(더블페치) 버그로 알려져 있는 레이스 컨디션이 발생할 경우 소프트웨어에 심각한 버그가 있을 수 있다. Deadline은 더블페치 버그의 정확한 정의를 제시하고 정의에 기반을 둔 정적 분석 시스템으로 소프트웨어의 더블페치 버그를 자동으로 감지한다. 깃허브 Deadline에 공개되어 있다.