Skip to content

Commit ce4a8c2

Browse files
tcp/dccp: Don't use timer_pending() in reqsk_queue_unlink().
jira VULN-8642 cve CVE-2024-50154 commit-author Kuniyuki Iwashima <[email protected]> commit e8c526f Martin KaFai Lau reported use-after-free [0] in reqsk_timer_handler(). """ We are seeing a use-after-free from a bpf prog attached to trace_tcp_retransmit_synack. The program passes the req->sk to the bpf_sk_storage_get_tracing kernel helper which does check for null before using it. """ The commit 83fccfc ("inet: fix potential deadlock in reqsk_queue_unlink()") added timer_pending() in reqsk_queue_unlink() not to call del_timer_sync() from reqsk_timer_handler(), but it introduced a small race window. Before the timer is called, expire_timers() calls detach_timer(timer, true) to clear timer->entry.pprev and marks it as not pending. If reqsk_queue_unlink() checks timer_pending() just after expire_timers() calls detach_timer(), TCP will miss del_timer_sync(); the reqsk timer will continue running and send multiple SYN+ACKs until it expires. The reported UAF could happen if req->sk is close()d earlier than the timer expiration, which is 63s by default. The scenario would be 1. inet_csk_complete_hashdance() calls inet_csk_reqsk_queue_drop(), but del_timer_sync() is missed 2. reqsk timer is executed and scheduled again 3. req->sk is accept()ed and reqsk_put() decrements rsk_refcnt, but reqsk timer still has another one, and inet_csk_accept() does not clear req->sk for non-TFO sockets 4. sk is close()d 5. reqsk timer is executed again, and BPF touches req->sk Let's not use timer_pending() by passing the caller context to __inet_csk_reqsk_queue_drop(). Note that reqsk timer is pinned, so the issue does not happen in most use cases. [1] [0] BUG: KFENCE: use-after-free read in bpf_sk_storage_get_tracing+0x2e/0x1b0 Use-after-free read at 0x00000000a891fb3a (in kfence-#1): bpf_sk_storage_get_tracing+0x2e/0x1b0 bpf_prog_5ea3e95db6da0438_tcp_retransmit_synack+0x1d20/0x1dda bpf_trace_run2+0x4c/0xc0 tcp_rtx_synack+0xf9/0x100 reqsk_timer_handler+0xda/0x3d0 run_timer_softirq+0x292/0x8a0 irq_exit_rcu+0xf5/0x320 sysvec_apic_timer_interrupt+0x6d/0x80 asm_sysvec_apic_timer_interrupt+0x16/0x20 intel_idle_irq+0x5a/0xa0 cpuidle_enter_state+0x94/0x273 cpu_startup_entry+0x15e/0x260 start_secondary+0x8a/0x90 secondary_startup_64_no_verify+0xfa/0xfb kfence-#1: 0x00000000a72cc7b6-0x00000000d97616d9, size=2376, cache=TCPv6 allocated by task 0 on cpu 9 at 260507.901592s: sk_prot_alloc+0x35/0x140 sk_clone_lock+0x1f/0x3f0 inet_csk_clone_lock+0x15/0x160 tcp_create_openreq_child+0x1f/0x410 tcp_v6_syn_recv_sock+0x1da/0x700 tcp_check_req+0x1fb/0x510 tcp_v6_rcv+0x98b/0x1420 ipv6_list_rcv+0x2258/0x26e0 napi_complete_done+0x5b1/0x2990 mlx5e_napi_poll+0x2ae/0x8d0 net_rx_action+0x13e/0x590 irq_exit_rcu+0xf5/0x320 common_interrupt+0x80/0x90 asm_common_interrupt+0x22/0x40 cpuidle_enter_state+0xfb/0x273 cpu_startup_entry+0x15e/0x260 start_secondary+0x8a/0x90 secondary_startup_64_no_verify+0xfa/0xfb freed by task 0 on cpu 9 at 260507.927527s: rcu_core_si+0x4ff/0xf10 irq_exit_rcu+0xf5/0x320 sysvec_apic_timer_interrupt+0x6d/0x80 asm_sysvec_apic_timer_interrupt+0x16/0x20 cpuidle_enter_state+0xfb/0x273 cpu_startup_entry+0x15e/0x260 start_secondary+0x8a/0x90 secondary_startup_64_no_verify+0xfa/0xfb Fixes: 83fccfc ("inet: fix potential deadlock in reqsk_queue_unlink()") Reported-by: Martin KaFai Lau <[email protected]> Closes: https://lore.kernel.org/netdev/[email protected]/ Link: https://lore.kernel.org/netdev/[email protected]/ [1] Signed-off-by: Kuniyuki Iwashima <[email protected]> Reviewed-by: Eric Dumazet <[email protected]> Reviewed-by: Martin KaFai Lau <[email protected]> Link: https://patch.msgid.link/[email protected] Signed-off-by: Jakub Kicinski <[email protected]> (cherry picked from commit e8c526f) Signed-off-by: Shreeya Patel <[email protected]>
1 parent 8bb70c3 commit ce4a8c2

File tree

1 file changed

+16
-5
lines changed

1 file changed

+16
-5
lines changed

net/ipv4/inet_connection_sock.c

Lines changed: 16 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -773,21 +773,31 @@ static bool reqsk_queue_unlink(struct request_sock *req)
773773
found = __sk_nulls_del_node_init_rcu(req_to_sk(req));
774774
spin_unlock(lock);
775775
}
776-
if (timer_pending(&req->rsk_timer) && del_timer_sync(&req->rsk_timer))
777-
reqsk_put(req);
776+
778777
return found;
779778
}
780779

781-
bool inet_csk_reqsk_queue_drop(struct sock *sk, struct request_sock *req)
780+
static bool __inet_csk_reqsk_queue_drop(struct sock *sk,
781+
struct request_sock *req,
782+
bool from_timer)
782783
{
783784
bool unlinked = reqsk_queue_unlink(req);
784785

786+
if (!from_timer && timer_delete_sync(&req->rsk_timer))
787+
reqsk_put(req);
788+
785789
if (unlinked) {
786790
reqsk_queue_removed(&inet_csk(sk)->icsk_accept_queue, req);
787791
reqsk_put(req);
788792
}
793+
789794
return unlinked;
790795
}
796+
797+
bool inet_csk_reqsk_queue_drop(struct sock *sk, struct request_sock *req)
798+
{
799+
return __inet_csk_reqsk_queue_drop(sk, req, false);
800+
}
791801
EXPORT_SYMBOL(inet_csk_reqsk_queue_drop);
792802

793803
void inet_csk_reqsk_queue_drop_and_put(struct sock *sk, struct request_sock *req)
@@ -883,7 +893,7 @@ static void reqsk_timer_handler(struct timer_list *t)
883893

884894
if (!inet_ehash_insert(req_to_sk(nreq), req_to_sk(oreq), NULL)) {
885895
/* delete timer */
886-
inet_csk_reqsk_queue_drop(sk_listener, nreq);
896+
__inet_csk_reqsk_queue_drop(sk_listener, nreq, true);
887897
goto no_ownership;
888898
}
889899

@@ -909,7 +919,8 @@ static void reqsk_timer_handler(struct timer_list *t)
909919
}
910920

911921
drop:
912-
inet_csk_reqsk_queue_drop_and_put(oreq->rsk_listener, oreq);
922+
__inet_csk_reqsk_queue_drop(sk_listener, oreq, true);
923+
reqsk_put(req);
913924
}
914925

915926
static void reqsk_queue_hash_req(struct request_sock *req,

0 commit comments

Comments
 (0)