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

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화 하는 방법

Buffer-overrun Abstract Interpretation Refinement for Loops

  • 오학주 (서울대학교 컴퓨터공학부 프로그래밍 연구실) ;
  • 이광근 (서울대학교 컴퓨터공학부 프로그래밍 연구실)
  • Oh, Hak-Joo (Programming Research Laboratory, Seoul National University) ;
  • Yi, Kwang-Keun (Programming Research Laboratory, Seoul National University)
  • 발행 : 2007.06.25
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

키워드