라이브러리 퍼징 하네스 효율적 축소 기법

요약

본 논문은 C/C++ 라이브러리 퍼징 하네스의 효율적인 최소화 시스템인 HarnessMinimizer를 제안합니다. 이 시스템은 헤더 분석과 재사용 가능한 런타임을 활용하여 축소 과정을 가속하고, 불필요한 입력 연산을 제거하며 충돌 보존성을 유지하는 것이 특징입니다. 실험 결과, 기존 파이프라인 대비 평균 총 벽 시간에서 최대 4.51배의 속도 향상을 달성했습니다.

핵심 포인트

• HarnessMinimizer는 C/C++ 라이브러리 퍼징 하네스 최소화 시스템이다.
• 헤더 분석 및 재사용 가능한 런타임으로 축소 과정을 가속한다.
• 기존 대비 평균 총 벽 시간에서 최대 4.51배의 속도 향상을 보인다.
• 최소화된 하네스를 사용해 라이브러리 버그 식별 정확도가 크게 증가했다.