본문으로 건너뛰기
Hacker News - LLM조회 1회

PromptFuzz: LLM 프롬프트 변이를 통한 고품질 퍼즈 드라이버 자동 생성 도구

LLM 프롬프트 변이 루프를 활용해 라이브러리 코드 커버리지를 극대화하고 보안 취약점을 자동으로 탐지하는 퍼즈 드라이버 생성 도구입니다.

섹션별 상세

기존 퍼즈 드라이버 생성 방식은 복잡한 API 간의 상호 관계를 충분히 탐색하지 못하는 한계가 있었습니다. PromptFuzz는 LLM 프롬프트 내의 API 조합을 우선적으로 변이시켜 도달 가능한 코드 영역을 확장하고 복잡한 호출 시퀀스를 탐색하도록 설계되었습니다.
LLM이 생성한 프로그램의 신뢰성을 확보하기 위해 다단계 정제(Sanitization) 과정을 거칩니다. 생성된 코드의 구문(Syntax), 의미(Semantic), 실행 동작 및 커버리지를 철저히 분석하여 문제가 있는 프로그램을 걸러내고 유효한 퍼즈 드라이버만 추출합니다.
PromptFuzz의 전체 워크플로우 다이어그램
Diagram라이브러리에서 API와 타입을 추출하여 LLM에 프롬프트를 전달하고, 생성된 프로그램을 구문·의미·실행 단위로 정제한 뒤 커버리지 기반으로 프롬프트를 변이시키는 루프 구조를 보여줍니다. 최종적으로 응축된 퍼즈 드라이버가 생성되는 과정을 시각화했습니다.
통계적 추론을 통해 API 제약 조건을 파악하고 고정된 인자를 퍼저로부터 전달받는 무작위 바이트로 확장합니다. 이를 통해 단순한 함수 호출 생성을 넘어 실제 퍼징 엔진이 다양한 입력값을 주입할 수 있는 동적인 테스트 환경을 구축합니다.
테스트 결과 200만 라인 이상의 코드 규모를 가진 라이브러리들에서 평균 40.12%의 브랜치 커버리지를 기록했습니다. 이는 업계 표준인 OSS-Fuzz(24.88%)와 Hopper(24.05%)를 크게 상회하는 수치로 LLM 기반 접근법의 효율성을 입증했습니다.
다양한 라이브러리에 대한 PromptFuzz의 성능 비교 표
Chartcurl, sqlite3, zlib 등 14개 주요 라이브러리에 대해 PromptFuzz가 생성한 프로그램 수, 비용, 브랜치 커버리지를 OSS-Fuzz 및 Hopper와 비교한 수치를 담고 있습니다. PromptFuzz가 대부분의 항목에서 가장 높은 커버리지와 버그 탐지 수를 기록했음을 증명합니다.
근거
  • PromptFuzz는 테스트된 라이브러리에서 40.12%의 브랜치 커버리지를 달성하여 OSS-Fuzz보다 1.61배 높은 성능을 보였다. — Table 1: Overall results for PromptFuzz-generated fuzz drivers 및 본문 서술 출처
  • PromptFuzz는 49개의 고유한 크래시 중 33개의 유효한 보안 버그를 탐지했다. — Trophy 섹션 및 Table 1 하단 요약

기술

  • Rust
  • LLVM 18
  • AFLPlusPlus
  • LibFuzzer
  • OpenAI API
  • async_openai

활용 사례

  • 오픈소스 라이브러리 보안 취약점 자동 탐지
  • 복잡한 C/C++ API의 테스트 케이스 자동 생성
  • CI/CD 파이프라인 내 자동화된 퍼징 테스트 통합
AI 분석 전체 내용 보기

AI 요약 · 북마크 · 개인 피드 설정 — 무료

출처 · 인용 안내

원문 발행 2026. 04. 25.수집 2026. 04. 25.출처 타입 RSS

인용 시 "요약 출처: AI Trends (aitrends.kr)"를 표기하고, 사실 확인은 원문 보기 기준으로 진행해 주세요. 자세한 기준은 운영 정책을 참고해 주세요.