Publications
Detailed Information
Buffer-overrun abstract interpretation refinement for loops by qualitative approach : 요약해석을 이용한 버퍼오버런 분석에서 루프의 분석결과를 정교화 하는 방법
Cited 0 time in
Web of Science
Cited 0 time in Scopus
- Authors
- Advisor
- 이광근
- Issue Date
- 2007
- Publisher
- 서울대학교 대학원
- Keywords
- 프로그램 분석 ; Program Analysis ; 버퍼오버런 ; Buffer-Overrun ; 허위 경보 ; False Alarm ; 요약해석 ; Abstract Interpretation
- Description
- 학위논문(석사) --서울대학교 대학원 :전기. 컴퓨터공학부,2007.
- Language
- English
- URI
- http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000043922
https://hdl.handle.net/10371/52460
- Files in This Item:
- There are no files associated with this item.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.