포트폴리오
최종 보고서.
동결된 external-holdout 결과와 실행하지 않은 사례까지 포함한 공개 요약입니다. 원시 corpus·대형 로그·비공개 소스는 공개하지 않고 판정과 provenance 기준만 제공합니다.
최종 요약
선택한 target 적응 효과는 지원되지만 일반 퍼저 우월성은 지원되지 않습니다.
현재 포트폴리오는 17개 CVE case와 6개 완료 paired campaign을 포함합니다. 이 중 동일 설계 external holdout 3건의 9개 repetition이 모두 양수였고 pooled 중앙 target-hit 증가는 +37였습니다. 일반 coverage·corpus·interesting sample 개선을 지지한 primary campaign은 0/3, 독립 검증 신규 버그는 0건입니다.
PRIMARY ANALYSIS
External-holdout 결과
각 delta는 동일 반복의 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 | 미지지 |
COST & SAFETY
비용과 안전성
APPLICABILITY GATES
실행하지 않은 사례도 보존합니다
CVE-2023-2033
역사 차등·current mapping·generator smoke를 완료하고 B0/B1/B2 v1을 동결했습니다. 아직 실제 paired outcome은 없으므로 완료 비교 그래프에는 포함하지 않습니다.
CVE-2024-3832/3833
역사 재현에는 성공했지만 current affected surface가 제거돼 직접 generator와 CVE campaign을 만들지 않았습니다.
CVE-2022-1096
Blink CSSStyleDeclaration host-object 경계가 없는 V8-only lane에서는 차등이 없어 Blink replay lane 확보 전까지 보류했습니다.
주장 경계
Target hit은 수정된 current V8의 invariant-class reachability이며 live vulnerability·exploit primitive·신규 버그가 아닙니다.
v8-fuzz-lab 87a31f2eaa10, 포트폴리오 최종 보고서 v2와 research-question verdict v2. 정량값은 연구질문 최종 판정에서 함께 해석합니다.