developmentmigrated
CVE-2020-6418
TurboFan receiver-map
- RQ2·RQ3
- 미실행 / 미평가
CVE별 증거와
현재 상태.
역사적 parent/fix 차이와 현재 V8용 전략의 상태를 구분합니다. 아래는 CVE 연구 기록이며 새 취약점 보고서 목록이 아닙니다.
PUBLIC REPORTS
권한 없이 읽을 수 있는 최종 판정
핵심 보고서는 이 공개 사이트 안에서 제공합니다. 비공개 연구 저장소 링크는 provenance 확인이 필요한 권한 보유자를 위한 보조 링크입니다.
PORTFOLIO PROGRESS
17개 CVE case의 현재 단계
온보딩은 실행 완료를 뜻하지 않습니다. migrated, 역사 검증만 완료, 연결·보류, 제외를 분리해 표시합니다.
10migrated3historical verified2linked1deferred1excluded
- migrated10건
- historical verified3건
- linked2건
- deferred1건
- excluded1건
LATEST CASE / CVE-2023-2033
Error stack/global proxy generator smoke와 캠페인 동결까지 완료했습니다.
역사적 구조 차등 3/3, current mapping verified, 500-iteration smoke target hit 172와 27/27 변형 조합을 확인했습니다. Development B0/B1/B2 v1은 동결됐으며 실제 실행·집계는 다음 단계입니다.
CVE METRICS & RQ INDEX
각 CVE의 그래프와 연구질문 해석
완료 case는 RQ2 target 효과와 RQ3 일반 효과를 바로 표시합니다. 카드를 선택하면 smoke, B0/B1/B2 그래프와 RQ1~RQ4 전체 해석으로 이동합니다.
developmentmigrated
CVE-2022-4262
Parser eval-scope
- RQ2·RQ3
- 미실행 / 미평가
developmentmigrated
CVE-2023-4070
Wasm Liftoff alias
- RQ2·RQ3
- 미실행 / 미평가
cross-family developmentmigrated
CVE-2023-4068
Wasm GC default reference
- RQ2 목표 재배분
- 지원 · +22
- RQ3 일반 효과
- 미지지
자료 부족excluded
CVE-2024-0519
공개 replay oracle 부족
- RQ2·RQ3
- 비적용 / 미평가
developmentmigrated
CVE-2020-16040
TurboFan integer truncation
- RQ2·RQ3
- 미실행 / 미평가
invariant-onlylinked
CVE-2024-0517
Maglev allocation folding
- RQ2·RQ3
- 미실행 / 미평가
developmentmigrated
CVE-2024-5838
Wasm import/JSPI wrapper
- RQ2 목표 재배분
- 지원 · +10
- RQ3 일반 효과
- 탐색적 양성
developmentlinked
CVE-2023-3420
TurboFan loop stack-check
- RQ2·RQ3
- 미실행 / 미평가
developmenthistorical_verified
CVE-2023-2033
Error stack/global proxy
- RQ2·RQ3
- 미실행 / 미평가
holdoutmigrated
CVE-2023-4069
Maglev initial-map validity
- RQ2 목표 재배분
- 지원 · +19
- RQ3 일반 효과
- 미지지
external holdoutmigrated
CVE-2021-38003
JSON exception path
- RQ2 목표 재배분
- 지원 · +17
- RQ3 일반 효과
- 미지지
external holdoutmigrated
CVE-2021-21225
Array concat/species
- RQ2 목표 재배분
- 지원 · +37
- RQ3 일반 효과
- 미지지
external holdoutmigrated
CVE-2022-1134
super IC/API getter
- RQ2 목표 재배분
- 지원 · +48
- RQ3 일반 효과
- 미지지
external holdouthistorical_verified
CVE-2024-3832
Wasm JSPI object selection
- RQ2·RQ3
- 비적용 / 미평가
external holdouthistorical_verified
CVE-2024-3833
Wasm type-reflection collision
- RQ2·RQ3
- 비적용 / 미평가
external holdoutlinked / deferred
CVE-2022-1096
Blink interceptor boundary
- RQ2·RQ3
- 보류 / 미평가
CONFIRMATORY CASES
External holdout 세 계열
역사 재현, current mapping, bounded generator, 동일 설계 B0/B1/B2 비교까지 연결된 사례입니다.
JSON EXCEPTION PATHMIGRATED
CVE-2021-38003
동결된 external-holdout 비교에서 B2−B1 target hit이 [17, 1, 42]로 세 반복 모두 양수였습니다.
ARRAY SPECIESMIGRATED
CVE-2021-21225
동결된 external-holdout 비교에서 B2−B1 target hit이 [37, 1, 37]로 세 반복 모두 양수였습니다.
SUPER IC/API GETTERMIGRATED
CVE-2022-1134
동결된 external-holdout 비교에서 B2−B1 target hit이 [32, 48, 51]로 세 반복 모두 양수였습니다.
ALL CASES
온보딩된 CVE case 17건
각 case의 역사 재현, current mapping, generator, paired 비교 단계를 별도로 표시합니다. 같은 sibling cluster도 CVE ID별 case로 세며, 이 수는 서로 독립적인 취약점 계열 수를 뜻하지 않습니다.
| CVE | 메커니즘 | 증거 역할 | 역사 재현 | Current mapping | Generator | 비교 / 처분 |
|---|---|---|---|---|---|---|
| CVE-2020-6418그래프·RQ 해석 → | TurboFan receiver-map | development | verified | verified | smoke 완료 | 공동 development campaign 포함 |
| CVE-2022-4262그래프·RQ 해석 → | Parser eval-scope | development | verified | verified | smoke 완료 | 공동 development campaign 포함 |
| CVE-2023-4070그래프·RQ 해석 → | Wasm Liftoff alias | development | verified | verified | smoke 완료 | 장기·교차계열 campaign 포함 |
| CVE-2023-4068그래프·RQ 해석 → | Wasm GC default reference | cross-family development | verified | verified | smoke 완료 | B2−B1 [24, 22, 20] · 중앙값 +22 |
| CVE-2024-0519그래프·RQ 해석 → | 공개 replay oracle 부족 | 자료 부족 | oracle 없음 | 미실행 | 미실행 | 제외 |
| CVE-2020-16040그래프·RQ 해석 → | TurboFan integer truncation | development | verified | verified | smoke 완료 | 후속 paired 비교 대기 |
| CVE-2024-0517그래프·RQ 해석 → | Maglev allocation folding | invariant-only | 차등 미재현 | verified | smoke 완료 | calibration pilot만 완료 |
| CVE-2024-5838그래프·RQ 해석 → | Wasm import/JSPI wrapper | development | verified | verified | smoke 완료 | B2−B1 [2, 10, 20] · 중앙값 +10 |
| CVE-2023-3420그래프·RQ 해석 → | TurboFan loop stack-check | development | fix-diff only | present_refactored | 방출 smoke 완료 | paired 비교 미실행 |
| CVE-2023-2033그래프·RQ 해석 → | Error stack/global proxy | development | 3/3 구조 차등 | verified | smoke 완료 · target 172 | B0/B1/B2 v1 동결 · 실행 대기 |
| CVE-2023-4069그래프·RQ 해석 → | Maglev initial-map validity | holdout | verified | verified | smoke 완료 | B2−B1 [17, 24, 19] · 중앙값 +19 · transfer [3,5,5] · rollback 완료 |
| CVE-2021-38003그래프·RQ 해석 → | JSON exception path | external holdout | verified | verified | smoke 완료 | B2−B1 [17, 1, 42] · 중앙값 +17 |
| CVE-2021-21225그래프·RQ 해석 → | Array concat/species | external holdout | verified | verified | smoke 완료 | B2−B1 [37, 1, 37] · 중앙값 +37 |
| CVE-2022-1134그래프·RQ 해석 → | super IC/API getter | external holdout | verified | verified | smoke 완료 | B2−B1 [32, 48, 51] · 중앙값 +48 |
| CVE-2024-3832그래프·RQ 해석 → | Wasm JSPI object selection | external holdout | verified | surface retired | 비적용 | CVE campaign 비적용 |
| CVE-2024-3833그래프·RQ 해석 → | Wasm type-reflection collision | external holdout | verified | surface retired | 비적용 | 3832 sibling cluster |
| CVE-2022-1096그래프·RQ 해석 → | Blink interceptor boundary | external holdout | 차등 없음 | Blink lane 필요 | 보류 | Blink replay 확보 전 보류 |
STATUS CONTRACT
상태를 읽는 법
candidate→linked→historical_verified→migrated→approved
실행 중 관찰한 crash는 별도 candidate입니다. 최소화, 중복 검토, 독립 재현과 사람 검토를 마치기 전에는 검증된 bug 수에 넣지 않습니다.
PROVENANCE SOURCES
권한 보유자용 원본 링크
아래 링크는 비공개 연구 저장소 접근 권한이 필요합니다.
v8-fuzz-lab의 포트폴리오 최종 보고서 v2, 연구질문 최종 판정 v2, cve/index.md와 각 historical replay·mapping·strategy·holdout 보고서를 기준으로 했습니다.