security: add user_range_ok validation for futex uaddr (Fase 2)

diff --git a/src/kernel/syscall.c b/src/kernel/syscall.c
index 9afb2fc08ac2434a2e829df882b92c809e6c245b..ed85615b06355b910250f6c2b3a99b18b70e2484 100644 (file)
--- a/src/kernel/syscall.c
+++ b/src/kernel/syscall.c
@@ -4622,6 +4622,11 @@ static void posix_ext_syscall_dispatch(struct registers* regs, uint32_t syscall_
 
         if (!uaddr) { sc_ret(regs) = (uint32_t)-EFAULT; return; }
 
+        /* Validate uaddr is in user space */
+        if (user_range_ok(uaddr, sizeof(uint32_t)) == 0) {
+            sc_ret(regs) = (uint32_t)-EFAULT; return;
+        }
+
         if (op == FUTEX_WAIT) {
             uint32_t cur = 0;
             if (copy_from_user(&cur, uaddr, sizeof(cur)) < 0) {