정보보호학회지 (Review of KIISC)

한국정보보호학회 (Korea Institute of Information Security and Cryptology)
권호 표지

소프트웨어 취약점 자동 수정 기술 소개

  • 오학주 (고려대학교 컴퓨터학과)
  • 발행 : 2018.04.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

최근들어 소프트웨어의 오류 및 취약점을 자동으로 수정하는 기술이 주목받고 있다. 소프트웨어의 오류를 수정하는 작업은 소프트웨어 개발 단계에서 매우 큰 비용이 소요된다. 본 글에서는 이를 자동화하는 기술인 소프트웨어 오류 자동 수정 기술에 대해서 소개하고 연구 동향을 살펴본다.

키워드

참고문헌

  1. T. Britton et al. Reversible Debugging Software.
  2. B. Liblit et al. Bug isolation via remote program sampling. In PLDI. 2003.
  3. Weimer et al. Automatically Finding Patches using Genetic Programming. In ICSE. 2009.
  4. Nguyen et al. SemFix: program repair via semantics analysis. In ICSE. 2013.
  5. Fan Long and Martin Rinard. Automatic Patch Geneartion by Learning Correct Code. In POPL. 2016