xref: /freebsd/sys/kern/subr_acl_posix1e.c (revision ba8cc6d7271a50fec978a1d3a088aec7985fae48)
191f37dcbSRobert Watson /*-
24d846d26SWarner Losh  * SPDX-License-Identifier: BSD-2-Clause
38a36da99SPedro F. Giffuni  *
4e4256d1eSRobert Watson  * Copyright (c) 1999-2006 Robert N. M. Watson
591f37dcbSRobert Watson  * All rights reserved.
691f37dcbSRobert Watson  *
76d878543SRobert Watson  * This software was developed by Robert Watson for the TrustedBSD Project.
86d878543SRobert Watson  *
991f37dcbSRobert Watson  * Redistribution and use in source and binary forms, with or without
1091f37dcbSRobert Watson  * modification, are permitted provided that the following conditions
1191f37dcbSRobert Watson  * are met:
1291f37dcbSRobert Watson  * 1. Redistributions of source code must retain the above copyright
1391f37dcbSRobert Watson  *    notice, this list of conditions and the following disclaimer.
1491f37dcbSRobert Watson  * 2. Redistributions in binary form must reproduce the above copyright
1591f37dcbSRobert Watson  *    notice, this list of conditions and the following disclaimer in the
1691f37dcbSRobert Watson  *    documentation and/or other materials provided with the distribution.
1791f37dcbSRobert Watson  *
1891f37dcbSRobert Watson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
1991f37dcbSRobert Watson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2091f37dcbSRobert Watson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2191f37dcbSRobert Watson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
2291f37dcbSRobert Watson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2391f37dcbSRobert Watson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2491f37dcbSRobert Watson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2591f37dcbSRobert Watson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2691f37dcbSRobert Watson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2791f37dcbSRobert Watson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
2891f37dcbSRobert Watson  * SUCH DAMAGE.
2991f37dcbSRobert Watson  */
3091f37dcbSRobert Watson /*
315293465fSRobert Watson  * Developed by the TrustedBSD Project.
32e4256d1eSRobert Watson  *
33e4256d1eSRobert Watson  * ACL support routines specific to POSIX.1e access control lists.  These are
34e4256d1eSRobert Watson  * utility routines for code common across file systems implementing POSIX.1e
35e4256d1eSRobert Watson  * ACLs.
3691f37dcbSRobert Watson  */
3791f37dcbSRobert Watson 
38677b542eSDavid E. O'Brien #include <sys/cdefs.h>
39677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
40677b542eSDavid E. O'Brien 
4191f37dcbSRobert Watson #include <sys/param.h>
42a9a282f6SAdrian Chadd #include <sys/kernel.h>
43a9a282f6SAdrian Chadd #include <sys/module.h>
4491f37dcbSRobert Watson #include <sys/systm.h>
4542e7197fSChristian S.J. Peron #include <sys/mount.h>
46acd3428bSRobert Watson #include <sys/priv.h>
4791f37dcbSRobert Watson #include <sys/vnode.h>
4891f37dcbSRobert Watson #include <sys/errno.h>
4991f37dcbSRobert Watson #include <sys/stat.h>
5091f37dcbSRobert Watson #include <sys/acl.h>
5191f37dcbSRobert Watson 
5291f37dcbSRobert Watson /*
53fb6d736dSRobert Watson  * Implement a version of vaccess() that understands POSIX.1e ACL semantics;
54acd3428bSRobert Watson  * the access ACL has already been prepared for evaluation by the file system
55acd3428bSRobert Watson  * and is passed via 'uid', 'gid', and 'acl'.  Return 0 on success, else an
56acd3428bSRobert Watson  * errno value.
575293465fSRobert Watson  */
585293465fSRobert Watson int
59*ba8cc6d7SMateusz Guzik vaccess_acl_posix1e(__enum_uint8(vtype) type, uid_t file_uid, gid_t file_gid,
60d292b194SMateusz Guzik     struct acl *acl, accmode_t accmode, struct ucred *cred)
615293465fSRobert Watson {
625293465fSRobert Watson 	struct acl_entry *acl_other, *acl_mask;
6315bc6b2bSEdward Tomasz Napierala 	accmode_t dac_granted;
6415bc6b2bSEdward Tomasz Napierala 	accmode_t priv_granted;
6515bc6b2bSEdward Tomasz Napierala 	accmode_t acl_mask_granted;
665293465fSRobert Watson 	int group_matched, i;
675293465fSRobert Watson 
682c29cfa0SEdward Tomasz Napierala 	KASSERT((accmode & ~(VEXEC | VWRITE | VREAD | VADMIN | VAPPEND)) == 0,
692c29cfa0SEdward Tomasz Napierala 	    ("invalid bit in accmode"));
70558e9b5cSEdward Tomasz Napierala 	KASSERT((accmode & VAPPEND) == 0 || (accmode & VWRITE),
71558e9b5cSEdward Tomasz Napierala 	    	("VAPPEND without VWRITE"));
722c29cfa0SEdward Tomasz Napierala 
735293465fSRobert Watson 	/*
745293465fSRobert Watson 	 * Look for a normal, non-privileged way to access the file/directory
75fb6d736dSRobert Watson 	 * as requested.  If it exists, go with that.  Otherwise, attempt to
76acd3428bSRobert Watson 	 * use privileges granted via priv_granted.  In some cases, which
77fb6d736dSRobert Watson 	 * privileges to use may be ambiguous due to "best match", in which
78fb6d736dSRobert Watson 	 * case fall back on first match for the time being.
795293465fSRobert Watson 	 */
805293465fSRobert Watson 
815293465fSRobert Watson 	/*
82fb6d736dSRobert Watson 	 * Determine privileges now, but don't apply until we've found a DAC
83acd3428bSRobert Watson 	 * entry that matches but has failed to allow access.
84acd3428bSRobert Watson 	 *
85acd3428bSRobert Watson 	 * XXXRW: Ideally, we'd determine the privileges required before
86acd3428bSRobert Watson 	 * asking for them.
875293465fSRobert Watson 	 */
88acd3428bSRobert Watson 	priv_granted = 0;
895293465fSRobert Watson 
905293465fSRobert Watson 	if (type == VDIR) {
91cc426dd3SMateusz Guzik 		if ((accmode & VEXEC) && !priv_check_cred(cred, PRIV_VFS_LOOKUP))
92acd3428bSRobert Watson 			priv_granted |= VEXEC;
935293465fSRobert Watson 	} else {
94de478dd4SJaakko Heinonen 		/*
95de478dd4SJaakko Heinonen 		 * Ensure that at least one execute bit is on. Otherwise,
96de478dd4SJaakko Heinonen 		 * a privileged user will always succeed, and we don't want
97de478dd4SJaakko Heinonen 		 * this to happen unless the file really is executable.
98de478dd4SJaakko Heinonen 		 */
99de478dd4SJaakko Heinonen 		if ((accmode & VEXEC) && (acl_posix1e_acl_to_mode(acl) &
100de478dd4SJaakko Heinonen 		    (S_IXUSR | S_IXGRP | S_IXOTH)) != 0 &&
101cc426dd3SMateusz Guzik 		    !priv_check_cred(cred, PRIV_VFS_EXEC))
102acd3428bSRobert Watson 			priv_granted |= VEXEC;
1035293465fSRobert Watson 	}
1045293465fSRobert Watson 
105cc426dd3SMateusz Guzik 	if ((accmode & VREAD) && !priv_check_cred(cred, PRIV_VFS_READ))
106acd3428bSRobert Watson 		priv_granted |= VREAD;
1075293465fSRobert Watson 
108013098c8SEdward Tomasz Napierala 	if (((accmode & VWRITE) || (accmode & VAPPEND)) &&
109cc426dd3SMateusz Guzik 	    !priv_check_cred(cred, PRIV_VFS_WRITE))
110acd3428bSRobert Watson 		priv_granted |= (VWRITE | VAPPEND);
1115293465fSRobert Watson 
112cc426dd3SMateusz Guzik 	if ((accmode & VADMIN) && !priv_check_cred(cred, PRIV_VFS_ADMIN))
113acd3428bSRobert Watson 		priv_granted |= VADMIN;
1145293465fSRobert Watson 
1155293465fSRobert Watson 	/*
116670f6b2fSRobert Watson 	 * The owner matches if the effective uid associated with the
117670f6b2fSRobert Watson 	 * credential matches that of the ACL_USER_OBJ entry.  While we're
118fb6d736dSRobert Watson 	 * doing the first scan, also cache the location of the ACL_MASK and
119fb6d736dSRobert Watson 	 * ACL_OTHER entries, preventing some future iterations.
1205293465fSRobert Watson 	 */
1215293465fSRobert Watson 	acl_mask = acl_other = NULL;
1225293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
1235293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
1245293465fSRobert Watson 		case ACL_USER_OBJ:
125b114e127SRobert Watson 			if (file_uid != cred->cr_uid)
1265293465fSRobert Watson 				break;
1275293465fSRobert Watson 			dac_granted = 0;
1285293465fSRobert Watson 			dac_granted |= VADMIN;
129fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
1305293465fSRobert Watson 				dac_granted |= VEXEC;
131fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
1325293465fSRobert Watson 				dac_granted |= VREAD;
133fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
134b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
135013098c8SEdward Tomasz Napierala 			if ((accmode & dac_granted) == accmode)
1365293465fSRobert Watson 				return (0);
137acd3428bSRobert Watson 
138acd3428bSRobert Watson 			/*
139acd3428bSRobert Watson 			 * XXXRW: Do privilege lookup here.
140acd3428bSRobert Watson 			 */
141013098c8SEdward Tomasz Napierala 			if ((accmode & (dac_granted | priv_granted)) ==
142013098c8SEdward Tomasz Napierala 			    accmode) {
1435293465fSRobert Watson 				return (0);
1445293465fSRobert Watson 			}
1455293465fSRobert Watson 			goto error;
1465293465fSRobert Watson 
1475293465fSRobert Watson 		case ACL_MASK:
1485293465fSRobert Watson 			acl_mask = &acl->acl_entry[i];
1495293465fSRobert Watson 			break;
1505293465fSRobert Watson 
1515293465fSRobert Watson 		case ACL_OTHER:
1525293465fSRobert Watson 			acl_other = &acl->acl_entry[i];
1535293465fSRobert Watson 			break;
1545293465fSRobert Watson 
1555293465fSRobert Watson 		default:
15630171114SPeter Wemm 			break;
1575293465fSRobert Watson 		}
1585293465fSRobert Watson 	}
1595293465fSRobert Watson 
1605293465fSRobert Watson 	/*
161fb6d736dSRobert Watson 	 * An ACL_OTHER entry should always exist in a valid access ACL.  If
162fb6d736dSRobert Watson 	 * it doesn't, then generate a serious failure.  For now, this means
163fb6d736dSRobert Watson 	 * a debugging message and EPERM, but in the future should probably
164fb6d736dSRobert Watson 	 * be a panic.
165670f6b2fSRobert Watson 	 */
166670f6b2fSRobert Watson 	if (acl_other == NULL) {
167670f6b2fSRobert Watson 		/*
168670f6b2fSRobert Watson 		 * XXX This should never happen
169670f6b2fSRobert Watson 		 */
170670f6b2fSRobert Watson 		printf("vaccess_acl_posix1e: ACL_OTHER missing\n");
171670f6b2fSRobert Watson 		return (EPERM);
172670f6b2fSRobert Watson 	}
173670f6b2fSRobert Watson 
174670f6b2fSRobert Watson 	/*
175fb6d736dSRobert Watson 	 * Checks against ACL_USER, ACL_GROUP_OBJ, and ACL_GROUP fields are
176fb6d736dSRobert Watson 	 * masked by an ACL_MASK entry, if any.  As such, first identify the
177fb6d736dSRobert Watson 	 * ACL_MASK field, then iterate through identifying potential user
178fb6d736dSRobert Watson 	 * matches, then group matches.  If there is no ACL_MASK, assume that
179fb6d736dSRobert Watson 	 * the mask allows all requests to succeed.
1805293465fSRobert Watson 	 */
1815293465fSRobert Watson 	if (acl_mask != NULL) {
1825293465fSRobert Watson 		acl_mask_granted = 0;
183fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_EXECUTE)
1845293465fSRobert Watson 			acl_mask_granted |= VEXEC;
185fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_READ)
1865293465fSRobert Watson 			acl_mask_granted |= VREAD;
187fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_WRITE)
188b02aac46SRobert Watson 			acl_mask_granted |= (VWRITE | VAPPEND);
1895293465fSRobert Watson 	} else
190b02aac46SRobert Watson 		acl_mask_granted = VEXEC | VREAD | VWRITE | VAPPEND;
1915293465fSRobert Watson 
1925293465fSRobert Watson 	/*
193acd3428bSRobert Watson 	 * Check ACL_USER ACL entries.  There will either be one or no
194acd3428bSRobert Watson 	 * matches; if there is one, we accept or rejected based on the
195acd3428bSRobert Watson 	 * match; otherwise, we continue on to groups.
1965293465fSRobert Watson 	 */
1975293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
1985293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
1995293465fSRobert Watson 		case ACL_USER:
2005293465fSRobert Watson 			if (acl->acl_entry[i].ae_id != cred->cr_uid)
2015293465fSRobert Watson 				break;
2025293465fSRobert Watson 			dac_granted = 0;
203fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
2045293465fSRobert Watson 				dac_granted |= VEXEC;
205fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
2065293465fSRobert Watson 				dac_granted |= VREAD;
207fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
208b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
2095293465fSRobert Watson 			dac_granted &= acl_mask_granted;
210013098c8SEdward Tomasz Napierala 			if ((accmode & dac_granted) == accmode)
2115293465fSRobert Watson 				return (0);
212acd3428bSRobert Watson 			/*
213acd3428bSRobert Watson 			 * XXXRW: Do privilege lookup here.
214acd3428bSRobert Watson 			 */
215013098c8SEdward Tomasz Napierala 			if ((accmode & (dac_granted | priv_granted)) !=
216013098c8SEdward Tomasz Napierala 			    accmode)
217b114e127SRobert Watson 				goto error;
218b114e127SRobert Watson 
2195293465fSRobert Watson 			return (0);
2205293465fSRobert Watson 		}
2215293465fSRobert Watson 	}
2225293465fSRobert Watson 
2235293465fSRobert Watson 	/*
224fb6d736dSRobert Watson 	 * Group match is best-match, not first-match, so find a "best"
225fb6d736dSRobert Watson 	 * match.  Iterate across, testing each potential group match.  Make
226fb6d736dSRobert Watson 	 * sure we keep track of whether we found a match or not, so that we
227fb6d736dSRobert Watson 	 * know if we should try again with any available privilege, or if we
228fb6d736dSRobert Watson 	 * should move on to ACL_OTHER.
2295293465fSRobert Watson 	 */
2305293465fSRobert Watson 	group_matched = 0;
2315293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
2325293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
2335293465fSRobert Watson 		case ACL_GROUP_OBJ:
234e15480f8SThomas Moestl 			if (!groupmember(file_gid, cred))
235b114e127SRobert Watson 				break;
2365293465fSRobert Watson 			dac_granted = 0;
237fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
2385293465fSRobert Watson 				dac_granted |= VEXEC;
239fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
2405293465fSRobert Watson 				dac_granted |= VREAD;
241fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
242b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
2435293465fSRobert Watson 			dac_granted  &= acl_mask_granted;
2445293465fSRobert Watson 
245013098c8SEdward Tomasz Napierala 			if ((accmode & dac_granted) == accmode)
2465293465fSRobert Watson 				return (0);
2475293465fSRobert Watson 
2485293465fSRobert Watson 			group_matched = 1;
249b114e127SRobert Watson 			break;
250b114e127SRobert Watson 
251b114e127SRobert Watson 		case ACL_GROUP:
252b114e127SRobert Watson 			if (!groupmember(acl->acl_entry[i].ae_id, cred))
253b114e127SRobert Watson 				break;
254b114e127SRobert Watson 			dac_granted = 0;
255b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
256b114e127SRobert Watson 				dac_granted |= VEXEC;
257b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_READ)
258b114e127SRobert Watson 				dac_granted |= VREAD;
259b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
260b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
261b114e127SRobert Watson 			dac_granted  &= acl_mask_granted;
262b114e127SRobert Watson 
263013098c8SEdward Tomasz Napierala 			if ((accmode & dac_granted) == accmode)
264b114e127SRobert Watson 				return (0);
265b114e127SRobert Watson 
266b114e127SRobert Watson 			group_matched = 1;
267b114e127SRobert Watson 			break;
268b114e127SRobert Watson 
2695293465fSRobert Watson 		default:
27030171114SPeter Wemm 			break;
2715293465fSRobert Watson 		}
2725293465fSRobert Watson 	}
2735293465fSRobert Watson 
2745293465fSRobert Watson 	if (group_matched == 1) {
2755293465fSRobert Watson 		/*
276fb6d736dSRobert Watson 		 * There was a match, but it did not grant rights via pure
277fb6d736dSRobert Watson 		 * DAC.  Try again, this time with privilege.
2785293465fSRobert Watson 		 */
2795293465fSRobert Watson 		for (i = 0; i < acl->acl_cnt; i++) {
2805293465fSRobert Watson 			switch (acl->acl_entry[i].ae_tag) {
2815293465fSRobert Watson 			case ACL_GROUP_OBJ:
28246157a65SRobert Watson 				if (!groupmember(file_gid, cred))
283b114e127SRobert Watson 					break;
2845293465fSRobert Watson 				dac_granted = 0;
285b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
2865293465fSRobert Watson 					dac_granted |= VEXEC;
287b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_READ)
2885293465fSRobert Watson 					dac_granted |= VREAD;
289b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
290b02aac46SRobert Watson 					dac_granted |= (VWRITE | VAPPEND);
2915293465fSRobert Watson 				dac_granted &= acl_mask_granted;
292b114e127SRobert Watson 
293acd3428bSRobert Watson 				/*
294acd3428bSRobert Watson 				 * XXXRW: Do privilege lookup here.
295acd3428bSRobert Watson 				 */
296013098c8SEdward Tomasz Napierala 				if ((accmode & (dac_granted | priv_granted))
297013098c8SEdward Tomasz Napierala 				    != accmode)
298b114e127SRobert Watson 					break;
299b114e127SRobert Watson 
3005293465fSRobert Watson 				return (0);
301b114e127SRobert Watson 
302b114e127SRobert Watson 			case ACL_GROUP:
303b114e127SRobert Watson 				if (!groupmember(acl->acl_entry[i].ae_id,
304b114e127SRobert Watson 				    cred))
305b114e127SRobert Watson 					break;
306b114e127SRobert Watson 				dac_granted = 0;
307b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
308b114e127SRobert Watson 				dac_granted |= VEXEC;
309b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_READ)
310b114e127SRobert Watson 					dac_granted |= VREAD;
311b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
312b02aac46SRobert Watson 					dac_granted |= (VWRITE | VAPPEND);
313b114e127SRobert Watson 				dac_granted &= acl_mask_granted;
314b114e127SRobert Watson 
315acd3428bSRobert Watson 				/*
316acd3428bSRobert Watson 				 * XXXRW: Do privilege lookup here.
317acd3428bSRobert Watson 				 */
318013098c8SEdward Tomasz Napierala 				if ((accmode & (dac_granted | priv_granted))
319013098c8SEdward Tomasz Napierala 				    != accmode)
320b114e127SRobert Watson 					break;
321b114e127SRobert Watson 
322b114e127SRobert Watson 				return (0);
323b114e127SRobert Watson 
3245293465fSRobert Watson 			default:
32530171114SPeter Wemm 				break;
3265293465fSRobert Watson 			}
3275293465fSRobert Watson 		}
3285293465fSRobert Watson 		/*
3295293465fSRobert Watson 		 * Even with privilege, group membership was not sufficient.
3305293465fSRobert Watson 		 * Return failure.
3315293465fSRobert Watson 		 */
3325293465fSRobert Watson 		goto error;
3335293465fSRobert Watson 	}
3345293465fSRobert Watson 
3355293465fSRobert Watson 	/*
3365293465fSRobert Watson 	 * Fall back on ACL_OTHER.  ACL_MASK is not applied to ACL_OTHER.
3375293465fSRobert Watson 	 */
3385293465fSRobert Watson 	dac_granted = 0;
339fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_EXECUTE)
3405293465fSRobert Watson 		dac_granted |= VEXEC;
341fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_READ)
3425293465fSRobert Watson 		dac_granted |= VREAD;
343fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_WRITE)
344b02aac46SRobert Watson 		dac_granted |= (VWRITE | VAPPEND);
3455293465fSRobert Watson 
346013098c8SEdward Tomasz Napierala 	if ((accmode & dac_granted) == accmode)
3475293465fSRobert Watson 		return (0);
348acd3428bSRobert Watson 	/*
349acd3428bSRobert Watson 	 * XXXRW: Do privilege lookup here.
350acd3428bSRobert Watson 	 */
351013098c8SEdward Tomasz Napierala 	if ((accmode & (dac_granted | priv_granted)) == accmode) {
3525293465fSRobert Watson 		return (0);
3535293465fSRobert Watson 	}
3545293465fSRobert Watson 
3555293465fSRobert Watson error:
356013098c8SEdward Tomasz Napierala 	return ((accmode & VADMIN) ? EPERM : EACCES);
3575293465fSRobert Watson }
3585293465fSRobert Watson 
3595293465fSRobert Watson /*
360fb6d736dSRobert Watson  * For the purposes of filesystems maintaining the _OBJ entries in an inode
361fb6d736dSRobert Watson  * with a mode_t field, this routine converts a mode_t entry to an
362fb6d736dSRobert Watson  * acl_perm_t.
3635293465fSRobert Watson  */
3645293465fSRobert Watson acl_perm_t
3655293465fSRobert Watson acl_posix1e_mode_to_perm(acl_tag_t tag, mode_t mode)
3665293465fSRobert Watson {
3675293465fSRobert Watson 	acl_perm_t	perm = 0;
3685293465fSRobert Watson 
3695293465fSRobert Watson 	switch(tag) {
3705293465fSRobert Watson 	case ACL_USER_OBJ:
3715293465fSRobert Watson 		if (mode & S_IXUSR)
372fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3735293465fSRobert Watson 		if (mode & S_IRUSR)
374fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3755293465fSRobert Watson 		if (mode & S_IWUSR)
376fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3775293465fSRobert Watson 		return (perm);
3785293465fSRobert Watson 
3795293465fSRobert Watson 	case ACL_GROUP_OBJ:
3805293465fSRobert Watson 		if (mode & S_IXGRP)
381fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3825293465fSRobert Watson 		if (mode & S_IRGRP)
383fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3845293465fSRobert Watson 		if (mode & S_IWGRP)
385fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3865293465fSRobert Watson 		return (perm);
3875293465fSRobert Watson 
3885293465fSRobert Watson 	case ACL_OTHER:
3895293465fSRobert Watson 		if (mode & S_IXOTH)
390fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3915293465fSRobert Watson 		if (mode & S_IROTH)
392fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3935293465fSRobert Watson 		if (mode & S_IWOTH)
394fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3955293465fSRobert Watson 		return (perm);
3965293465fSRobert Watson 
3975293465fSRobert Watson 	default:
3985293465fSRobert Watson 		printf("acl_posix1e_mode_to_perm: invalid tag (%d)\n", tag);
3995293465fSRobert Watson 		return (0);
4005293465fSRobert Watson 	}
4015293465fSRobert Watson }
4025293465fSRobert Watson 
4035293465fSRobert Watson /*
4045293465fSRobert Watson  * Given inode information (uid, gid, mode), return an acl entry of the
4055293465fSRobert Watson  * appropriate type.
4065293465fSRobert Watson  */
4075293465fSRobert Watson struct acl_entry
4085293465fSRobert Watson acl_posix1e_mode_to_entry(acl_tag_t tag, uid_t uid, gid_t gid, mode_t mode)
4095293465fSRobert Watson {
4105293465fSRobert Watson 	struct acl_entry	acl_entry;
4115293465fSRobert Watson 
4125293465fSRobert Watson 	acl_entry.ae_tag = tag;
4135293465fSRobert Watson 	acl_entry.ae_perm = acl_posix1e_mode_to_perm(tag, mode);
414ae1add4eSEdward Tomasz Napierala 	acl_entry.ae_entry_type = 0;
415ae1add4eSEdward Tomasz Napierala 	acl_entry.ae_flags = 0;
4165293465fSRobert Watson 	switch(tag) {
4175293465fSRobert Watson 	case ACL_USER_OBJ:
4185293465fSRobert Watson 		acl_entry.ae_id = uid;
4195293465fSRobert Watson 		break;
4205293465fSRobert Watson 
4215293465fSRobert Watson 	case ACL_GROUP_OBJ:
4225293465fSRobert Watson 		acl_entry.ae_id = gid;
4235293465fSRobert Watson 		break;
4245293465fSRobert Watson 
4255293465fSRobert Watson 	case ACL_OTHER:
426dbb14f98SChris D. Faulhaber 		acl_entry.ae_id = ACL_UNDEFINED_ID;
4275293465fSRobert Watson 		break;
4285293465fSRobert Watson 
4295293465fSRobert Watson 	default:
430dbb14f98SChris D. Faulhaber 		acl_entry.ae_id = ACL_UNDEFINED_ID;
4315293465fSRobert Watson 		printf("acl_posix1e_mode_to_entry: invalid tag (%d)\n", tag);
4325293465fSRobert Watson 	}
4335293465fSRobert Watson 
4345293465fSRobert Watson 	return (acl_entry);
4355293465fSRobert Watson }
4365293465fSRobert Watson 
4375293465fSRobert Watson /*
4385293465fSRobert Watson  * Utility function to generate a file mode given appropriate ACL entries.
4395293465fSRobert Watson  */
4405293465fSRobert Watson mode_t
4415293465fSRobert Watson acl_posix1e_perms_to_mode(struct acl_entry *acl_user_obj_entry,
4425293465fSRobert Watson     struct acl_entry *acl_group_obj_entry, struct acl_entry *acl_other_entry)
4435293465fSRobert Watson {
4445293465fSRobert Watson 	mode_t	mode;
4455293465fSRobert Watson 
4465293465fSRobert Watson 	mode = 0;
447fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_EXECUTE)
4485293465fSRobert Watson 		mode |= S_IXUSR;
449fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_READ)
4505293465fSRobert Watson 		mode |= S_IRUSR;
451fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_WRITE)
4525293465fSRobert Watson 		mode |= S_IWUSR;
453fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_EXECUTE)
4545293465fSRobert Watson 		mode |= S_IXGRP;
455fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_READ)
4565293465fSRobert Watson 		mode |= S_IRGRP;
457fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_WRITE)
4585293465fSRobert Watson 		mode |= S_IWGRP;
459fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_EXECUTE)
4605293465fSRobert Watson 		mode |= S_IXOTH;
461fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_READ)
4625293465fSRobert Watson 		mode |= S_IROTH;
463fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_WRITE)
4645293465fSRobert Watson 		mode |= S_IWOTH;
4655293465fSRobert Watson 
4665293465fSRobert Watson 	return (mode);
4675293465fSRobert Watson }
4685293465fSRobert Watson 
4695293465fSRobert Watson /*
470fb6d736dSRobert Watson  * Utility function to generate a file mode given a complete POSIX.1e access
471fb6d736dSRobert Watson  * ACL.  Note that if the ACL is improperly formed, this may result in a
472fb6d736dSRobert Watson  * panic.
47360bdc14eSRobert Watson  */
47460bdc14eSRobert Watson mode_t
47560bdc14eSRobert Watson acl_posix1e_acl_to_mode(struct acl *acl)
47660bdc14eSRobert Watson {
47760bdc14eSRobert Watson 	struct acl_entry *acl_mask, *acl_user_obj, *acl_group_obj, *acl_other;
47860bdc14eSRobert Watson 	int i;
47960bdc14eSRobert Watson 
48060bdc14eSRobert Watson 	/*
48160bdc14eSRobert Watson 	 * Find the ACL entries relevant to a POSIX permission mode.
48260bdc14eSRobert Watson 	 */
48360bdc14eSRobert Watson 	acl_user_obj = acl_group_obj = acl_other = acl_mask = NULL;
48460bdc14eSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
48560bdc14eSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
48660bdc14eSRobert Watson 		case ACL_USER_OBJ:
48760bdc14eSRobert Watson 			acl_user_obj = &acl->acl_entry[i];
48860bdc14eSRobert Watson 			break;
48960bdc14eSRobert Watson 
49060bdc14eSRobert Watson 		case ACL_GROUP_OBJ:
49160bdc14eSRobert Watson 			acl_group_obj = &acl->acl_entry[i];
49260bdc14eSRobert Watson 			break;
49360bdc14eSRobert Watson 
49460bdc14eSRobert Watson 		case ACL_OTHER:
49560bdc14eSRobert Watson 			acl_other = &acl->acl_entry[i];
49660bdc14eSRobert Watson 			break;
49760bdc14eSRobert Watson 
49860bdc14eSRobert Watson 		case ACL_MASK:
49960bdc14eSRobert Watson 			acl_mask = &acl->acl_entry[i];
50060bdc14eSRobert Watson 			break;
50160bdc14eSRobert Watson 
50260bdc14eSRobert Watson 		case ACL_USER:
50360bdc14eSRobert Watson 		case ACL_GROUP:
50460bdc14eSRobert Watson 			break;
50560bdc14eSRobert Watson 
50660bdc14eSRobert Watson 		default:
50760bdc14eSRobert Watson 			panic("acl_posix1e_acl_to_mode: bad ae_tag");
50860bdc14eSRobert Watson 		}
50960bdc14eSRobert Watson 	}
51060bdc14eSRobert Watson 
51160bdc14eSRobert Watson 	if (acl_user_obj == NULL || acl_group_obj == NULL || acl_other == NULL)
51260bdc14eSRobert Watson 		panic("acl_posix1e_acl_to_mode: missing base ae_tags");
51360bdc14eSRobert Watson 
51460bdc14eSRobert Watson 	/*
51560bdc14eSRobert Watson 	 * POSIX.1e specifies that if there is an ACL_MASK entry, we replace
51660bdc14eSRobert Watson 	 * the mode "group" bits with its permissions.  If there isn't, we
51760bdc14eSRobert Watson 	 * use the ACL_GROUP_OBJ permissions.
51860bdc14eSRobert Watson 	 */
51960bdc14eSRobert Watson 	if (acl_mask != NULL)
52060bdc14eSRobert Watson 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_mask,
52160bdc14eSRobert Watson 		    acl_other));
52260bdc14eSRobert Watson 	else
52360bdc14eSRobert Watson 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_group_obj,
52460bdc14eSRobert Watson 		    acl_other));
52560bdc14eSRobert Watson }
52660bdc14eSRobert Watson 
52760bdc14eSRobert Watson /*
528fb6d736dSRobert Watson  * Perform a syntactic check of the ACL, sufficient to allow an implementing
529fb6d736dSRobert Watson  * filesystem to determine if it should accept this and rely on the POSIX.1e
530fb6d736dSRobert Watson  * ACL properties.
5315293465fSRobert Watson  */
5325293465fSRobert Watson int
5335293465fSRobert Watson acl_posix1e_check(struct acl *acl)
5345293465fSRobert Watson {
5355293465fSRobert Watson 	int num_acl_user_obj, num_acl_user, num_acl_group_obj, num_acl_group;
5365293465fSRobert Watson 	int num_acl_mask, num_acl_other, i;
5375293465fSRobert Watson 
5385293465fSRobert Watson 	/*
5395293465fSRobert Watson 	 * Verify that the number of entries does not exceed the maximum
5405293465fSRobert Watson 	 * defined for acl_t.
541fb6d736dSRobert Watson 	 *
5425293465fSRobert Watson 	 * Verify that the correct number of various sorts of ae_tags are
5435293465fSRobert Watson 	 * present:
5445293465fSRobert Watson 	 *   Exactly one ACL_USER_OBJ
5455293465fSRobert Watson 	 *   Exactly one ACL_GROUP_OBJ
5465293465fSRobert Watson 	 *   Exactly one ACL_OTHER
5475293465fSRobert Watson 	 *   If any ACL_USER or ACL_GROUP entries appear, then exactly one
5485293465fSRobert Watson 	 *   ACL_MASK entry must also appear.
549fb6d736dSRobert Watson 	 *
5505293465fSRobert Watson 	 * Verify that all ae_perm entries are in ACL_PERM_BITS.
551fb6d736dSRobert Watson 	 *
5525293465fSRobert Watson 	 * Verify all ae_tag entries are understood by this implementation.
553fb6d736dSRobert Watson 	 *
5545293465fSRobert Watson 	 * Note: Does not check for uniqueness of qualifier (ae_id) field.
5555293465fSRobert Watson 	 */
5565293465fSRobert Watson 	num_acl_user_obj = num_acl_user = num_acl_group_obj = num_acl_group =
5575293465fSRobert Watson 	    num_acl_mask = num_acl_other = 0;
558019b32daSEdward Tomasz Napierala 	if (acl->acl_cnt > ACL_MAX_ENTRIES)
5595293465fSRobert Watson 		return (EINVAL);
5605293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
5615293465fSRobert Watson 		/*
5625293465fSRobert Watson 		 * Check for a valid tag.
5635293465fSRobert Watson 		 */
5645293465fSRobert Watson 		switch(acl->acl_entry[i].ae_tag) {
5655293465fSRobert Watson 		case ACL_USER_OBJ:
566b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
567b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
568b114e127SRobert Watson 				return (EINVAL);
5695293465fSRobert Watson 			num_acl_user_obj++;
5705293465fSRobert Watson 			break;
5715293465fSRobert Watson 		case ACL_GROUP_OBJ:
572b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
573b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
574b114e127SRobert Watson 				return (EINVAL);
5755293465fSRobert Watson 			num_acl_group_obj++;
5765293465fSRobert Watson 			break;
5775293465fSRobert Watson 		case ACL_USER:
578b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
579b114e127SRobert Watson 				return (EINVAL);
5805293465fSRobert Watson 			num_acl_user++;
5815293465fSRobert Watson 			break;
5825293465fSRobert Watson 		case ACL_GROUP:
583b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
584b114e127SRobert Watson 				return (EINVAL);
5855293465fSRobert Watson 			num_acl_group++;
5865293465fSRobert Watson 			break;
5875293465fSRobert Watson 		case ACL_OTHER:
588b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
589b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
590b114e127SRobert Watson 				return (EINVAL);
5915293465fSRobert Watson 			num_acl_other++;
5925293465fSRobert Watson 			break;
5935293465fSRobert Watson 		case ACL_MASK:
594b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
595b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
596b114e127SRobert Watson 				return (EINVAL);
5975293465fSRobert Watson 			num_acl_mask++;
5985293465fSRobert Watson 			break;
5995293465fSRobert Watson 		default:
6005293465fSRobert Watson 			return (EINVAL);
6015293465fSRobert Watson 		}
6025293465fSRobert Watson 		/*
6035293465fSRobert Watson 		 * Check for valid perm entries.
6045293465fSRobert Watson 		 */
6055293465fSRobert Watson 		if ((acl->acl_entry[i].ae_perm | ACL_PERM_BITS) !=
6065293465fSRobert Watson 		    ACL_PERM_BITS)
6075293465fSRobert Watson 			return (EINVAL);
6085293465fSRobert Watson 	}
6095293465fSRobert Watson 	if ((num_acl_user_obj != 1) || (num_acl_group_obj != 1) ||
6105293465fSRobert Watson 	    (num_acl_other != 1) || (num_acl_mask != 0 && num_acl_mask != 1))
6115293465fSRobert Watson 		return (EINVAL);
6125293465fSRobert Watson 	if (((num_acl_group != 0) || (num_acl_user != 0)) &&
6135293465fSRobert Watson 	    (num_acl_mask != 1))
6145293465fSRobert Watson 		return (EINVAL);
6155293465fSRobert Watson 	return (0);
6165293465fSRobert Watson }
6175293465fSRobert Watson 
6185293465fSRobert Watson /*
619fb6d736dSRobert Watson  * Given a requested mode for a new object, and a default ACL, combine the
620fb6d736dSRobert Watson  * two to produce a new mode.  Be careful not to clear any bits that aren't
621fb6d736dSRobert Watson  * intended to be affected by the POSIX.1e ACL.  Eventually, this might also
622fb6d736dSRobert Watson  * take the cmask as an argument, if we push that down into
623fb6d736dSRobert Watson  * per-filesystem-code.
62460bdc14eSRobert Watson  */
62560bdc14eSRobert Watson mode_t
62660bdc14eSRobert Watson acl_posix1e_newfilemode(mode_t cmode, struct acl *dacl)
62760bdc14eSRobert Watson {
62860bdc14eSRobert Watson 	mode_t mode;
62960bdc14eSRobert Watson 
63060bdc14eSRobert Watson 	mode = cmode;
63160bdc14eSRobert Watson 	/*
632fb6d736dSRobert Watson 	 * The current composition policy is that a permission bit must be
633fb6d736dSRobert Watson 	 * set in *both* the ACL and the requested creation mode for it to
634fb6d736dSRobert Watson 	 * appear in the resulting mode/ACL.  First clear any possibly
635fb6d736dSRobert Watson 	 * effected bits, then reconstruct.
63660bdc14eSRobert Watson 	 */
63760bdc14eSRobert Watson 	mode &= ACL_PRESERVE_MASK;
63860bdc14eSRobert Watson 	mode |= (ACL_OVERRIDE_MASK & cmode & acl_posix1e_acl_to_mode(dacl));
63960bdc14eSRobert Watson 
64060bdc14eSRobert Watson 	return (mode);
64160bdc14eSRobert Watson }
642a9a282f6SAdrian Chadd 
643a9a282f6SAdrian Chadd static int
644a9a282f6SAdrian Chadd acl_posix1e_modload(module_t mod, int what, void *arg)
645a9a282f6SAdrian Chadd {
646a9a282f6SAdrian Chadd 	int ret;
647a9a282f6SAdrian Chadd 
648a9a282f6SAdrian Chadd 	ret = 0;
649a9a282f6SAdrian Chadd 
650a9a282f6SAdrian Chadd 	switch (what) {
651a9a282f6SAdrian Chadd 	case MOD_LOAD:
652a9a282f6SAdrian Chadd 	case MOD_SHUTDOWN:
653a9a282f6SAdrian Chadd 		break;
654a9a282f6SAdrian Chadd 
655a9a282f6SAdrian Chadd 	case MOD_QUIESCE:
656a9a282f6SAdrian Chadd 		/* XXX TODO */
657a9a282f6SAdrian Chadd 		ret = 0;
658a9a282f6SAdrian Chadd 		break;
659a9a282f6SAdrian Chadd 
660a9a282f6SAdrian Chadd 	case MOD_UNLOAD:
661a9a282f6SAdrian Chadd 		/* XXX TODO */
662a9a282f6SAdrian Chadd 		ret = 0;
663a9a282f6SAdrian Chadd 		break;
664a9a282f6SAdrian Chadd 	default:
665a9a282f6SAdrian Chadd 		ret = EINVAL;
666a9a282f6SAdrian Chadd 		break;
667a9a282f6SAdrian Chadd 	}
668a9a282f6SAdrian Chadd 
669a9a282f6SAdrian Chadd 	return (ret);
670a9a282f6SAdrian Chadd }
671a9a282f6SAdrian Chadd 
672a9a282f6SAdrian Chadd static moduledata_t acl_posix1e_mod = {
673a9a282f6SAdrian Chadd 	"acl_posix1e",
674a9a282f6SAdrian Chadd 	acl_posix1e_modload,
675a9a282f6SAdrian Chadd 	NULL
676a9a282f6SAdrian Chadd };
677a9a282f6SAdrian Chadd 
678a9a282f6SAdrian Chadd DECLARE_MODULE(acl_posix1e, acl_posix1e_mod, SI_SUB_VFS, SI_ORDER_FIRST);
679a9a282f6SAdrian Chadd MODULE_VERSION(acl_posix1e, 1);
680