xref: /freebsd/sys/kern/subr_acl_posix1e.c (revision e4256d1e8d9d048e78b3ca2fb8c666055a92276d)
191f37dcbSRobert Watson /*-
2e4256d1eSRobert Watson  * Copyright (c) 1999-2006 Robert N. M. Watson
391f37dcbSRobert Watson  * All rights reserved.
491f37dcbSRobert Watson  *
56d878543SRobert Watson  * This software was developed by Robert Watson for the TrustedBSD Project.
66d878543SRobert Watson  *
791f37dcbSRobert Watson  * Redistribution and use in source and binary forms, with or without
891f37dcbSRobert Watson  * modification, are permitted provided that the following conditions
991f37dcbSRobert Watson  * are met:
1091f37dcbSRobert Watson  * 1. Redistributions of source code must retain the above copyright
1191f37dcbSRobert Watson  *    notice, this list of conditions and the following disclaimer.
1291f37dcbSRobert Watson  * 2. Redistributions in binary form must reproduce the above copyright
1391f37dcbSRobert Watson  *    notice, this list of conditions and the following disclaimer in the
1491f37dcbSRobert Watson  *    documentation and/or other materials provided with the distribution.
1591f37dcbSRobert Watson  *
1691f37dcbSRobert Watson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
1791f37dcbSRobert Watson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
1891f37dcbSRobert Watson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
1991f37dcbSRobert Watson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
2091f37dcbSRobert Watson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2191f37dcbSRobert Watson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2291f37dcbSRobert Watson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2391f37dcbSRobert Watson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2491f37dcbSRobert Watson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2591f37dcbSRobert Watson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
2691f37dcbSRobert Watson  * SUCH DAMAGE.
2791f37dcbSRobert Watson  */
2891f37dcbSRobert Watson /*
295293465fSRobert Watson  * Developed by the TrustedBSD Project.
30e4256d1eSRobert Watson  *
31e4256d1eSRobert Watson  * ACL support routines specific to POSIX.1e access control lists.  These are
32e4256d1eSRobert Watson  * utility routines for code common across file systems implementing POSIX.1e
33e4256d1eSRobert Watson  * ACLs.
3491f37dcbSRobert Watson  */
3591f37dcbSRobert Watson 
36677b542eSDavid E. O'Brien #include <sys/cdefs.h>
37677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
38677b542eSDavid E. O'Brien 
3991f37dcbSRobert Watson #include <sys/param.h>
4091f37dcbSRobert Watson #include <sys/systm.h>
4142e7197fSChristian S.J. Peron #include <sys/mount.h>
4291f37dcbSRobert Watson #include <sys/vnode.h>
4391f37dcbSRobert Watson #include <sys/errno.h>
4491f37dcbSRobert Watson #include <sys/stat.h>
4591f37dcbSRobert Watson #include <sys/acl.h>
4691f37dcbSRobert Watson 
4791f37dcbSRobert Watson /*
485293465fSRobert Watson  * Implement a version of vaccess() that understands POSIX.1e ACL semantics.
495293465fSRobert Watson  * Return 0 on success, else an errno value.  Should be merged into
505293465fSRobert Watson  * vaccess() eventually.
515293465fSRobert Watson  */
525293465fSRobert Watson int
53b114e127SRobert Watson vaccess_acl_posix1e(enum vtype type, uid_t file_uid, gid_t file_gid,
54b114e127SRobert Watson     struct acl *acl, mode_t acc_mode, struct ucred *cred, int *privused)
555293465fSRobert Watson {
565293465fSRobert Watson 	struct acl_entry *acl_other, *acl_mask;
575293465fSRobert Watson 	mode_t dac_granted;
585293465fSRobert Watson 	mode_t cap_granted;
595293465fSRobert Watson 	mode_t acl_mask_granted;
605293465fSRobert Watson 	int group_matched, i;
615293465fSRobert Watson 
625293465fSRobert Watson 	/*
635293465fSRobert Watson 	 * Look for a normal, non-privileged way to access the file/directory
645293465fSRobert Watson 	 * as requested.  If it exists, go with that.  Otherwise, attempt
655293465fSRobert Watson 	 * to use privileges granted via cap_granted.  In some cases,
665293465fSRobert Watson 	 * which privileges to use may be ambiguous due to "best match",
675293465fSRobert Watson 	 * in which case fall back on first match for the time being.
685293465fSRobert Watson 	 */
695293465fSRobert Watson 	if (privused != NULL)
705293465fSRobert Watson 		*privused = 0;
715293465fSRobert Watson 
725293465fSRobert Watson 	/*
735293465fSRobert Watson 	 * Determine privileges now, but don't apply until we've found
74670f6b2fSRobert Watson 	 * a DAC entry that matches but has failed to allow access.
755293465fSRobert Watson 	 */
765293465fSRobert Watson #ifndef CAPABILITIES
7756f21b9dSColin Percival 	if (suser_cred(cred, SUSER_ALLOWJAIL) == 0)
78b02aac46SRobert Watson 		cap_granted = VALLPERM;
795293465fSRobert Watson 	else
805293465fSRobert Watson 		cap_granted = 0;
815293465fSRobert Watson #else
825293465fSRobert Watson 	cap_granted = 0;
835293465fSRobert Watson 
845293465fSRobert Watson 	if (type == VDIR) {
855293465fSRobert Watson 		if ((acc_mode & VEXEC) && !cap_check(cred, NULL,
8656f21b9dSColin Percival 		     CAP_DAC_READ_SEARCH, SUSER_ALLOWJAIL))
875293465fSRobert Watson 			cap_granted |= VEXEC;
885293465fSRobert Watson 	} else {
895293465fSRobert Watson 		if ((acc_mode & VEXEC) && !cap_check(cred, NULL,
9056f21b9dSColin Percival 		    CAP_DAC_EXECUTE, SUSER_ALLOWJAIL))
915293465fSRobert Watson 			cap_granted |= VEXEC;
925293465fSRobert Watson 	}
935293465fSRobert Watson 
945293465fSRobert Watson 	if ((acc_mode & VREAD) && !cap_check(cred, NULL, CAP_DAC_READ_SEARCH,
9556f21b9dSColin Percival 	    SUSER_ALLOWJAIL))
965293465fSRobert Watson 		cap_granted |= VREAD;
975293465fSRobert Watson 
98b02aac46SRobert Watson 	if (((acc_mode & VWRITE) || (acc_mode & VAPPEND)) &&
9956f21b9dSColin Percival 	    !cap_check(cred, NULL, CAP_DAC_WRITE, SUSER_ALLOWJAIL))
100b02aac46SRobert Watson 		cap_granted |= (VWRITE | VAPPEND);
1015293465fSRobert Watson 
1025293465fSRobert Watson 	if ((acc_mode & VADMIN) && !cap_check(cred, NULL, CAP_FOWNER,
10356f21b9dSColin Percival 	    SUSER_ALLOWJAIL))
1045293465fSRobert Watson 		cap_granted |= VADMIN;
1055293465fSRobert Watson #endif /* CAPABILITIES */
1065293465fSRobert Watson 
1075293465fSRobert Watson 	/*
108670f6b2fSRobert Watson 	 * The owner matches if the effective uid associated with the
109670f6b2fSRobert Watson 	 * credential matches that of the ACL_USER_OBJ entry.  While we're
110670f6b2fSRobert Watson 	 * doing the first scan, also cache the location of the ACL_MASK
111670f6b2fSRobert Watson 	 * and ACL_OTHER entries, preventing some future iterations.
1125293465fSRobert Watson 	 */
1135293465fSRobert Watson 	acl_mask = acl_other = NULL;
1145293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
1155293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
1165293465fSRobert Watson 		case ACL_USER_OBJ:
117b114e127SRobert Watson 			if (file_uid != cred->cr_uid)
1185293465fSRobert Watson 				break;
1195293465fSRobert Watson 			dac_granted = 0;
1205293465fSRobert Watson 			dac_granted |= VADMIN;
121fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
1225293465fSRobert Watson 				dac_granted |= VEXEC;
123fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
1245293465fSRobert Watson 				dac_granted |= VREAD;
125fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
126b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
1275293465fSRobert Watson 			if ((acc_mode & dac_granted) == acc_mode)
1285293465fSRobert Watson 				return (0);
1295293465fSRobert Watson 			if ((acc_mode & (dac_granted | cap_granted)) ==
1305293465fSRobert Watson 			    acc_mode) {
1315293465fSRobert Watson 				if (privused != NULL)
1325293465fSRobert Watson 					*privused = 1;
1335293465fSRobert Watson 				return (0);
1345293465fSRobert Watson 			}
1355293465fSRobert Watson 			goto error;
1365293465fSRobert Watson 
1375293465fSRobert Watson 		case ACL_MASK:
1385293465fSRobert Watson 			acl_mask = &acl->acl_entry[i];
1395293465fSRobert Watson 			break;
1405293465fSRobert Watson 
1415293465fSRobert Watson 		case ACL_OTHER:
1425293465fSRobert Watson 			acl_other = &acl->acl_entry[i];
1435293465fSRobert Watson 			break;
1445293465fSRobert Watson 
1455293465fSRobert Watson 		default:
14630171114SPeter Wemm 			break;
1475293465fSRobert Watson 		}
1485293465fSRobert Watson 	}
1495293465fSRobert Watson 
1505293465fSRobert Watson 	/*
151670f6b2fSRobert Watson 	 * An ACL_OTHER entry should always exist in a valid access
152670f6b2fSRobert Watson 	 * ACL.  If it doesn't, then generate a serious failure.  For now,
153670f6b2fSRobert Watson 	 * this means a debugging message and EPERM, but in the future
154670f6b2fSRobert Watson 	 * should probably be a panic.
155670f6b2fSRobert Watson 	 */
156670f6b2fSRobert Watson 	if (acl_other == NULL) {
157670f6b2fSRobert Watson 		/*
158670f6b2fSRobert Watson 		 * XXX This should never happen
159670f6b2fSRobert Watson 		 */
160670f6b2fSRobert Watson 		printf("vaccess_acl_posix1e: ACL_OTHER missing\n");
161670f6b2fSRobert Watson 		return (EPERM);
162670f6b2fSRobert Watson 	}
163670f6b2fSRobert Watson 
164670f6b2fSRobert Watson 	/*
1655293465fSRobert Watson 	 * Checks against ACL_USER, ACL_GROUP_OBJ, and ACL_GROUP fields
1665293465fSRobert Watson 	 * are masked by an ACL_MASK entry, if any.  As such, first identify
1675293465fSRobert Watson 	 * the ACL_MASK field, then iterate through identifying potential
1685293465fSRobert Watson 	 * user matches, then group matches.  If there is no ACL_MASK,
1695293465fSRobert Watson 	 * assume that the mask allows all requests to succeed.
1705293465fSRobert Watson 	 */
1715293465fSRobert Watson 	if (acl_mask != NULL) {
1725293465fSRobert Watson 		acl_mask_granted = 0;
173fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_EXECUTE)
1745293465fSRobert Watson 			acl_mask_granted |= VEXEC;
175fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_READ)
1765293465fSRobert Watson 			acl_mask_granted |= VREAD;
177fb1af1f2SChris D. Faulhaber 		if (acl_mask->ae_perm & ACL_WRITE)
178b02aac46SRobert Watson 			acl_mask_granted |= (VWRITE | VAPPEND);
1795293465fSRobert Watson 	} else
180b02aac46SRobert Watson 		acl_mask_granted = VEXEC | VREAD | VWRITE | VAPPEND;
1815293465fSRobert Watson 
1825293465fSRobert Watson 	/*
183670f6b2fSRobert Watson 	 * Iterate through user ACL entries.  Do checks twice, first
184670f6b2fSRobert Watson 	 * without privilege, and then if a match is found but failed,
185670f6b2fSRobert Watson 	 * a second time with privilege.
1865293465fSRobert Watson 	 */
1875293465fSRobert Watson 
1885293465fSRobert Watson 	/*
1895293465fSRobert Watson 	 * Check ACL_USER ACL entries.
1905293465fSRobert Watson 	 */
1915293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
1925293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
1935293465fSRobert Watson 		case ACL_USER:
1945293465fSRobert Watson 			if (acl->acl_entry[i].ae_id != cred->cr_uid)
1955293465fSRobert Watson 				break;
1965293465fSRobert Watson 			dac_granted = 0;
197fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
1985293465fSRobert Watson 				dac_granted |= VEXEC;
199fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
2005293465fSRobert Watson 				dac_granted |= VREAD;
201fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
202b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
2035293465fSRobert Watson 			dac_granted &= acl_mask_granted;
2045293465fSRobert Watson 			if ((acc_mode & dac_granted) == acc_mode)
2055293465fSRobert Watson 				return (0);
206b114e127SRobert Watson 			if ((acc_mode & (dac_granted | cap_granted)) !=
207b114e127SRobert Watson 			    acc_mode)
208b114e127SRobert Watson 				goto error;
209b114e127SRobert Watson 
2105293465fSRobert Watson 			if (privused != NULL)
2115293465fSRobert Watson 				*privused = 1;
2125293465fSRobert Watson 			return (0);
2135293465fSRobert Watson 		}
2145293465fSRobert Watson 	}
2155293465fSRobert Watson 
2165293465fSRobert Watson 	/*
2175293465fSRobert Watson 	 * Group match is best-match, not first-match, so find a
2185293465fSRobert Watson 	 * "best" match.  Iterate across, testing each potential group
2195293465fSRobert Watson 	 * match.  Make sure we keep track of whether we found a match
220670f6b2fSRobert Watson 	 * or not, so that we know if we should try again with any
221670f6b2fSRobert Watson 	 * available privilege, or if we should move on to ACL_OTHER.
2225293465fSRobert Watson 	 */
2235293465fSRobert Watson 	group_matched = 0;
2245293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
2255293465fSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
2265293465fSRobert Watson 		case ACL_GROUP_OBJ:
227e15480f8SThomas Moestl 			if (!groupmember(file_gid, cred))
228b114e127SRobert Watson 				break;
2295293465fSRobert Watson 			dac_granted = 0;
230fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
2315293465fSRobert Watson 				dac_granted |= VEXEC;
232fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_READ)
2335293465fSRobert Watson 				dac_granted |= VREAD;
234fb1af1f2SChris D. Faulhaber 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
235b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
2365293465fSRobert Watson 			dac_granted  &= acl_mask_granted;
2375293465fSRobert Watson 
2385293465fSRobert Watson 			if ((acc_mode & dac_granted) == acc_mode)
2395293465fSRobert Watson 				return (0);
2405293465fSRobert Watson 
2415293465fSRobert Watson 			group_matched = 1;
242b114e127SRobert Watson 			break;
243b114e127SRobert Watson 
244b114e127SRobert Watson 		case ACL_GROUP:
245b114e127SRobert Watson 			if (!groupmember(acl->acl_entry[i].ae_id, cred))
246b114e127SRobert Watson 				break;
247b114e127SRobert Watson 			dac_granted = 0;
248b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
249b114e127SRobert Watson 				dac_granted |= VEXEC;
250b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_READ)
251b114e127SRobert Watson 				dac_granted |= VREAD;
252b114e127SRobert Watson 			if (acl->acl_entry[i].ae_perm & ACL_WRITE)
253b02aac46SRobert Watson 				dac_granted |= (VWRITE | VAPPEND);
254b114e127SRobert Watson 			dac_granted  &= acl_mask_granted;
255b114e127SRobert Watson 
256b114e127SRobert Watson 			if ((acc_mode & dac_granted) == acc_mode)
257b114e127SRobert Watson 				return (0);
258b114e127SRobert Watson 
259b114e127SRobert Watson 			group_matched = 1;
260b114e127SRobert Watson 			break;
261b114e127SRobert Watson 
2625293465fSRobert Watson 		default:
26330171114SPeter Wemm 			break;
2645293465fSRobert Watson 		}
2655293465fSRobert Watson 	}
2665293465fSRobert Watson 
2675293465fSRobert Watson 	if (group_matched == 1) {
2685293465fSRobert Watson 		/*
2695293465fSRobert Watson 		 * There was a match, but it did not grant rights via
2705293465fSRobert Watson 		 * pure DAC.  Try again, this time with privilege.
2715293465fSRobert Watson 		 */
2725293465fSRobert Watson 		for (i = 0; i < acl->acl_cnt; i++) {
2735293465fSRobert Watson 			switch (acl->acl_entry[i].ae_tag) {
2745293465fSRobert Watson 			case ACL_GROUP_OBJ:
27546157a65SRobert Watson 				if (!groupmember(file_gid, cred))
276b114e127SRobert Watson 					break;
2775293465fSRobert Watson 				dac_granted = 0;
278b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
2795293465fSRobert Watson 					dac_granted |= VEXEC;
280b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_READ)
2815293465fSRobert Watson 					dac_granted |= VREAD;
282b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
283b02aac46SRobert Watson 					dac_granted |= (VWRITE | VAPPEND);
2845293465fSRobert Watson 				dac_granted &= acl_mask_granted;
285b114e127SRobert Watson 
286b114e127SRobert Watson 				if ((acc_mode & (dac_granted | cap_granted)) !=
287b114e127SRobert Watson 				    acc_mode)
288b114e127SRobert Watson 					break;
289b114e127SRobert Watson 
2905293465fSRobert Watson 				if (privused != NULL)
2915293465fSRobert Watson 					*privused = 1;
2925293465fSRobert Watson 				return (0);
293b114e127SRobert Watson 
294b114e127SRobert Watson 			case ACL_GROUP:
295b114e127SRobert Watson 				if (!groupmember(acl->acl_entry[i].ae_id,
296b114e127SRobert Watson 				    cred))
297b114e127SRobert Watson 					break;
298b114e127SRobert Watson 				dac_granted = 0;
299b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_EXECUTE)
300b114e127SRobert Watson 				dac_granted |= VEXEC;
301b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_READ)
302b114e127SRobert Watson 					dac_granted |= VREAD;
303b114e127SRobert Watson 				if (acl->acl_entry[i].ae_perm & ACL_WRITE)
304b02aac46SRobert Watson 					dac_granted |= (VWRITE | VAPPEND);
305b114e127SRobert Watson 				dac_granted &= acl_mask_granted;
306b114e127SRobert Watson 
307b114e127SRobert Watson 				if ((acc_mode & (dac_granted | cap_granted)) !=
308b114e127SRobert Watson 				    acc_mode)
309b114e127SRobert Watson 					break;
310b114e127SRobert Watson 
311b114e127SRobert Watson 				if (privused != NULL)
312b114e127SRobert Watson 					*privused = 1;
313b114e127SRobert Watson 				return (0);
314b114e127SRobert Watson 
3155293465fSRobert Watson 			default:
31630171114SPeter Wemm 				break;
3175293465fSRobert Watson 			}
3185293465fSRobert Watson 		}
3195293465fSRobert Watson 		/*
3205293465fSRobert Watson 		 * Even with privilege, group membership was not sufficient.
3215293465fSRobert Watson 		 * Return failure.
3225293465fSRobert Watson 		 */
3235293465fSRobert Watson 		goto error;
3245293465fSRobert Watson 	}
3255293465fSRobert Watson 
3265293465fSRobert Watson 	/*
3275293465fSRobert Watson 	 * Fall back on ACL_OTHER.  ACL_MASK is not applied to ACL_OTHER.
3285293465fSRobert Watson 	 */
3295293465fSRobert Watson 	dac_granted = 0;
330fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_EXECUTE)
3315293465fSRobert Watson 		dac_granted |= VEXEC;
332fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_READ)
3335293465fSRobert Watson 		dac_granted |= VREAD;
334fb1af1f2SChris D. Faulhaber 	if (acl_other->ae_perm & ACL_WRITE)
335b02aac46SRobert Watson 		dac_granted |= (VWRITE | VAPPEND);
3365293465fSRobert Watson 
3375293465fSRobert Watson 	if ((acc_mode & dac_granted) == acc_mode)
3385293465fSRobert Watson 		return (0);
3395293465fSRobert Watson 	if ((acc_mode & (dac_granted | cap_granted)) == acc_mode) {
3405293465fSRobert Watson 		if (privused != NULL)
3415293465fSRobert Watson 			*privused = 1;
3425293465fSRobert Watson 		return (0);
3435293465fSRobert Watson 	}
3445293465fSRobert Watson 
3455293465fSRobert Watson error:
3465293465fSRobert Watson 	return ((acc_mode & VADMIN) ? EPERM : EACCES);
3475293465fSRobert Watson }
3485293465fSRobert Watson 
3495293465fSRobert Watson /*
3505293465fSRobert Watson  * For the purposes of filesystems maintaining the _OBJ entries in an
3515293465fSRobert Watson  * inode with a mode_t field, this routine converts a mode_t entry
3525293465fSRobert Watson  * to an acl_perm_t.
3535293465fSRobert Watson  */
3545293465fSRobert Watson acl_perm_t
3555293465fSRobert Watson acl_posix1e_mode_to_perm(acl_tag_t tag, mode_t mode)
3565293465fSRobert Watson {
3575293465fSRobert Watson 	acl_perm_t	perm = 0;
3585293465fSRobert Watson 
3595293465fSRobert Watson 	switch(tag) {
3605293465fSRobert Watson 	case ACL_USER_OBJ:
3615293465fSRobert Watson 		if (mode & S_IXUSR)
362fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3635293465fSRobert Watson 		if (mode & S_IRUSR)
364fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3655293465fSRobert Watson 		if (mode & S_IWUSR)
366fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3675293465fSRobert Watson 		return (perm);
3685293465fSRobert Watson 
3695293465fSRobert Watson 	case ACL_GROUP_OBJ:
3705293465fSRobert Watson 		if (mode & S_IXGRP)
371fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3725293465fSRobert Watson 		if (mode & S_IRGRP)
373fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3745293465fSRobert Watson 		if (mode & S_IWGRP)
375fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3765293465fSRobert Watson 		return (perm);
3775293465fSRobert Watson 
3785293465fSRobert Watson 	case ACL_OTHER:
3795293465fSRobert Watson 		if (mode & S_IXOTH)
380fb1af1f2SChris D. Faulhaber 			perm |= ACL_EXECUTE;
3815293465fSRobert Watson 		if (mode & S_IROTH)
382fb1af1f2SChris D. Faulhaber 			perm |= ACL_READ;
3835293465fSRobert Watson 		if (mode & S_IWOTH)
384fb1af1f2SChris D. Faulhaber 			perm |= ACL_WRITE;
3855293465fSRobert Watson 		return (perm);
3865293465fSRobert Watson 
3875293465fSRobert Watson 	default:
3885293465fSRobert Watson 		printf("acl_posix1e_mode_to_perm: invalid tag (%d)\n", tag);
3895293465fSRobert Watson 		return (0);
3905293465fSRobert Watson 	}
3915293465fSRobert Watson }
3925293465fSRobert Watson 
3935293465fSRobert Watson /*
3945293465fSRobert Watson  * Given inode information (uid, gid, mode), return an acl entry of the
3955293465fSRobert Watson  * appropriate type.
3965293465fSRobert Watson  */
3975293465fSRobert Watson struct acl_entry
3985293465fSRobert Watson acl_posix1e_mode_to_entry(acl_tag_t tag, uid_t uid, gid_t gid, mode_t mode)
3995293465fSRobert Watson {
4005293465fSRobert Watson 	struct acl_entry	acl_entry;
4015293465fSRobert Watson 
4025293465fSRobert Watson 	acl_entry.ae_tag = tag;
4035293465fSRobert Watson 	acl_entry.ae_perm = acl_posix1e_mode_to_perm(tag, mode);
4045293465fSRobert Watson 	switch(tag) {
4055293465fSRobert Watson 	case ACL_USER_OBJ:
4065293465fSRobert Watson 		acl_entry.ae_id = uid;
4075293465fSRobert Watson 		break;
4085293465fSRobert Watson 
4095293465fSRobert Watson 	case ACL_GROUP_OBJ:
4105293465fSRobert Watson 		acl_entry.ae_id = gid;
4115293465fSRobert Watson 		break;
4125293465fSRobert Watson 
4135293465fSRobert Watson 	case ACL_OTHER:
414dbb14f98SChris D. Faulhaber 		acl_entry.ae_id = ACL_UNDEFINED_ID;
4155293465fSRobert Watson 		break;
4165293465fSRobert Watson 
4175293465fSRobert Watson 	default:
418dbb14f98SChris D. Faulhaber 		acl_entry.ae_id = ACL_UNDEFINED_ID;
4195293465fSRobert Watson 		printf("acl_posix1e_mode_to_entry: invalid tag (%d)\n", tag);
4205293465fSRobert Watson 	}
4215293465fSRobert Watson 
4225293465fSRobert Watson 	return (acl_entry);
4235293465fSRobert Watson }
4245293465fSRobert Watson 
4255293465fSRobert Watson /*
4265293465fSRobert Watson  * Utility function to generate a file mode given appropriate ACL entries.
4275293465fSRobert Watson  */
4285293465fSRobert Watson mode_t
4295293465fSRobert Watson acl_posix1e_perms_to_mode(struct acl_entry *acl_user_obj_entry,
4305293465fSRobert Watson     struct acl_entry *acl_group_obj_entry, struct acl_entry *acl_other_entry)
4315293465fSRobert Watson {
4325293465fSRobert Watson 	mode_t	mode;
4335293465fSRobert Watson 
4345293465fSRobert Watson 	mode = 0;
435fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_EXECUTE)
4365293465fSRobert Watson 		mode |= S_IXUSR;
437fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_READ)
4385293465fSRobert Watson 		mode |= S_IRUSR;
439fb1af1f2SChris D. Faulhaber 	if (acl_user_obj_entry->ae_perm & ACL_WRITE)
4405293465fSRobert Watson 		mode |= S_IWUSR;
441fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_EXECUTE)
4425293465fSRobert Watson 		mode |= S_IXGRP;
443fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_READ)
4445293465fSRobert Watson 		mode |= S_IRGRP;
445fb1af1f2SChris D. Faulhaber 	if (acl_group_obj_entry->ae_perm & ACL_WRITE)
4465293465fSRobert Watson 		mode |= S_IWGRP;
447fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_EXECUTE)
4485293465fSRobert Watson 		mode |= S_IXOTH;
449fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_READ)
4505293465fSRobert Watson 		mode |= S_IROTH;
451fb1af1f2SChris D. Faulhaber 	if (acl_other_entry->ae_perm & ACL_WRITE)
4525293465fSRobert Watson 		mode |= S_IWOTH;
4535293465fSRobert Watson 
4545293465fSRobert Watson 	return (mode);
4555293465fSRobert Watson }
4565293465fSRobert Watson 
4575293465fSRobert Watson /*
45860bdc14eSRobert Watson  * Utility function to generate a file mode given a complete POSIX.1e
45960bdc14eSRobert Watson  * access ACL.  Note that if the ACL is improperly formed, this may
46060bdc14eSRobert Watson  * result in a panic.
46160bdc14eSRobert Watson  */
46260bdc14eSRobert Watson mode_t
46360bdc14eSRobert Watson acl_posix1e_acl_to_mode(struct acl *acl)
46460bdc14eSRobert Watson {
46560bdc14eSRobert Watson 	struct acl_entry *acl_mask, *acl_user_obj, *acl_group_obj, *acl_other;
46660bdc14eSRobert Watson 	int i;
46760bdc14eSRobert Watson 
46860bdc14eSRobert Watson 	/*
46960bdc14eSRobert Watson 	 * Find the ACL entries relevant to a POSIX permission mode.
47060bdc14eSRobert Watson 	 */
47160bdc14eSRobert Watson 	acl_user_obj = acl_group_obj = acl_other = acl_mask = NULL;
47260bdc14eSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
47360bdc14eSRobert Watson 		switch (acl->acl_entry[i].ae_tag) {
47460bdc14eSRobert Watson 		case ACL_USER_OBJ:
47560bdc14eSRobert Watson 			acl_user_obj = &acl->acl_entry[i];
47660bdc14eSRobert Watson 			break;
47760bdc14eSRobert Watson 
47860bdc14eSRobert Watson 		case ACL_GROUP_OBJ:
47960bdc14eSRobert Watson 			acl_group_obj = &acl->acl_entry[i];
48060bdc14eSRobert Watson 			break;
48160bdc14eSRobert Watson 
48260bdc14eSRobert Watson 		case ACL_OTHER:
48360bdc14eSRobert Watson 			acl_other = &acl->acl_entry[i];
48460bdc14eSRobert Watson 			break;
48560bdc14eSRobert Watson 
48660bdc14eSRobert Watson 		case ACL_MASK:
48760bdc14eSRobert Watson 			acl_mask = &acl->acl_entry[i];
48860bdc14eSRobert Watson 			break;
48960bdc14eSRobert Watson 
49060bdc14eSRobert Watson 		case ACL_USER:
49160bdc14eSRobert Watson 		case ACL_GROUP:
49260bdc14eSRobert Watson 			break;
49360bdc14eSRobert Watson 
49460bdc14eSRobert Watson 		default:
49560bdc14eSRobert Watson 			panic("acl_posix1e_acl_to_mode: bad ae_tag");
49660bdc14eSRobert Watson 		}
49760bdc14eSRobert Watson 	}
49860bdc14eSRobert Watson 
49960bdc14eSRobert Watson 	if (acl_user_obj == NULL || acl_group_obj == NULL || acl_other == NULL)
50060bdc14eSRobert Watson 		panic("acl_posix1e_acl_to_mode: missing base ae_tags");
50160bdc14eSRobert Watson 
50260bdc14eSRobert Watson 	/*
50360bdc14eSRobert Watson 	 * POSIX.1e specifies that if there is an ACL_MASK entry, we replace
50460bdc14eSRobert Watson 	 * the mode "group" bits with its permissions.  If there isn't, we
50560bdc14eSRobert Watson 	 * use the ACL_GROUP_OBJ permissions.
50660bdc14eSRobert Watson 	 */
50760bdc14eSRobert Watson 	if (acl_mask != NULL)
50860bdc14eSRobert Watson 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_mask,
50960bdc14eSRobert Watson 		    acl_other));
51060bdc14eSRobert Watson 	else
51160bdc14eSRobert Watson 		return (acl_posix1e_perms_to_mode(acl_user_obj, acl_group_obj,
51260bdc14eSRobert Watson 		    acl_other));
51360bdc14eSRobert Watson }
51460bdc14eSRobert Watson 
51560bdc14eSRobert Watson /*
5165293465fSRobert Watson  * Perform a syntactic check of the ACL, sufficient to allow an
5175293465fSRobert Watson  * implementing filesystem to determine if it should accept this and
5185293465fSRobert Watson  * rely on the POSIX.1e ACL properties.
5195293465fSRobert Watson  */
5205293465fSRobert Watson int
5215293465fSRobert Watson acl_posix1e_check(struct acl *acl)
5225293465fSRobert Watson {
5235293465fSRobert Watson 	int num_acl_user_obj, num_acl_user, num_acl_group_obj, num_acl_group;
5245293465fSRobert Watson 	int num_acl_mask, num_acl_other, i;
5255293465fSRobert Watson 
5265293465fSRobert Watson 	/*
5275293465fSRobert Watson 	 * Verify that the number of entries does not exceed the maximum
5285293465fSRobert Watson 	 * defined for acl_t.
5295293465fSRobert Watson 	 * Verify that the correct number of various sorts of ae_tags are
5305293465fSRobert Watson 	 * present:
5315293465fSRobert Watson 	 *   Exactly one ACL_USER_OBJ
5325293465fSRobert Watson 	 *   Exactly one ACL_GROUP_OBJ
5335293465fSRobert Watson 	 *   Exactly one ACL_OTHER
5345293465fSRobert Watson 	 *   If any ACL_USER or ACL_GROUP entries appear, then exactly one
5355293465fSRobert Watson 	 *   ACL_MASK entry must also appear.
5365293465fSRobert Watson 	 * Verify that all ae_perm entries are in ACL_PERM_BITS.
5375293465fSRobert Watson 	 * Verify all ae_tag entries are understood by this implementation.
5385293465fSRobert Watson 	 * Note: Does not check for uniqueness of qualifier (ae_id) field.
5395293465fSRobert Watson 	 */
5405293465fSRobert Watson 	num_acl_user_obj = num_acl_user = num_acl_group_obj = num_acl_group =
5415293465fSRobert Watson 	    num_acl_mask = num_acl_other = 0;
5425293465fSRobert Watson 	if (acl->acl_cnt > ACL_MAX_ENTRIES || acl->acl_cnt < 0)
5435293465fSRobert Watson 		return (EINVAL);
5445293465fSRobert Watson 	for (i = 0; i < acl->acl_cnt; i++) {
5455293465fSRobert Watson 		/*
5465293465fSRobert Watson 		 * Check for a valid tag.
5475293465fSRobert Watson 		 */
5485293465fSRobert Watson 		switch(acl->acl_entry[i].ae_tag) {
5495293465fSRobert Watson 		case ACL_USER_OBJ:
550b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
551b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
552b114e127SRobert Watson 				return (EINVAL);
5535293465fSRobert Watson 			num_acl_user_obj++;
5545293465fSRobert Watson 			break;
5555293465fSRobert Watson 		case ACL_GROUP_OBJ:
556b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
557b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
558b114e127SRobert Watson 				return (EINVAL);
5595293465fSRobert Watson 			num_acl_group_obj++;
5605293465fSRobert Watson 			break;
5615293465fSRobert Watson 		case ACL_USER:
562b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
563b114e127SRobert Watson 				return (EINVAL);
5645293465fSRobert Watson 			num_acl_user++;
5655293465fSRobert Watson 			break;
5665293465fSRobert Watson 		case ACL_GROUP:
567b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID)
568b114e127SRobert Watson 				return (EINVAL);
5695293465fSRobert Watson 			num_acl_group++;
5705293465fSRobert Watson 			break;
5715293465fSRobert Watson 		case ACL_OTHER:
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_other++;
5765293465fSRobert Watson 			break;
5775293465fSRobert Watson 		case ACL_MASK:
578b114e127SRobert Watson 			acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */
579b114e127SRobert Watson 			if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID)
580b114e127SRobert Watson 				return (EINVAL);
5815293465fSRobert Watson 			num_acl_mask++;
5825293465fSRobert Watson 			break;
5835293465fSRobert Watson 		default:
5845293465fSRobert Watson 			return (EINVAL);
5855293465fSRobert Watson 		}
5865293465fSRobert Watson 		/*
5875293465fSRobert Watson 		 * Check for valid perm entries.
5885293465fSRobert Watson 		 */
5895293465fSRobert Watson 		if ((acl->acl_entry[i].ae_perm | ACL_PERM_BITS) !=
5905293465fSRobert Watson 		    ACL_PERM_BITS)
5915293465fSRobert Watson 			return (EINVAL);
5925293465fSRobert Watson 	}
5935293465fSRobert Watson 	if ((num_acl_user_obj != 1) || (num_acl_group_obj != 1) ||
5945293465fSRobert Watson 	    (num_acl_other != 1) || (num_acl_mask != 0 && num_acl_mask != 1))
5955293465fSRobert Watson 		return (EINVAL);
5965293465fSRobert Watson 	if (((num_acl_group != 0) || (num_acl_user != 0)) &&
5975293465fSRobert Watson 	    (num_acl_mask != 1))
5985293465fSRobert Watson 		return (EINVAL);
5995293465fSRobert Watson 	return (0);
6005293465fSRobert Watson }
6015293465fSRobert Watson 
6025293465fSRobert Watson /*
60360bdc14eSRobert Watson  * Given a requested mode for a new object, and a default ACL, combine
60460bdc14eSRobert Watson  * the two to produce a new mode.  Be careful not to clear any bits that
60560bdc14eSRobert Watson  * aren't intended to be affected by the POSIX.1e ACL.  Eventually,
60660bdc14eSRobert Watson  * this might also take the cmask as an argument, if we push that down
60760bdc14eSRobert Watson  * into per-filesystem-code.
60860bdc14eSRobert Watson  */
60960bdc14eSRobert Watson mode_t
61060bdc14eSRobert Watson acl_posix1e_newfilemode(mode_t cmode, struct acl *dacl)
61160bdc14eSRobert Watson {
61260bdc14eSRobert Watson 	mode_t mode;
61360bdc14eSRobert Watson 
61460bdc14eSRobert Watson 	mode = cmode;
61560bdc14eSRobert Watson 	/*
61660bdc14eSRobert Watson 	 * The current composition policy is that a permission bit must
61760bdc14eSRobert Watson 	 * be set in *both* the ACL and the requested creation mode for
61860bdc14eSRobert Watson 	 * it to appear in the resulting mode/ACL.  First clear any
61960bdc14eSRobert Watson 	 * possibly effected bits, then reconstruct.
62060bdc14eSRobert Watson 	 */
62160bdc14eSRobert Watson 	mode &= ACL_PRESERVE_MASK;
62260bdc14eSRobert Watson 	mode |= (ACL_OVERRIDE_MASK & cmode & acl_posix1e_acl_to_mode(dacl));
62360bdc14eSRobert Watson 
62460bdc14eSRobert Watson 	return (mode);
62560bdc14eSRobert Watson }
626