Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2005.11b
  • /
  • Pages.964-966
  • /
  • 2005
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

Abstract

아이락(Airac)은 C 프로그램의 버퍼오버런(buffer overrun)오류를 찾아주는 정적 프로그램 분석기(static program analyzer)이다. 아이락은 요약해석(abstract interpretation)의 틀 속에서 디자인되었다. 설계 및 구현 과정에서 프로그램 분석 분야에서 축적되어온 다양한 기술들을 적용하여 분석의 성능 및 정확도 향상을 이룩하였다. 아이락은 리눅스 커널(linux kernel), GNU 소프트웨어, 상용 소프트웨어등에 적용되어 오류를 찾아냈다.

Keywords