🇰🇷 한글 설명
Linux 커널의 unshare(2) 함수에서 CLONE_NEWNS와 다른 네임스페이스 플래그를 함께 사용할 때, copy_mnt_ns() 실패 후 프로세스의 pwd와 root가 분리된 마운트를 가리키게 되는 취약점입니다. 이로 인해 unshare() 호출이 -ENOMEM으로 실패하면서도 프로세스가 detached isolated mounts에 남아있게 됩니다.
💡 쉬운 설명
Linux의 unshare 명령어가 특정 조건에서 프로세스의 파일시스템 경로를 유효하지 않은 위치로 남겨둘 수 있습니다. 명령어 자체는 실패하지만 프로세스의 상태는 손상된 채로 유지됩니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
unshare: fix unshare_fs() handling
There's an unpleasant corner case in unshare(2), when we have a
CLONE_NEWNS in flags and current->fs hadn't been shared at all; in that
case copy_mnt_ns() gets passed current->fs instead of a private copy,
which causes interesting warts in proof of correctness]
> I guess if private means fs->users == 1, the condition could still be true.
Unfortunately, it's worse than just a convoluted proof of correctness.
Consider the case when we have CLONE_NEWCGROUP in addition to CLONE_NEWNS
(and current->fs->users == 1).
We pass current->fs to copy_mnt_ns(), all right. Suppose it succeeds and
flips current->fs->{pwd,root} to corresponding locations in the new namespace.
Now we proceed to copy_cgroup_ns(), which fails (e.g. with -ENOMEM).
We call put_mnt_ns() on the namespace created by copy_mnt_ns(), it's
destroyed and its mount tree is dissolved, but... current->fs->root and
current->fs->pwd are both left pointing to now detached mounts.
They are pinning those, so it's not a UAF, but it leaves the calling
process with unshare(2) failing with -ENOMEM _and_ leaving it with
pwd and root on detached isolated mounts. The last part is clearly a bug.
There is other fun related to that mess (races with pivot_root(), including
the one between pivot_root() and fork(), of all things), but this one
is easy to isolate and fix - treat CLONE_NEWNS as "allocate a new
fs_struct even if it hadn't been shared in the first place". Sure, we could
go for something like "if both CLONE_NEWNS *and* one of the things that might
end up failing after copy_mnt_ns() call in create_new_namespaces() are set,
force allocation of new fs_struct", but let's keep it simple - the cost
of copy_fs_struct() is trivial.
Another benefit is that copy_mnt_ns() with CLONE_NEWNS *always* gets
a freshly allocated fs_struct, yet to be attached to anything. That
seriously simplifies the analysis...
FWIW, that bug had been there since the introduction of unshare(2) ;-/
📍 영향받는 시스템
초기 unshare(2) 도입부터 수정 전 모든 Linux 커널 버전
⚔️ 공격 벡터
로컬 공격자가 CLONE_NEWNS와 CLONE_NEWCGROUP 등의 플래그를 조합하여 unshare() 시스템 콜 실행
🛡️ 대응 방법
Linux 커널 패치 적용 (CLONE_NEWNS 플래그 설정 시 fs_struct 할당을 강제하는 수정사항)
🔧 검증 코드
현재 커널 버전을 확인합니다. 취약점 수정 커널 버전 이상으로 업데이트되어야 합니다.