verified
공개 입력 또는 제한된 authored oracle로 parent/fix 경계를 평가한 상태입니다.
CVE-2024-3832
Wasm JSPI object selection.
external holdout 증거 집단의 case입니다. 각 단계의 완료·미실행·비적용 상태를 분리해 표시합니다.
EVIDENCE GATES
현재 증거 상태
surface retired
현재 V8에 남은 불변식·표면과 실행 도달 여부입니다.
비적용
Fuzzilli 전략의 방출·유효 실행·구조 hit 검증 상태입니다.
CVE campaign 비적용
완료된 B0/B1/B2 outcome 또는 비적용·보류 근거입니다.
GENERATOR SMOKE RESULT
정량 smoke 결과 없음
비적용. 현재 공개 근거에 구조화된 smoke 지표가 없으므로 값을 추정하지 않습니다.
B0 / B1 / B2 RESULTS
Arm별 실행 상태
값이 없는 arm은 0이 아니라 미실행·보류·비적용입니다.
| arm | 상태 | 근거 | ||||||
|---|---|---|---|---|---|---|---|---|
| B0 | 비적용 | CVE campaign 비적용 | ||||||
| B1 | 비적용 | CVE campaign 비적용 | ||||||
| B2 | 비적용 | CVE campaign 비적용 | ||||||
CASE-LEVEL INTERPRETATION
이 CVE가 연구 질문에 주는 답
개별 case의 증거 역할을 표시합니다. 개발·holdout·external holdout을 서로 같은 확증 수준으로 합치지 않습니다.
RQ1 · 안전한 CVE 전이역사만 검증
역사 재현은 verified이지만 current surface가 제거되어 현재 generator 전이에는 적용하지 않습니다.
RQ2 · 목표 재배분미평가
완료된 B0/B1/B2 outcome이 없어 목표 재배분 효과를 판정하지 않습니다: CVE campaign 비적용.
RQ3 · 일반 효과 전이미평가
Paired arm 결과가 없으므로 coverage·corpus·interesting의 전이 효과도 판정하지 않습니다.
RQ4 · Rollback미평가
실행된 비교 campaign의 rollback 기록이 없어 CVE별 판정을 내리지 않습니다.
주장 경계
Target hit 증가는 선택한 current-V8 구조의 도달 증가입니다. Live vulnerability 재발견, exploitability 또는 신규 버그 발견을 뜻하지 않습니다.
근거 기준 87a31f2eaa10. 원본 분석은 권한 보유자가 CVE-2024-3832 연구 폴더에서 확인할 수 있습니다. Target hit과 smoke는 live vulnerability 또는 신규 버그 주장이 아닙니다.