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