verified
공개 입력 또는 제한된 authored oracle로 parent/fix 경계를 평가한 상태입니다.
CVE-2024-5838
Wasm import/JSPI wrapper.
development 증거 집단의 case입니다. 각 단계의 완료·미실행·비적용 상태를 분리해 표시합니다.
EVIDENCE GATES
현재 증거 상태
verified
현재 V8에 남은 불변식·표면과 실행 도달 여부입니다.
smoke 완료
Fuzzilli 전략의 방출·유효 실행·구조 hit 검증 상태입니다.
B2−B1 [2, 10, 20] · 중앙값 +10
완료된 B0/B1/B2 outcome 또는 비적용·보류 근거입니다.
GENERATOR SMOKE RESULT
현재 확보된 실행 지표
이 값은 generator 방출·유효 실행·구조 도달을 확인하는 smoke 결과이며 B0/B1/B2 비교 결과와 별개입니다.
B0 / B1 / B2 RESULTS
Arm별 실행 지표
development · CVE-2024-5838-b012-development-v1.1
반복별 target hit
모든 arm을 같은 0–20 축에 표시합니다. 막대 길이와 우측 정확값을 함께 읽으세요.
B0 baselineB1 fixedB2 adaptive
R1
B00
B10
B22
R2
B00
B13
B213
R3
B00
B10
B220
020
반복별 전체 수치 표 보기
| 반복 | arm | Target hit | Executions | Interesting | Corpus | Coverage | Crash | Timeout |
|---|---|---|---|---|---|---|---|---|
| R1 | B0 | 0 | 91,115 | 2,593 | 933 | 7.52% | 0 | — |
| R1 | B1 | 0 | 90,161 | 2,628 | 982 | 7.5% | 0 | — |
| R1 | B2 | 2 | 91,453 | 2,694 | 990 | 7.19% | 0 | — |
| R2 | B0 | 0 | 90,404 | 2,591 | 944 | 7.29% | 0 | — |
| R2 | B1 | 3 | 91,501 | 2,601 | 960 | 7.25% | 0 | — |
| R2 | B2 | 13 | 89,185 | 2,630 | 928 | 7.59% | 0 | — |
| R3 | B0 | 0 | 90,385 | 2,641 | 978 | 7.48% | 0 | — |
| R3 | B1 | 0 | 93,430 | 2,535 | 916 | 7.53% | 0 | — |
| R3 | B2 | 20 | 91,263 | 2,605 | 953 | 7.62% | 0 | — |
PAIRED OUTCOME
B2−B1 target hit
같은 반복의 B2와 B1을 짝지어 계산합니다.
R1+2
R2+10
R3+20
CASE-LEVEL INTERPRETATION
이 CVE가 연구 질문에 주는 답
개별 case의 증거 역할을 표시합니다. 개발·holdout·external holdout을 서로 같은 확증 수준으로 합치지 않습니다.
RQ1 · 안전한 CVE 전이연결 완료
역사 verified → current mapping verified → smoke target hit 37의 계보가 연결됐습니다.
RQ2 · 목표 재배분지원
B2−B1 target hit은 [2, 10, 20], 중앙값 +10, 양수 3/3입니다.
RQ3 · 일반 효과 전이탐색적 양성
Interesting +66, corpus +8, coverage +0.09%p입니다. 개발 자료이므로 confirmatory 일반 우월성 주장에는 포함하지 않습니다.
RQ4 · Rollback개별 판정 없음
이 CVE 공개 보고서에는 rollback 개별 판정이 없습니다. 관찰 arm의 crash 합계는 0입니다.
주장 경계
Target hit 증가는 선택한 current-V8 구조의 도달 증가입니다. Live vulnerability 재발견, exploitability 또는 신규 버그 발견을 뜻하지 않습니다.
근거 기준 87a31f2eaa10. 원본 분석은 권한 보유자가 CVE-2024-5838 연구 폴더에서 확인할 수 있습니다. Target hit과 smoke는 live vulnerability 또는 신규 버그 주장이 아닙니다.