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

  • 2007.06a
  • /
  • Pages.292-293
  • /
  • 2007
  • /
  • 1598-5164(pISSN)
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)
  • 오학주 (서울대학교 컴퓨터공학부 프로그래밍 연구실) ;
  • 이광근 (서울대학교 컴퓨터공학부 프로그래밍 연구실)
  • Published : 2007.06.25
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords