Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2005.11b
- /
- Pages.964-966
- /
- 2005
- /
- 1598-5164(pISSN)
Airac: Static Analyzer for Automatic Verification of Array Index Ranges in C Programs
아이락: C 프로그램의 메모리 오류 정적 분석기
-
Jung Yungbum
(Programming Research Lab, Seoul National University) ;
- Kim Jaehwang (Programming Research Lab, Seoul National University) ;
- Shin Jaeho (Programming Research Lab, Seoul National University) ;
- Yi Kwangkeun (Programming Research Lab, Seoul National University)
- Published : 2005.11.01
Abstract
아이락(Airac)은 C 프로그램의 버퍼오버런(buffer overrun)오류를 찾아주는 정적 프로그램 분석기(static program analyzer)이다. 아이락은 요약해석(abstract interpretation)의 틀 속에서 디자인되었다. 설계 및 구현 과정에서 프로그램 분석 분야에서 축적되어온 다양한 기술들을 적용하여 분석의 성능 및 정확도 향상을 이룩하였다. 아이락은 리눅스 커널(linux kernel), GNU 소프트웨어, 상용 소프트웨어등에 적용되어 오류를 찾아냈다.
Keywords