발표 정보 등록

등록 양식

발표자:	Hyeongseo Yoo
날짜:	2026-05-22
제목:
요약:
끼어들기를 고려한 변수분석(Interrupt-aware variable analysis)은 끼어들기 처리기(Interrupt handler)에 의해 변경될 수 있는 위험 변수를 찾아내는 것을 목표로 합니다. 분석은 끼어들기가 있는 프로그램을 넓게 어림잡는 요약해석(Abstract interpretation)을 수행한 뒤, 그 결과를 추적하여 위험 변수를 판별하는 방식으로 진행됩니다. 특히 끼어들기 처리기에 의해 변경된 변수가 배열 인덱스로 사용되는 패턴에서 오류가 발생한 이력이 있어, 해당 패턴에 집중하여 post-processing을 수행합니다. 이번 쇼앤텔에서는 분석기 성능 개선 작업과 post-processing 결과를 함께 공유합니다. 끼어들기 처리기의 fixpoint를 미리 적용하여 수행 시간을 줄인 방법을 설명하고, 벤치마크를 통해 위험 변수 추적 결과를 살펴봅니다.
메모:	등록된 메모가 없습니다.
메모 파일 크기 제한: 메모 파일의 크기가 2MB보다 크면 웹에서의 업로드가 제한됩니다. 그럴 경우 해당 디렉토리에 파일(`YYMMDD_ID.pdf`)을 직접 복사해 주세요. 예) `snt_memo2/151225_skcho.pdf`