리눅스 파일 시스템의 시맨틱 버그 탐지 도구(HYDRA)

리눅스 파일시스템의 시맨틱 버그를 탐지하기 위한 도구인 HYDRA는 파일시스템의 다양한 시맨틱 버그를 찾기 위한 퍼징(Fuzzing) 기반의 포괄적인 프레임워크이다. 퍼징 기법이란 소프트웨어의 문제점을 찾기 위한 테스팅 기법으로 다양한 입력값을 소프트웨어에 인위적으로 주입하여 소프트웨어에 문제가 있는지 없는지를 검색하는 기법이다. HYDRA는 이러한 퍼징 기법을 이용하여 파일시스템을 대상으로 광범위하고 자동화된 입력값을 조합하여 테스트를 진행하고 파일 시스템의 버그를 탐색한다. 또한 파일시스템의 일관성 불일치(crash inconsistency), 명세 위반(specification violation), 논리적 버그(logic bug), 메모리 오류(memory error)등 다양한 시멘틱 버그를 찾을 수 있도록, 기존 버그 검사기와 연동 가능하다. 깃허브 Hydra에 오픈소스로 공개되어 있다. 관련 영상은 소프트웨어 버그 탐지기에 있다.