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);
ATF_TC_BODY(mmap__map_at_zero,tc)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
checked_mmap(int prot,int flags,int fd,int error,const char * msg)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);
ATF_TC_BODY(mmap__bad_arguments,tc)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);
ATF_TC_BODY(mmap__dev_zero_private,tc)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);
ATF_TC_BODY(mmap__dev_zero_shared,tc)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);
ATF_TC_BODY(mmap__write_only,tc)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);
ATF_TC_BODY(mmap__maxprot_basic,tc)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);
ATF_TC_BODY(mmap__maxprot_shm,tc)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
ATF_TP_ADD_TCS(tp)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