Browse

PL/SQL 코드에서 변경 영향을 검출하는 오염 분석기 설계: 요약 해석을 기반으로
Designing a taint analyzer for detecting PL/SQL code change impacts based on abstract interpretation

Cited 0 time in Web of Science Cited 0 time in Scopus
Authors
김용기
Advisor
이광근
Major
공과대학 컴퓨터공학부
Issue Date
2016-02
Publisher
서울대학교 대학원
Keywords
정적 분석프로그램 분석변경 영향 분석오염 분석요약 해석
Description
학위논문 (석사)-- 서울대학교 대학원 : 컴퓨터공학부, 2016. 2. 이광근.
Abstract
오염 분석을 통해 PL/SQL 코드로 작성된 삼성 반도체 생산공정 소프트웨어의 변경 영향을 실행 전에 빠트림 없이 감지하는 방법을 제안한다. 이 방법은 요약 해석 프레임워크에 기반하여 엄밀한 수학적 이론을 바탕으로 하면서 구현이 간단하고 성능과 정확도 튜닝도 용이하다. 본 연구에서는 코드 변경 영향을 오염 전파로 정의하고, 대상 언어인 PL/SQL을 분석에 용이한 CFG언어로 변환하여 실제 실행 의미와 이를 요약한 요약 실행 의미를 정의하였고, 이를 바탕으로 유한 시간 내에 변경 영향 지점을 빠트림 없이 찾아내는 분석기를 설계하였다. 개념 검증을 위해 설계 명세를 준수하는 간단한 분석기를 구현하여 실험하였으며 6개 대표 테스트 케이스에 대해 분석기가 변경 영향을 올바르게 찾아냄을 확인할 수 있었다.
Language
Korean
URI
http://hdl.handle.net/10371/122658
Files in This Item:
Appears in Collections:
College of Engineering/Engineering Practice School (공과대학/대학원)Dept. of Computer Science and Engineering (컴퓨터공학부)Theses (Master's Degree_컴퓨터공학부)
  • mendeley

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

Browse