Browse

Parametrized summary-based static analysis for detecting memory leaks and code clones
메모리 누수와 유사 코드쌍 탐지를 위한 매개화된 프로시져 요약기반의 정적 분석

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors
정영범
Advisor
이광근
Major
전기. 컴퓨터공학부
Issue Date
2011-08
Publisher
서울대학교 대학원
Keywords
프로그래밍 언어요약 해석메모리 누수유사 코드쌍정적 분석프로시져 요약Programming LanguageAbstract InterpretationMemory LeaksCode ClonesStatic AnalysisProcedural Summary
Description
학위논문 (박사)-- 서울대학교 대학원 : 전기. 컴퓨터공학부, 2011.8. 이광근.
Language
eng
URI
https://hdl.handle.net/10371/158983

http://dcollection.snu.ac.kr:80/jsp/common/DcLoOrgPer.jsp?sItemId=000000031070
Files in This Item:
There are no files associated with this item.
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Computer Science and Engineering (컴퓨터공학부)Theses (Ph.D. / Sc.D._컴퓨터공학부)
  • mendeley

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

Browse