Browse

매개화된 함수요약 : C 프로그램의 버퍼오버런 정적 검출기의 확장성과 문맥민감성을 위하여

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors
박대준
Advisor
이광근
Issue Date
2008
Publisher
서울대학교 대학원
Keywords
프로그램 분석program analysis오류 검출기error detection
Description
Thesis(masters) --서울대학교 대학원 :전기. 컴퓨터공학부 컴퓨터공학전공,2008.8.
Language
English
URI
http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000042210

https://hdl.handle.net/10371/44632
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