From c5ecdfbdd1d981ccb836991d8b4d372b97730cba Mon Sep 17 00:00:00 2001 From: Matheus Date: Mon, 6 Apr 2026 17:47:23 -0300 Subject: [PATCH] futex: validate pointers --- kernel-src/sys/syscalls/futex.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/kernel-src/sys/syscalls/futex.c b/kernel-src/sys/syscalls/futex.c index 4a633b99..e714214b 100644 --- a/kernel-src/sys/syscalls/futex.c +++ b/kernel-src/sys/syscalls/futex.c @@ -41,6 +41,11 @@ syscallret_t syscall_futex(context_t *, uint32_t *futexp, int op, uint32_t value .ret = -1 }; + if (!IS_USER_ADDRESS(tm) || !IS_USER_ADDRESS(futexp)) { + ret.errno = EFAULT; + return ret; + } + if (unlikely(hashtableinit == false)) { if (unlikely(hashtable_init(&hashtable, 256))) { ret.errno = ENOMEM;