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 /* 48fb6d736dSRobert Watson * Implement a version of vaccess() that understands POSIX.1e ACL semantics; 49fb6d736dSRobert Watson * the access ACL has already been prepared for evaluation by the file 50fb6d736dSRobert Watson * system and is passed via 'uid', 'gid', and 'acl'. Return 0 on success, 51fb6d736dSRobert Watson * else an errno value. 525293465fSRobert Watson */ 535293465fSRobert Watson int 54b114e127SRobert Watson vaccess_acl_posix1e(enum vtype type, uid_t file_uid, gid_t file_gid, 55b114e127SRobert Watson struct acl *acl, mode_t acc_mode, struct ucred *cred, int *privused) 565293465fSRobert Watson { 575293465fSRobert Watson struct acl_entry *acl_other, *acl_mask; 585293465fSRobert Watson mode_t dac_granted; 595293465fSRobert Watson mode_t cap_granted; 605293465fSRobert Watson mode_t acl_mask_granted; 615293465fSRobert Watson int group_matched, i; 625293465fSRobert Watson 635293465fSRobert Watson /* 645293465fSRobert Watson * Look for a normal, non-privileged way to access the file/directory 65fb6d736dSRobert Watson * as requested. If it exists, go with that. Otherwise, attempt to 66fb6d736dSRobert Watson * use privileges granted via cap_granted. In some cases, which 67fb6d736dSRobert Watson * privileges to use may be ambiguous due to "best match", in which 68fb6d736dSRobert Watson * case fall back on first match for the time being. 695293465fSRobert Watson */ 705293465fSRobert Watson if (privused != NULL) 715293465fSRobert Watson *privused = 0; 725293465fSRobert Watson 735293465fSRobert Watson /* 74fb6d736dSRobert Watson * Determine privileges now, but don't apply until we've found a DAC 75fb6d736dSRobert Watson * entry that matches but has failed to allow access. POSIX.1e 76fb6d736dSRobert Watson * capabilities are not implemented, but we document how they would 77fb6d736dSRobert Watson * behave here if implemented. 785293465fSRobert Watson */ 795293465fSRobert Watson #ifndef CAPABILITIES 8056f21b9dSColin Percival if (suser_cred(cred, SUSER_ALLOWJAIL) == 0) 81b02aac46SRobert Watson cap_granted = VALLPERM; 825293465fSRobert Watson else 835293465fSRobert Watson cap_granted = 0; 845293465fSRobert Watson #else 855293465fSRobert Watson cap_granted = 0; 865293465fSRobert Watson 875293465fSRobert Watson if (type == VDIR) { 885293465fSRobert Watson if ((acc_mode & VEXEC) && !cap_check(cred, NULL, 8956f21b9dSColin Percival CAP_DAC_READ_SEARCH, SUSER_ALLOWJAIL)) 905293465fSRobert Watson cap_granted |= VEXEC; 915293465fSRobert Watson } else { 925293465fSRobert Watson if ((acc_mode & VEXEC) && !cap_check(cred, NULL, 9356f21b9dSColin Percival CAP_DAC_EXECUTE, SUSER_ALLOWJAIL)) 945293465fSRobert Watson cap_granted |= VEXEC; 955293465fSRobert Watson } 965293465fSRobert Watson 975293465fSRobert Watson if ((acc_mode & VREAD) && !cap_check(cred, NULL, CAP_DAC_READ_SEARCH, 9856f21b9dSColin Percival SUSER_ALLOWJAIL)) 995293465fSRobert Watson cap_granted |= VREAD; 1005293465fSRobert Watson 101b02aac46SRobert Watson if (((acc_mode & VWRITE) || (acc_mode & VAPPEND)) && 10256f21b9dSColin Percival !cap_check(cred, NULL, CAP_DAC_WRITE, SUSER_ALLOWJAIL)) 103b02aac46SRobert Watson cap_granted |= (VWRITE | VAPPEND); 1045293465fSRobert Watson 1055293465fSRobert Watson if ((acc_mode & VADMIN) && !cap_check(cred, NULL, CAP_FOWNER, 10656f21b9dSColin Percival SUSER_ALLOWJAIL)) 1075293465fSRobert Watson cap_granted |= VADMIN; 1085293465fSRobert Watson #endif /* CAPABILITIES */ 1095293465fSRobert Watson 1105293465fSRobert Watson /* 111670f6b2fSRobert Watson * The owner matches if the effective uid associated with the 112670f6b2fSRobert Watson * credential matches that of the ACL_USER_OBJ entry. While we're 113fb6d736dSRobert Watson * doing the first scan, also cache the location of the ACL_MASK and 114fb6d736dSRobert Watson * ACL_OTHER entries, preventing some future iterations. 1155293465fSRobert Watson */ 1165293465fSRobert Watson acl_mask = acl_other = NULL; 1175293465fSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 1185293465fSRobert Watson switch (acl->acl_entry[i].ae_tag) { 1195293465fSRobert Watson case ACL_USER_OBJ: 120b114e127SRobert Watson if (file_uid != cred->cr_uid) 1215293465fSRobert Watson break; 1225293465fSRobert Watson dac_granted = 0; 1235293465fSRobert Watson dac_granted |= VADMIN; 124fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 1255293465fSRobert Watson dac_granted |= VEXEC; 126fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_READ) 1275293465fSRobert Watson dac_granted |= VREAD; 128fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_WRITE) 129b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 1305293465fSRobert Watson if ((acc_mode & dac_granted) == acc_mode) 1315293465fSRobert Watson return (0); 1325293465fSRobert Watson if ((acc_mode & (dac_granted | cap_granted)) == 1335293465fSRobert Watson acc_mode) { 1345293465fSRobert Watson if (privused != NULL) 1355293465fSRobert Watson *privused = 1; 1365293465fSRobert Watson return (0); 1375293465fSRobert Watson } 1385293465fSRobert Watson goto error; 1395293465fSRobert Watson 1405293465fSRobert Watson case ACL_MASK: 1415293465fSRobert Watson acl_mask = &acl->acl_entry[i]; 1425293465fSRobert Watson break; 1435293465fSRobert Watson 1445293465fSRobert Watson case ACL_OTHER: 1455293465fSRobert Watson acl_other = &acl->acl_entry[i]; 1465293465fSRobert Watson break; 1475293465fSRobert Watson 1485293465fSRobert Watson default: 14930171114SPeter Wemm break; 1505293465fSRobert Watson } 1515293465fSRobert Watson } 1525293465fSRobert Watson 1535293465fSRobert Watson /* 154fb6d736dSRobert Watson * An ACL_OTHER entry should always exist in a valid access ACL. If 155fb6d736dSRobert Watson * it doesn't, then generate a serious failure. For now, this means 156fb6d736dSRobert Watson * a debugging message and EPERM, but in the future should probably 157fb6d736dSRobert Watson * be a panic. 158670f6b2fSRobert Watson */ 159670f6b2fSRobert Watson if (acl_other == NULL) { 160670f6b2fSRobert Watson /* 161670f6b2fSRobert Watson * XXX This should never happen 162670f6b2fSRobert Watson */ 163670f6b2fSRobert Watson printf("vaccess_acl_posix1e: ACL_OTHER missing\n"); 164670f6b2fSRobert Watson return (EPERM); 165670f6b2fSRobert Watson } 166670f6b2fSRobert Watson 167670f6b2fSRobert Watson /* 168fb6d736dSRobert Watson * Checks against ACL_USER, ACL_GROUP_OBJ, and ACL_GROUP fields are 169fb6d736dSRobert Watson * masked by an ACL_MASK entry, if any. As such, first identify the 170fb6d736dSRobert Watson * ACL_MASK field, then iterate through identifying potential user 171fb6d736dSRobert Watson * matches, then group matches. If there is no ACL_MASK, assume that 172fb6d736dSRobert Watson * the mask allows all requests to succeed. 1735293465fSRobert Watson */ 1745293465fSRobert Watson if (acl_mask != NULL) { 1755293465fSRobert Watson acl_mask_granted = 0; 176fb1af1f2SChris D. Faulhaber if (acl_mask->ae_perm & ACL_EXECUTE) 1775293465fSRobert Watson acl_mask_granted |= VEXEC; 178fb1af1f2SChris D. Faulhaber if (acl_mask->ae_perm & ACL_READ) 1795293465fSRobert Watson acl_mask_granted |= VREAD; 180fb1af1f2SChris D. Faulhaber if (acl_mask->ae_perm & ACL_WRITE) 181b02aac46SRobert Watson acl_mask_granted |= (VWRITE | VAPPEND); 1825293465fSRobert Watson } else 183b02aac46SRobert Watson acl_mask_granted = VEXEC | VREAD | VWRITE | VAPPEND; 1845293465fSRobert Watson 1855293465fSRobert Watson /* 186fb6d736dSRobert Watson * Iterate through user ACL entries. Do checks twice, first without 187fb6d736dSRobert Watson * privilege, and then if a match is found but failed, a second time 188fb6d736dSRobert Watson * with privilege. 1895293465fSRobert Watson */ 1905293465fSRobert Watson 1915293465fSRobert Watson /* 1925293465fSRobert Watson * Check ACL_USER ACL entries. 1935293465fSRobert Watson */ 1945293465fSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 1955293465fSRobert Watson switch (acl->acl_entry[i].ae_tag) { 1965293465fSRobert Watson case ACL_USER: 1975293465fSRobert Watson if (acl->acl_entry[i].ae_id != cred->cr_uid) 1985293465fSRobert Watson break; 1995293465fSRobert Watson dac_granted = 0; 200fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 2015293465fSRobert Watson dac_granted |= VEXEC; 202fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_READ) 2035293465fSRobert Watson dac_granted |= VREAD; 204fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_WRITE) 205b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 2065293465fSRobert Watson dac_granted &= acl_mask_granted; 2075293465fSRobert Watson if ((acc_mode & dac_granted) == acc_mode) 2085293465fSRobert Watson return (0); 209b114e127SRobert Watson if ((acc_mode & (dac_granted | cap_granted)) != 210b114e127SRobert Watson acc_mode) 211b114e127SRobert Watson goto error; 212b114e127SRobert Watson 2135293465fSRobert Watson if (privused != NULL) 2145293465fSRobert Watson *privused = 1; 2155293465fSRobert Watson return (0); 2165293465fSRobert Watson } 2175293465fSRobert Watson } 2185293465fSRobert Watson 2195293465fSRobert Watson /* 220fb6d736dSRobert Watson * Group match is best-match, not first-match, so find a "best" 221fb6d736dSRobert Watson * match. Iterate across, testing each potential group match. Make 222fb6d736dSRobert Watson * sure we keep track of whether we found a match or not, so that we 223fb6d736dSRobert Watson * know if we should try again with any available privilege, or if we 224fb6d736dSRobert Watson * should move on to ACL_OTHER. 2255293465fSRobert Watson */ 2265293465fSRobert Watson group_matched = 0; 2275293465fSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 2285293465fSRobert Watson switch (acl->acl_entry[i].ae_tag) { 2295293465fSRobert Watson case ACL_GROUP_OBJ: 230e15480f8SThomas Moestl if (!groupmember(file_gid, cred)) 231b114e127SRobert Watson break; 2325293465fSRobert Watson dac_granted = 0; 233fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 2345293465fSRobert Watson dac_granted |= VEXEC; 235fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_READ) 2365293465fSRobert Watson dac_granted |= VREAD; 237fb1af1f2SChris D. Faulhaber if (acl->acl_entry[i].ae_perm & ACL_WRITE) 238b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 2395293465fSRobert Watson dac_granted &= acl_mask_granted; 2405293465fSRobert Watson 2415293465fSRobert Watson if ((acc_mode & dac_granted) == acc_mode) 2425293465fSRobert Watson return (0); 2435293465fSRobert Watson 2445293465fSRobert Watson group_matched = 1; 245b114e127SRobert Watson break; 246b114e127SRobert Watson 247b114e127SRobert Watson case ACL_GROUP: 248b114e127SRobert Watson if (!groupmember(acl->acl_entry[i].ae_id, cred)) 249b114e127SRobert Watson break; 250b114e127SRobert Watson dac_granted = 0; 251b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 252b114e127SRobert Watson dac_granted |= VEXEC; 253b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_READ) 254b114e127SRobert Watson dac_granted |= VREAD; 255b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_WRITE) 256b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 257b114e127SRobert Watson dac_granted &= acl_mask_granted; 258b114e127SRobert Watson 259b114e127SRobert Watson if ((acc_mode & dac_granted) == acc_mode) 260b114e127SRobert Watson return (0); 261b114e127SRobert Watson 262b114e127SRobert Watson group_matched = 1; 263b114e127SRobert Watson break; 264b114e127SRobert Watson 2655293465fSRobert Watson default: 26630171114SPeter Wemm break; 2675293465fSRobert Watson } 2685293465fSRobert Watson } 2695293465fSRobert Watson 2705293465fSRobert Watson if (group_matched == 1) { 2715293465fSRobert Watson /* 272fb6d736dSRobert Watson * There was a match, but it did not grant rights via pure 273fb6d736dSRobert Watson * DAC. Try again, this time with privilege. 2745293465fSRobert Watson */ 2755293465fSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 2765293465fSRobert Watson switch (acl->acl_entry[i].ae_tag) { 2775293465fSRobert Watson case ACL_GROUP_OBJ: 27846157a65SRobert Watson if (!groupmember(file_gid, cred)) 279b114e127SRobert Watson break; 2805293465fSRobert Watson dac_granted = 0; 281b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 2825293465fSRobert Watson dac_granted |= VEXEC; 283b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_READ) 2845293465fSRobert Watson dac_granted |= VREAD; 285b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_WRITE) 286b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 2875293465fSRobert Watson dac_granted &= acl_mask_granted; 288b114e127SRobert Watson 289b114e127SRobert Watson if ((acc_mode & (dac_granted | cap_granted)) != 290b114e127SRobert Watson acc_mode) 291b114e127SRobert Watson break; 292b114e127SRobert Watson 2935293465fSRobert Watson if (privused != NULL) 2945293465fSRobert Watson *privused = 1; 2955293465fSRobert Watson return (0); 296b114e127SRobert Watson 297b114e127SRobert Watson case ACL_GROUP: 298b114e127SRobert Watson if (!groupmember(acl->acl_entry[i].ae_id, 299b114e127SRobert Watson cred)) 300b114e127SRobert Watson break; 301b114e127SRobert Watson dac_granted = 0; 302b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_EXECUTE) 303b114e127SRobert Watson dac_granted |= VEXEC; 304b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_READ) 305b114e127SRobert Watson dac_granted |= VREAD; 306b114e127SRobert Watson if (acl->acl_entry[i].ae_perm & ACL_WRITE) 307b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 308b114e127SRobert Watson dac_granted &= acl_mask_granted; 309b114e127SRobert Watson 310b114e127SRobert Watson if ((acc_mode & (dac_granted | cap_granted)) != 311b114e127SRobert Watson acc_mode) 312b114e127SRobert Watson break; 313b114e127SRobert Watson 314b114e127SRobert Watson if (privused != NULL) 315b114e127SRobert Watson *privused = 1; 316b114e127SRobert Watson return (0); 317b114e127SRobert Watson 3185293465fSRobert Watson default: 31930171114SPeter Wemm break; 3205293465fSRobert Watson } 3215293465fSRobert Watson } 3225293465fSRobert Watson /* 3235293465fSRobert Watson * Even with privilege, group membership was not sufficient. 3245293465fSRobert Watson * Return failure. 3255293465fSRobert Watson */ 3265293465fSRobert Watson goto error; 3275293465fSRobert Watson } 3285293465fSRobert Watson 3295293465fSRobert Watson /* 3305293465fSRobert Watson * Fall back on ACL_OTHER. ACL_MASK is not applied to ACL_OTHER. 3315293465fSRobert Watson */ 3325293465fSRobert Watson dac_granted = 0; 333fb1af1f2SChris D. Faulhaber if (acl_other->ae_perm & ACL_EXECUTE) 3345293465fSRobert Watson dac_granted |= VEXEC; 335fb1af1f2SChris D. Faulhaber if (acl_other->ae_perm & ACL_READ) 3365293465fSRobert Watson dac_granted |= VREAD; 337fb1af1f2SChris D. Faulhaber if (acl_other->ae_perm & ACL_WRITE) 338b02aac46SRobert Watson dac_granted |= (VWRITE | VAPPEND); 3395293465fSRobert Watson 3405293465fSRobert Watson if ((acc_mode & dac_granted) == acc_mode) 3415293465fSRobert Watson return (0); 3425293465fSRobert Watson if ((acc_mode & (dac_granted | cap_granted)) == acc_mode) { 3435293465fSRobert Watson if (privused != NULL) 3445293465fSRobert Watson *privused = 1; 3455293465fSRobert Watson return (0); 3465293465fSRobert Watson } 3475293465fSRobert Watson 3485293465fSRobert Watson error: 3495293465fSRobert Watson return ((acc_mode & VADMIN) ? EPERM : EACCES); 3505293465fSRobert Watson } 3515293465fSRobert Watson 3525293465fSRobert Watson /* 353fb6d736dSRobert Watson * For the purposes of filesystems maintaining the _OBJ entries in an inode 354fb6d736dSRobert Watson * with a mode_t field, this routine converts a mode_t entry to an 355fb6d736dSRobert Watson * acl_perm_t. 3565293465fSRobert Watson */ 3575293465fSRobert Watson acl_perm_t 3585293465fSRobert Watson acl_posix1e_mode_to_perm(acl_tag_t tag, mode_t mode) 3595293465fSRobert Watson { 3605293465fSRobert Watson acl_perm_t perm = 0; 3615293465fSRobert Watson 3625293465fSRobert Watson switch(tag) { 3635293465fSRobert Watson case ACL_USER_OBJ: 3645293465fSRobert Watson if (mode & S_IXUSR) 365fb1af1f2SChris D. Faulhaber perm |= ACL_EXECUTE; 3665293465fSRobert Watson if (mode & S_IRUSR) 367fb1af1f2SChris D. Faulhaber perm |= ACL_READ; 3685293465fSRobert Watson if (mode & S_IWUSR) 369fb1af1f2SChris D. Faulhaber perm |= ACL_WRITE; 3705293465fSRobert Watson return (perm); 3715293465fSRobert Watson 3725293465fSRobert Watson case ACL_GROUP_OBJ: 3735293465fSRobert Watson if (mode & S_IXGRP) 374fb1af1f2SChris D. Faulhaber perm |= ACL_EXECUTE; 3755293465fSRobert Watson if (mode & S_IRGRP) 376fb1af1f2SChris D. Faulhaber perm |= ACL_READ; 3775293465fSRobert Watson if (mode & S_IWGRP) 378fb1af1f2SChris D. Faulhaber perm |= ACL_WRITE; 3795293465fSRobert Watson return (perm); 3805293465fSRobert Watson 3815293465fSRobert Watson case ACL_OTHER: 3825293465fSRobert Watson if (mode & S_IXOTH) 383fb1af1f2SChris D. Faulhaber perm |= ACL_EXECUTE; 3845293465fSRobert Watson if (mode & S_IROTH) 385fb1af1f2SChris D. Faulhaber perm |= ACL_READ; 3865293465fSRobert Watson if (mode & S_IWOTH) 387fb1af1f2SChris D. Faulhaber perm |= ACL_WRITE; 3885293465fSRobert Watson return (perm); 3895293465fSRobert Watson 3905293465fSRobert Watson default: 3915293465fSRobert Watson printf("acl_posix1e_mode_to_perm: invalid tag (%d)\n", tag); 3925293465fSRobert Watson return (0); 3935293465fSRobert Watson } 3945293465fSRobert Watson } 3955293465fSRobert Watson 3965293465fSRobert Watson /* 3975293465fSRobert Watson * Given inode information (uid, gid, mode), return an acl entry of the 3985293465fSRobert Watson * appropriate type. 3995293465fSRobert Watson */ 4005293465fSRobert Watson struct acl_entry 4015293465fSRobert Watson acl_posix1e_mode_to_entry(acl_tag_t tag, uid_t uid, gid_t gid, mode_t mode) 4025293465fSRobert Watson { 4035293465fSRobert Watson struct acl_entry acl_entry; 4045293465fSRobert Watson 4055293465fSRobert Watson acl_entry.ae_tag = tag; 4065293465fSRobert Watson acl_entry.ae_perm = acl_posix1e_mode_to_perm(tag, mode); 4075293465fSRobert Watson switch(tag) { 4085293465fSRobert Watson case ACL_USER_OBJ: 4095293465fSRobert Watson acl_entry.ae_id = uid; 4105293465fSRobert Watson break; 4115293465fSRobert Watson 4125293465fSRobert Watson case ACL_GROUP_OBJ: 4135293465fSRobert Watson acl_entry.ae_id = gid; 4145293465fSRobert Watson break; 4155293465fSRobert Watson 4165293465fSRobert Watson case ACL_OTHER: 417dbb14f98SChris D. Faulhaber acl_entry.ae_id = ACL_UNDEFINED_ID; 4185293465fSRobert Watson break; 4195293465fSRobert Watson 4205293465fSRobert Watson default: 421dbb14f98SChris D. Faulhaber acl_entry.ae_id = ACL_UNDEFINED_ID; 4225293465fSRobert Watson printf("acl_posix1e_mode_to_entry: invalid tag (%d)\n", tag); 4235293465fSRobert Watson } 4245293465fSRobert Watson 4255293465fSRobert Watson return (acl_entry); 4265293465fSRobert Watson } 4275293465fSRobert Watson 4285293465fSRobert Watson /* 4295293465fSRobert Watson * Utility function to generate a file mode given appropriate ACL entries. 4305293465fSRobert Watson */ 4315293465fSRobert Watson mode_t 4325293465fSRobert Watson acl_posix1e_perms_to_mode(struct acl_entry *acl_user_obj_entry, 4335293465fSRobert Watson struct acl_entry *acl_group_obj_entry, struct acl_entry *acl_other_entry) 4345293465fSRobert Watson { 4355293465fSRobert Watson mode_t mode; 4365293465fSRobert Watson 4375293465fSRobert Watson mode = 0; 438fb1af1f2SChris D. Faulhaber if (acl_user_obj_entry->ae_perm & ACL_EXECUTE) 4395293465fSRobert Watson mode |= S_IXUSR; 440fb1af1f2SChris D. Faulhaber if (acl_user_obj_entry->ae_perm & ACL_READ) 4415293465fSRobert Watson mode |= S_IRUSR; 442fb1af1f2SChris D. Faulhaber if (acl_user_obj_entry->ae_perm & ACL_WRITE) 4435293465fSRobert Watson mode |= S_IWUSR; 444fb1af1f2SChris D. Faulhaber if (acl_group_obj_entry->ae_perm & ACL_EXECUTE) 4455293465fSRobert Watson mode |= S_IXGRP; 446fb1af1f2SChris D. Faulhaber if (acl_group_obj_entry->ae_perm & ACL_READ) 4475293465fSRobert Watson mode |= S_IRGRP; 448fb1af1f2SChris D. Faulhaber if (acl_group_obj_entry->ae_perm & ACL_WRITE) 4495293465fSRobert Watson mode |= S_IWGRP; 450fb1af1f2SChris D. Faulhaber if (acl_other_entry->ae_perm & ACL_EXECUTE) 4515293465fSRobert Watson mode |= S_IXOTH; 452fb1af1f2SChris D. Faulhaber if (acl_other_entry->ae_perm & ACL_READ) 4535293465fSRobert Watson mode |= S_IROTH; 454fb1af1f2SChris D. Faulhaber if (acl_other_entry->ae_perm & ACL_WRITE) 4555293465fSRobert Watson mode |= S_IWOTH; 4565293465fSRobert Watson 4575293465fSRobert Watson return (mode); 4585293465fSRobert Watson } 4595293465fSRobert Watson 4605293465fSRobert Watson /* 461fb6d736dSRobert Watson * Utility function to generate a file mode given a complete POSIX.1e access 462fb6d736dSRobert Watson * ACL. Note that if the ACL is improperly formed, this may result in a 463fb6d736dSRobert Watson * panic. 46460bdc14eSRobert Watson */ 46560bdc14eSRobert Watson mode_t 46660bdc14eSRobert Watson acl_posix1e_acl_to_mode(struct acl *acl) 46760bdc14eSRobert Watson { 46860bdc14eSRobert Watson struct acl_entry *acl_mask, *acl_user_obj, *acl_group_obj, *acl_other; 46960bdc14eSRobert Watson int i; 47060bdc14eSRobert Watson 47160bdc14eSRobert Watson /* 47260bdc14eSRobert Watson * Find the ACL entries relevant to a POSIX permission mode. 47360bdc14eSRobert Watson */ 47460bdc14eSRobert Watson acl_user_obj = acl_group_obj = acl_other = acl_mask = NULL; 47560bdc14eSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 47660bdc14eSRobert Watson switch (acl->acl_entry[i].ae_tag) { 47760bdc14eSRobert Watson case ACL_USER_OBJ: 47860bdc14eSRobert Watson acl_user_obj = &acl->acl_entry[i]; 47960bdc14eSRobert Watson break; 48060bdc14eSRobert Watson 48160bdc14eSRobert Watson case ACL_GROUP_OBJ: 48260bdc14eSRobert Watson acl_group_obj = &acl->acl_entry[i]; 48360bdc14eSRobert Watson break; 48460bdc14eSRobert Watson 48560bdc14eSRobert Watson case ACL_OTHER: 48660bdc14eSRobert Watson acl_other = &acl->acl_entry[i]; 48760bdc14eSRobert Watson break; 48860bdc14eSRobert Watson 48960bdc14eSRobert Watson case ACL_MASK: 49060bdc14eSRobert Watson acl_mask = &acl->acl_entry[i]; 49160bdc14eSRobert Watson break; 49260bdc14eSRobert Watson 49360bdc14eSRobert Watson case ACL_USER: 49460bdc14eSRobert Watson case ACL_GROUP: 49560bdc14eSRobert Watson break; 49660bdc14eSRobert Watson 49760bdc14eSRobert Watson default: 49860bdc14eSRobert Watson panic("acl_posix1e_acl_to_mode: bad ae_tag"); 49960bdc14eSRobert Watson } 50060bdc14eSRobert Watson } 50160bdc14eSRobert Watson 50260bdc14eSRobert Watson if (acl_user_obj == NULL || acl_group_obj == NULL || acl_other == NULL) 50360bdc14eSRobert Watson panic("acl_posix1e_acl_to_mode: missing base ae_tags"); 50460bdc14eSRobert Watson 50560bdc14eSRobert Watson /* 50660bdc14eSRobert Watson * POSIX.1e specifies that if there is an ACL_MASK entry, we replace 50760bdc14eSRobert Watson * the mode "group" bits with its permissions. If there isn't, we 50860bdc14eSRobert Watson * use the ACL_GROUP_OBJ permissions. 50960bdc14eSRobert Watson */ 51060bdc14eSRobert Watson if (acl_mask != NULL) 51160bdc14eSRobert Watson return (acl_posix1e_perms_to_mode(acl_user_obj, acl_mask, 51260bdc14eSRobert Watson acl_other)); 51360bdc14eSRobert Watson else 51460bdc14eSRobert Watson return (acl_posix1e_perms_to_mode(acl_user_obj, acl_group_obj, 51560bdc14eSRobert Watson acl_other)); 51660bdc14eSRobert Watson } 51760bdc14eSRobert Watson 51860bdc14eSRobert Watson /* 519fb6d736dSRobert Watson * Perform a syntactic check of the ACL, sufficient to allow an implementing 520fb6d736dSRobert Watson * filesystem to determine if it should accept this and rely on the POSIX.1e 521fb6d736dSRobert Watson * ACL properties. 5225293465fSRobert Watson */ 5235293465fSRobert Watson int 5245293465fSRobert Watson acl_posix1e_check(struct acl *acl) 5255293465fSRobert Watson { 5265293465fSRobert Watson int num_acl_user_obj, num_acl_user, num_acl_group_obj, num_acl_group; 5275293465fSRobert Watson int num_acl_mask, num_acl_other, i; 5285293465fSRobert Watson 5295293465fSRobert Watson /* 5305293465fSRobert Watson * Verify that the number of entries does not exceed the maximum 5315293465fSRobert Watson * defined for acl_t. 532fb6d736dSRobert Watson * 5335293465fSRobert Watson * Verify that the correct number of various sorts of ae_tags are 5345293465fSRobert Watson * present: 5355293465fSRobert Watson * Exactly one ACL_USER_OBJ 5365293465fSRobert Watson * Exactly one ACL_GROUP_OBJ 5375293465fSRobert Watson * Exactly one ACL_OTHER 5385293465fSRobert Watson * If any ACL_USER or ACL_GROUP entries appear, then exactly one 5395293465fSRobert Watson * ACL_MASK entry must also appear. 540fb6d736dSRobert Watson * 5415293465fSRobert Watson * Verify that all ae_perm entries are in ACL_PERM_BITS. 542fb6d736dSRobert Watson * 5435293465fSRobert Watson * Verify all ae_tag entries are understood by this implementation. 544fb6d736dSRobert Watson * 5455293465fSRobert Watson * Note: Does not check for uniqueness of qualifier (ae_id) field. 5465293465fSRobert Watson */ 5475293465fSRobert Watson num_acl_user_obj = num_acl_user = num_acl_group_obj = num_acl_group = 5485293465fSRobert Watson num_acl_mask = num_acl_other = 0; 5495293465fSRobert Watson if (acl->acl_cnt > ACL_MAX_ENTRIES || acl->acl_cnt < 0) 5505293465fSRobert Watson return (EINVAL); 5515293465fSRobert Watson for (i = 0; i < acl->acl_cnt; i++) { 5525293465fSRobert Watson /* 5535293465fSRobert Watson * Check for a valid tag. 5545293465fSRobert Watson */ 5555293465fSRobert Watson switch(acl->acl_entry[i].ae_tag) { 5565293465fSRobert Watson case ACL_USER_OBJ: 557b114e127SRobert Watson acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */ 558b114e127SRobert Watson if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID) 559b114e127SRobert Watson return (EINVAL); 5605293465fSRobert Watson num_acl_user_obj++; 5615293465fSRobert Watson break; 5625293465fSRobert Watson case ACL_GROUP_OBJ: 563b114e127SRobert Watson acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */ 564b114e127SRobert Watson if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID) 565b114e127SRobert Watson return (EINVAL); 5665293465fSRobert Watson num_acl_group_obj++; 5675293465fSRobert Watson break; 5685293465fSRobert Watson case ACL_USER: 569b114e127SRobert Watson if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID) 570b114e127SRobert Watson return (EINVAL); 5715293465fSRobert Watson num_acl_user++; 5725293465fSRobert Watson break; 5735293465fSRobert Watson case ACL_GROUP: 574b114e127SRobert Watson if (acl->acl_entry[i].ae_id == ACL_UNDEFINED_ID) 575b114e127SRobert Watson return (EINVAL); 5765293465fSRobert Watson num_acl_group++; 5775293465fSRobert Watson break; 5785293465fSRobert Watson case ACL_OTHER: 579b114e127SRobert Watson acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */ 580b114e127SRobert Watson if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID) 581b114e127SRobert Watson return (EINVAL); 5825293465fSRobert Watson num_acl_other++; 5835293465fSRobert Watson break; 5845293465fSRobert Watson case ACL_MASK: 585b114e127SRobert Watson acl->acl_entry[i].ae_id = ACL_UNDEFINED_ID; /* XXX */ 586b114e127SRobert Watson if (acl->acl_entry[i].ae_id != ACL_UNDEFINED_ID) 587b114e127SRobert Watson return (EINVAL); 5885293465fSRobert Watson num_acl_mask++; 5895293465fSRobert Watson break; 5905293465fSRobert Watson default: 5915293465fSRobert Watson return (EINVAL); 5925293465fSRobert Watson } 5935293465fSRobert Watson /* 5945293465fSRobert Watson * Check for valid perm entries. 5955293465fSRobert Watson */ 5965293465fSRobert Watson if ((acl->acl_entry[i].ae_perm | ACL_PERM_BITS) != 5975293465fSRobert Watson ACL_PERM_BITS) 5985293465fSRobert Watson return (EINVAL); 5995293465fSRobert Watson } 6005293465fSRobert Watson if ((num_acl_user_obj != 1) || (num_acl_group_obj != 1) || 6015293465fSRobert Watson (num_acl_other != 1) || (num_acl_mask != 0 && num_acl_mask != 1)) 6025293465fSRobert Watson return (EINVAL); 6035293465fSRobert Watson if (((num_acl_group != 0) || (num_acl_user != 0)) && 6045293465fSRobert Watson (num_acl_mask != 1)) 6055293465fSRobert Watson return (EINVAL); 6065293465fSRobert Watson return (0); 6075293465fSRobert Watson } 6085293465fSRobert Watson 6095293465fSRobert Watson /* 610fb6d736dSRobert Watson * Given a requested mode for a new object, and a default ACL, combine the 611fb6d736dSRobert Watson * two to produce a new mode. Be careful not to clear any bits that aren't 612fb6d736dSRobert Watson * intended to be affected by the POSIX.1e ACL. Eventually, this might also 613fb6d736dSRobert Watson * take the cmask as an argument, if we push that down into 614fb6d736dSRobert Watson * per-filesystem-code. 61560bdc14eSRobert Watson */ 61660bdc14eSRobert Watson mode_t 61760bdc14eSRobert Watson acl_posix1e_newfilemode(mode_t cmode, struct acl *dacl) 61860bdc14eSRobert Watson { 61960bdc14eSRobert Watson mode_t mode; 62060bdc14eSRobert Watson 62160bdc14eSRobert Watson mode = cmode; 62260bdc14eSRobert Watson /* 623fb6d736dSRobert Watson * The current composition policy is that a permission bit must be 624fb6d736dSRobert Watson * set in *both* the ACL and the requested creation mode for it to 625fb6d736dSRobert Watson * appear in the resulting mode/ACL. First clear any possibly 626fb6d736dSRobert Watson * effected bits, then reconstruct. 62760bdc14eSRobert Watson */ 62860bdc14eSRobert Watson mode &= ACL_PRESERVE_MASK; 62960bdc14eSRobert Watson mode |= (ACL_OVERRIDE_MASK & cmode & acl_posix1e_acl_to_mode(dacl)); 63060bdc14eSRobert Watson 63160bdc14eSRobert Watson return (mode); 63260bdc14eSRobert Watson } 633