xref: /freebsd/tests/sys/vm/mmap_test.c (revision 33c2c58f0a3db0a6d3996fa14ac7967274678771)
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