CVE-2026-31431 — Linux 커널 `algif_aead` "Copy Fail": 분석

CVE-2026-31431(CVSS 3.1 7.8 HIGH, AV:L/AC:L/PR:L/UI:N/S:U/C:H/I:H/A:H)에 대한 보안 연구: AF_ALG AEAD 인터페이스 체인의 세 가지 조합 가능한 설계 결함이 **결정적이고 경쟁 조건이 없는 4바이트 페이지 캐시 쓰기(읽기 가능한 모든 파일의 임의 오프셋)**로 이어집니다 — 디스크 복사본은 깨끗하게 유지되므로 온디스크 체크섬은 아무것도 감지하지 못합니다. 공개 익스플로잇("Copy Fail", Theori/Xint)은 732바이트의 Python으로 이를 로컬 루트(LPE)로 전환합니다. 이 버그는 2017년부터 2026년까지 모든 커널에 존재했습니다.

72548b093ee3(2017)은 _aead_recvmsg가 제자리에서(in-place) 복호화하도록 만들어 요청의 태그 페이지를 쓰기 가능한 대상 SGL에 연결했습니다.
splice(file → pipe → socket)은 해당 태그 슬롯에 읽기 가능한 모든 파일의 페이지 캐시 페이지를 공급합니다(제로 카피).
authencesn은 4바이트 ESN 스크래치 — 그 값은 sendmsg 페이로드의 AAD[4..8)에 실려 옵니다 — 를 정확히 dst[assoclen + cryptlen], 즉 첫 번째 태그 바이트(선택한 파일 오프셋)에 씁니다. 이는 태그 검증 발생하므로 요청조차도 쓰기를 수행합니다.

주장	증거
근본 원인은 블로그가 아닌 수정 커밋과 커널 소스에서 도출됨	finding-sheet
공개 PoC 디코딩이 syscall 시퀀스에 대해 종단 간 검증됨	finding-sheet
델타가 정확히 수정 커밋인 랩 A/B 커널, 둘 다 부팅됨	`lab/scripts/build.sh` + `lab/out/ab-diffstat.txt`
취약 커널이 AF_ALG를 통해 `authencesn` AEAD 복호화를 실행함(스모크)	`lab/scripts/run.sh vuln` → `SMOKE=ok`
동반 커밋 없는 되돌리기가 `crypto_authenc_esn_decrypt`에서 패닉 발생(원래 발견)	`lab/scripts/run.sh patched` → NULL 역참조, 재현 가능
안전한 탐지기: 취약 커널에서 VULNERABLE(EBADMSG에도 쓰기 발생, 디스크 CLEAN 유지), 전체 수정에서 NOT-DETECTED	랩의 `poc/detector.c` → `DETECTOR-RESULT` 라인
랩 내 LPE 완결: uid 1000이 SUID 바이너리의 페이지 캐시 4바이트를 패치하고 root 전용 플래그를 읽음; 블록 레벨 debugfs 읽기를 통해 디스크 복사본이 원본임이 입증됨	`poc/lpe.c` + `lab/rootfs/tools/secretgate.c` → `LPE-RESULT: ROOT-FLAG-CAPTURED`, `DISKCLEAN=ok`
고정된 랩에서 공개 페이지 캐시 쓰기를 출처 표기와 함께 재현	위 탐지기 출력 + lab README
SGL 스트레스: 두 커널에서 5가지 형태 — 충돌 없음, 커널 중단 없음(정직한 부정 결과) + 문서화된 AF_ALG 계약 특이점 2건	랩의 `poc/sgl-stress.c` → `SGL-STRESS` 라인

문서	설명
docs/finding-sheet.md	한 페이지 데이터시트: 버전, CVSS, 근본 원인, 수정 커밋, 공격 표면
docs/report-ptes.md	PTES 구조 보고서(7단계) + 랩 증거
docs/research-writeup.md	조사 내러티브 — 방법론, 막다른 길, 이식 가능한 교훈, 선행 연구 비교

cve-2026-31431

인기

검증 매트릭스

빠른 시작

기존 연구 대비 이 저장소의 독창성

문서

저장소 구조

참고 자료