[Devel,RHEL7,COMMIT] mm/mempool: avoid KASAN marking mempool poison checks as use-after-free

Submitted by Konstantin Khorenko on Sept. 15, 2017, 2:14 p.m.


Message ID 201709151414.v8FEElL5028505@finist_ce7.work
State New
Series "Series without cover letter"
Headers show

Commit Message

Konstantin Khorenko Sept. 15, 2017, 2:14 p.m.
The commit is pushed to "branch-rh7-3.10.0-693.1.1.vz7.37.x-ovz" and will appear at https://src.openvz.org/scm/ovz/vzkernel.git
after rh7-3.10.0-693.1.1.vz7.37.4
commit 3a378120ff664e80662d0b2ab0c4bf468739cc0c
Author: Matthew Dawson <matthew@mjdsystems.ca>
Date:   Fri Sep 15 17:14:47 2017 +0300

    mm/mempool: avoid KASAN marking mempool poison checks as use-after-free
    When removing an element from the mempool, mark it as unpoisoned in KASAN
    before verifying its contents for SLUB/SLAB debugging.  Otherwise KASAN
    will flag the reads checking the element use-after-free writes as
    use-after-free reads.
    Signed-off-by: Matthew Dawson <matthew@mjdsystems.ca>
    Acked-by: Andrey Ryabinin <aryabinin@virtuozzo.com>
    Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
    Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
    (cherry picked from commit 7640131032db9118a78af715ac77ba2debeeb17c)
    Signed-off-by: Andrey Ryabinin <aryabinin@virtuozzo.com>
 mm/mempool.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

Patch hide | download patch | download mbox

diff --git a/mm/mempool.c b/mm/mempool.c
index d9fa60d..791ec8a 100644
--- a/mm/mempool.c
+++ b/mm/mempool.c
@@ -135,8 +135,8 @@  static void *remove_element(mempool_t *pool)
 	void *element = pool->elements[--pool->curr_nr];
 	BUG_ON(pool->curr_nr < 0);
-	check_element(pool, element);
 	kasan_unpoison_element(pool, element);
+	check_element(pool, element);
 	return element;