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