DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 차상길 | - |
dc.contributor.advisor | Cha, Sang Kil | - |
dc.contributor.author | 이하은 | - |
dc.date.accessioned | 2023-06-26T19:31:44Z | - |
dc.date.available | 2023-06-26T19:31:44Z | - |
dc.date.issued | 2023 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1032987&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/309580 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학부, 2023.2,[iv, 31 p. :] | - |
dc.description.abstract | 최근 퍼징 기술의 발전에 따라 퍼저의 성능을 평가하기 위한 벤치마크 프로그램을 자동으로 만드는 기술의 요구가 급증하고 있다. 이전의 방식은 기존 프로그램에 버그를 주입하는 방식으로 생성된 프로그램에 예기치 않은 버그가 포함되어 있을 수 있으므로 퍼저의 성능을 정확하게 측정하기 힘들다는 단점이 있다. 이러한 문제를 해결하기 위해 본 논문에서는 임의의 미로를 사용하는 프로그램 합성 기술을 이용하여 벤치마크 프로그램을 자동으로 생성하는 기술을 제시한다. 본 기술은 미로 안에서의 이동을 일련의 함수 호출로 부호화하여 프로그램을 합성함으로써 설계상 프로그램에 존재하는 버그의 개수 및 위치를 정확하게 알 수 있다. 또한, 프로그램의 경로 조건을 설정할 때 기존 프로그램 취약점의 경로 조건을 이용하여 현실의 버그를 반영하는 버그를 생성할 수 있다. 본 논문에서는 제시한 기술을 자동화된 시스템 위에 구현하여 퍼저를 평가하는 데에 사용해 보았다. | - |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 퍼징▼a소프트웨어 보안▼a소프트웨어 테스팅 | - |
dc.subject | fuzzing▼asoftware security▼asoftware testing | - |
dc.title | 미로 기반 프로그램 합성을 활용한 퍼징 벤치마크 생성 기법 | - |
dc.title.alternative | Towards a maze-based synthesis of fuzzing benchmarks | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :전산학부, | - |
dc.contributor.alternativeauthor | Lee, Haeun | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.