| 끼어들기를 고려한 변수분석(Interrupt-aware variable analysis)은 끼어들기 처리기(Interrupt handler)에 의해 변경될 수 있는 위험 변수를 찾아내는 것을 목표로 합니다. 분석은 끼어들기가 있는 프로그램을 넓게 어림잡는 요약해석(Abstract interpretation)을 수행한 뒤, 그 결과를 추적하여 위험 변수를 판별하는 방식으로 진행됩니다. 특히 끼어들기 처리기에 의해 변경된 변수가 배열 인덱스로 사용되는 패턴에서 오류가 발생한 이력이 있어, 해당 패턴에 집중하여 post-processing을 수행합니다.
이번 쇼앤텔에서는 분석기 성능 개선 작업과 post-processing 결과를 함께 공유합니다. 끼어들기 처리기의 fixpoint를 미리 적용하여 수행 시간을 줄인 방법을 설명하고, 벤치마크를 통해 위험 변수 추적 결과를 살펴봅니다. |