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 71677b542eSDavid E. O'Brien #include <sys/cdefs.h> 72677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 73677b542eSDavid E. O'Brien 747bc82500SRobert Watson #include <sys/param.h> 757a7ce668SAndriy Gapon #include <sys/systm.h> 76a96acd1aSRobert Watson #include <sys/condvar.h> 7795fab37eSRobert Watson #include <sys/kernel.h> 7895fab37eSRobert Watson #include <sys/lock.h> 7995fab37eSRobert Watson #include <sys/mac.h> 807ba28492SRobert Watson #include <sys/module.h> 8181fee06fSRobert Watson #include <sys/rmlock.h> 8291ec0006SRobert Watson #include <sys/sdt.h> 8340202729SRobert Watson #include <sys/sx.h> 8495fab37eSRobert Watson #include <sys/sysctl.h> 8533f3e81dSMateusz Guzik #include <sys/vnode.h> 8695fab37eSRobert Watson 87aed55708SRobert Watson #include <security/mac/mac_framework.h> 886fa0475dSRobert Watson #include <security/mac/mac_internal.h> 890efd6615SRobert Watson #include <security/mac/mac_policy.h> 906fa0475dSRobert Watson 917ba28492SRobert Watson /* 922087a58cSRobert Watson * DTrace SDT providers for MAC. 9391ec0006SRobert Watson */ 9491ec0006SRobert Watson SDT_PROVIDER_DEFINE(mac); 952087a58cSRobert Watson SDT_PROVIDER_DEFINE(mac_framework); 962087a58cSRobert Watson 9736160958SMark Johnston SDT_PROBE_DEFINE2(mac, , policy, modevent, "int", 9892c6196cSMark Johnston "struct mac_policy_conf *"); 9936160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, register, 10079856499SRui Paulo "struct mac_policy_conf *"); 10136160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, unregister, 10279856499SRui Paulo "struct mac_policy_conf *"); 10391ec0006SRobert Watson 10491ec0006SRobert Watson /* 105471e5756SRobert Watson * Root sysctl node for all MAC and MAC policy controls. 1067ba28492SRobert Watson */ 1077029da5cSPawel Biernacki SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW | CTLFLAG_MPSAFE, 0, 10895fab37eSRobert Watson "TrustedBSD MAC policy controls"); 109b2f0927aSRobert Watson 11017041e67SRobert Watson /* 111471e5756SRobert Watson * Declare that the kernel provides MAC support, version 3 (FreeBSD 7.x). 112471e5756SRobert Watson * This permits modules to refuse to be loaded if the necessary support isn't 113471e5756SRobert Watson * present, even if it's pre-boot. 114471e5756SRobert Watson */ 115471e5756SRobert Watson MODULE_VERSION(kernel_mac_support, MAC_VERSION); 116be23ba9aSRobert Watson 117be23ba9aSRobert Watson static unsigned int mac_version = MAC_VERSION; 118471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, version, CTLFLAG_RD, &mac_version, 0, 119471e5756SRobert Watson ""); 120471e5756SRobert Watson 121471e5756SRobert Watson /* 1223ea3fbe6SMateusz Guzik * Flags for inlined checks. Note this would be best hotpatched at runtime. 1233ea3fbe6SMateusz Guzik * The following is a band-aid. 1243ea3fbe6SMateusz Guzik * 1253ea3fbe6SMateusz Guzik * Use FPFLAG for hooks running in commonly executed paths and FPFLAG_RARE 1263ea3fbe6SMateusz Guzik * for the rest. 12791061084SMateusz Guzik */ 12891061084SMateusz Guzik #define FPFLAG(f) \ 12991061084SMateusz Guzik bool __read_frequently mac_##f##_fp_flag 13091061084SMateusz Guzik 1313ea3fbe6SMateusz Guzik #define FPFLAG_RARE(f) \ 1323ea3fbe6SMateusz Guzik bool __read_mostly mac_##f##_fp_flag 1333ea3fbe6SMateusz Guzik 13491061084SMateusz Guzik FPFLAG(priv_check); 13591061084SMateusz Guzik FPFLAG(priv_grant); 1366ebab6baSMateusz Guzik FPFLAG(vnode_check_lookup); 1376ebab6baSMateusz Guzik FPFLAG(vnode_check_open); 1386ebab6baSMateusz Guzik FPFLAG(vnode_check_stat); 1396ebab6baSMateusz Guzik FPFLAG(vnode_check_read); 1406ebab6baSMateusz Guzik FPFLAG(vnode_check_write); 1416ebab6baSMateusz Guzik FPFLAG(vnode_check_mmap); 1423ea3fbe6SMateusz Guzik FPFLAG_RARE(vnode_check_poll); 143fad6dd77SMateusz Guzik FPFLAG_RARE(vnode_check_rename_from); 14418f67bc4SMateusz Guzik FPFLAG_RARE(vnode_check_access); 14577589de8SMateusz Guzik FPFLAG_RARE(vnode_check_readlink); 14689744405SMateusz Guzik FPFLAG_RARE(pipe_check_stat); 14789744405SMateusz Guzik FPFLAG_RARE(pipe_check_poll); 14860dae3b8SMateusz Guzik FPFLAG_RARE(pipe_check_read); 149f77697ddSMateusz Guzik FPFLAG_RARE(ifnet_create_mbuf); 150f77697ddSMateusz Guzik FPFLAG_RARE(ifnet_check_transmit); 15191061084SMateusz Guzik 15291061084SMateusz Guzik #undef FPFLAG 1533ea3fbe6SMateusz Guzik #undef FPFLAG_RARE 15491061084SMateusz Guzik 15591061084SMateusz Guzik /* 15617041e67SRobert Watson * Labels consist of a indexed set of "slots", which are allocated policies 15717041e67SRobert Watson * as required. The MAC Framework maintains a bitmask of slots allocated so 15817041e67SRobert Watson * far to prevent reuse. Slots cannot be reused, as the MAC Framework 15917041e67SRobert Watson * guarantees that newly allocated slots in labels will be NULL unless 16017041e67SRobert Watson * otherwise initialized, and because we do not have a mechanism to garbage 16117041e67SRobert Watson * collect slots on policy unload. As labeled policies tend to be statically 16217041e67SRobert Watson * loaded during boot, and not frequently unloaded and reloaded, this is not 16317041e67SRobert Watson * generally an issue. 16417041e67SRobert Watson */ 165b2aef571SRobert Watson #if MAC_MAX_SLOTS > 32 166b2aef571SRobert Watson #error "MAC_MAX_SLOTS too large" 16795fab37eSRobert Watson #endif 168a13c67daSRobert Watson 169b2aef571SRobert Watson static unsigned int mac_max_slots = MAC_MAX_SLOTS; 170b2aef571SRobert Watson static unsigned int mac_slot_offsets_free = (1 << MAC_MAX_SLOTS) - 1; 171471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_slots, CTLFLAG_RD, &mac_max_slots, 172471e5756SRobert Watson 0, ""); 17395fab37eSRobert Watson 174a67fe518SRobert Watson /* 175a67fe518SRobert Watson * Has the kernel started generating labeled objects yet? All read/write 176a67fe518SRobert Watson * access to this variable is serialized during the boot process. Following 177a67fe518SRobert Watson * the end of serialization, we don't update this flag; no locking. 178a67fe518SRobert Watson */ 179be23ba9aSRobert Watson static int mac_late = 0; 180763bbd2fSRobert Watson 181225bff6fSRobert Watson /* 1826356dba0SRobert Watson * Each policy declares a mask of object types requiring labels to be 1836356dba0SRobert Watson * allocated for them. For convenience, we combine and cache the bitwise or 1846356dba0SRobert Watson * of the per-policy object flags to track whether we will allocate a label 1856356dba0SRobert Watson * for an object type at run-time. 186225bff6fSRobert Watson */ 1876356dba0SRobert Watson uint64_t mac_labeled; 188123d2cb7SMatthew D Fleming SYSCTL_UQUAD(_security_mac, OID_AUTO, labeled, CTLFLAG_RD, &mac_labeled, 0, 1896356dba0SRobert Watson "Mask of object types being labeled"); 190225bff6fSRobert Watson 191f7b951a8SRobert Watson MALLOC_DEFINE(M_MACTEMP, "mactemp", "MAC temporary label storage"); 19295fab37eSRobert Watson 19395fab37eSRobert Watson /* 19440202729SRobert Watson * MAC policy modules are placed in one of two lists: mac_static_policy_list, 19540202729SRobert Watson * for policies that are loaded early and cannot be unloaded, and 19640202729SRobert Watson * mac_policy_list, which holds policies either loaded later in the boot 19740202729SRobert Watson * cycle or that may be unloaded. The static policy list does not require 19840202729SRobert Watson * locks to iterate over, but the dynamic list requires synchronization. 19940202729SRobert Watson * Support for dynamic policy loading can be compiled out using the 20040202729SRobert Watson * MAC_STATIC kernel option. 20141a17fe3SRobert Watson * 20240202729SRobert Watson * The dynamic policy list is protected by two locks: modifying the list 20340202729SRobert Watson * requires both locks to be held exclusively. One of the locks, 20481fee06fSRobert Watson * mac_policy_rm, is acquired over policy entry points that will never sleep; 205407a5b79SJason A. Harmening * the other, mac_policy_rms, is acquired over policy entry points that may 20640202729SRobert Watson * sleep. The former category will be used when kernel locks may be held 20740202729SRobert Watson * over calls to the MAC Framework, during network processing in ithreads, 20840202729SRobert Watson * etc. The latter will tend to involve potentially blocking memory 20940202729SRobert Watson * allocations, extended attribute I/O, etc. 21095fab37eSRobert Watson */ 2110a05006dSRobert Watson #ifndef MAC_STATIC 21281fee06fSRobert Watson static struct rmlock mac_policy_rm; /* Non-sleeping entry points. */ 213407a5b79SJason A. Harmening static struct rmslock mac_policy_rms; /* Sleeping entry points. */ 2140a05006dSRobert Watson #endif 21540202729SRobert Watson 216089c1bdaSRobert Watson struct mac_policy_list_head mac_policy_list; 217089c1bdaSRobert Watson struct mac_policy_list_head mac_static_policy_list; 218f93bfb23SRobert Watson u_int mac_policy_count; /* Registered policy count. */ 219a96acd1aSRobert Watson 22040202729SRobert Watson static void mac_policy_xlock(void); 22140202729SRobert Watson static void mac_policy_xlock_assert(void); 22240202729SRobert Watson static void mac_policy_xunlock(void); 22340202729SRobert Watson 224089c1bdaSRobert Watson void 22581fee06fSRobert Watson mac_policy_slock_nosleep(struct rm_priotracker *tracker) 22641a17fe3SRobert Watson { 227c8e7bf92SRobert Watson 2280a05006dSRobert Watson #ifndef MAC_STATIC 2291e4cadcbSRobert Watson if (!mac_late) 2301e4cadcbSRobert Watson return; 2311e4cadcbSRobert Watson 23281fee06fSRobert Watson rm_rlock(&mac_policy_rm, tracker); 23340202729SRobert Watson #endif 23440202729SRobert Watson } 23540202729SRobert Watson 23640202729SRobert Watson void 23740202729SRobert Watson mac_policy_slock_sleep(void) 23840202729SRobert Watson { 23940202729SRobert Watson 24041a17fe3SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 24140202729SRobert Watson "mac_policy_slock_sleep"); 24240202729SRobert Watson 24340202729SRobert Watson #ifndef MAC_STATIC 24440202729SRobert Watson if (!mac_late) 24540202729SRobert Watson return; 24640202729SRobert Watson 247deb2e577SMateusz Guzik rms_rlock(&mac_policy_rms); 2480a05006dSRobert Watson #endif 24941a17fe3SRobert Watson } 25095fab37eSRobert Watson 251089c1bdaSRobert Watson void 25281fee06fSRobert Watson mac_policy_sunlock_nosleep(struct rm_priotracker *tracker) 25341a17fe3SRobert Watson { 254c8e7bf92SRobert Watson 2550a05006dSRobert Watson #ifndef MAC_STATIC 2561e4cadcbSRobert Watson if (!mac_late) 2571e4cadcbSRobert Watson return; 2581e4cadcbSRobert Watson 25981fee06fSRobert Watson rm_runlock(&mac_policy_rm, tracker); 2600a05006dSRobert Watson #endif 26141a17fe3SRobert Watson } 262225bff6fSRobert Watson 263089c1bdaSRobert Watson void 26440202729SRobert Watson mac_policy_sunlock_sleep(void) 26541a17fe3SRobert Watson { 266c8e7bf92SRobert Watson 2670a05006dSRobert Watson #ifndef MAC_STATIC 2681e4cadcbSRobert Watson if (!mac_late) 2691e4cadcbSRobert Watson return; 2701e4cadcbSRobert Watson 271deb2e577SMateusz Guzik rms_runlock(&mac_policy_rms); 2720a05006dSRobert Watson #endif 27341a17fe3SRobert Watson } 27441a17fe3SRobert Watson 27540202729SRobert Watson static void 27640202729SRobert Watson mac_policy_xlock(void) 27741a17fe3SRobert Watson { 27840202729SRobert Watson 27940202729SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 28040202729SRobert Watson "mac_policy_xlock()"); 28140202729SRobert Watson 2820a05006dSRobert Watson #ifndef MAC_STATIC 2831e4cadcbSRobert Watson if (!mac_late) 2841e4cadcbSRobert Watson return; 2851e4cadcbSRobert Watson 286deb2e577SMateusz Guzik rms_wlock(&mac_policy_rms); 28781fee06fSRobert Watson rm_wlock(&mac_policy_rm); 28840202729SRobert Watson #endif 28940202729SRobert Watson } 290989d4098SRobert Watson 29140202729SRobert Watson static void 29240202729SRobert Watson mac_policy_xunlock(void) 29340202729SRobert Watson { 29440202729SRobert Watson 29540202729SRobert Watson #ifndef MAC_STATIC 29640202729SRobert Watson if (!mac_late) 29740202729SRobert Watson return; 29840202729SRobert Watson 29981fee06fSRobert Watson rm_wunlock(&mac_policy_rm); 300deb2e577SMateusz Guzik rms_wunlock(&mac_policy_rms); 30140202729SRobert Watson #endif 30240202729SRobert Watson } 30340202729SRobert Watson 30440202729SRobert Watson static void 30540202729SRobert Watson mac_policy_xlock_assert(void) 30640202729SRobert Watson { 30740202729SRobert Watson 30840202729SRobert Watson #ifndef MAC_STATIC 30940202729SRobert Watson if (!mac_late) 31040202729SRobert Watson return; 31140202729SRobert Watson 312407a5b79SJason A. Harmening rm_assert(&mac_policy_rm, RA_WLOCKED); 3130a05006dSRobert Watson #endif 31441a17fe3SRobert Watson } 31595fab37eSRobert Watson 31695fab37eSRobert Watson /* 31795fab37eSRobert Watson * Initialize the MAC subsystem, including appropriate SMP locks. 31895fab37eSRobert Watson */ 31995fab37eSRobert Watson static void 32095fab37eSRobert Watson mac_init(void) 32195fab37eSRobert Watson { 32295fab37eSRobert Watson 32341a17fe3SRobert Watson LIST_INIT(&mac_static_policy_list); 32495fab37eSRobert Watson LIST_INIT(&mac_policy_list); 325eca8a663SRobert Watson mac_labelzone_init(); 32641a17fe3SRobert Watson 3270a05006dSRobert Watson #ifndef MAC_STATIC 328f7fadf1fSKonstantin Belousov rm_init_flags(&mac_policy_rm, "mac_policy_rm", RM_NOWITNESS | 329f7fadf1fSKonstantin Belousov RM_RECURSE); 330deb2e577SMateusz Guzik rms_init(&mac_policy_rms, "mac_policy_rms"); 3310a05006dSRobert Watson #endif 33295fab37eSRobert Watson } 33395fab37eSRobert Watson 33495fab37eSRobert Watson /* 33517041e67SRobert Watson * For the purposes of modules that want to know if they were loaded "early", 33617041e67SRobert Watson * set the mac_late flag once we've processed modules either linked into the 33717041e67SRobert Watson * kernel, or loaded before the kernel startup. 33895fab37eSRobert Watson */ 33995fab37eSRobert Watson static void 34095fab37eSRobert Watson mac_late_init(void) 34195fab37eSRobert Watson { 34295fab37eSRobert Watson 34395fab37eSRobert Watson mac_late = 1; 34495fab37eSRobert Watson } 34595fab37eSRobert Watson 34695fab37eSRobert Watson /* 3479162f64bSRobert Watson * Given a policy, derive from its set of non-NULL label init methods what 3489162f64bSRobert Watson * object types the policy is interested in. 3499162f64bSRobert Watson */ 3509162f64bSRobert Watson static uint64_t 3519162f64bSRobert Watson mac_policy_getlabeled(struct mac_policy_conf *mpc) 3529162f64bSRobert Watson { 3539162f64bSRobert Watson uint64_t labeled; 3549162f64bSRobert Watson 3559162f64bSRobert Watson #define MPC_FLAG(method, flag) \ 3569162f64bSRobert Watson if (mpc->mpc_ops->mpo_ ## method != NULL) \ 3579162f64bSRobert Watson labeled |= (flag); \ 3589162f64bSRobert Watson 3599162f64bSRobert Watson labeled = 0; 3609162f64bSRobert Watson MPC_FLAG(cred_init_label, MPC_OBJECT_CRED); 3619162f64bSRobert Watson MPC_FLAG(proc_init_label, MPC_OBJECT_PROC); 3629162f64bSRobert Watson MPC_FLAG(vnode_init_label, MPC_OBJECT_VNODE); 3639162f64bSRobert Watson MPC_FLAG(inpcb_init_label, MPC_OBJECT_INPCB); 3649162f64bSRobert Watson MPC_FLAG(socket_init_label, MPC_OBJECT_SOCKET); 3659162f64bSRobert Watson MPC_FLAG(devfs_init_label, MPC_OBJECT_DEVFS); 3669162f64bSRobert Watson MPC_FLAG(mbuf_init_label, MPC_OBJECT_MBUF); 3679162f64bSRobert Watson MPC_FLAG(ipq_init_label, MPC_OBJECT_IPQ); 3689162f64bSRobert Watson MPC_FLAG(ifnet_init_label, MPC_OBJECT_IFNET); 3699162f64bSRobert Watson MPC_FLAG(bpfdesc_init_label, MPC_OBJECT_BPFDESC); 3709162f64bSRobert Watson MPC_FLAG(pipe_init_label, MPC_OBJECT_PIPE); 3719162f64bSRobert Watson MPC_FLAG(mount_init_label, MPC_OBJECT_MOUNT); 3729162f64bSRobert Watson MPC_FLAG(posixsem_init_label, MPC_OBJECT_POSIXSEM); 3739162f64bSRobert Watson MPC_FLAG(posixshm_init_label, MPC_OBJECT_POSIXSHM); 3749162f64bSRobert Watson MPC_FLAG(sysvmsg_init_label, MPC_OBJECT_SYSVMSG); 3759162f64bSRobert Watson MPC_FLAG(sysvmsq_init_label, MPC_OBJECT_SYSVMSQ); 3769162f64bSRobert Watson MPC_FLAG(sysvsem_init_label, MPC_OBJECT_SYSVSEM); 3779162f64bSRobert Watson MPC_FLAG(sysvshm_init_label, MPC_OBJECT_SYSVSHM); 3789162f64bSRobert Watson MPC_FLAG(syncache_init_label, MPC_OBJECT_SYNCACHE); 3799162f64bSRobert Watson MPC_FLAG(ip6q_init_label, MPC_OBJECT_IP6Q); 3809162f64bSRobert Watson 3819162f64bSRobert Watson #undef MPC_FLAG 3829162f64bSRobert Watson return (labeled); 3839162f64bSRobert Watson } 3849162f64bSRobert Watson 3859162f64bSRobert Watson /* 3869162f64bSRobert Watson * When policies are loaded or unloaded, walk the list of registered policies 3879162f64bSRobert Watson * and built mac_labeled, a bitmask representing the union of all objects 3889162f64bSRobert Watson * requiring labels across all policies. 389225bff6fSRobert Watson */ 390225bff6fSRobert Watson static void 391f93bfb23SRobert Watson mac_policy_update(void) 392225bff6fSRobert Watson { 3936356dba0SRobert Watson struct mac_policy_conf *mpc; 394225bff6fSRobert Watson 39540202729SRobert Watson mac_policy_xlock_assert(); 396225bff6fSRobert Watson 3976356dba0SRobert Watson mac_labeled = 0; 398f93bfb23SRobert Watson mac_policy_count = 0; 399f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_static_policy_list, mpc_list) { 4009162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 401f93bfb23SRobert Watson mac_policy_count++; 402f93bfb23SRobert Watson } 403f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_policy_list, mpc_list) { 4049162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 405f93bfb23SRobert Watson mac_policy_count++; 406f93bfb23SRobert Watson } 40733f3e81dSMateusz Guzik 40833f3e81dSMateusz Guzik cache_fast_lookup_enabled_recalc(); 409225bff6fSRobert Watson } 410225bff6fSRobert Watson 41191061084SMateusz Guzik /* 41291061084SMateusz Guzik * There are frequently used code paths which check for rarely installed 41391061084SMateusz Guzik * policies. Gross hack below enables doing it in a cheap manner. 41491061084SMateusz Guzik */ 41591061084SMateusz Guzik 41691061084SMateusz Guzik #define FPO(f) (offsetof(struct mac_policy_ops, mpo_##f) / sizeof(uintptr_t)) 41791061084SMateusz Guzik 41891061084SMateusz Guzik struct mac_policy_fastpath_elem { 41991061084SMateusz Guzik int count; 42091061084SMateusz Guzik bool *flag; 42191061084SMateusz Guzik size_t offset; 42291061084SMateusz Guzik }; 42391061084SMateusz Guzik 42491061084SMateusz Guzik struct mac_policy_fastpath_elem mac_policy_fastpath_array[] = { 42591061084SMateusz Guzik { .offset = FPO(priv_check), .flag = &mac_priv_check_fp_flag }, 42691061084SMateusz Guzik { .offset = FPO(priv_grant), .flag = &mac_priv_grant_fp_flag }, 4276ebab6baSMateusz Guzik { .offset = FPO(vnode_check_lookup), 4286ebab6baSMateusz Guzik .flag = &mac_vnode_check_lookup_fp_flag }, 42977589de8SMateusz Guzik { .offset = FPO(vnode_check_readlink), 43077589de8SMateusz Guzik .flag = &mac_vnode_check_readlink_fp_flag }, 4316ebab6baSMateusz Guzik { .offset = FPO(vnode_check_open), 4326ebab6baSMateusz Guzik .flag = &mac_vnode_check_open_fp_flag }, 4336ebab6baSMateusz Guzik { .offset = FPO(vnode_check_stat), 4346ebab6baSMateusz Guzik .flag = &mac_vnode_check_stat_fp_flag }, 4356ebab6baSMateusz Guzik { .offset = FPO(vnode_check_read), 4366ebab6baSMateusz Guzik .flag = &mac_vnode_check_read_fp_flag }, 4376ebab6baSMateusz Guzik { .offset = FPO(vnode_check_write), 4386ebab6baSMateusz Guzik .flag = &mac_vnode_check_write_fp_flag }, 4396ebab6baSMateusz Guzik { .offset = FPO(vnode_check_mmap), 4406ebab6baSMateusz Guzik .flag = &mac_vnode_check_mmap_fp_flag }, 4413ea3fbe6SMateusz Guzik { .offset = FPO(vnode_check_poll), 4423ea3fbe6SMateusz Guzik .flag = &mac_vnode_check_poll_fp_flag }, 443fad6dd77SMateusz Guzik { .offset = FPO(vnode_check_rename_from), 444fad6dd77SMateusz Guzik .flag = &mac_vnode_check_rename_from_fp_flag }, 44518f67bc4SMateusz Guzik { .offset = FPO(vnode_check_access), 44618f67bc4SMateusz Guzik .flag = &mac_vnode_check_access_fp_flag }, 44789744405SMateusz Guzik { .offset = FPO(pipe_check_stat), 44889744405SMateusz Guzik .flag = &mac_pipe_check_stat_fp_flag }, 44989744405SMateusz Guzik { .offset = FPO(pipe_check_poll), 45089744405SMateusz Guzik .flag = &mac_pipe_check_poll_fp_flag }, 45160dae3b8SMateusz Guzik { .offset = FPO(pipe_check_read), 45260dae3b8SMateusz Guzik .flag = &mac_pipe_check_read_fp_flag }, 453f77697ddSMateusz Guzik { .offset = FPO(ifnet_create_mbuf), 454f77697ddSMateusz Guzik .flag = &mac_ifnet_create_mbuf_fp_flag }, 455f77697ddSMateusz Guzik { .offset = FPO(ifnet_check_transmit), 456f77697ddSMateusz Guzik .flag = &mac_ifnet_check_transmit_fp_flag }, 45791061084SMateusz Guzik }; 45891061084SMateusz Guzik 45991061084SMateusz Guzik static void 46091061084SMateusz Guzik mac_policy_fastpath_enable(struct mac_policy_fastpath_elem *mpfe) 46191061084SMateusz Guzik { 46291061084SMateusz Guzik 46391061084SMateusz Guzik MPASS(mpfe->count >= 0); 46491061084SMateusz Guzik mpfe->count++; 46591061084SMateusz Guzik if (mpfe->count == 1) { 46691061084SMateusz Guzik MPASS(*mpfe->flag == false); 46791061084SMateusz Guzik *mpfe->flag = true; 46891061084SMateusz Guzik } 46991061084SMateusz Guzik } 47091061084SMateusz Guzik 47191061084SMateusz Guzik static void 47291061084SMateusz Guzik mac_policy_fastpath_disable(struct mac_policy_fastpath_elem *mpfe) 47391061084SMateusz Guzik { 47491061084SMateusz Guzik 47591061084SMateusz Guzik MPASS(mpfe->count >= 1); 47691061084SMateusz Guzik mpfe->count--; 47791061084SMateusz Guzik if (mpfe->count == 0) { 47891061084SMateusz Guzik MPASS(*mpfe->flag == true); 47991061084SMateusz Guzik *mpfe->flag = false; 48091061084SMateusz Guzik } 48191061084SMateusz Guzik } 48291061084SMateusz Guzik 48391061084SMateusz Guzik static void 48491061084SMateusz Guzik mac_policy_fastpath_register(struct mac_policy_conf *mpc) 48591061084SMateusz Guzik { 48691061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 48791061084SMateusz Guzik uintptr_t **ops; 48891061084SMateusz Guzik int i; 48991061084SMateusz Guzik 49091061084SMateusz Guzik mac_policy_xlock_assert(); 49191061084SMateusz Guzik 49291061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 49391061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 49491061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 49591061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 49691061084SMateusz Guzik mac_policy_fastpath_enable(mpfe); 49791061084SMateusz Guzik } 49891061084SMateusz Guzik } 49991061084SMateusz Guzik 50091061084SMateusz Guzik static void 50191061084SMateusz Guzik mac_policy_fastpath_unregister(struct mac_policy_conf *mpc) 50291061084SMateusz Guzik { 50391061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 50491061084SMateusz Guzik uintptr_t **ops; 50591061084SMateusz Guzik int i; 50691061084SMateusz Guzik 50791061084SMateusz Guzik mac_policy_xlock_assert(); 50891061084SMateusz Guzik 50991061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 51091061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 51191061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 51291061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 51391061084SMateusz Guzik mac_policy_fastpath_disable(mpfe); 51491061084SMateusz Guzik } 51591061084SMateusz Guzik } 51691061084SMateusz Guzik 51791061084SMateusz Guzik #undef FPO 51891061084SMateusz Guzik 51995fab37eSRobert Watson static int 52095fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc) 52195fab37eSRobert Watson { 522*8deb442cSSteve Kiernan struct mac_policy_list_head *mpc_list; 523*8deb442cSSteve Kiernan struct mac_policy_conf *last_mpc, *tmpc; 52441a17fe3SRobert Watson int error, slot, static_entry; 52595fab37eSRobert Watson 52641a17fe3SRobert Watson error = 0; 52741a17fe3SRobert Watson 52841a17fe3SRobert Watson /* 52917041e67SRobert Watson * We don't technically need exclusive access while !mac_late, but 53017041e67SRobert Watson * hold it for assertion consistency. 53141a17fe3SRobert Watson */ 53240202729SRobert Watson mac_policy_xlock(); 53341a17fe3SRobert Watson 53441a17fe3SRobert Watson /* 53517041e67SRobert Watson * If the module can potentially be unloaded, or we're loading late, 53617041e67SRobert Watson * we have to stick it in the non-static list and pay an extra 53717041e67SRobert Watson * performance overhead. Otherwise, we can pay a light locking cost 53817041e67SRobert Watson * and stick it in the static list. 53941a17fe3SRobert Watson */ 54041a17fe3SRobert Watson static_entry = (!mac_late && 54141a17fe3SRobert Watson !(mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK)); 54241a17fe3SRobert Watson 543*8deb442cSSteve Kiernan mpc_list = (static_entry) ? &mac_static_policy_list : 544*8deb442cSSteve Kiernan &mac_policy_list; 545*8deb442cSSteve Kiernan last_mpc = NULL; 546*8deb442cSSteve Kiernan LIST_FOREACH(tmpc, mpc_list, mpc_list) { 547*8deb442cSSteve Kiernan last_mpc = tmpc; 54841a17fe3SRobert Watson if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) { 54941a17fe3SRobert Watson error = EEXIST; 55041a17fe3SRobert Watson goto out; 55141a17fe3SRobert Watson } 55241a17fe3SRobert Watson } 55395fab37eSRobert Watson if (mpc->mpc_field_off != NULL) { 554b2aef571SRobert Watson slot = ffs(mac_slot_offsets_free); 55595fab37eSRobert Watson if (slot == 0) { 55641a17fe3SRobert Watson error = ENOMEM; 55741a17fe3SRobert Watson goto out; 55895fab37eSRobert Watson } 55995fab37eSRobert Watson slot--; 560b2aef571SRobert Watson mac_slot_offsets_free &= ~(1 << slot); 56195fab37eSRobert Watson *mpc->mpc_field_off = slot; 56295fab37eSRobert Watson } 56395fab37eSRobert Watson mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED; 56441a17fe3SRobert Watson 56541a17fe3SRobert Watson /* 566*8deb442cSSteve Kiernan * Some modules may depend on the operations of its dependencies. 567*8deb442cSSteve Kiernan * Inserting modules in order of registration ensures operations 568*8deb442cSSteve Kiernan * that work on the module list retain dependency order. 56941a17fe3SRobert Watson */ 570*8deb442cSSteve Kiernan if (last_mpc == NULL) 571*8deb442cSSteve Kiernan LIST_INSERT_HEAD(mpc_list, mpc, mpc_list); 57241a17fe3SRobert Watson else 573*8deb442cSSteve Kiernan LIST_INSERT_AFTER(last_mpc, mpc, mpc_list); 57417041e67SRobert Watson /* 57517041e67SRobert Watson * Per-policy initialization. Currently, this takes place under the 57617041e67SRobert Watson * exclusive lock, so policies must not sleep in their init method. 57717041e67SRobert Watson * In the future, we may want to separate "init" from "start", with 578bc5ade0dSPedro F. Giffuni * "init" occurring without the lock held. Likewise, on tear-down, 57917041e67SRobert Watson * breaking out "stop" from "destroy". 58017041e67SRobert Watson */ 58195fab37eSRobert Watson if (mpc->mpc_ops->mpo_init != NULL) 58295fab37eSRobert Watson (*(mpc->mpc_ops->mpo_init))(mpc); 58391061084SMateusz Guzik 58491061084SMateusz Guzik mac_policy_fastpath_register(mpc); 58591061084SMateusz Guzik 586f93bfb23SRobert Watson mac_policy_update(); 58795fab37eSRobert Watson 58836160958SMark Johnston SDT_PROBE1(mac, , policy, register, mpc); 58995fab37eSRobert Watson printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname, 59095fab37eSRobert Watson mpc->mpc_name); 59195fab37eSRobert Watson 59241a17fe3SRobert Watson out: 59340202729SRobert Watson mac_policy_xunlock(); 59441a17fe3SRobert Watson return (error); 59595fab37eSRobert Watson } 59695fab37eSRobert Watson 59795fab37eSRobert Watson static int 59895fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc) 59995fab37eSRobert Watson { 60095fab37eSRobert Watson 601ea599aa0SRobert Watson /* 60217041e67SRobert Watson * If we fail the load, we may get a request to unload. Check to see 60317041e67SRobert Watson * if we did the run-time registration, and if not, silently succeed. 604ea599aa0SRobert Watson */ 60540202729SRobert Watson mac_policy_xlock(); 606ea599aa0SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) == 0) { 60740202729SRobert Watson mac_policy_xunlock(); 608ea599aa0SRobert Watson return (0); 609ea599aa0SRobert Watson } 61095fab37eSRobert Watson #if 0 61195fab37eSRobert Watson /* 61295fab37eSRobert Watson * Don't allow unloading modules with private data. 61395fab37eSRobert Watson */ 614ea599aa0SRobert Watson if (mpc->mpc_field_off != NULL) { 61540202729SRobert Watson mac_policy_xunlock(); 61695fab37eSRobert Watson return (EBUSY); 617ea599aa0SRobert Watson } 61895fab37eSRobert Watson #endif 619ea599aa0SRobert Watson /* 62017041e67SRobert Watson * Only allow the unload to proceed if the module is unloadable by 62117041e67SRobert Watson * its own definition. 622ea599aa0SRobert Watson */ 623ea599aa0SRobert Watson if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0) { 62440202729SRobert Watson mac_policy_xunlock(); 62595fab37eSRobert Watson return (EBUSY); 626ea599aa0SRobert Watson } 62791061084SMateusz Guzik 62891061084SMateusz Guzik mac_policy_fastpath_unregister(mpc); 62991061084SMateusz Guzik 63095fab37eSRobert Watson if (mpc->mpc_ops->mpo_destroy != NULL) 63195fab37eSRobert Watson (*(mpc->mpc_ops->mpo_destroy))(mpc); 63295fab37eSRobert Watson 63395fab37eSRobert Watson LIST_REMOVE(mpc, mpc_list); 6349aeffb2bSRobert Watson mpc->mpc_runtime_flags &= ~MPC_RUNTIME_FLAG_REGISTERED; 635f93bfb23SRobert Watson mac_policy_update(); 63640202729SRobert Watson mac_policy_xunlock(); 637a96acd1aSRobert Watson 63836160958SMark Johnston SDT_PROBE1(mac, , policy, unregister, mpc); 63995fab37eSRobert Watson printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname, 64095fab37eSRobert Watson mpc->mpc_name); 64195fab37eSRobert Watson 64295fab37eSRobert Watson return (0); 64395fab37eSRobert Watson } 64495fab37eSRobert Watson 64595fab37eSRobert Watson /* 646c441d123SRobert Watson * Allow MAC policy modules to register during boot, etc. 647c441d123SRobert Watson */ 648c441d123SRobert Watson int 649c441d123SRobert Watson mac_policy_modevent(module_t mod, int type, void *data) 650c441d123SRobert Watson { 651c441d123SRobert Watson struct mac_policy_conf *mpc; 652c441d123SRobert Watson int error; 653c441d123SRobert Watson 654c441d123SRobert Watson error = 0; 655c441d123SRobert Watson mpc = (struct mac_policy_conf *) data; 656c441d123SRobert Watson 657c441d123SRobert Watson #ifdef MAC_STATIC 658c441d123SRobert Watson if (mac_late) { 659c441d123SRobert Watson printf("mac_policy_modevent: MAC_STATIC and late\n"); 660c441d123SRobert Watson return (EBUSY); 661c441d123SRobert Watson } 662c441d123SRobert Watson #endif 663c441d123SRobert Watson 66436160958SMark Johnston SDT_PROBE2(mac, , policy, modevent, type, mpc); 665c441d123SRobert Watson switch (type) { 666c441d123SRobert Watson case MOD_LOAD: 667c441d123SRobert Watson if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE && 668c441d123SRobert Watson mac_late) { 669c441d123SRobert Watson printf("mac_policy_modevent: can't load %s policy " 670c441d123SRobert Watson "after booting\n", mpc->mpc_name); 671c441d123SRobert Watson error = EBUSY; 672c441d123SRobert Watson break; 673c441d123SRobert Watson } 674c441d123SRobert Watson error = mac_policy_register(mpc); 675c441d123SRobert Watson break; 676c441d123SRobert Watson case MOD_UNLOAD: 677c441d123SRobert Watson /* Don't unregister the module if it was never registered. */ 678c441d123SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) 679c441d123SRobert Watson != 0) 680c441d123SRobert Watson error = mac_policy_unregister(mpc); 681c441d123SRobert Watson else 682c441d123SRobert Watson error = 0; 683c441d123SRobert Watson break; 684c441d123SRobert Watson default: 685c441d123SRobert Watson error = EOPNOTSUPP; 686c441d123SRobert Watson break; 687c441d123SRobert Watson } 688c441d123SRobert Watson 689c441d123SRobert Watson return (error); 690c441d123SRobert Watson } 691c441d123SRobert Watson 692c441d123SRobert Watson /* 69395fab37eSRobert Watson * Define an error value precedence, and given two arguments, selects the 69495fab37eSRobert Watson * value with the higher precedence. 69595fab37eSRobert Watson */ 6969e7bf51cSRobert Watson int 6979e7bf51cSRobert Watson mac_error_select(int error1, int error2) 69895fab37eSRobert Watson { 69995fab37eSRobert Watson 70095fab37eSRobert Watson /* Certain decision-making errors take top priority. */ 70195fab37eSRobert Watson if (error1 == EDEADLK || error2 == EDEADLK) 70295fab37eSRobert Watson return (EDEADLK); 70395fab37eSRobert Watson 70495fab37eSRobert Watson /* Invalid arguments should be reported where possible. */ 70595fab37eSRobert Watson if (error1 == EINVAL || error2 == EINVAL) 70695fab37eSRobert Watson return (EINVAL); 70795fab37eSRobert Watson 70895fab37eSRobert Watson /* Precedence goes to "visibility", with both process and file. */ 70995fab37eSRobert Watson if (error1 == ESRCH || error2 == ESRCH) 71095fab37eSRobert Watson return (ESRCH); 71195fab37eSRobert Watson 71295fab37eSRobert Watson if (error1 == ENOENT || error2 == ENOENT) 71395fab37eSRobert Watson return (ENOENT); 71495fab37eSRobert Watson 71595fab37eSRobert Watson /* Precedence goes to DAC/MAC protections. */ 71695fab37eSRobert Watson if (error1 == EACCES || error2 == EACCES) 71795fab37eSRobert Watson return (EACCES); 71895fab37eSRobert Watson 71995fab37eSRobert Watson /* Precedence goes to privilege. */ 72095fab37eSRobert Watson if (error1 == EPERM || error2 == EPERM) 72195fab37eSRobert Watson return (EPERM); 72295fab37eSRobert Watson 72395fab37eSRobert Watson /* Precedence goes to error over success; otherwise, arbitrary. */ 72495fab37eSRobert Watson if (error1 != 0) 72595fab37eSRobert Watson return (error1); 72695fab37eSRobert Watson return (error2); 72795fab37eSRobert Watson } 72895fab37eSRobert Watson 7295e7ce478SRobert Watson int 730f7b951a8SRobert Watson mac_check_structmac_consistent(struct mac *mac) 731f7b951a8SRobert Watson { 732f7b951a8SRobert Watson 7336324de03SMark Johnston /* Require that labels have a non-zero length. */ 7346324de03SMark Johnston if (mac->m_buflen > MAC_MAX_LABEL_BUF_LEN || 7356324de03SMark Johnston mac->m_buflen <= sizeof("")) 736f7b951a8SRobert Watson return (EINVAL); 737f7b951a8SRobert Watson 738f7b951a8SRobert Watson return (0); 739f7b951a8SRobert Watson } 740f7b951a8SRobert Watson 74195fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL); 74295fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL); 743