aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Gleixner <tglx@linutronix.de>2014-06-03 08:27:06 -0400
committerLinus Torvalds <torvalds@linux-foundation.org>2014-06-05 15:31:07 -0400
commite9c243a5a6de0be8e584c604d353412584b592f8 (patch)
tree228ae282b2b06a966606540190411ea90ffe35c7
parentfad01e866afdbe01a1f3ec06a39c3a8b9e197014 (diff)
futex-prevent-requeue-pi-on-same-futex.patch futex: Forbid uaddr == uaddr2 in futex_requeue(..., requeue_pi=1)
If uaddr == uaddr2, then we have broken the rule of only requeueing from a non-pi futex to a pi futex with this call. If we attempt this, then dangling pointers may be left for rt_waiter resulting in an exploitable condition. This change brings futex_requeue() in line with futex_wait_requeue_pi() which performs the same check as per commit 6f7b0a2a5c0f ("futex: Forbid uaddr == uaddr2 in futex_wait_requeue_pi()") [ tglx: Compare the resulting keys as well, as uaddrs might be different depending on the mapping ] Fixes CVE-2014-3153. Reported-by: Pinkie Pie Signed-off-by: Will Drewry <wad@chromium.org> Signed-off-by: Kees Cook <keescook@chromium.org> Cc: stable@vger.kernel.org Signed-off-by: Thomas Gleixner <tglx@linutronix.de> Reviewed-by: Darren Hart <dvhart@linux.intel.com> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
-rw-r--r--kernel/futex.c25
1 files changed, 25 insertions, 0 deletions
diff --git a/kernel/futex.c b/kernel/futex.c
index 81dbe773ce4c..663ea2b84a38 100644
--- a/kernel/futex.c
+++ b/kernel/futex.c
@@ -1442,6 +1442,13 @@ static int futex_requeue(u32 __user *uaddr1, unsigned int flags,
1442 1442
1443 if (requeue_pi) { 1443 if (requeue_pi) {
1444 /* 1444 /*
1445 * Requeue PI only works on two distinct uaddrs. This
1446 * check is only valid for private futexes. See below.
1447 */
1448 if (uaddr1 == uaddr2)
1449 return -EINVAL;
1450
1451 /*
1445 * requeue_pi requires a pi_state, try to allocate it now 1452 * requeue_pi requires a pi_state, try to allocate it now
1446 * without any locks in case it fails. 1453 * without any locks in case it fails.
1447 */ 1454 */
@@ -1479,6 +1486,15 @@ retry:
1479 if (unlikely(ret != 0)) 1486 if (unlikely(ret != 0))
1480 goto out_put_key1; 1487 goto out_put_key1;
1481 1488
1489 /*
1490 * The check above which compares uaddrs is not sufficient for
1491 * shared futexes. We need to compare the keys:
1492 */
1493 if (requeue_pi && match_futex(&key1, &key2)) {
1494 ret = -EINVAL;
1495 goto out_put_keys;
1496 }
1497
1482 hb1 = hash_futex(&key1); 1498 hb1 = hash_futex(&key1);
1483 hb2 = hash_futex(&key2); 1499 hb2 = hash_futex(&key2);
1484 1500
@@ -2525,6 +2541,15 @@ static int futex_wait_requeue_pi(u32 __user *uaddr, unsigned int flags,
2525 if (ret) 2541 if (ret)
2526 goto out_key2; 2542 goto out_key2;
2527 2543
2544 /*
2545 * The check above which compares uaddrs is not sufficient for
2546 * shared futexes. We need to compare the keys:
2547 */
2548 if (match_futex(&q.key, &key2)) {
2549 ret = -EINVAL;
2550 goto out_put_keys;
2551 }
2552
2528 /* Queue the futex_q, drop the hb lock, wait for wakeup. */ 2553 /* Queue the futex_q, drop the hb lock, wait for wakeup. */
2529 futex_wait_queue_me(hb, &q, to); 2554 futex_wait_queue_me(hb, &q, to);
2530 2555