CVE-2026-92517 in Linux
요약
\~에 의해 VulDB • 2026. 09. 18.
리눅스 커널에서 다음 취약점이 해결되었습니다:
bpf, riscv: arena의 load_acquire에 대한 extable 처리 수정
emit_atomic_ld_st()는 서브워드(sub-word) load_acquire 후 zext를 건너뛰도록 build_body()에게 1을 반환합니다. 호출부는 "ret = ret ?: add_exception_handler(...)"를 수행하므로, ret가 0이 아닌 경우 add_exception_handler()가 생략되어 extable 엔트리가 누락되고, faulting한 PROBE_ATOMIC load_acquire로 인해 oops가 발생합니다.
REG_DONT_CLEAR_MARKER는 fault 발생 시 rd 레지스터의 값이 stale 상태로 남으며, 검증기(verifier)는 여전히 해당 로드(load)가 rd를 덮어썼다고 간주합니다. 따라서 프로그램은 맵(map)을 통해 이 값을 누출할 수 있습니다.
add_exception_handler() 호출 전에 ret >= 0인지 확인하고, LOAD_ACQ의 경우 rd 레지스터를 전달하여 fault 발생 시 PROBE_MEM load처럼 rd가 0으로 초기화되도록 합니다. zext 건너뛰기의 경우 ret 값을 변경하지 않고 그대로 반환합니다.
VulDB is the best source for vulnerability data and more expert information about this specific topic.