17bc82500SRobert Watson /*- 291ec0006SRobert Watson * Copyright (c) 1999-2002, 2006, 2009 Robert N. M. Watson 37bc82500SRobert Watson * Copyright (c) 2001 Ilmar S. Habibulin 4f0c2044bSRobert Watson * Copyright (c) 2001-2005 Networks Associates Technology, Inc. 5aed55708SRobert Watson * Copyright (c) 2005-2006 SPARTA, Inc. 69162f64bSRobert Watson * Copyright (c) 2008-2009 Apple Inc. 77bc82500SRobert Watson * All rights reserved. 87bc82500SRobert Watson * 97bc82500SRobert Watson * This software was developed by Robert Watson and Ilmar Habibulin for the 107bc82500SRobert Watson * TrustedBSD Project. 117bc82500SRobert Watson * 126201265bSRobert Watson * This software was developed for the FreeBSD Project in part by Network 136201265bSRobert Watson * Associates Laboratories, the Security Research Division of Network 146201265bSRobert Watson * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), 156201265bSRobert Watson * as part of the DARPA CHATS research program. 167bc82500SRobert Watson * 1749bb6870SRobert Watson * This software was enhanced by SPARTA ISSO under SPAWAR contract 1849bb6870SRobert Watson * N66001-04-C-6019 ("SEFOS"). 1949bb6870SRobert Watson * 206f6174a7SRobert Watson * This software was developed at the University of Cambridge Computer 216f6174a7SRobert Watson * Laboratory with support from a grant from Google, Inc. 226f6174a7SRobert Watson * 237bc82500SRobert Watson * Redistribution and use in source and binary forms, with or without 247bc82500SRobert Watson * modification, are permitted provided that the following conditions 257bc82500SRobert Watson * are met: 267bc82500SRobert Watson * 1. Redistributions of source code must retain the above copyright 277bc82500SRobert Watson * notice, this list of conditions and the following disclaimer. 287bc82500SRobert Watson * 2. Redistributions in binary form must reproduce the above copyright 297bc82500SRobert Watson * notice, this list of conditions and the following disclaimer in the 307bc82500SRobert Watson * documentation and/or other materials provided with the distribution. 317bc82500SRobert Watson * 327bc82500SRobert Watson * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 337bc82500SRobert Watson * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 347bc82500SRobert Watson * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 357bc82500SRobert Watson * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 367bc82500SRobert Watson * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 377bc82500SRobert Watson * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 387bc82500SRobert Watson * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 397bc82500SRobert Watson * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 407bc82500SRobert Watson * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 417bc82500SRobert Watson * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 427bc82500SRobert Watson * SUCH DAMAGE. 437bc82500SRobert Watson */ 44677b542eSDavid E. O'Brien 45c8e7bf92SRobert Watson /*- 46471e5756SRobert Watson * Framework for extensible kernel access control. This file contains core 47471e5756SRobert Watson * kernel infrastructure for the TrustedBSD MAC Framework, including policy 48471e5756SRobert Watson * registration, versioning, locking, error composition operator, and system 49471e5756SRobert Watson * calls. 50471e5756SRobert Watson * 51471e5756SRobert Watson * The MAC Framework implements three programming interfaces: 52471e5756SRobert Watson * 53471e5756SRobert Watson * - The kernel MAC interface, defined in mac_framework.h, and invoked 54471e5756SRobert Watson * throughout the kernel to request security decisions, notify of security 55471e5756SRobert Watson * related events, etc. 56471e5756SRobert Watson * 57471e5756SRobert Watson * - The MAC policy module interface, defined in mac_policy.h, which is 58471e5756SRobert Watson * implemented by MAC policy modules and invoked by the MAC Framework to 59471e5756SRobert Watson * forward kernel security requests and notifications to policy modules. 60471e5756SRobert Watson * 61471e5756SRobert Watson * - The user MAC API, defined in mac.h, which allows user programs to query 62471e5756SRobert Watson * and set label state on objects. 63471e5756SRobert Watson * 64471e5756SRobert Watson * The majority of the MAC Framework implementation may be found in 65471e5756SRobert Watson * src/sys/security/mac. Sample policy modules may be found in 6649869305STom Rhodes * src/sys/security/mac_*. 677bc82500SRobert Watson */ 687bc82500SRobert Watson 6939b73a30SRobert Watson #include "opt_mac.h" 7039b73a30SRobert Watson 717bc82500SRobert Watson #include <sys/param.h> 727a7ce668SAndriy Gapon #include <sys/systm.h> 73a96acd1aSRobert Watson #include <sys/condvar.h> 7495fab37eSRobert Watson #include <sys/kernel.h> 7595fab37eSRobert Watson #include <sys/lock.h> 7695fab37eSRobert Watson #include <sys/mac.h> 777ba28492SRobert Watson #include <sys/module.h> 7881fee06fSRobert Watson #include <sys/rmlock.h> 7991ec0006SRobert Watson #include <sys/sdt.h> 8040202729SRobert Watson #include <sys/sx.h> 8195fab37eSRobert Watson #include <sys/sysctl.h> 8233f3e81dSMateusz Guzik #include <sys/vnode.h> 8395fab37eSRobert Watson 84aed55708SRobert Watson #include <security/mac/mac_framework.h> 856fa0475dSRobert Watson #include <security/mac/mac_internal.h> 860efd6615SRobert Watson #include <security/mac/mac_policy.h> 876fa0475dSRobert Watson 887ba28492SRobert Watson /* 892087a58cSRobert Watson * DTrace SDT providers for MAC. 9091ec0006SRobert Watson */ 9191ec0006SRobert Watson SDT_PROVIDER_DEFINE(mac); 922087a58cSRobert Watson SDT_PROVIDER_DEFINE(mac_framework); 932087a58cSRobert Watson 9436160958SMark Johnston SDT_PROBE_DEFINE2(mac, , policy, modevent, "int", 9592c6196cSMark Johnston "struct mac_policy_conf *"); 9636160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, register, 9779856499SRui Paulo "struct mac_policy_conf *"); 9836160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, unregister, 9979856499SRui Paulo "struct mac_policy_conf *"); 10091ec0006SRobert Watson 10191ec0006SRobert Watson /* 102471e5756SRobert Watson * Root sysctl node for all MAC and MAC policy controls. 1037ba28492SRobert Watson */ 1047029da5cSPawel Biernacki SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW | CTLFLAG_MPSAFE, 0, 10595fab37eSRobert Watson "TrustedBSD MAC policy controls"); 106b2f0927aSRobert Watson 10717041e67SRobert Watson /* 108*90678c89SOlivier Certner * Declare that the kernel provides a specific version of MAC support. 109471e5756SRobert Watson * This permits modules to refuse to be loaded if the necessary support isn't 110471e5756SRobert Watson * present, even if it's pre-boot. 111471e5756SRobert Watson */ 112471e5756SRobert Watson MODULE_VERSION(kernel_mac_support, MAC_VERSION); 113be23ba9aSRobert Watson 114be23ba9aSRobert Watson static unsigned int mac_version = MAC_VERSION; 115471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, version, CTLFLAG_RD, &mac_version, 0, 116471e5756SRobert Watson ""); 117471e5756SRobert Watson 118471e5756SRobert Watson /* 1193ea3fbe6SMateusz Guzik * Flags for inlined checks. Note this would be best hotpatched at runtime. 1203ea3fbe6SMateusz Guzik * The following is a band-aid. 1213ea3fbe6SMateusz Guzik * 1223ea3fbe6SMateusz Guzik * Use FPFLAG for hooks running in commonly executed paths and FPFLAG_RARE 1233ea3fbe6SMateusz Guzik * for the rest. 12491061084SMateusz Guzik */ 12591061084SMateusz Guzik #define FPFLAG(f) \ 12691061084SMateusz Guzik bool __read_frequently mac_##f##_fp_flag 12791061084SMateusz Guzik 1283ea3fbe6SMateusz Guzik #define FPFLAG_RARE(f) \ 1293ea3fbe6SMateusz Guzik bool __read_mostly mac_##f##_fp_flag 1303ea3fbe6SMateusz Guzik 13191061084SMateusz Guzik FPFLAG(priv_check); 13291061084SMateusz Guzik FPFLAG(priv_grant); 1336ebab6baSMateusz Guzik FPFLAG(vnode_check_lookup); 1346ebab6baSMateusz Guzik FPFLAG(vnode_check_open); 1356ebab6baSMateusz Guzik FPFLAG(vnode_check_stat); 1366ebab6baSMateusz Guzik FPFLAG(vnode_check_read); 1376ebab6baSMateusz Guzik FPFLAG(vnode_check_write); 1386ebab6baSMateusz Guzik FPFLAG(vnode_check_mmap); 1393ea3fbe6SMateusz Guzik FPFLAG_RARE(vnode_check_poll); 140fad6dd77SMateusz Guzik FPFLAG_RARE(vnode_check_rename_from); 14118f67bc4SMateusz Guzik FPFLAG_RARE(vnode_check_access); 14277589de8SMateusz Guzik FPFLAG_RARE(vnode_check_readlink); 14389744405SMateusz Guzik FPFLAG_RARE(pipe_check_stat); 14489744405SMateusz Guzik FPFLAG_RARE(pipe_check_poll); 14560dae3b8SMateusz Guzik FPFLAG_RARE(pipe_check_read); 146f77697ddSMateusz Guzik FPFLAG_RARE(ifnet_create_mbuf); 147f77697ddSMateusz Guzik FPFLAG_RARE(ifnet_check_transmit); 14891061084SMateusz Guzik 14991061084SMateusz Guzik #undef FPFLAG 1503ea3fbe6SMateusz Guzik #undef FPFLAG_RARE 15191061084SMateusz Guzik 15291061084SMateusz Guzik /* 15317041e67SRobert Watson * Labels consist of a indexed set of "slots", which are allocated policies 15417041e67SRobert Watson * as required. The MAC Framework maintains a bitmask of slots allocated so 15517041e67SRobert Watson * far to prevent reuse. Slots cannot be reused, as the MAC Framework 15617041e67SRobert Watson * guarantees that newly allocated slots in labels will be NULL unless 15717041e67SRobert Watson * otherwise initialized, and because we do not have a mechanism to garbage 15817041e67SRobert Watson * collect slots on policy unload. As labeled policies tend to be statically 15917041e67SRobert Watson * loaded during boot, and not frequently unloaded and reloaded, this is not 16017041e67SRobert Watson * generally an issue. 16117041e67SRobert Watson */ 162b2aef571SRobert Watson #if MAC_MAX_SLOTS > 32 163b2aef571SRobert Watson #error "MAC_MAX_SLOTS too large" 16495fab37eSRobert Watson #endif 165a13c67daSRobert Watson 166b2aef571SRobert Watson static unsigned int mac_max_slots = MAC_MAX_SLOTS; 167b2aef571SRobert Watson static unsigned int mac_slot_offsets_free = (1 << MAC_MAX_SLOTS) - 1; 168471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_slots, CTLFLAG_RD, &mac_max_slots, 169471e5756SRobert Watson 0, ""); 17095fab37eSRobert Watson 171a67fe518SRobert Watson /* 172a67fe518SRobert Watson * Has the kernel started generating labeled objects yet? All read/write 173a67fe518SRobert Watson * access to this variable is serialized during the boot process. Following 174a67fe518SRobert Watson * the end of serialization, we don't update this flag; no locking. 175a67fe518SRobert Watson */ 176be23ba9aSRobert Watson static int mac_late = 0; 177763bbd2fSRobert Watson 178225bff6fSRobert Watson /* 1796356dba0SRobert Watson * Each policy declares a mask of object types requiring labels to be 1806356dba0SRobert Watson * allocated for them. For convenience, we combine and cache the bitwise or 1816356dba0SRobert Watson * of the per-policy object flags to track whether we will allocate a label 1826356dba0SRobert Watson * for an object type at run-time. 183225bff6fSRobert Watson */ 1846356dba0SRobert Watson uint64_t mac_labeled; 185123d2cb7SMatthew D Fleming SYSCTL_UQUAD(_security_mac, OID_AUTO, labeled, CTLFLAG_RD, &mac_labeled, 0, 1866356dba0SRobert Watson "Mask of object types being labeled"); 187225bff6fSRobert Watson 188f7b951a8SRobert Watson MALLOC_DEFINE(M_MACTEMP, "mactemp", "MAC temporary label storage"); 18995fab37eSRobert Watson 19095fab37eSRobert Watson /* 19140202729SRobert Watson * MAC policy modules are placed in one of two lists: mac_static_policy_list, 19240202729SRobert Watson * for policies that are loaded early and cannot be unloaded, and 19340202729SRobert Watson * mac_policy_list, which holds policies either loaded later in the boot 19440202729SRobert Watson * cycle or that may be unloaded. The static policy list does not require 19540202729SRobert Watson * locks to iterate over, but the dynamic list requires synchronization. 19640202729SRobert Watson * Support for dynamic policy loading can be compiled out using the 19740202729SRobert Watson * MAC_STATIC kernel option. 19841a17fe3SRobert Watson * 19940202729SRobert Watson * The dynamic policy list is protected by two locks: modifying the list 20040202729SRobert Watson * requires both locks to be held exclusively. One of the locks, 20181fee06fSRobert Watson * mac_policy_rm, is acquired over policy entry points that will never sleep; 202407a5b79SJason A. Harmening * the other, mac_policy_rms, is acquired over policy entry points that may 20340202729SRobert Watson * sleep. The former category will be used when kernel locks may be held 20440202729SRobert Watson * over calls to the MAC Framework, during network processing in ithreads, 20540202729SRobert Watson * etc. The latter will tend to involve potentially blocking memory 20640202729SRobert Watson * allocations, extended attribute I/O, etc. 20795fab37eSRobert Watson */ 2080a05006dSRobert Watson #ifndef MAC_STATIC 20981fee06fSRobert Watson static struct rmlock mac_policy_rm; /* Non-sleeping entry points. */ 210407a5b79SJason A. Harmening static struct rmslock mac_policy_rms; /* Sleeping entry points. */ 2110a05006dSRobert Watson #endif 21240202729SRobert Watson 213089c1bdaSRobert Watson struct mac_policy_list_head mac_policy_list; 214089c1bdaSRobert Watson struct mac_policy_list_head mac_static_policy_list; 215f93bfb23SRobert Watson u_int mac_policy_count; /* Registered policy count. */ 216a96acd1aSRobert Watson 21740202729SRobert Watson static void mac_policy_xlock(void); 21840202729SRobert Watson static void mac_policy_xlock_assert(void); 21940202729SRobert Watson static void mac_policy_xunlock(void); 22040202729SRobert Watson 221089c1bdaSRobert Watson void 22281fee06fSRobert Watson mac_policy_slock_nosleep(struct rm_priotracker *tracker) 22341a17fe3SRobert Watson { 224c8e7bf92SRobert Watson 2250a05006dSRobert Watson #ifndef MAC_STATIC 2261e4cadcbSRobert Watson if (!mac_late) 2271e4cadcbSRobert Watson return; 2281e4cadcbSRobert Watson 22981fee06fSRobert Watson rm_rlock(&mac_policy_rm, tracker); 23040202729SRobert Watson #endif 23140202729SRobert Watson } 23240202729SRobert Watson 23340202729SRobert Watson void 23440202729SRobert Watson mac_policy_slock_sleep(void) 23540202729SRobert Watson { 23640202729SRobert Watson 23741a17fe3SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 23840202729SRobert Watson "mac_policy_slock_sleep"); 23940202729SRobert Watson 24040202729SRobert Watson #ifndef MAC_STATIC 24140202729SRobert Watson if (!mac_late) 24240202729SRobert Watson return; 24340202729SRobert Watson 244deb2e577SMateusz Guzik rms_rlock(&mac_policy_rms); 2450a05006dSRobert Watson #endif 24641a17fe3SRobert Watson } 24795fab37eSRobert Watson 248089c1bdaSRobert Watson void 24981fee06fSRobert Watson mac_policy_sunlock_nosleep(struct rm_priotracker *tracker) 25041a17fe3SRobert Watson { 251c8e7bf92SRobert Watson 2520a05006dSRobert Watson #ifndef MAC_STATIC 2531e4cadcbSRobert Watson if (!mac_late) 2541e4cadcbSRobert Watson return; 2551e4cadcbSRobert Watson 25681fee06fSRobert Watson rm_runlock(&mac_policy_rm, tracker); 2570a05006dSRobert Watson #endif 25841a17fe3SRobert Watson } 259225bff6fSRobert Watson 260089c1bdaSRobert Watson void 26140202729SRobert Watson mac_policy_sunlock_sleep(void) 26241a17fe3SRobert Watson { 263c8e7bf92SRobert Watson 2640a05006dSRobert Watson #ifndef MAC_STATIC 2651e4cadcbSRobert Watson if (!mac_late) 2661e4cadcbSRobert Watson return; 2671e4cadcbSRobert Watson 268deb2e577SMateusz Guzik rms_runlock(&mac_policy_rms); 2690a05006dSRobert Watson #endif 27041a17fe3SRobert Watson } 27141a17fe3SRobert Watson 27240202729SRobert Watson static void 27340202729SRobert Watson mac_policy_xlock(void) 27441a17fe3SRobert Watson { 27540202729SRobert Watson 27640202729SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 27740202729SRobert Watson "mac_policy_xlock()"); 27840202729SRobert Watson 2790a05006dSRobert Watson #ifndef MAC_STATIC 2801e4cadcbSRobert Watson if (!mac_late) 2811e4cadcbSRobert Watson return; 2821e4cadcbSRobert Watson 283deb2e577SMateusz Guzik rms_wlock(&mac_policy_rms); 28481fee06fSRobert Watson rm_wlock(&mac_policy_rm); 28540202729SRobert Watson #endif 28640202729SRobert Watson } 287989d4098SRobert Watson 28840202729SRobert Watson static void 28940202729SRobert Watson mac_policy_xunlock(void) 29040202729SRobert Watson { 29140202729SRobert Watson 29240202729SRobert Watson #ifndef MAC_STATIC 29340202729SRobert Watson if (!mac_late) 29440202729SRobert Watson return; 29540202729SRobert Watson 29681fee06fSRobert Watson rm_wunlock(&mac_policy_rm); 297deb2e577SMateusz Guzik rms_wunlock(&mac_policy_rms); 29840202729SRobert Watson #endif 29940202729SRobert Watson } 30040202729SRobert Watson 30140202729SRobert Watson static void 30240202729SRobert Watson mac_policy_xlock_assert(void) 30340202729SRobert Watson { 30440202729SRobert Watson 30540202729SRobert Watson #ifndef MAC_STATIC 30640202729SRobert Watson if (!mac_late) 30740202729SRobert Watson return; 30840202729SRobert Watson 309407a5b79SJason A. Harmening rm_assert(&mac_policy_rm, RA_WLOCKED); 3100a05006dSRobert Watson #endif 31141a17fe3SRobert Watson } 31295fab37eSRobert Watson 31395fab37eSRobert Watson /* 31495fab37eSRobert Watson * Initialize the MAC subsystem, including appropriate SMP locks. 31595fab37eSRobert Watson */ 31695fab37eSRobert Watson static void 31795fab37eSRobert Watson mac_init(void) 31895fab37eSRobert Watson { 31995fab37eSRobert Watson 32041a17fe3SRobert Watson LIST_INIT(&mac_static_policy_list); 32195fab37eSRobert Watson LIST_INIT(&mac_policy_list); 322eca8a663SRobert Watson mac_labelzone_init(); 32341a17fe3SRobert Watson 3240a05006dSRobert Watson #ifndef MAC_STATIC 325f7fadf1fSKonstantin Belousov rm_init_flags(&mac_policy_rm, "mac_policy_rm", RM_NOWITNESS | 326f7fadf1fSKonstantin Belousov RM_RECURSE); 327deb2e577SMateusz Guzik rms_init(&mac_policy_rms, "mac_policy_rms"); 3280a05006dSRobert Watson #endif 32995fab37eSRobert Watson } 33095fab37eSRobert Watson 33195fab37eSRobert Watson /* 33217041e67SRobert Watson * For the purposes of modules that want to know if they were loaded "early", 33317041e67SRobert Watson * set the mac_late flag once we've processed modules either linked into the 33417041e67SRobert Watson * kernel, or loaded before the kernel startup. 33595fab37eSRobert Watson */ 33695fab37eSRobert Watson static void 33795fab37eSRobert Watson mac_late_init(void) 33895fab37eSRobert Watson { 33995fab37eSRobert Watson 34095fab37eSRobert Watson mac_late = 1; 34195fab37eSRobert Watson } 34295fab37eSRobert Watson 34395fab37eSRobert Watson /* 3449162f64bSRobert Watson * Given a policy, derive from its set of non-NULL label init methods what 3459162f64bSRobert Watson * object types the policy is interested in. 3469162f64bSRobert Watson */ 3479162f64bSRobert Watson static uint64_t 3489162f64bSRobert Watson mac_policy_getlabeled(struct mac_policy_conf *mpc) 3499162f64bSRobert Watson { 3509162f64bSRobert Watson uint64_t labeled; 3519162f64bSRobert Watson 3529162f64bSRobert Watson #define MPC_FLAG(method, flag) \ 3539162f64bSRobert Watson if (mpc->mpc_ops->mpo_ ## method != NULL) \ 3549162f64bSRobert Watson labeled |= (flag); \ 3559162f64bSRobert Watson 3569162f64bSRobert Watson labeled = 0; 3579162f64bSRobert Watson MPC_FLAG(cred_init_label, MPC_OBJECT_CRED); 3589162f64bSRobert Watson MPC_FLAG(proc_init_label, MPC_OBJECT_PROC); 3599162f64bSRobert Watson MPC_FLAG(vnode_init_label, MPC_OBJECT_VNODE); 3609162f64bSRobert Watson MPC_FLAG(inpcb_init_label, MPC_OBJECT_INPCB); 3619162f64bSRobert Watson MPC_FLAG(socket_init_label, MPC_OBJECT_SOCKET); 3629162f64bSRobert Watson MPC_FLAG(devfs_init_label, MPC_OBJECT_DEVFS); 3639162f64bSRobert Watson MPC_FLAG(mbuf_init_label, MPC_OBJECT_MBUF); 3649162f64bSRobert Watson MPC_FLAG(ipq_init_label, MPC_OBJECT_IPQ); 3659162f64bSRobert Watson MPC_FLAG(ifnet_init_label, MPC_OBJECT_IFNET); 3669162f64bSRobert Watson MPC_FLAG(bpfdesc_init_label, MPC_OBJECT_BPFDESC); 3679162f64bSRobert Watson MPC_FLAG(pipe_init_label, MPC_OBJECT_PIPE); 3689162f64bSRobert Watson MPC_FLAG(mount_init_label, MPC_OBJECT_MOUNT); 3699162f64bSRobert Watson MPC_FLAG(posixsem_init_label, MPC_OBJECT_POSIXSEM); 3709162f64bSRobert Watson MPC_FLAG(posixshm_init_label, MPC_OBJECT_POSIXSHM); 3719162f64bSRobert Watson MPC_FLAG(sysvmsg_init_label, MPC_OBJECT_SYSVMSG); 3729162f64bSRobert Watson MPC_FLAG(sysvmsq_init_label, MPC_OBJECT_SYSVMSQ); 3739162f64bSRobert Watson MPC_FLAG(sysvsem_init_label, MPC_OBJECT_SYSVSEM); 3749162f64bSRobert Watson MPC_FLAG(sysvshm_init_label, MPC_OBJECT_SYSVSHM); 3759162f64bSRobert Watson MPC_FLAG(syncache_init_label, MPC_OBJECT_SYNCACHE); 3769162f64bSRobert Watson MPC_FLAG(ip6q_init_label, MPC_OBJECT_IP6Q); 3779162f64bSRobert Watson 3789162f64bSRobert Watson #undef MPC_FLAG 3799162f64bSRobert Watson return (labeled); 3809162f64bSRobert Watson } 3819162f64bSRobert Watson 3829162f64bSRobert Watson /* 3839162f64bSRobert Watson * When policies are loaded or unloaded, walk the list of registered policies 3849162f64bSRobert Watson * and built mac_labeled, a bitmask representing the union of all objects 3859162f64bSRobert Watson * requiring labels across all policies. 386225bff6fSRobert Watson */ 387225bff6fSRobert Watson static void 388f93bfb23SRobert Watson mac_policy_update(void) 389225bff6fSRobert Watson { 3906356dba0SRobert Watson struct mac_policy_conf *mpc; 391225bff6fSRobert Watson 39240202729SRobert Watson mac_policy_xlock_assert(); 393225bff6fSRobert Watson 3946356dba0SRobert Watson mac_labeled = 0; 395f93bfb23SRobert Watson mac_policy_count = 0; 396f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_static_policy_list, mpc_list) { 3979162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 398f93bfb23SRobert Watson mac_policy_count++; 399f93bfb23SRobert Watson } 400f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_policy_list, mpc_list) { 4019162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 402f93bfb23SRobert Watson mac_policy_count++; 403f93bfb23SRobert Watson } 40433f3e81dSMateusz Guzik 40533f3e81dSMateusz Guzik cache_fast_lookup_enabled_recalc(); 406225bff6fSRobert Watson } 407225bff6fSRobert Watson 40891061084SMateusz Guzik /* 40991061084SMateusz Guzik * There are frequently used code paths which check for rarely installed 41091061084SMateusz Guzik * policies. Gross hack below enables doing it in a cheap manner. 41191061084SMateusz Guzik */ 41291061084SMateusz Guzik 41391061084SMateusz Guzik #define FPO(f) (offsetof(struct mac_policy_ops, mpo_##f) / sizeof(uintptr_t)) 41491061084SMateusz Guzik 41591061084SMateusz Guzik struct mac_policy_fastpath_elem { 41691061084SMateusz Guzik int count; 41791061084SMateusz Guzik bool *flag; 41891061084SMateusz Guzik size_t offset; 41991061084SMateusz Guzik }; 42091061084SMateusz Guzik 42191061084SMateusz Guzik struct mac_policy_fastpath_elem mac_policy_fastpath_array[] = { 42291061084SMateusz Guzik { .offset = FPO(priv_check), .flag = &mac_priv_check_fp_flag }, 42391061084SMateusz Guzik { .offset = FPO(priv_grant), .flag = &mac_priv_grant_fp_flag }, 4246ebab6baSMateusz Guzik { .offset = FPO(vnode_check_lookup), 4256ebab6baSMateusz Guzik .flag = &mac_vnode_check_lookup_fp_flag }, 42677589de8SMateusz Guzik { .offset = FPO(vnode_check_readlink), 42777589de8SMateusz Guzik .flag = &mac_vnode_check_readlink_fp_flag }, 4286ebab6baSMateusz Guzik { .offset = FPO(vnode_check_open), 4296ebab6baSMateusz Guzik .flag = &mac_vnode_check_open_fp_flag }, 4306ebab6baSMateusz Guzik { .offset = FPO(vnode_check_stat), 4316ebab6baSMateusz Guzik .flag = &mac_vnode_check_stat_fp_flag }, 4326ebab6baSMateusz Guzik { .offset = FPO(vnode_check_read), 4336ebab6baSMateusz Guzik .flag = &mac_vnode_check_read_fp_flag }, 4346ebab6baSMateusz Guzik { .offset = FPO(vnode_check_write), 4356ebab6baSMateusz Guzik .flag = &mac_vnode_check_write_fp_flag }, 4366ebab6baSMateusz Guzik { .offset = FPO(vnode_check_mmap), 4376ebab6baSMateusz Guzik .flag = &mac_vnode_check_mmap_fp_flag }, 4383ea3fbe6SMateusz Guzik { .offset = FPO(vnode_check_poll), 4393ea3fbe6SMateusz Guzik .flag = &mac_vnode_check_poll_fp_flag }, 440fad6dd77SMateusz Guzik { .offset = FPO(vnode_check_rename_from), 441fad6dd77SMateusz Guzik .flag = &mac_vnode_check_rename_from_fp_flag }, 44218f67bc4SMateusz Guzik { .offset = FPO(vnode_check_access), 44318f67bc4SMateusz Guzik .flag = &mac_vnode_check_access_fp_flag }, 44489744405SMateusz Guzik { .offset = FPO(pipe_check_stat), 44589744405SMateusz Guzik .flag = &mac_pipe_check_stat_fp_flag }, 44689744405SMateusz Guzik { .offset = FPO(pipe_check_poll), 44789744405SMateusz Guzik .flag = &mac_pipe_check_poll_fp_flag }, 44860dae3b8SMateusz Guzik { .offset = FPO(pipe_check_read), 44960dae3b8SMateusz Guzik .flag = &mac_pipe_check_read_fp_flag }, 450f77697ddSMateusz Guzik { .offset = FPO(ifnet_create_mbuf), 451f77697ddSMateusz Guzik .flag = &mac_ifnet_create_mbuf_fp_flag }, 452f77697ddSMateusz Guzik { .offset = FPO(ifnet_check_transmit), 453f77697ddSMateusz Guzik .flag = &mac_ifnet_check_transmit_fp_flag }, 45491061084SMateusz Guzik }; 45591061084SMateusz Guzik 45691061084SMateusz Guzik static void 45791061084SMateusz Guzik mac_policy_fastpath_enable(struct mac_policy_fastpath_elem *mpfe) 45891061084SMateusz Guzik { 45991061084SMateusz Guzik 46091061084SMateusz Guzik MPASS(mpfe->count >= 0); 46191061084SMateusz Guzik mpfe->count++; 46291061084SMateusz Guzik if (mpfe->count == 1) { 46391061084SMateusz Guzik MPASS(*mpfe->flag == false); 46491061084SMateusz Guzik *mpfe->flag = true; 46591061084SMateusz Guzik } 46691061084SMateusz Guzik } 46791061084SMateusz Guzik 46891061084SMateusz Guzik static void 46991061084SMateusz Guzik mac_policy_fastpath_disable(struct mac_policy_fastpath_elem *mpfe) 47091061084SMateusz Guzik { 47191061084SMateusz Guzik 47291061084SMateusz Guzik MPASS(mpfe->count >= 1); 47391061084SMateusz Guzik mpfe->count--; 47491061084SMateusz Guzik if (mpfe->count == 0) { 47591061084SMateusz Guzik MPASS(*mpfe->flag == true); 47691061084SMateusz Guzik *mpfe->flag = false; 47791061084SMateusz Guzik } 47891061084SMateusz Guzik } 47991061084SMateusz Guzik 48091061084SMateusz Guzik static void 48191061084SMateusz Guzik mac_policy_fastpath_register(struct mac_policy_conf *mpc) 48291061084SMateusz Guzik { 48391061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 48491061084SMateusz Guzik uintptr_t **ops; 48591061084SMateusz Guzik int i; 48691061084SMateusz Guzik 48791061084SMateusz Guzik mac_policy_xlock_assert(); 48891061084SMateusz Guzik 48991061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 49091061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 49191061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 49291061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 49391061084SMateusz Guzik mac_policy_fastpath_enable(mpfe); 49491061084SMateusz Guzik } 49591061084SMateusz Guzik } 49691061084SMateusz Guzik 49791061084SMateusz Guzik static void 49891061084SMateusz Guzik mac_policy_fastpath_unregister(struct mac_policy_conf *mpc) 49991061084SMateusz Guzik { 50091061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 50191061084SMateusz Guzik uintptr_t **ops; 50291061084SMateusz Guzik int i; 50391061084SMateusz Guzik 50491061084SMateusz Guzik mac_policy_xlock_assert(); 50591061084SMateusz Guzik 50691061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 50791061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 50891061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 50991061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 51091061084SMateusz Guzik mac_policy_fastpath_disable(mpfe); 51191061084SMateusz Guzik } 51291061084SMateusz Guzik } 51391061084SMateusz Guzik 51491061084SMateusz Guzik #undef FPO 51591061084SMateusz Guzik 51695fab37eSRobert Watson static int 51795fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc) 51895fab37eSRobert Watson { 5198deb442cSSteve Kiernan struct mac_policy_list_head *mpc_list; 5208deb442cSSteve Kiernan struct mac_policy_conf *last_mpc, *tmpc; 52141a17fe3SRobert Watson int error, slot, static_entry; 52295fab37eSRobert Watson 52341a17fe3SRobert Watson error = 0; 52441a17fe3SRobert Watson 52541a17fe3SRobert Watson /* 52617041e67SRobert Watson * We don't technically need exclusive access while !mac_late, but 52717041e67SRobert Watson * hold it for assertion consistency. 52841a17fe3SRobert Watson */ 52940202729SRobert Watson mac_policy_xlock(); 53041a17fe3SRobert Watson 53141a17fe3SRobert Watson /* 53217041e67SRobert Watson * If the module can potentially be unloaded, or we're loading late, 53317041e67SRobert Watson * we have to stick it in the non-static list and pay an extra 53417041e67SRobert Watson * performance overhead. Otherwise, we can pay a light locking cost 53517041e67SRobert Watson * and stick it in the static list. 53641a17fe3SRobert Watson */ 53741a17fe3SRobert Watson static_entry = (!mac_late && 53841a17fe3SRobert Watson !(mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK)); 53941a17fe3SRobert Watson 5408deb442cSSteve Kiernan mpc_list = (static_entry) ? &mac_static_policy_list : 5418deb442cSSteve Kiernan &mac_policy_list; 5428deb442cSSteve Kiernan last_mpc = NULL; 5438deb442cSSteve Kiernan LIST_FOREACH(tmpc, mpc_list, mpc_list) { 5448deb442cSSteve Kiernan last_mpc = tmpc; 54541a17fe3SRobert Watson if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) { 54641a17fe3SRobert Watson error = EEXIST; 54741a17fe3SRobert Watson goto out; 54841a17fe3SRobert Watson } 54941a17fe3SRobert Watson } 55095fab37eSRobert Watson if (mpc->mpc_field_off != NULL) { 551b2aef571SRobert Watson slot = ffs(mac_slot_offsets_free); 55295fab37eSRobert Watson if (slot == 0) { 55341a17fe3SRobert Watson error = ENOMEM; 55441a17fe3SRobert Watson goto out; 55595fab37eSRobert Watson } 55695fab37eSRobert Watson slot--; 557b2aef571SRobert Watson mac_slot_offsets_free &= ~(1 << slot); 55895fab37eSRobert Watson *mpc->mpc_field_off = slot; 55995fab37eSRobert Watson } 56095fab37eSRobert Watson mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED; 56141a17fe3SRobert Watson 56241a17fe3SRobert Watson /* 5638deb442cSSteve Kiernan * Some modules may depend on the operations of its dependencies. 5648deb442cSSteve Kiernan * Inserting modules in order of registration ensures operations 5658deb442cSSteve Kiernan * that work on the module list retain dependency order. 56641a17fe3SRobert Watson */ 5678deb442cSSteve Kiernan if (last_mpc == NULL) 5688deb442cSSteve Kiernan LIST_INSERT_HEAD(mpc_list, mpc, mpc_list); 56941a17fe3SRobert Watson else 5708deb442cSSteve Kiernan LIST_INSERT_AFTER(last_mpc, mpc, mpc_list); 57117041e67SRobert Watson /* 57217041e67SRobert Watson * Per-policy initialization. Currently, this takes place under the 57317041e67SRobert Watson * exclusive lock, so policies must not sleep in their init method. 57417041e67SRobert Watson * In the future, we may want to separate "init" from "start", with 575bc5ade0dSPedro F. Giffuni * "init" occurring without the lock held. Likewise, on tear-down, 57617041e67SRobert Watson * breaking out "stop" from "destroy". 57717041e67SRobert Watson */ 57895fab37eSRobert Watson if (mpc->mpc_ops->mpo_init != NULL) 57995fab37eSRobert Watson (*(mpc->mpc_ops->mpo_init))(mpc); 58091061084SMateusz Guzik 58191061084SMateusz Guzik mac_policy_fastpath_register(mpc); 58291061084SMateusz Guzik 583f93bfb23SRobert Watson mac_policy_update(); 58495fab37eSRobert Watson 58536160958SMark Johnston SDT_PROBE1(mac, , policy, register, mpc); 58695fab37eSRobert Watson printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname, 58795fab37eSRobert Watson mpc->mpc_name); 58895fab37eSRobert Watson 58941a17fe3SRobert Watson out: 59040202729SRobert Watson mac_policy_xunlock(); 59141a17fe3SRobert Watson return (error); 59295fab37eSRobert Watson } 59395fab37eSRobert Watson 59495fab37eSRobert Watson static int 59595fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc) 59695fab37eSRobert Watson { 59795fab37eSRobert Watson 598ea599aa0SRobert Watson /* 59917041e67SRobert Watson * If we fail the load, we may get a request to unload. Check to see 60017041e67SRobert Watson * if we did the run-time registration, and if not, silently succeed. 601ea599aa0SRobert Watson */ 60240202729SRobert Watson mac_policy_xlock(); 603ea599aa0SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) == 0) { 60440202729SRobert Watson mac_policy_xunlock(); 605ea599aa0SRobert Watson return (0); 606ea599aa0SRobert Watson } 60795fab37eSRobert Watson #if 0 60895fab37eSRobert Watson /* 60995fab37eSRobert Watson * Don't allow unloading modules with private data. 61095fab37eSRobert Watson */ 611ea599aa0SRobert Watson if (mpc->mpc_field_off != NULL) { 61240202729SRobert Watson mac_policy_xunlock(); 61395fab37eSRobert Watson return (EBUSY); 614ea599aa0SRobert Watson } 61595fab37eSRobert Watson #endif 616ea599aa0SRobert Watson /* 61717041e67SRobert Watson * Only allow the unload to proceed if the module is unloadable by 61817041e67SRobert Watson * its own definition. 619ea599aa0SRobert Watson */ 620ea599aa0SRobert Watson if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0) { 62140202729SRobert Watson mac_policy_xunlock(); 62295fab37eSRobert Watson return (EBUSY); 623ea599aa0SRobert Watson } 62491061084SMateusz Guzik 62591061084SMateusz Guzik mac_policy_fastpath_unregister(mpc); 62691061084SMateusz Guzik 62795fab37eSRobert Watson if (mpc->mpc_ops->mpo_destroy != NULL) 62895fab37eSRobert Watson (*(mpc->mpc_ops->mpo_destroy))(mpc); 62995fab37eSRobert Watson 63095fab37eSRobert Watson LIST_REMOVE(mpc, mpc_list); 6319aeffb2bSRobert Watson mpc->mpc_runtime_flags &= ~MPC_RUNTIME_FLAG_REGISTERED; 632f93bfb23SRobert Watson mac_policy_update(); 63340202729SRobert Watson mac_policy_xunlock(); 634a96acd1aSRobert Watson 63536160958SMark Johnston SDT_PROBE1(mac, , policy, unregister, mpc); 63695fab37eSRobert Watson printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname, 63795fab37eSRobert Watson mpc->mpc_name); 63895fab37eSRobert Watson 63995fab37eSRobert Watson return (0); 64095fab37eSRobert Watson } 64195fab37eSRobert Watson 64295fab37eSRobert Watson /* 643c441d123SRobert Watson * Allow MAC policy modules to register during boot, etc. 644c441d123SRobert Watson */ 645c441d123SRobert Watson int 646c441d123SRobert Watson mac_policy_modevent(module_t mod, int type, void *data) 647c441d123SRobert Watson { 648c441d123SRobert Watson struct mac_policy_conf *mpc; 649c441d123SRobert Watson int error; 650c441d123SRobert Watson 651c441d123SRobert Watson error = 0; 652c441d123SRobert Watson mpc = (struct mac_policy_conf *) data; 653c441d123SRobert Watson 654c441d123SRobert Watson #ifdef MAC_STATIC 655c441d123SRobert Watson if (mac_late) { 656c441d123SRobert Watson printf("mac_policy_modevent: MAC_STATIC and late\n"); 657c441d123SRobert Watson return (EBUSY); 658c441d123SRobert Watson } 659c441d123SRobert Watson #endif 660c441d123SRobert Watson 66136160958SMark Johnston SDT_PROBE2(mac, , policy, modevent, type, mpc); 662c441d123SRobert Watson switch (type) { 663c441d123SRobert Watson case MOD_LOAD: 664c441d123SRobert Watson if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE && 665c441d123SRobert Watson mac_late) { 666c441d123SRobert Watson printf("mac_policy_modevent: can't load %s policy " 667c441d123SRobert Watson "after booting\n", mpc->mpc_name); 668c441d123SRobert Watson error = EBUSY; 669c441d123SRobert Watson break; 670c441d123SRobert Watson } 671c441d123SRobert Watson error = mac_policy_register(mpc); 672c441d123SRobert Watson break; 673c441d123SRobert Watson case MOD_UNLOAD: 674c441d123SRobert Watson /* Don't unregister the module if it was never registered. */ 675c441d123SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) 676c441d123SRobert Watson != 0) 677c441d123SRobert Watson error = mac_policy_unregister(mpc); 678c441d123SRobert Watson else 679c441d123SRobert Watson error = 0; 680c441d123SRobert Watson break; 681c441d123SRobert Watson default: 682c441d123SRobert Watson error = EOPNOTSUPP; 683c441d123SRobert Watson break; 684c441d123SRobert Watson } 685c441d123SRobert Watson 686c441d123SRobert Watson return (error); 687c441d123SRobert Watson } 688c441d123SRobert Watson 689c441d123SRobert Watson /* 69095fab37eSRobert Watson * Define an error value precedence, and given two arguments, selects the 69195fab37eSRobert Watson * value with the higher precedence. 69295fab37eSRobert Watson */ 6939e7bf51cSRobert Watson int 6949e7bf51cSRobert Watson mac_error_select(int error1, int error2) 69595fab37eSRobert Watson { 69695fab37eSRobert Watson 69795fab37eSRobert Watson /* Certain decision-making errors take top priority. */ 69895fab37eSRobert Watson if (error1 == EDEADLK || error2 == EDEADLK) 69995fab37eSRobert Watson return (EDEADLK); 70095fab37eSRobert Watson 70195fab37eSRobert Watson /* Invalid arguments should be reported where possible. */ 70295fab37eSRobert Watson if (error1 == EINVAL || error2 == EINVAL) 70395fab37eSRobert Watson return (EINVAL); 70495fab37eSRobert Watson 70595fab37eSRobert Watson /* Precedence goes to "visibility", with both process and file. */ 70695fab37eSRobert Watson if (error1 == ESRCH || error2 == ESRCH) 70795fab37eSRobert Watson return (ESRCH); 70895fab37eSRobert Watson 70995fab37eSRobert Watson if (error1 == ENOENT || error2 == ENOENT) 71095fab37eSRobert Watson return (ENOENT); 71195fab37eSRobert Watson 71295fab37eSRobert Watson /* Precedence goes to DAC/MAC protections. */ 71395fab37eSRobert Watson if (error1 == EACCES || error2 == EACCES) 71495fab37eSRobert Watson return (EACCES); 71595fab37eSRobert Watson 71695fab37eSRobert Watson /* Precedence goes to privilege. */ 71795fab37eSRobert Watson if (error1 == EPERM || error2 == EPERM) 71895fab37eSRobert Watson return (EPERM); 71995fab37eSRobert Watson 72095fab37eSRobert Watson /* Precedence goes to error over success; otherwise, arbitrary. */ 72195fab37eSRobert Watson if (error1 != 0) 72295fab37eSRobert Watson return (error1); 72395fab37eSRobert Watson return (error2); 72495fab37eSRobert Watson } 72595fab37eSRobert Watson 7265e7ce478SRobert Watson int 727f64a688dSBrooks Davis mac_check_structmac_consistent(const struct mac *mac) 728f7b951a8SRobert Watson { 7296324de03SMark Johnston /* Require that labels have a non-zero length. */ 7306324de03SMark Johnston if (mac->m_buflen > MAC_MAX_LABEL_BUF_LEN || 7316324de03SMark Johnston mac->m_buflen <= sizeof("")) 732f7b951a8SRobert Watson return (EINVAL); 733f7b951a8SRobert Watson 734f7b951a8SRobert Watson return (0); 735f7b951a8SRobert Watson } 736f7b951a8SRobert Watson 73795fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL); 73895fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL); 739