Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2014.04a
- /
- Pages.559-562
- /
- 2014
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
DOI QR Code
Automatic Discovery of Interval Domain Specification by Static Analysis
양방향 정적 분석을 통한 정수구간 명세 자동유추
- Kim, Narae (Dept. of Computer Engineering, Hanyang University) ;
- Lee, Oukseh (Codeminds Corporation) ;
- Doh, Kyung-Goo (Dept. of Computer Engineering, Hanyang University)
- Published : 2014.04.22
Abstract
일반적으로 정적 분석은 자동으로 후 조건은 유추할 수 있지만 전조건은 유추하지 못한다. 만약 전조건을 분석할 수 있다면 프로그램을 부품 별로 분석 할 수 있게 되고 이는 계산 양을 줄이면서도 유의미한 결과를 가지는 분석을 가능하게 한다. 본 연구는 정수 구간 도메인에 한해 기존 정적 분석을 변형하여 양방향 분석정보를 토대로 전조건을 유추하는 방법을 처음으로 제시한다.
Keywords