Publications
Detailed Information
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 Language ; Abstract Interpretation ; Memory Leaks ; Code Clones ; Static Analysis ; Procedural 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.
Item View & Download Count
Items in S-Space are protected by copyright, with all rights reserved, unless otherwise indicated.