A Development of Automatic Analysis tool for Writing Secure Code

안전한 소스코드 작성을 위한 자동화 분석 도구의 개발

리눅스와 같은 공개 운영 체제의 출현은 많은 프로그램 개발자들로 하여금 시스템 내부적인 측면에 대하여 한층 더 이해를 쉽게 할 수 있는 계기가 되었다. 그러나 프로그램 보안이라는 문제 영역에 관한 심각한 고려가 개발 시부터 병행되지 못함으로 인해 치명적인 프로그램 취약성이 잠재되어 왔다. 따라서 주요 침해 사례들은 상당 수 시스템이 사용하는 일부 알려진 프로세스들의 버그와 같은 프로그램 코드 수준에서의 취약성을 이용한 악의적인 프로그램들이 대부분을 차지한다. 본 논문에서 이러한 문제점을 해결하기 위해 제안하는 바는 다음과 같다. 첫째, 현재까지 널리 알려져 있는 프로그램 관련 취약성에 대한 명확한 이해, 둘째, 프로그램 코드 자체에 잠재되어 있는 취약성들이 내재된 함수들에 관한 분석, 그리고 마지막으로 이러한 분석 기술서를 기반으로 프로그램 취약성 검사 자동화 도구를 제안한다.