거리 기반 피트니스 함수를 사용한 그레이 박스 퍼징 방법 및 장치

Abstract

거리 기반 피트니스 함수를 사용한 그레이 박스 퍼징 방법 및 장치가 개시된다. 일 실시예에 따른 그레이 박스(Grey-box) 퍼징(Fuzzing) 장치에 의해 수행되는 그레이 박스 퍼징 방법은, 시드 모음으로부터 퍼저(Fuzzer)가 프로그램 테스트를 실행할 시드를 선택하는 스케줄 단계; 상기 선택된 시드를 사용하여 상기 프로그램을 테스트하는 테스트 단계; 및 상기 프로그램을 테스트함에 따라 획득된 프로그램 실행 추적에 대한 정보를 이용하여 계산된 거리 정보 기반의 피트니스 함수를 기 설정된 기준에 따라 상기 시드 모음을 갱신하는 시드 관리 단계를 포함할 수 있다.