Software Vulnerability Discovery Techniques: A Survey

Abstract

Software vulnerabilities are the root cause of computer security problem. How people can quickly discover vulnerabilities existing in a certain software has always been the focus of information security field. This paper has done research on software vulnerability techniques, including static analysis, Fuzzing, penetration testing. Besides, the authors also take vulnerability discovery models as an example of software vulnerability analysis methods which go hand in hand with vulnerability discovery techniques. The ending part of the paper analyses the advantages and disadvantages of each technique introduced here and talks about the future direction of this field.

Survey of Software Vulnerability Discovery Technology

“…Fuzzing was first thought by Barton Miller Lars Fredriksen and Bryan So casually [3]. Fuzzing is an automatic software testing technology based on defective injection.…”

“…Because the computer program is not computable, we cannot use the mathematical method to completely eliminate all the logical defects and vulnerabilities in the software, so the vulnerability has necessity [3]. And in general, vulnerabilities are usually exposed with the use of software user, the computer system and software may have been running for a long time, so the vulnerability has permanence.…”

Vulnerability Discovery Method Based on Control Protocol Fuzzing for a Railway SCADA System

“…소프트웨어의 취약점을 검출하기 위한 연구로는 정 적분석, 퍼징, 침투테스트 등의 방법이 있다 [5] . 정적분 석은 프로그램을 실행하지 않고 프로그램 텍스트를 정적으로 분석하여 프로그램 내의 취약 요소를 찾아 내는 방법으로써 사람에 의한 매뉴얼 분석이나 정적 분석 도구를 이용하는 분석 방법이 있다 [5] .…”

“…정적분 석은 프로그램을 실행하지 않고 프로그램 텍스트를 정적으로 분석하여 프로그램 내의 취약 요소를 찾아 내는 방법으로써 사람에 의한 매뉴얼 분석이나 정적 분석 도구를 이용하는 분석 방법이 있다 [5] . 수백만 라 인의 소스코드를 짧은 시간에 분석하기 위해서는 보 안약점과 관련된 패턴 등 진단규칙이 반영된 정적분 석 도구를 이용하며, 이러한 분석 도구는 진단규칙 보 유 수준과 이를 기반으로 한 진단능력 등이 성능에 중 요한 영향을 미친다 [6] .…”

“…수백만 라 인의 소스코드를 짧은 시간에 분석하기 위해서는 보 안약점과 관련된 패턴 등 진단규칙이 반영된 정적분 석 도구를 이용하며, 이러한 분석 도구는 진단규칙 보 유 수준과 이를 기반으로 한 진단능력 등이 성능에 중 요한 영향을 미친다 [6] . 정적분석은 프로그램을 실행하 기 위한 환경구축이 필요 없으며, 개발 과정에서 공통 적으로 나타나는 소프트웨어 버그를 제거하는데 효과 적인 반면, 높은 오탐율과 운영환경 및 설정 상에서 발생하는 취약점을 분석하기 어려우며, 특히 프로그램 소스가 확보되어야 하는 단점이 있다 [5] . 퍼징 테스트 는 랜덤한 입력 스트링을 만들어 시험하는 방법 [7] [9] .…”