verified
공개 입력 또는 제한된 authored oracle로 parent/fix 경계를 평가한 상태입니다.
CVE-2023-4069
Maglev initial-map validity.
holdout 증거 집단의 case입니다. 각 단계의 완료·미실행·비적용 상태를 분리해 표시합니다.
EVIDENCE GATES
현재 증거 상태
verified
현재 V8에 남은 불변식·표면과 실행 도달 여부입니다.
smoke 완료
Fuzzilli 전략의 방출·유효 실행·구조 hit 검증 상태입니다.
B2−B1 [17, 24, 19] · 중앙값 +19 · transfer [3,5,5] · rollback 완료
완료된 B0/B1/B2 outcome 또는 비적용·보류 근거입니다.
GENERATOR SMOKE RESULT
현재 확보된 실행 지표
이 값은 generator 방출·유효 실행·구조 도달을 확인하는 smoke 결과이며 B0/B1/B2 비교 결과와 별개입니다.
B0 / B1 / B2 RESULTS
Arm별 실행 지표
holdout · CVE-2023-4069-b012-full-v1
반복별 target hit
모든 arm을 같은 0–26 축에 표시합니다. 막대 길이와 우측 정확값을 함께 읽으세요.
B0 baselineB1 fixedB2 adaptive
R1
B00
B13
B220
R2
B00
B12
B226
R3
B00
B10
B219
026
반복별 전체 수치 표 보기
| 반복 | arm | Target hit | Executions | Interesting | Corpus | Coverage | Crash | Timeout |
|---|---|---|---|---|---|---|---|---|
| R1 | B0 | 0 | 91,045 | 2,323 | 934 | 6.96% | 0 | — |
| R1 | B1 | 3 | 90,487 | 2,262 | 889 | 6.93% | 0 | — |
| R1 | B2 | 20 | 90,898 | 2,178 | 851 | 6.9% | 0 | — |
| R2 | B0 | 0 | 90,149 | 2,285 | 912 | 6.81% | 0 | — |
| R2 | B1 | 2 | 90,114 | 2,235 | 880 | 7.32% | 0 | — |
| R2 | B2 | 26 | 91,670 | 2,166 | 840 | 7.22% | 0 | — |
| R3 | B0 | 0 | 90,225 | 2,327 | 929 | 6.85% | 0 | — |
| R3 | B1 | 0 | 90,597 | 2,159 | 847 | 7.47% | 0 | — |
| R3 | B2 | 19 | 93,644 | 2,206 | 883 | 7.24% | 0 | — |
PAIRED OUTCOME
B2−B1 target hit
같은 반복의 B2와 B1을 짝지어 계산합니다.
R1+17
R2+24
R3+19
CASE-LEVEL INTERPRETATION
이 CVE가 연구 질문에 주는 답
개별 case의 증거 역할을 표시합니다. 개발·holdout·external holdout을 서로 같은 확증 수준으로 합치지 않습니다.
RQ1 · 안전한 CVE 전이연결 완료
역사 verified → current mapping verified → smoke target hit 146의 계보가 연결됐습니다.
RQ2 · 목표 재배분지원
B2−B1 target hit은 [17, 24, 19], 중앙값 +19, 양수 3/3입니다.
RQ3 · 일반 효과 전이미지지
Interesting -69, corpus -38, coverage -0.10%p입니다. 지표 방향이 일관되지 않아 일반 퍼징 우월성을 지지하지 않습니다.
RQ4 · Rollback평가 기록 있음
Rollback 평가 기록이 있습니다. 관찰 arm의 crash 합계는 0이며, 이는 일반 성능 개선 증거와는 별개입니다.
주장 경계
Target hit 증가는 선택한 current-V8 구조의 도달 증가입니다. Live vulnerability 재발견, exploitability 또는 신규 버그 발견을 뜻하지 않습니다.
근거 기준 87a31f2eaa10. 원본 분석은 권한 보유자가 CVE-2023-4069 연구 폴더에서 확인할 수 있습니다. Target hit과 smoke는 live vulnerability 또는 신규 버그 주장이 아닙니다.