142484f6fSEnji Cooper /*- 242484f6fSEnji Cooper * Copyright (c) 2009 Simon L. Nielsen <simon@FreeBSD.org>, 342484f6fSEnji Cooper * Bjoern A. Zeeb <bz@FreeBSD.org> 442484f6fSEnji Cooper * 542484f6fSEnji Cooper * Redistribution and use in source and binary forms, with or without 642484f6fSEnji Cooper * modification, are permitted provided that the following conditions 742484f6fSEnji Cooper * are met: 842484f6fSEnji Cooper * 1. Redistributions of source code must retain the above copyright 942484f6fSEnji Cooper * notice, this list of conditions and the following disclaimer. 1042484f6fSEnji Cooper * 2. Redistributions in binary form must reproduce the above copyright 1142484f6fSEnji Cooper * notice, this list of conditions and the following disclaimer in the 1242484f6fSEnji Cooper * documentation and/or other materials provided with the distribution. 1342484f6fSEnji Cooper * 1442484f6fSEnji Cooper * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 1542484f6fSEnji Cooper * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 1642484f6fSEnji Cooper * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 1742484f6fSEnji Cooper * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 1842484f6fSEnji Cooper * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 1942484f6fSEnji Cooper * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 2042484f6fSEnji Cooper * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 2142484f6fSEnji Cooper * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 2242484f6fSEnji Cooper * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 2342484f6fSEnji Cooper * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 2442484f6fSEnji Cooper * SUCH DAMAGE. 2542484f6fSEnji Cooper */ 2642484f6fSEnji Cooper 2742484f6fSEnji Cooper #include <sys/param.h> 2842484f6fSEnji Cooper #include <sys/mman.h> 2942484f6fSEnji Cooper #include <sys/sysctl.h> 3042484f6fSEnji Cooper 3195eee0d4SJohn Baldwin #include <atf-c.h> 3242484f6fSEnji Cooper #include <errno.h> 337f43ee0fSJohn Baldwin #include <fcntl.h> 347f43ee0fSJohn Baldwin #include <stdarg.h> 35766c2466SArka Sharma #include <stdbool.h> 367f43ee0fSJohn Baldwin #include <stdio.h> 377f43ee0fSJohn Baldwin #include <stdlib.h> 3842484f6fSEnji Cooper 3942484f6fSEnji Cooper static const struct { 4042484f6fSEnji Cooper void *addr; 4142484f6fSEnji Cooper int ok[2]; /* Depending on security.bsd.map_at_zero {0, !=0}. */ 4295eee0d4SJohn Baldwin } map_at_zero_tests[] = { 4342484f6fSEnji Cooper { (void *)0, { 0, 1 } }, /* Test sysctl. */ 4442484f6fSEnji Cooper { (void *)1, { 0, 0 } }, 4542484f6fSEnji Cooper { (void *)(PAGE_SIZE - 1), { 0, 0 } }, 4642484f6fSEnji Cooper { (void *)PAGE_SIZE, { 1, 1 } }, 4742484f6fSEnji Cooper { (void *)-1, { 0, 0 } }, 4842484f6fSEnji Cooper { (void *)(-PAGE_SIZE), { 0, 0 } }, 4942484f6fSEnji Cooper { (void *)(-1 - PAGE_SIZE), { 0, 0 } }, 5042484f6fSEnji Cooper { (void *)(-1 - PAGE_SIZE - 1), { 0, 0 } }, 5142484f6fSEnji Cooper { (void *)(0x1000 * PAGE_SIZE), { 1, 1 } }, 5242484f6fSEnji Cooper }; 5342484f6fSEnji Cooper 5442484f6fSEnji Cooper #define MAP_AT_ZERO "security.bsd.map_at_zero" 5542484f6fSEnji Cooper 56766c2466SArka Sharma #ifdef __LP64__ 57766c2466SArka Sharma #define ALLOW_WX "kern.elf64.allow_wx" 58766c2466SArka Sharma #else 59766c2466SArka Sharma #define ALLOW_WX "kern.elf32.allow_wx" 60766c2466SArka Sharma #endif 61766c2466SArka Sharma 6295eee0d4SJohn Baldwin ATF_TC_WITHOUT_HEAD(mmap__map_at_zero); 6395eee0d4SJohn Baldwin ATF_TC_BODY(mmap__map_at_zero, tc) 6442484f6fSEnji Cooper { 6542484f6fSEnji Cooper void *p; 6642484f6fSEnji Cooper size_t len; 6795eee0d4SJohn Baldwin unsigned int i; 6895eee0d4SJohn Baldwin int map_at_zero; 69766c2466SArka Sharma bool allow_wx; 70766c2466SArka Sharma int prot_flags; 7142484f6fSEnji Cooper 7242484f6fSEnji Cooper len = sizeof(map_at_zero); 7395eee0d4SJohn Baldwin if (sysctlbyname(MAP_AT_ZERO, &map_at_zero, &len, NULL, 0) == -1) { 7495eee0d4SJohn Baldwin atf_tc_skip("sysctl for %s failed: %s\n", MAP_AT_ZERO, 7542484f6fSEnji Cooper strerror(errno)); 7695eee0d4SJohn Baldwin return; 7742484f6fSEnji Cooper } 7842484f6fSEnji Cooper 79766c2466SArka Sharma len = sizeof(allow_wx); 80766c2466SArka Sharma if (sysctlbyname(ALLOW_WX, &allow_wx, &len, NULL, 0) == -1) { 81766c2466SArka Sharma if (errno == ENOENT) { 82766c2466SArka Sharma /* Allow W+X if sysctl isn't present */ 83766c2466SArka Sharma allow_wx = true; 84766c2466SArka Sharma } else { 85766c2466SArka Sharma atf_tc_skip("sysctl for %s failed: %s\n", ALLOW_WX, 86766c2466SArka Sharma strerror(errno)); 87766c2466SArka Sharma return; 88766c2466SArka Sharma } 89766c2466SArka Sharma } 90766c2466SArka Sharma 9142484f6fSEnji Cooper /* Normalize to 0 or 1 for array access. */ 9242484f6fSEnji Cooper map_at_zero = !!map_at_zero; 9342484f6fSEnji Cooper 9495eee0d4SJohn Baldwin for (i = 0; i < nitems(map_at_zero_tests); i++) { 95766c2466SArka Sharma prot_flags = PROT_READ | PROT_WRITE; 96766c2466SArka Sharma if (allow_wx) 97766c2466SArka Sharma prot_flags |= PROT_EXEC; 9895eee0d4SJohn Baldwin p = mmap((void *)map_at_zero_tests[i].addr, PAGE_SIZE, 99766c2466SArka Sharma prot_flags, MAP_ANON | MAP_FIXED, -1, 0); 10042484f6fSEnji Cooper if (p == MAP_FAILED) { 10195eee0d4SJohn Baldwin ATF_CHECK_MSG(map_at_zero_tests[i].ok[map_at_zero] == 0, 10295eee0d4SJohn Baldwin "mmap(%p, ...) failed", map_at_zero_tests[i].addr); 10342484f6fSEnji Cooper } else { 10495eee0d4SJohn Baldwin ATF_CHECK_MSG(map_at_zero_tests[i].ok[map_at_zero] == 1, 10595eee0d4SJohn Baldwin "mmap(%p, ...) succeeded: p=%p\n", 10695eee0d4SJohn Baldwin map_at_zero_tests[i].addr, p); 10795eee0d4SJohn Baldwin } 10842484f6fSEnji Cooper } 10942484f6fSEnji Cooper } 11042484f6fSEnji Cooper 1117f43ee0fSJohn Baldwin static void 1127f43ee0fSJohn Baldwin checked_mmap(int prot, int flags, int fd, int error, const char *msg) 1137f43ee0fSJohn Baldwin { 1147f43ee0fSJohn Baldwin void *p; 115410757a4SEnji Cooper int pagesize; 1167f43ee0fSJohn Baldwin 117410757a4SEnji Cooper ATF_REQUIRE((pagesize = getpagesize()) > 0); 118410757a4SEnji Cooper p = mmap(NULL, pagesize, prot, flags, fd, 0); 1197f43ee0fSJohn Baldwin if (p == MAP_FAILED) { 1207f43ee0fSJohn Baldwin if (error == 0) 1217f43ee0fSJohn Baldwin ATF_CHECK_MSG(0, "%s failed with errno %d", msg, 1227f43ee0fSJohn Baldwin errno); 1237f43ee0fSJohn Baldwin else 1247f43ee0fSJohn Baldwin ATF_CHECK_EQ_MSG(error, errno, 1257f43ee0fSJohn Baldwin "%s failed with wrong errno %d (expected %d)", msg, 1267f43ee0fSJohn Baldwin errno, error); 1277f43ee0fSJohn Baldwin } else { 1287f43ee0fSJohn Baldwin ATF_CHECK_MSG(error == 0, "%s succeeded", msg); 129410757a4SEnji Cooper munmap(p, pagesize); 1307f43ee0fSJohn Baldwin } 1317f43ee0fSJohn Baldwin } 1327f43ee0fSJohn Baldwin 1337f43ee0fSJohn Baldwin ATF_TC_WITHOUT_HEAD(mmap__bad_arguments); 1347f43ee0fSJohn Baldwin ATF_TC_BODY(mmap__bad_arguments, tc) 1357f43ee0fSJohn Baldwin { 136410757a4SEnji Cooper int devstatfd, pagesize, shmfd, zerofd; 1377f43ee0fSJohn Baldwin 138410757a4SEnji Cooper ATF_REQUIRE((pagesize = getpagesize()) > 0); 1399695459dSJohn Baldwin ATF_REQUIRE((devstatfd = open("/dev/devstat", O_RDONLY)) >= 0); 1409695459dSJohn Baldwin ATF_REQUIRE((shmfd = shm_open(SHM_ANON, O_RDWR, 0644)) >= 0); 141410757a4SEnji Cooper ATF_REQUIRE(ftruncate(shmfd, pagesize) == 0); 1429695459dSJohn Baldwin ATF_REQUIRE((zerofd = open("/dev/zero", O_RDONLY)) >= 0); 1437f43ee0fSJohn Baldwin 1447f43ee0fSJohn Baldwin /* These should work. */ 1457f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON, -1, 0, 1467f43ee0fSJohn Baldwin "simple MAP_ANON"); 1479695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_SHARED, shmfd, 0, 1487f43ee0fSJohn Baldwin "simple shm fd shared"); 1499695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_PRIVATE, shmfd, 0, 1507f43ee0fSJohn Baldwin "simple shm fd private"); 1519695459dSJohn Baldwin checked_mmap(PROT_READ, MAP_SHARED, zerofd, 0, 1529695459dSJohn Baldwin "simple /dev/zero shared"); 1539695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_PRIVATE, zerofd, 0, 1549695459dSJohn Baldwin "simple /dev/zero private"); 1559695459dSJohn Baldwin checked_mmap(PROT_READ, MAP_SHARED, devstatfd, 0, 1569695459dSJohn Baldwin "simple /dev/devstat shared"); 1577f43ee0fSJohn Baldwin 1587f43ee0fSJohn Baldwin /* Extra PROT flags. */ 1597f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE | 0x100000, MAP_ANON, -1, EINVAL, 1607f43ee0fSJohn Baldwin "MAP_ANON with extra PROT flags"); 1619695459dSJohn Baldwin checked_mmap(0xffff, MAP_SHARED, shmfd, EINVAL, 1627f43ee0fSJohn Baldwin "shm fd with garbage PROT"); 1637f43ee0fSJohn Baldwin 1647f43ee0fSJohn Baldwin /* Undefined flag. */ 1657f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON | MAP_RESERVED0080, -1, 1667f43ee0fSJohn Baldwin EINVAL, "Undefined flag"); 1677f43ee0fSJohn Baldwin 1687f43ee0fSJohn Baldwin /* Both MAP_SHARED and MAP_PRIVATE */ 1697f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE | 1707f43ee0fSJohn Baldwin MAP_SHARED, -1, EINVAL, "MAP_ANON with both SHARED and PRIVATE"); 1719695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_PRIVATE | MAP_SHARED, shmfd, 1727f43ee0fSJohn Baldwin EINVAL, "shm fd with both SHARED and PRIVATE"); 1737f43ee0fSJohn Baldwin 1747f43ee0fSJohn Baldwin /* At least one of MAP_SHARED or MAP_PRIVATE without ANON */ 1759695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, 0, shmfd, EINVAL, 1767f43ee0fSJohn Baldwin "shm fd without sharing flag"); 1777f43ee0fSJohn Baldwin 1787f43ee0fSJohn Baldwin /* MAP_ANON with either sharing flag (impacts fork). */ 1797f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON | MAP_SHARED, -1, 0, 1807f43ee0fSJohn Baldwin "shared MAP_ANON"); 1817f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE, -1, 0, 1827f43ee0fSJohn Baldwin "private MAP_ANON"); 1837f43ee0fSJohn Baldwin 1847f43ee0fSJohn Baldwin /* MAP_ANON should require an fd of -1. */ 1857f43ee0fSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_ANON | MAP_PRIVATE, 0, EINVAL, 1867f43ee0fSJohn Baldwin "MAP_ANON with fd != -1"); 1879695459dSJohn Baldwin 1889695459dSJohn Baldwin /* Writable MAP_SHARED should fail on read-only descriptors. */ 1899695459dSJohn Baldwin checked_mmap(PROT_READ | PROT_WRITE, MAP_SHARED, zerofd, EACCES, 1909695459dSJohn Baldwin "MAP_SHARED of read-only /dev/zero"); 1919695459dSJohn Baldwin 1929695459dSJohn Baldwin /* 1939695459dSJohn Baldwin * Character devices other than /dev/zero do not support private 1949695459dSJohn Baldwin * mappings. 1959695459dSJohn Baldwin */ 1969695459dSJohn Baldwin checked_mmap(PROT_READ, MAP_PRIVATE, devstatfd, EINVAL, 1979695459dSJohn Baldwin "MAP_PRIVATE of /dev/devstat"); 198410757a4SEnji Cooper 199410757a4SEnji Cooper close(devstatfd); 200410757a4SEnji Cooper close(shmfd); 201410757a4SEnji Cooper close(zerofd); 2029695459dSJohn Baldwin } 2039695459dSJohn Baldwin 2049695459dSJohn Baldwin ATF_TC_WITHOUT_HEAD(mmap__dev_zero_private); 2059695459dSJohn Baldwin ATF_TC_BODY(mmap__dev_zero_private, tc) 2069695459dSJohn Baldwin { 2079695459dSJohn Baldwin char *p1, *p2, *p3; 2085fea4595SEnji Cooper int fd, i, pagesize; 2099695459dSJohn Baldwin 210410757a4SEnji Cooper ATF_REQUIRE((pagesize = getpagesize()) > 0); 2119695459dSJohn Baldwin ATF_REQUIRE((fd = open("/dev/zero", O_RDONLY)) >= 0); 2129695459dSJohn Baldwin 213410757a4SEnji Cooper p1 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_PRIVATE, fd, 0); 2149695459dSJohn Baldwin ATF_REQUIRE(p1 != MAP_FAILED); 2159695459dSJohn Baldwin 216410757a4SEnji Cooper p2 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_PRIVATE, fd, 0); 2179695459dSJohn Baldwin ATF_REQUIRE(p2 != MAP_FAILED); 2189695459dSJohn Baldwin 219410757a4SEnji Cooper for (i = 0; i < pagesize; i++) 2205fea4595SEnji Cooper ATF_REQUIRE_EQ_MSG(0, p1[i], "byte at p1[%d] is %x", i, p1[i]); 2219695459dSJohn Baldwin 222410757a4SEnji Cooper ATF_REQUIRE(memcmp(p1, p2, pagesize) == 0); 2239695459dSJohn Baldwin 2249695459dSJohn Baldwin p1[0] = 1; 2259695459dSJohn Baldwin 2269695459dSJohn Baldwin ATF_REQUIRE(p2[0] == 0); 2279695459dSJohn Baldwin 2289695459dSJohn Baldwin p2[0] = 2; 2299695459dSJohn Baldwin 2309695459dSJohn Baldwin ATF_REQUIRE(p1[0] == 1); 2319695459dSJohn Baldwin 232410757a4SEnji Cooper p3 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_PRIVATE, fd, 0); 2339695459dSJohn Baldwin ATF_REQUIRE(p3 != MAP_FAILED); 2349695459dSJohn Baldwin 2359695459dSJohn Baldwin ATF_REQUIRE(p3[0] == 0); 236410757a4SEnji Cooper 237410757a4SEnji Cooper munmap(p1, pagesize); 238410757a4SEnji Cooper munmap(p2, pagesize); 239410757a4SEnji Cooper munmap(p3, pagesize); 240410757a4SEnji Cooper close(fd); 2419695459dSJohn Baldwin } 2429695459dSJohn Baldwin 2439695459dSJohn Baldwin ATF_TC_WITHOUT_HEAD(mmap__dev_zero_shared); 2449695459dSJohn Baldwin ATF_TC_BODY(mmap__dev_zero_shared, tc) 2459695459dSJohn Baldwin { 2469695459dSJohn Baldwin char *p1, *p2, *p3; 2475fea4595SEnji Cooper int fd, i, pagesize; 2489695459dSJohn Baldwin 249410757a4SEnji Cooper ATF_REQUIRE((pagesize = getpagesize()) > 0); 2509695459dSJohn Baldwin ATF_REQUIRE((fd = open("/dev/zero", O_RDWR)) >= 0); 2519695459dSJohn Baldwin 252410757a4SEnji Cooper p1 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0); 2539695459dSJohn Baldwin ATF_REQUIRE(p1 != MAP_FAILED); 2549695459dSJohn Baldwin 255410757a4SEnji Cooper p2 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0); 2569695459dSJohn Baldwin ATF_REQUIRE(p2 != MAP_FAILED); 2579695459dSJohn Baldwin 258410757a4SEnji Cooper for (i = 0; i < pagesize; i++) 2595fea4595SEnji Cooper ATF_REQUIRE_EQ_MSG(0, p1[i], "byte at p1[%d] is %x", i, p1[i]); 2609695459dSJohn Baldwin 261410757a4SEnji Cooper ATF_REQUIRE(memcmp(p1, p2, pagesize) == 0); 2629695459dSJohn Baldwin 2639695459dSJohn Baldwin p1[0] = 1; 2649695459dSJohn Baldwin 2659695459dSJohn Baldwin ATF_REQUIRE(p2[0] == 0); 2669695459dSJohn Baldwin 2679695459dSJohn Baldwin p2[0] = 2; 2689695459dSJohn Baldwin 2699695459dSJohn Baldwin ATF_REQUIRE(p1[0] == 1); 2709695459dSJohn Baldwin 271410757a4SEnji Cooper p3 = mmap(NULL, pagesize, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 2729695459dSJohn Baldwin 0); 2739695459dSJohn Baldwin ATF_REQUIRE(p3 != MAP_FAILED); 2749695459dSJohn Baldwin 2759695459dSJohn Baldwin ATF_REQUIRE(p3[0] == 0); 276410757a4SEnji Cooper 277410757a4SEnji Cooper munmap(p1, pagesize); 278410757a4SEnji Cooper munmap(p2, pagesize); 279410757a4SEnji Cooper munmap(p3, pagesize); 280410757a4SEnji Cooper close(fd); 2817f43ee0fSJohn Baldwin } 2827f43ee0fSJohn Baldwin 283f56a08c8SAndrew Turner ATF_TC_WITHOUT_HEAD(mmap__write_only); 284f56a08c8SAndrew Turner ATF_TC_BODY(mmap__write_only, tc) 285f56a08c8SAndrew Turner { 286f56a08c8SAndrew Turner void *p; 287f56a08c8SAndrew Turner int pagesize; 288f56a08c8SAndrew Turner 289f56a08c8SAndrew Turner ATF_REQUIRE((pagesize = getpagesize()) > 0); 290f56a08c8SAndrew Turner p = mmap(NULL, pagesize, PROT_WRITE, MAP_ANON, -1, 0); 291f56a08c8SAndrew Turner ATF_REQUIRE(p != MAP_FAILED); 292f56a08c8SAndrew Turner 293f56a08c8SAndrew Turner *(volatile uint32_t *)p = 0x12345678; 294f56a08c8SAndrew Turner 295f56a08c8SAndrew Turner munmap(p, pagesize); 296f56a08c8SAndrew Turner } 297f56a08c8SAndrew Turner 298*33c2c58fSMark Johnston ATF_TC_WITHOUT_HEAD(mmap__maxprot_basic); 299*33c2c58fSMark Johnston ATF_TC_BODY(mmap__maxprot_basic, tc) 300*33c2c58fSMark Johnston { 301*33c2c58fSMark Johnston void *p; 302*33c2c58fSMark Johnston int error, pagesize; 303*33c2c58fSMark Johnston 304*33c2c58fSMark Johnston ATF_REQUIRE((pagesize = getpagesize()) > 0); 305*33c2c58fSMark Johnston 306*33c2c58fSMark Johnston p = mmap(NULL, pagesize, PROT_READ | PROT_MAX(PROT_READ), 307*33c2c58fSMark Johnston MAP_ANON, -1, 0); 308*33c2c58fSMark Johnston ATF_REQUIRE(p != MAP_FAILED); 309*33c2c58fSMark Johnston 310*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_WRITE); 311*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 312*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_WRITE); 313*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 314*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_EXEC); 315*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 316*33c2c58fSMark Johnston 317*33c2c58fSMark Johnston ATF_REQUIRE(munmap(p, pagesize) == 0); 318*33c2c58fSMark Johnston } 319*33c2c58fSMark Johnston 320*33c2c58fSMark Johnston /* Make sure that PROT_MAX applies as expected to mappings of shm objects */ 321*33c2c58fSMark Johnston ATF_TC_WITHOUT_HEAD(mmap__maxprot_shm); 322*33c2c58fSMark Johnston ATF_TC_BODY(mmap__maxprot_shm, tc) 323*33c2c58fSMark Johnston { 324*33c2c58fSMark Johnston void *p; 325*33c2c58fSMark Johnston int error, fd, pagesize; 326*33c2c58fSMark Johnston 327*33c2c58fSMark Johnston ATF_REQUIRE((pagesize = getpagesize()) > 0); 328*33c2c58fSMark Johnston 329*33c2c58fSMark Johnston fd = shm_open(SHM_ANON, O_RDWR, 0644); 330*33c2c58fSMark Johnston ATF_REQUIRE(fd >= 0); 331*33c2c58fSMark Johnston 332*33c2c58fSMark Johnston error = ftruncate(fd, pagesize); 333*33c2c58fSMark Johnston ATF_REQUIRE(error == 0); 334*33c2c58fSMark Johnston 335*33c2c58fSMark Johnston p = mmap(NULL, pagesize, PROT_READ | PROT_MAX(PROT_READ), 336*33c2c58fSMark Johnston MAP_PRIVATE, fd, 0); 337*33c2c58fSMark Johnston ATF_REQUIRE(p != MAP_FAILED); 338*33c2c58fSMark Johnston 339*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_WRITE); 340*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 341*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_WRITE); 342*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 343*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_EXEC); 344*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 345*33c2c58fSMark Johnston 346*33c2c58fSMark Johnston ATF_REQUIRE(munmap(p, pagesize) == 0); 347*33c2c58fSMark Johnston 348*33c2c58fSMark Johnston /* Again, this time with a shared mapping. */ 349*33c2c58fSMark Johnston p = mmap(NULL, pagesize, PROT_READ | PROT_MAX(PROT_READ), 350*33c2c58fSMark Johnston MAP_SHARED, fd, 0); 351*33c2c58fSMark Johnston ATF_REQUIRE(p != MAP_FAILED); 352*33c2c58fSMark Johnston 353*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_WRITE); 354*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 355*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_WRITE); 356*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 357*33c2c58fSMark Johnston error = mprotect(p, pagesize, PROT_READ | PROT_EXEC); 358*33c2c58fSMark Johnston ATF_REQUIRE_ERRNO(EACCES, error == -1); 359*33c2c58fSMark Johnston 360*33c2c58fSMark Johnston ATF_REQUIRE(munmap(p, pagesize) == 0); 361*33c2c58fSMark Johnston 362*33c2c58fSMark Johnston ATF_REQUIRE(close(fd) == 0); 363*33c2c58fSMark Johnston } 364*33c2c58fSMark Johnston 36595eee0d4SJohn Baldwin ATF_TP_ADD_TCS(tp) 36695eee0d4SJohn Baldwin { 36795eee0d4SJohn Baldwin ATF_TP_ADD_TC(tp, mmap__map_at_zero); 3687f43ee0fSJohn Baldwin ATF_TP_ADD_TC(tp, mmap__bad_arguments); 3699695459dSJohn Baldwin ATF_TP_ADD_TC(tp, mmap__dev_zero_private); 3709695459dSJohn Baldwin ATF_TP_ADD_TC(tp, mmap__dev_zero_shared); 371f56a08c8SAndrew Turner ATF_TP_ADD_TC(tp, mmap__write_only); 372*33c2c58fSMark Johnston ATF_TP_ADD_TC(tp, mmap__maxprot_basic); 373*33c2c58fSMark Johnston ATF_TP_ADD_TC(tp, mmap__maxprot_shm); 37495eee0d4SJohn Baldwin 37595eee0d4SJohn Baldwin return (atf_no_error()); 37642484f6fSEnji Cooper } 377