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

  • 오학주 (고려대학교 컴퓨터학과)
  • Published : 2018.04.30

Abstract

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

Keywords

References

  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