Browse

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.
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Electrical and Computer Engineering (전기·정보공학부)Theses (Master's Degree_전기·정보공학부)
  • mendeley

Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse