A Survey on Sanitizer Techniques Based on Poison Values

Poison value 기반 sanitizer 기술 연구 동향 분석

Sanitizer 는 메모리 오류, 타입 불일치, 초기화되지 않은 값 사용 등 취약점을 탐지하는 동적 분석 도구로, 소프트웨어 테스트에 널리 활용된다. Address Sanitizer 와 같은 메타데이터 기반 도구는 높은 탐지율을 보이지만, 메모리 사용과 실행 시간 측면에서 한계가 있다. 이를 보완하기 위해 최근에는 poison value 를 활용한 경량 sanitizer 가 제안되고 있다. 논문은 이러한 기법들을 정리하고, 탐지 정확도, 오탐률, 오버헤드 관점에서의 특성과 실용 가능성을 고찰한다.