RESEARCH STATUS / 2026.10.31

과거 V8 버그에서
검증 가능한 퍼징으로.

공개 CVE의 실패 메커니즘을 역사적 빌드에서 확인하고, 현재 V8과 Fuzzilli에서 실행할 전략으로 옮깁니다. 실험의 실행 가능성, 메커니즘 도달, 실제 버그 발견을 서로 다른 증거로 기록합니다.

실험 결과 보기 ↗연구 흐름 살펴보기 →

LAB / EVIDENCE TRACECURRENT

01
HISTORICAL CVEparent ↔ fix replay
VERIFIED
02
CURRENT MAPPINGV8 source + invariant
TRACED
03
FUZZILLI STRATEGY12 smoke-verified generators
RUNNING
04
INDEPENDENT FINDINGreproduce + human review
0 FOUND

case → hypothesis → mapping → strategy → campaign → run → finding → report

12smoke-verified generator

17온보딩된 CVE case

9/9external-holdout 양수 pair

0독립 검증 신규 버그

OVERVIEW

이 프로젝트는 무엇인가

공개된 과거 V8 CVE의 실패 메커니즘을 역사적 빌드(부모↔fix)에서 검증하고, 현재 V8에 남은 불변식을 Fuzzilli generator로 이식한 뒤, LLM 에이전트의 피드백 적응(B2)이 기본 퍼징(B0)·CVE 전략 고정(B1)을 측정 가능하게 넘어서는지를 버전·예산·corpus를 동결한 공정 비교로 평가합니다. CVE별 paired 비교는 6개 campaign·18개 repetition까지 완료됐습니다. 최종 external holdout에서 B2는 선택한 target의 도달을 9/9 pair에서 늘렸지만 일반 coverage·corpus·interesting sample 우월성은 0/3 campaign에서 지지되지 않았습니다.

연구 설계

증거 계보와 동결된 비교

제어면·증거 계보·검증 기준과 실험 반복에서 holdout까지.

살펴보기 →

실험 결과

6 campaigns · 18 pairs

CVE별 B0/B1/B2 수치, 비용, 일반화 한계와 최종 판정.

수치 보기 ↗

CVE 기록

17 CVE cases

최신 종합 보고서와 CVE별 분석·실행 결과로 연결.

기록 보기 →

QUICKSTART / ACCEPTANCE VERIFIED

후보 수집부터 500-sample smoke 보고서까지 한 명령으로 검증했습니다.