flawopen.com/Teardowns/cve-2024-26585-linux-tls-zerocopy-use-after-free
vulnerabilidade 소스 코드 심층 기술 분석 및 시스템 보안 강화 가이드: 취약점 근본 원인과 패치 메커니즘 분석.
직관적인 현실 비유 설명: Imagine you order a meal for delivery. The chef starts cooking, but you call and cancel the order. Because the kitchen staff wasn't notified properly, the delivery driver picks up an empty plate, drives to a new customer's house, and serves them whatever was left on the counter, contaminating the new customer's food.
Kernel TLS (kTLS)Zero-Copy NetworkingAsynchronous Crypto (aead_request)Slab Corruptionkmalloc-512), destabilizing kernel execution.근본 원인은 오픈 소스 시스템의 검증되지 않은 경계 매개변수로 인해 상태 비동기화 및 보안 제어 우회가 발생한 데 있습니다.
기술적 취약점 악용 메커니즘 및 상세 실행 경로: The attacker creates a TLS socket and enables kernel encryption offload via setsockopt(TCP_ULP, "tls").
기술적 취약점 악용 메커니즘 및 상세 실행 경로: The attacker sends data using MSG_ZEROCOPY, queuing pages for hardware crypto.
기술적 취약점 악용 메커니즘 및 상세 실행 경로: The attacker closes the socket before the crypto accelerator completes its async callback.
기술적 취약점 악용 메커니즘 및 상세 실행 경로: The cleanup handler frees memory pages that the delayed hardware callback subsequently overwrites.
// VULNERABLE: net/tls/tls_sw.c before patch
static void tls_encrypt_done(void *data, int err) {
struct tls_context *ctx = data;
struct tls_sw_context_tx *ctx_tx = tls_sw_ctx_tx(ctx);
// ROOT CAUSE:
// Asynchronous completion callback assumes socket context is still locked!
// If the socket was closed while crypto was in flight, ctx_tx is already freed!
clear_bit(TLS_TX_SYNC_MORE, &ctx_tx->tx_bitmask);
tls_free_open_rec(ctx);
}
// SECURE: net/tls/tls_sw.c patch
static void tls_encrypt_done(void *data, int err) {
struct tls_context *ctx = data;
// 1. Verify context reference counter before dereferencing context pointers
if (!refcount_inc_not_zero(&ctx->refcount)) {
return; // Socket is already dying, abort callback safely!
}
struct tls_sw_context_tx *ctx_tx = tls_sw_ctx_tx(ctx);
clear_bit(TLS_TX_SYNC_MORE, &ctx_tx->tx_bitmask);
tls_free_open_rec(ctx);
// 2. Drop reference cleanly
refcount_dec(&ctx->refcount);
}
refcount_inc_not_zero() on shared context handles inside asynchronous completion handlers을(를) 사용하십시오.