13cab2bb3Spatrick //===-- slot_reuse.cpp ------------------------------------------*- C++ -*-===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick
93cab2bb3Spatrick #include "gwp_asan/tests/harness.h"
103cab2bb3Spatrick
11*d89ec533Spatrick #include <set>
12*d89ec533Spatrick
singleByteGoodAllocDealloc(gwp_asan::GuardedPoolAllocator * GPA)133cab2bb3Spatrick void singleByteGoodAllocDealloc(gwp_asan::GuardedPoolAllocator *GPA) {
143cab2bb3Spatrick void *Ptr = GPA->allocate(1);
153cab2bb3Spatrick EXPECT_NE(nullptr, Ptr);
163cab2bb3Spatrick EXPECT_TRUE(GPA->pointerIsMine(Ptr));
173cab2bb3Spatrick EXPECT_EQ(1u, GPA->getSize(Ptr));
183cab2bb3Spatrick GPA->deallocate(Ptr);
193cab2bb3Spatrick }
203cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,EnsureReuseOfQuarantine1)213cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, EnsureReuseOfQuarantine1) {
223cab2bb3Spatrick InitNumSlots(1);
233cab2bb3Spatrick for (unsigned i = 0; i < 128; ++i)
243cab2bb3Spatrick singleByteGoodAllocDealloc(&GPA);
253cab2bb3Spatrick }
263cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,EnsureReuseOfQuarantine2)273cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, EnsureReuseOfQuarantine2) {
283cab2bb3Spatrick InitNumSlots(2);
293cab2bb3Spatrick for (unsigned i = 0; i < 128; ++i)
303cab2bb3Spatrick singleByteGoodAllocDealloc(&GPA);
313cab2bb3Spatrick }
323cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,EnsureReuseOfQuarantine127)333cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, EnsureReuseOfQuarantine127) {
343cab2bb3Spatrick InitNumSlots(127);
353cab2bb3Spatrick for (unsigned i = 0; i < 128; ++i)
363cab2bb3Spatrick singleByteGoodAllocDealloc(&GPA);
373cab2bb3Spatrick }
383cab2bb3Spatrick
393cab2bb3Spatrick // This test ensures that our slots are not reused ahead of time. We increase
403cab2bb3Spatrick // the use-after-free detection by not reusing slots until all of them have been
413cab2bb3Spatrick // allocated. This is done by always using the slots from left-to-right in the
423cab2bb3Spatrick // pool before we used each slot once, at which point random selection takes
433cab2bb3Spatrick // over.
runNoReuseBeforeNecessary(gwp_asan::GuardedPoolAllocator * GPA,unsigned PoolSize)443cab2bb3Spatrick void runNoReuseBeforeNecessary(gwp_asan::GuardedPoolAllocator *GPA,
453cab2bb3Spatrick unsigned PoolSize) {
463cab2bb3Spatrick std::set<void *> Ptrs;
473cab2bb3Spatrick for (unsigned i = 0; i < PoolSize; ++i) {
483cab2bb3Spatrick void *Ptr = GPA->allocate(1);
493cab2bb3Spatrick
503cab2bb3Spatrick EXPECT_TRUE(GPA->pointerIsMine(Ptr));
513cab2bb3Spatrick EXPECT_EQ(0u, Ptrs.count(Ptr));
523cab2bb3Spatrick
533cab2bb3Spatrick Ptrs.insert(Ptr);
543cab2bb3Spatrick GPA->deallocate(Ptr);
553cab2bb3Spatrick }
563cab2bb3Spatrick }
573cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,NoReuseBeforeNecessary2)583cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, NoReuseBeforeNecessary2) {
593cab2bb3Spatrick constexpr unsigned kPoolSize = 2;
603cab2bb3Spatrick InitNumSlots(kPoolSize);
613cab2bb3Spatrick runNoReuseBeforeNecessary(&GPA, kPoolSize);
623cab2bb3Spatrick }
633cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,NoReuseBeforeNecessary128)643cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, NoReuseBeforeNecessary128) {
653cab2bb3Spatrick constexpr unsigned kPoolSize = 128;
663cab2bb3Spatrick InitNumSlots(kPoolSize);
673cab2bb3Spatrick runNoReuseBeforeNecessary(&GPA, kPoolSize);
683cab2bb3Spatrick }
693cab2bb3Spatrick
TEST_F(CustomGuardedPoolAllocator,NoReuseBeforeNecessary129)703cab2bb3Spatrick TEST_F(CustomGuardedPoolAllocator, NoReuseBeforeNecessary129) {
713cab2bb3Spatrick constexpr unsigned kPoolSize = 129;
723cab2bb3Spatrick InitNumSlots(kPoolSize);
733cab2bb3Spatrick runNoReuseBeforeNecessary(&GPA, kPoolSize);
743cab2bb3Spatrick }
75