실험 결과와
주장의 경계.
2026년 10월 31일 기준 완료된 external holdout과 최신 포트폴리오 판정을 표시합니다. target hit은 수정된 current V8의 메커니즘 도달이며 새 취약점 발견이 아닙니다.
EXTERNAL HOLDOUT / FINAL
선택한 target 도달은 반복적으로 증가했습니다
정책을 holdout 결과에 맞춰 다시 조정하지 않고, 동일한 neutral corpus 기반 9-arm 설계를 세 메커니즘 계열에 적용했습니다.
최종 판정 / TARGET ADAPTATION SUPPORTED · GENERAL SUPERIORITY UNSUPPORTED
Codex-guided B2는 선택한 generator에 실행 노력을 재배분했습니다.
세 external holdout의 9개 pair가 모두 양수였고 누적 target-hit delta는 +266입니다. 그러나 세 primary campaign 모두 일반 coverage·corpus·interesting sample의 방향 독립적 개선을 지지하지 않았고, 독립 검증 신규 버그도 0건입니다.
PAIRED RESULTS
External-holdout target 효과
각 셀은 같은 반복에서의 B2−B1 완전 구조 hit 차이입니다. 일반 퍼징 지표와 분리해 읽어야 합니다.
| CVE / 메커니즘 | paired delta | 중앙값 | 일반 효과 |
|---|---|---|---|
| CVE-2021-38003 · JSON exception path | [17, 1, 42] | +17 | 미지지 |
| CVE-2021-21225 · Array species | [37, 1, 37] | +37 | 미지지 |
| CVE-2022-1134 · super IC/API getter | [32, 48, 51] | +48 | 미지지 |
ALL COMPLETED PAIRED CAMPAIGNS
완료된 CVE 비교 전체
개발·holdout·external holdout을 한 화면에 표시하되 증거 역할은 합치지 않습니다. 막대는 각 반복의 B2−B1 target-hit 차이이며 최댓값 +51을 공통 축으로 사용합니다.
CVE-2023-4068Wasm GC default reference · cross-family development
중앙값+22
CVE-2023-4069Maglev initial-map validity · holdout
중앙값+19
CVE-2024-5838Wasm import/JSPI wrapper · development
중앙값+10
CVE-2021-38003JSON exception path · external holdout
중앙값+17
CVE-2021-21225Array species · external holdout
중앙값+37
CVE-2022-1134super IC/API getter · external holdout
중앙값+48
| CVE / 메커니즘 | 증거 역할 | paired delta | 중앙값 | 일반 효과 |
|---|---|---|---|---|
| CVE-2023-4068Wasm GC default reference | cross-family development | [24, 22, 20] | +22 | 미지지 |
| CVE-2023-4069Maglev initial-map validity | holdout | [17, 24, 19] | +19 | 미지지 |
| CVE-2024-5838Wasm import/JSPI wrapper | development | [2, 10, 20] | +10 | 지원 |
| CVE-2021-38003JSON exception path | external holdout | [17, 1, 42] | +17 | 미지지 |
| CVE-2021-21225Array species | external holdout | [37, 1, 37] | +37 | 미지지 |
| CVE-2022-1134super IC/API getter | external holdout | [32, 48, 51] | +48 | 미지지 |
GENERAL FUZZING METRICS
Target 증가와 일반 성능은 다릅니다
각 패널은 campaign별 B2−B1 중앙값입니다. 중앙선 오른쪽은 증가, 왼쪽은 감소입니다. 서로 단위가 달라 패널 간 막대 길이는 비교하지 않습니다.
유의미 샘플 B2−B1 · 개
2023-4068-46개
2023-4069-69개
2024-5838+66개
2021-38003-214개
2021-21225+8개
2022-1134+86개
말뭉치 성장 B2−B1 · 개
2023-4068-41개
2023-4069-38개
2024-5838+8개
2021-38003-104개
2021-21225-40개
2022-1134+58개
커버리지 B2−B1 · %p
2023-4068+0.12%p
2023-4069-0.10%p
2024-5838+0.09%p
2021-38003-0.21%p
2021-21225-0.06%p
2022-1134-0.05%p
해석
Target hit은 18/18 pair에서 증가했지만 일반 지표의 방향은 섞였습니다.
Development CVE-2024-5838은 세 일반 지표가 양수였지만, 동결된 external holdout 세 캠페인은 coverage·corpus·interesting의 일관된 동시 개선을 재현하지 못했습니다. 따라서 일반 퍼저 우월성은 계속 미지지입니다.
COST & SAFETY
효과와 비용을 함께 기록합니다
QUICKSTART ACCEPTANCE
실제 2024 smoke 경로도 검증했습니다
후보 수집 → lineage gate → candidate-pinned runtime → Fuzzilli smoke → run/finding/report 생성을 한 명령으로 완료했습니다.
| 후보 | 규모 | 결과 | 판정 |
|---|---|---|---|
| CVE-2024-5838WasmImportWrapperJSPIGenerator | 500 samples 16,235 executions | valid 474 · interesting 304 · coverage 4.47% · crash 0 | 통합 수용 통과 |
INTERPRETATION
이 수치가 말하지 않는 것
Target hit ≠ 취약점
목표 구조를 생성하거나 현재 빌드에서 실행했다는 관찰은 새 버그 발견이 아닙니다.
0 crash ≠ 안전성
관찰된 예산에서 crash가 없었다는 뜻입니다. finding은 생성되지 않았습니다.
Coverage ≠ 적응 효과
Fuzzilli 내부 entropy와 희박한 generator 호출 때문에 작은 차이를 Agent의 인과 효과로 해석할 수 없습니다.
v8-fuzz-lab의 report/cve-portfolio-final-report-v2.md, report/research-question-verdict-v2.md, CVE-2023-4068·4069·2024-5838 paired 보고서, external-holdout 세 캠페인 보고서, quickstart-2024-acceptance-2026-10-31.md. 탐색적 sign test는 공유 인프라의 독립성 한계 때문에 보조 기술통계로만 사용합니다.