diff options
| author | Thomas Gleixner <tglx@linutronix.de> | 2014-06-03 08:27:06 -0400 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2014-06-05 15:31:07 -0400 |
| commit | e9c243a5a6de0be8e584c604d353412584b592f8 (patch) | |
| tree | 228ae282b2b06a966606540190411ea90ffe35c7 | |
| parent | fad01e866afdbe01a1f3ec06a39c3a8b9e197014 (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.c | 25 |
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 | ||
