@techreport{JuKiShYi2005b,
   author = {정영범 and 김재황 and 신재호 and 이광근},
   title = {C 프로그램의 배열 참조 오류(buffer overrun)를 모두 자동으로 찾아주는 정적 분석기의 설계와 구현},
   institution = {서울대학교 공과대학 컴퓨터공학부 프로그래밍연구실},
   type = {Technical Memorandum},
   number = {ROPAS-2005-27},
   month = {October},
   year = {2005},
   category = {tech-memo},
   format = {pdf},
}