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> 8595fab37eSRobert Watson 86aed55708SRobert Watson #include <security/mac/mac_framework.h> 876fa0475dSRobert Watson #include <security/mac/mac_internal.h> 880efd6615SRobert Watson #include <security/mac/mac_policy.h> 896fa0475dSRobert Watson 907ba28492SRobert Watson /* 912087a58cSRobert Watson * DTrace SDT providers for MAC. 9291ec0006SRobert Watson */ 9391ec0006SRobert Watson SDT_PROVIDER_DEFINE(mac); 942087a58cSRobert Watson SDT_PROVIDER_DEFINE(mac_framework); 952087a58cSRobert Watson 9636160958SMark Johnston SDT_PROBE_DEFINE2(mac, , policy, modevent, "int", 9792c6196cSMark Johnston "struct mac_policy_conf *"); 9836160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, register, 9979856499SRui Paulo "struct mac_policy_conf *"); 10036160958SMark Johnston SDT_PROBE_DEFINE1(mac, , policy, unregister, 10179856499SRui Paulo "struct mac_policy_conf *"); 10291ec0006SRobert Watson 10391ec0006SRobert Watson /* 104471e5756SRobert Watson * Root sysctl node for all MAC and MAC policy controls. 1057ba28492SRobert Watson */ 1067029da5cSPawel Biernacki SYSCTL_NODE(_security, OID_AUTO, mac, CTLFLAG_RW | CTLFLAG_MPSAFE, 0, 10795fab37eSRobert Watson "TrustedBSD MAC policy controls"); 108b2f0927aSRobert Watson 10917041e67SRobert Watson /* 110471e5756SRobert Watson * Declare that the kernel provides MAC support, version 3 (FreeBSD 7.x). 111471e5756SRobert Watson * This permits modules to refuse to be loaded if the necessary support isn't 112471e5756SRobert Watson * present, even if it's pre-boot. 113471e5756SRobert Watson */ 114471e5756SRobert Watson MODULE_VERSION(kernel_mac_support, MAC_VERSION); 115be23ba9aSRobert Watson 116be23ba9aSRobert Watson static unsigned int mac_version = MAC_VERSION; 117471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, version, CTLFLAG_RD, &mac_version, 0, 118471e5756SRobert Watson ""); 119471e5756SRobert Watson 120471e5756SRobert Watson /* 1213ea3fbe6SMateusz Guzik * Flags for inlined checks. Note this would be best hotpatched at runtime. 1223ea3fbe6SMateusz Guzik * The following is a band-aid. 1233ea3fbe6SMateusz Guzik * 1243ea3fbe6SMateusz Guzik * Use FPFLAG for hooks running in commonly executed paths and FPFLAG_RARE 1253ea3fbe6SMateusz Guzik * for the rest. 12691061084SMateusz Guzik */ 12791061084SMateusz Guzik #define FPFLAG(f) \ 12891061084SMateusz Guzik bool __read_frequently mac_##f##_fp_flag 12991061084SMateusz Guzik 1303ea3fbe6SMateusz Guzik #define FPFLAG_RARE(f) \ 1313ea3fbe6SMateusz Guzik bool __read_mostly mac_##f##_fp_flag 1323ea3fbe6SMateusz Guzik 13391061084SMateusz Guzik FPFLAG(priv_check); 13491061084SMateusz Guzik FPFLAG(priv_grant); 1356ebab6baSMateusz Guzik FPFLAG(vnode_check_lookup); 1366ebab6baSMateusz Guzik FPFLAG(vnode_check_open); 1376ebab6baSMateusz Guzik FPFLAG(vnode_check_stat); 1386ebab6baSMateusz Guzik FPFLAG(vnode_check_read); 1396ebab6baSMateusz Guzik FPFLAG(vnode_check_write); 1406ebab6baSMateusz Guzik FPFLAG(vnode_check_mmap); 1413ea3fbe6SMateusz Guzik FPFLAG_RARE(vnode_check_poll); 142fad6dd77SMateusz Guzik FPFLAG_RARE(vnode_check_rename_from); 14318f67bc4SMateusz Guzik FPFLAG_RARE(vnode_check_access); 144*89744405SMateusz Guzik FPFLAG_RARE(pipe_check_stat); 145*89744405SMateusz Guzik FPFLAG_RARE(pipe_check_poll); 14691061084SMateusz Guzik 14791061084SMateusz Guzik #undef FPFLAG 1483ea3fbe6SMateusz Guzik #undef FPFLAG_RARE 14991061084SMateusz Guzik 15091061084SMateusz Guzik /* 15117041e67SRobert Watson * Labels consist of a indexed set of "slots", which are allocated policies 15217041e67SRobert Watson * as required. The MAC Framework maintains a bitmask of slots allocated so 15317041e67SRobert Watson * far to prevent reuse. Slots cannot be reused, as the MAC Framework 15417041e67SRobert Watson * guarantees that newly allocated slots in labels will be NULL unless 15517041e67SRobert Watson * otherwise initialized, and because we do not have a mechanism to garbage 15617041e67SRobert Watson * collect slots on policy unload. As labeled policies tend to be statically 15717041e67SRobert Watson * loaded during boot, and not frequently unloaded and reloaded, this is not 15817041e67SRobert Watson * generally an issue. 15917041e67SRobert Watson */ 160b2aef571SRobert Watson #if MAC_MAX_SLOTS > 32 161b2aef571SRobert Watson #error "MAC_MAX_SLOTS too large" 16295fab37eSRobert Watson #endif 163a13c67daSRobert Watson 164b2aef571SRobert Watson static unsigned int mac_max_slots = MAC_MAX_SLOTS; 165b2aef571SRobert Watson static unsigned int mac_slot_offsets_free = (1 << MAC_MAX_SLOTS) - 1; 166471e5756SRobert Watson SYSCTL_UINT(_security_mac, OID_AUTO, max_slots, CTLFLAG_RD, &mac_max_slots, 167471e5756SRobert Watson 0, ""); 16895fab37eSRobert Watson 169a67fe518SRobert Watson /* 170a67fe518SRobert Watson * Has the kernel started generating labeled objects yet? All read/write 171a67fe518SRobert Watson * access to this variable is serialized during the boot process. Following 172a67fe518SRobert Watson * the end of serialization, we don't update this flag; no locking. 173a67fe518SRobert Watson */ 174be23ba9aSRobert Watson static int mac_late = 0; 175763bbd2fSRobert Watson 176225bff6fSRobert Watson /* 1776356dba0SRobert Watson * Each policy declares a mask of object types requiring labels to be 1786356dba0SRobert Watson * allocated for them. For convenience, we combine and cache the bitwise or 1796356dba0SRobert Watson * of the per-policy object flags to track whether we will allocate a label 1806356dba0SRobert Watson * for an object type at run-time. 181225bff6fSRobert Watson */ 1826356dba0SRobert Watson uint64_t mac_labeled; 183123d2cb7SMatthew D Fleming SYSCTL_UQUAD(_security_mac, OID_AUTO, labeled, CTLFLAG_RD, &mac_labeled, 0, 1846356dba0SRobert Watson "Mask of object types being labeled"); 185225bff6fSRobert Watson 186f7b951a8SRobert Watson MALLOC_DEFINE(M_MACTEMP, "mactemp", "MAC temporary label storage"); 18795fab37eSRobert Watson 18895fab37eSRobert Watson /* 18940202729SRobert Watson * MAC policy modules are placed in one of two lists: mac_static_policy_list, 19040202729SRobert Watson * for policies that are loaded early and cannot be unloaded, and 19140202729SRobert Watson * mac_policy_list, which holds policies either loaded later in the boot 19240202729SRobert Watson * cycle or that may be unloaded. The static policy list does not require 19340202729SRobert Watson * locks to iterate over, but the dynamic list requires synchronization. 19440202729SRobert Watson * Support for dynamic policy loading can be compiled out using the 19540202729SRobert Watson * MAC_STATIC kernel option. 19641a17fe3SRobert Watson * 19740202729SRobert Watson * The dynamic policy list is protected by two locks: modifying the list 19840202729SRobert Watson * requires both locks to be held exclusively. One of the locks, 19981fee06fSRobert Watson * mac_policy_rm, is acquired over policy entry points that will never sleep; 200407a5b79SJason A. Harmening * the other, mac_policy_rms, is acquired over policy entry points that may 20140202729SRobert Watson * sleep. The former category will be used when kernel locks may be held 20240202729SRobert Watson * over calls to the MAC Framework, during network processing in ithreads, 20340202729SRobert Watson * etc. The latter will tend to involve potentially blocking memory 20440202729SRobert Watson * allocations, extended attribute I/O, etc. 20595fab37eSRobert Watson */ 2060a05006dSRobert Watson #ifndef MAC_STATIC 20781fee06fSRobert Watson static struct rmlock mac_policy_rm; /* Non-sleeping entry points. */ 208407a5b79SJason A. Harmening static struct rmslock mac_policy_rms; /* Sleeping entry points. */ 2090a05006dSRobert Watson #endif 21040202729SRobert Watson 211089c1bdaSRobert Watson struct mac_policy_list_head mac_policy_list; 212089c1bdaSRobert Watson struct mac_policy_list_head mac_static_policy_list; 213f93bfb23SRobert Watson u_int mac_policy_count; /* Registered policy count. */ 214a96acd1aSRobert Watson 21540202729SRobert Watson static void mac_policy_xlock(void); 21640202729SRobert Watson static void mac_policy_xlock_assert(void); 21740202729SRobert Watson static void mac_policy_xunlock(void); 21840202729SRobert Watson 219089c1bdaSRobert Watson void 22081fee06fSRobert Watson mac_policy_slock_nosleep(struct rm_priotracker *tracker) 22141a17fe3SRobert Watson { 222c8e7bf92SRobert Watson 2230a05006dSRobert Watson #ifndef MAC_STATIC 2241e4cadcbSRobert Watson if (!mac_late) 2251e4cadcbSRobert Watson return; 2261e4cadcbSRobert Watson 22781fee06fSRobert Watson rm_rlock(&mac_policy_rm, tracker); 22840202729SRobert Watson #endif 22940202729SRobert Watson } 23040202729SRobert Watson 23140202729SRobert Watson void 23240202729SRobert Watson mac_policy_slock_sleep(void) 23340202729SRobert Watson { 23440202729SRobert Watson 23541a17fe3SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 23640202729SRobert Watson "mac_policy_slock_sleep"); 23740202729SRobert Watson 23840202729SRobert Watson #ifndef MAC_STATIC 23940202729SRobert Watson if (!mac_late) 24040202729SRobert Watson return; 24140202729SRobert Watson 242deb2e577SMateusz Guzik rms_rlock(&mac_policy_rms); 2430a05006dSRobert Watson #endif 24441a17fe3SRobert Watson } 24595fab37eSRobert Watson 246089c1bdaSRobert Watson void 24781fee06fSRobert Watson mac_policy_sunlock_nosleep(struct rm_priotracker *tracker) 24841a17fe3SRobert Watson { 249c8e7bf92SRobert Watson 2500a05006dSRobert Watson #ifndef MAC_STATIC 2511e4cadcbSRobert Watson if (!mac_late) 2521e4cadcbSRobert Watson return; 2531e4cadcbSRobert Watson 25481fee06fSRobert Watson rm_runlock(&mac_policy_rm, tracker); 2550a05006dSRobert Watson #endif 25641a17fe3SRobert Watson } 257225bff6fSRobert Watson 258089c1bdaSRobert Watson void 25940202729SRobert Watson mac_policy_sunlock_sleep(void) 26041a17fe3SRobert Watson { 261c8e7bf92SRobert Watson 2620a05006dSRobert Watson #ifndef MAC_STATIC 2631e4cadcbSRobert Watson if (!mac_late) 2641e4cadcbSRobert Watson return; 2651e4cadcbSRobert Watson 266deb2e577SMateusz Guzik rms_runlock(&mac_policy_rms); 2670a05006dSRobert Watson #endif 26841a17fe3SRobert Watson } 26941a17fe3SRobert Watson 27040202729SRobert Watson static void 27140202729SRobert Watson mac_policy_xlock(void) 27241a17fe3SRobert Watson { 27340202729SRobert Watson 27440202729SRobert Watson WITNESS_WARN(WARN_GIANTOK | WARN_SLEEPOK, NULL, 27540202729SRobert Watson "mac_policy_xlock()"); 27640202729SRobert Watson 2770a05006dSRobert Watson #ifndef MAC_STATIC 2781e4cadcbSRobert Watson if (!mac_late) 2791e4cadcbSRobert Watson return; 2801e4cadcbSRobert Watson 281deb2e577SMateusz Guzik rms_wlock(&mac_policy_rms); 28281fee06fSRobert Watson rm_wlock(&mac_policy_rm); 28340202729SRobert Watson #endif 28440202729SRobert Watson } 285989d4098SRobert Watson 28640202729SRobert Watson static void 28740202729SRobert Watson mac_policy_xunlock(void) 28840202729SRobert Watson { 28940202729SRobert Watson 29040202729SRobert Watson #ifndef MAC_STATIC 29140202729SRobert Watson if (!mac_late) 29240202729SRobert Watson return; 29340202729SRobert Watson 29481fee06fSRobert Watson rm_wunlock(&mac_policy_rm); 295deb2e577SMateusz Guzik rms_wunlock(&mac_policy_rms); 29640202729SRobert Watson #endif 29740202729SRobert Watson } 29840202729SRobert Watson 29940202729SRobert Watson static void 30040202729SRobert Watson mac_policy_xlock_assert(void) 30140202729SRobert Watson { 30240202729SRobert Watson 30340202729SRobert Watson #ifndef MAC_STATIC 30440202729SRobert Watson if (!mac_late) 30540202729SRobert Watson return; 30640202729SRobert Watson 307407a5b79SJason A. Harmening rm_assert(&mac_policy_rm, RA_WLOCKED); 3080a05006dSRobert Watson #endif 30941a17fe3SRobert Watson } 31095fab37eSRobert Watson 31195fab37eSRobert Watson /* 31295fab37eSRobert Watson * Initialize the MAC subsystem, including appropriate SMP locks. 31395fab37eSRobert Watson */ 31495fab37eSRobert Watson static void 31595fab37eSRobert Watson mac_init(void) 31695fab37eSRobert Watson { 31795fab37eSRobert Watson 31841a17fe3SRobert Watson LIST_INIT(&mac_static_policy_list); 31995fab37eSRobert Watson LIST_INIT(&mac_policy_list); 320eca8a663SRobert Watson mac_labelzone_init(); 32141a17fe3SRobert Watson 3220a05006dSRobert Watson #ifndef MAC_STATIC 323f7fadf1fSKonstantin Belousov rm_init_flags(&mac_policy_rm, "mac_policy_rm", RM_NOWITNESS | 324f7fadf1fSKonstantin Belousov RM_RECURSE); 325deb2e577SMateusz Guzik rms_init(&mac_policy_rms, "mac_policy_rms"); 3260a05006dSRobert Watson #endif 32795fab37eSRobert Watson } 32895fab37eSRobert Watson 32995fab37eSRobert Watson /* 33017041e67SRobert Watson * For the purposes of modules that want to know if they were loaded "early", 33117041e67SRobert Watson * set the mac_late flag once we've processed modules either linked into the 33217041e67SRobert Watson * kernel, or loaded before the kernel startup. 33395fab37eSRobert Watson */ 33495fab37eSRobert Watson static void 33595fab37eSRobert Watson mac_late_init(void) 33695fab37eSRobert Watson { 33795fab37eSRobert Watson 33895fab37eSRobert Watson mac_late = 1; 33995fab37eSRobert Watson } 34095fab37eSRobert Watson 34195fab37eSRobert Watson /* 3429162f64bSRobert Watson * Given a policy, derive from its set of non-NULL label init methods what 3439162f64bSRobert Watson * object types the policy is interested in. 3449162f64bSRobert Watson */ 3459162f64bSRobert Watson static uint64_t 3469162f64bSRobert Watson mac_policy_getlabeled(struct mac_policy_conf *mpc) 3479162f64bSRobert Watson { 3489162f64bSRobert Watson uint64_t labeled; 3499162f64bSRobert Watson 3509162f64bSRobert Watson #define MPC_FLAG(method, flag) \ 3519162f64bSRobert Watson if (mpc->mpc_ops->mpo_ ## method != NULL) \ 3529162f64bSRobert Watson labeled |= (flag); \ 3539162f64bSRobert Watson 3549162f64bSRobert Watson labeled = 0; 3559162f64bSRobert Watson MPC_FLAG(cred_init_label, MPC_OBJECT_CRED); 3569162f64bSRobert Watson MPC_FLAG(proc_init_label, MPC_OBJECT_PROC); 3579162f64bSRobert Watson MPC_FLAG(vnode_init_label, MPC_OBJECT_VNODE); 3589162f64bSRobert Watson MPC_FLAG(inpcb_init_label, MPC_OBJECT_INPCB); 3599162f64bSRobert Watson MPC_FLAG(socket_init_label, MPC_OBJECT_SOCKET); 3609162f64bSRobert Watson MPC_FLAG(devfs_init_label, MPC_OBJECT_DEVFS); 3619162f64bSRobert Watson MPC_FLAG(mbuf_init_label, MPC_OBJECT_MBUF); 3629162f64bSRobert Watson MPC_FLAG(ipq_init_label, MPC_OBJECT_IPQ); 3639162f64bSRobert Watson MPC_FLAG(ifnet_init_label, MPC_OBJECT_IFNET); 3649162f64bSRobert Watson MPC_FLAG(bpfdesc_init_label, MPC_OBJECT_BPFDESC); 3659162f64bSRobert Watson MPC_FLAG(pipe_init_label, MPC_OBJECT_PIPE); 3669162f64bSRobert Watson MPC_FLAG(mount_init_label, MPC_OBJECT_MOUNT); 3679162f64bSRobert Watson MPC_FLAG(posixsem_init_label, MPC_OBJECT_POSIXSEM); 3689162f64bSRobert Watson MPC_FLAG(posixshm_init_label, MPC_OBJECT_POSIXSHM); 3699162f64bSRobert Watson MPC_FLAG(sysvmsg_init_label, MPC_OBJECT_SYSVMSG); 3709162f64bSRobert Watson MPC_FLAG(sysvmsq_init_label, MPC_OBJECT_SYSVMSQ); 3719162f64bSRobert Watson MPC_FLAG(sysvsem_init_label, MPC_OBJECT_SYSVSEM); 3729162f64bSRobert Watson MPC_FLAG(sysvshm_init_label, MPC_OBJECT_SYSVSHM); 3739162f64bSRobert Watson MPC_FLAG(syncache_init_label, MPC_OBJECT_SYNCACHE); 3749162f64bSRobert Watson MPC_FLAG(ip6q_init_label, MPC_OBJECT_IP6Q); 3759162f64bSRobert Watson 3769162f64bSRobert Watson #undef MPC_FLAG 3779162f64bSRobert Watson return (labeled); 3789162f64bSRobert Watson } 3799162f64bSRobert Watson 3809162f64bSRobert Watson /* 3819162f64bSRobert Watson * When policies are loaded or unloaded, walk the list of registered policies 3829162f64bSRobert Watson * and built mac_labeled, a bitmask representing the union of all objects 3839162f64bSRobert Watson * requiring labels across all policies. 384225bff6fSRobert Watson */ 385225bff6fSRobert Watson static void 386f93bfb23SRobert Watson mac_policy_update(void) 387225bff6fSRobert Watson { 3886356dba0SRobert Watson struct mac_policy_conf *mpc; 389225bff6fSRobert Watson 39040202729SRobert Watson mac_policy_xlock_assert(); 391225bff6fSRobert Watson 3926356dba0SRobert Watson mac_labeled = 0; 393f93bfb23SRobert Watson mac_policy_count = 0; 394f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_static_policy_list, mpc_list) { 3959162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 396f93bfb23SRobert Watson mac_policy_count++; 397f93bfb23SRobert Watson } 398f93bfb23SRobert Watson LIST_FOREACH(mpc, &mac_policy_list, mpc_list) { 3999162f64bSRobert Watson mac_labeled |= mac_policy_getlabeled(mpc); 400f93bfb23SRobert Watson mac_policy_count++; 401f93bfb23SRobert Watson } 402225bff6fSRobert Watson } 403225bff6fSRobert Watson 40491061084SMateusz Guzik /* 40591061084SMateusz Guzik * There are frequently used code paths which check for rarely installed 40691061084SMateusz Guzik * policies. Gross hack below enables doing it in a cheap manner. 40791061084SMateusz Guzik */ 40891061084SMateusz Guzik 40991061084SMateusz Guzik #define FPO(f) (offsetof(struct mac_policy_ops, mpo_##f) / sizeof(uintptr_t)) 41091061084SMateusz Guzik 41191061084SMateusz Guzik struct mac_policy_fastpath_elem { 41291061084SMateusz Guzik int count; 41391061084SMateusz Guzik bool *flag; 41491061084SMateusz Guzik size_t offset; 41591061084SMateusz Guzik }; 41691061084SMateusz Guzik 41791061084SMateusz Guzik struct mac_policy_fastpath_elem mac_policy_fastpath_array[] = { 41891061084SMateusz Guzik { .offset = FPO(priv_check), .flag = &mac_priv_check_fp_flag }, 41991061084SMateusz Guzik { .offset = FPO(priv_grant), .flag = &mac_priv_grant_fp_flag }, 4206ebab6baSMateusz Guzik { .offset = FPO(vnode_check_lookup), 4216ebab6baSMateusz Guzik .flag = &mac_vnode_check_lookup_fp_flag }, 4226ebab6baSMateusz Guzik { .offset = FPO(vnode_check_open), 4236ebab6baSMateusz Guzik .flag = &mac_vnode_check_open_fp_flag }, 4246ebab6baSMateusz Guzik { .offset = FPO(vnode_check_stat), 4256ebab6baSMateusz Guzik .flag = &mac_vnode_check_stat_fp_flag }, 4266ebab6baSMateusz Guzik { .offset = FPO(vnode_check_read), 4276ebab6baSMateusz Guzik .flag = &mac_vnode_check_read_fp_flag }, 4286ebab6baSMateusz Guzik { .offset = FPO(vnode_check_write), 4296ebab6baSMateusz Guzik .flag = &mac_vnode_check_write_fp_flag }, 4306ebab6baSMateusz Guzik { .offset = FPO(vnode_check_mmap), 4316ebab6baSMateusz Guzik .flag = &mac_vnode_check_mmap_fp_flag }, 4323ea3fbe6SMateusz Guzik { .offset = FPO(vnode_check_poll), 4333ea3fbe6SMateusz Guzik .flag = &mac_vnode_check_poll_fp_flag }, 434fad6dd77SMateusz Guzik { .offset = FPO(vnode_check_rename_from), 435fad6dd77SMateusz Guzik .flag = &mac_vnode_check_rename_from_fp_flag }, 43618f67bc4SMateusz Guzik { .offset = FPO(vnode_check_access), 43718f67bc4SMateusz Guzik .flag = &mac_vnode_check_access_fp_flag }, 438*89744405SMateusz Guzik { .offset = FPO(pipe_check_stat), 439*89744405SMateusz Guzik .flag = &mac_pipe_check_stat_fp_flag }, 440*89744405SMateusz Guzik { .offset = FPO(pipe_check_poll), 441*89744405SMateusz Guzik .flag = &mac_pipe_check_poll_fp_flag }, 44291061084SMateusz Guzik }; 44391061084SMateusz Guzik 44491061084SMateusz Guzik static void 44591061084SMateusz Guzik mac_policy_fastpath_enable(struct mac_policy_fastpath_elem *mpfe) 44691061084SMateusz Guzik { 44791061084SMateusz Guzik 44891061084SMateusz Guzik MPASS(mpfe->count >= 0); 44991061084SMateusz Guzik mpfe->count++; 45091061084SMateusz Guzik if (mpfe->count == 1) { 45191061084SMateusz Guzik MPASS(*mpfe->flag == false); 45291061084SMateusz Guzik *mpfe->flag = true; 45391061084SMateusz Guzik } 45491061084SMateusz Guzik } 45591061084SMateusz Guzik 45691061084SMateusz Guzik static void 45791061084SMateusz Guzik mac_policy_fastpath_disable(struct mac_policy_fastpath_elem *mpfe) 45891061084SMateusz Guzik { 45991061084SMateusz Guzik 46091061084SMateusz Guzik MPASS(mpfe->count >= 1); 46191061084SMateusz Guzik mpfe->count--; 46291061084SMateusz Guzik if (mpfe->count == 0) { 46391061084SMateusz Guzik MPASS(*mpfe->flag == true); 46491061084SMateusz Guzik *mpfe->flag = false; 46591061084SMateusz Guzik } 46691061084SMateusz Guzik } 46791061084SMateusz Guzik 46891061084SMateusz Guzik static void 46991061084SMateusz Guzik mac_policy_fastpath_register(struct mac_policy_conf *mpc) 47091061084SMateusz Guzik { 47191061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 47291061084SMateusz Guzik uintptr_t **ops; 47391061084SMateusz Guzik int i; 47491061084SMateusz Guzik 47591061084SMateusz Guzik mac_policy_xlock_assert(); 47691061084SMateusz Guzik 47791061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 47891061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 47991061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 48091061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 48191061084SMateusz Guzik mac_policy_fastpath_enable(mpfe); 48291061084SMateusz Guzik } 48391061084SMateusz Guzik } 48491061084SMateusz Guzik 48591061084SMateusz Guzik static void 48691061084SMateusz Guzik mac_policy_fastpath_unregister(struct mac_policy_conf *mpc) 48791061084SMateusz Guzik { 48891061084SMateusz Guzik struct mac_policy_fastpath_elem *mpfe; 48991061084SMateusz Guzik uintptr_t **ops; 49091061084SMateusz Guzik int i; 49191061084SMateusz Guzik 49291061084SMateusz Guzik mac_policy_xlock_assert(); 49391061084SMateusz Guzik 49491061084SMateusz Guzik ops = (uintptr_t **)mpc->mpc_ops; 49591061084SMateusz Guzik for (i = 0; i < nitems(mac_policy_fastpath_array); i++) { 49691061084SMateusz Guzik mpfe = &mac_policy_fastpath_array[i]; 49791061084SMateusz Guzik if (ops[mpfe->offset] != NULL) 49891061084SMateusz Guzik mac_policy_fastpath_disable(mpfe); 49991061084SMateusz Guzik } 50091061084SMateusz Guzik } 50191061084SMateusz Guzik 50291061084SMateusz Guzik #undef FPO 50391061084SMateusz Guzik 50495fab37eSRobert Watson static int 50595fab37eSRobert Watson mac_policy_register(struct mac_policy_conf *mpc) 50695fab37eSRobert Watson { 50795fab37eSRobert Watson struct mac_policy_conf *tmpc; 50841a17fe3SRobert Watson int error, slot, static_entry; 50995fab37eSRobert Watson 51041a17fe3SRobert Watson error = 0; 51141a17fe3SRobert Watson 51241a17fe3SRobert Watson /* 51317041e67SRobert Watson * We don't technically need exclusive access while !mac_late, but 51417041e67SRobert Watson * hold it for assertion consistency. 51541a17fe3SRobert Watson */ 51640202729SRobert Watson mac_policy_xlock(); 51741a17fe3SRobert Watson 51841a17fe3SRobert Watson /* 51917041e67SRobert Watson * If the module can potentially be unloaded, or we're loading late, 52017041e67SRobert Watson * we have to stick it in the non-static list and pay an extra 52117041e67SRobert Watson * performance overhead. Otherwise, we can pay a light locking cost 52217041e67SRobert Watson * and stick it in the static list. 52341a17fe3SRobert Watson */ 52441a17fe3SRobert Watson static_entry = (!mac_late && 52541a17fe3SRobert Watson !(mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK)); 52641a17fe3SRobert Watson 52741a17fe3SRobert Watson if (static_entry) { 52841a17fe3SRobert Watson LIST_FOREACH(tmpc, &mac_static_policy_list, mpc_list) { 52941a17fe3SRobert Watson if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) { 53041a17fe3SRobert Watson error = EEXIST; 53141a17fe3SRobert Watson goto out; 53241a17fe3SRobert Watson } 53341a17fe3SRobert Watson } 53441a17fe3SRobert Watson } else { 53595fab37eSRobert Watson LIST_FOREACH(tmpc, &mac_policy_list, mpc_list) { 53695fab37eSRobert Watson if (strcmp(tmpc->mpc_name, mpc->mpc_name) == 0) { 53741a17fe3SRobert Watson error = EEXIST; 53841a17fe3SRobert Watson goto out; 53941a17fe3SRobert Watson } 54095fab37eSRobert Watson } 54195fab37eSRobert Watson } 54295fab37eSRobert Watson if (mpc->mpc_field_off != NULL) { 543b2aef571SRobert Watson slot = ffs(mac_slot_offsets_free); 54495fab37eSRobert Watson if (slot == 0) { 54541a17fe3SRobert Watson error = ENOMEM; 54641a17fe3SRobert Watson goto out; 54795fab37eSRobert Watson } 54895fab37eSRobert Watson slot--; 549b2aef571SRobert Watson mac_slot_offsets_free &= ~(1 << slot); 55095fab37eSRobert Watson *mpc->mpc_field_off = slot; 55195fab37eSRobert Watson } 55295fab37eSRobert Watson mpc->mpc_runtime_flags |= MPC_RUNTIME_FLAG_REGISTERED; 55341a17fe3SRobert Watson 55441a17fe3SRobert Watson /* 55517041e67SRobert Watson * If we're loading a MAC module after the framework has initialized, 55617041e67SRobert Watson * it has to go into the dynamic list. If we're loading it before 55717041e67SRobert Watson * we've finished initializing, it can go into the static list with 55817041e67SRobert Watson * weaker locker requirements. 55941a17fe3SRobert Watson */ 56041a17fe3SRobert Watson if (static_entry) 56141a17fe3SRobert Watson LIST_INSERT_HEAD(&mac_static_policy_list, mpc, mpc_list); 56241a17fe3SRobert Watson else 56395fab37eSRobert Watson LIST_INSERT_HEAD(&mac_policy_list, mpc, mpc_list); 56495fab37eSRobert Watson 56517041e67SRobert Watson /* 56617041e67SRobert Watson * Per-policy initialization. Currently, this takes place under the 56717041e67SRobert Watson * exclusive lock, so policies must not sleep in their init method. 56817041e67SRobert Watson * In the future, we may want to separate "init" from "start", with 569bc5ade0dSPedro F. Giffuni * "init" occurring without the lock held. Likewise, on tear-down, 57017041e67SRobert Watson * breaking out "stop" from "destroy". 57117041e67SRobert Watson */ 57295fab37eSRobert Watson if (mpc->mpc_ops->mpo_init != NULL) 57395fab37eSRobert Watson (*(mpc->mpc_ops->mpo_init))(mpc); 57491061084SMateusz Guzik 57591061084SMateusz Guzik mac_policy_fastpath_register(mpc); 57691061084SMateusz Guzik 577f93bfb23SRobert Watson mac_policy_update(); 57895fab37eSRobert Watson 57936160958SMark Johnston SDT_PROBE1(mac, , policy, register, mpc); 58095fab37eSRobert Watson printf("Security policy loaded: %s (%s)\n", mpc->mpc_fullname, 58195fab37eSRobert Watson mpc->mpc_name); 58295fab37eSRobert Watson 58341a17fe3SRobert Watson out: 58440202729SRobert Watson mac_policy_xunlock(); 58541a17fe3SRobert Watson return (error); 58695fab37eSRobert Watson } 58795fab37eSRobert Watson 58895fab37eSRobert Watson static int 58995fab37eSRobert Watson mac_policy_unregister(struct mac_policy_conf *mpc) 59095fab37eSRobert Watson { 59195fab37eSRobert Watson 592ea599aa0SRobert Watson /* 59317041e67SRobert Watson * If we fail the load, we may get a request to unload. Check to see 59417041e67SRobert Watson * if we did the run-time registration, and if not, silently succeed. 595ea599aa0SRobert Watson */ 59640202729SRobert Watson mac_policy_xlock(); 597ea599aa0SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) == 0) { 59840202729SRobert Watson mac_policy_xunlock(); 599ea599aa0SRobert Watson return (0); 600ea599aa0SRobert Watson } 60195fab37eSRobert Watson #if 0 60295fab37eSRobert Watson /* 60395fab37eSRobert Watson * Don't allow unloading modules with private data. 60495fab37eSRobert Watson */ 605ea599aa0SRobert Watson if (mpc->mpc_field_off != NULL) { 60640202729SRobert Watson mac_policy_xunlock(); 60795fab37eSRobert Watson return (EBUSY); 608ea599aa0SRobert Watson } 60995fab37eSRobert Watson #endif 610ea599aa0SRobert Watson /* 61117041e67SRobert Watson * Only allow the unload to proceed if the module is unloadable by 61217041e67SRobert Watson * its own definition. 613ea599aa0SRobert Watson */ 614ea599aa0SRobert Watson if ((mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_UNLOADOK) == 0) { 61540202729SRobert Watson mac_policy_xunlock(); 61695fab37eSRobert Watson return (EBUSY); 617ea599aa0SRobert Watson } 61891061084SMateusz Guzik 61991061084SMateusz Guzik mac_policy_fastpath_unregister(mpc); 62091061084SMateusz Guzik 62195fab37eSRobert Watson if (mpc->mpc_ops->mpo_destroy != NULL) 62295fab37eSRobert Watson (*(mpc->mpc_ops->mpo_destroy))(mpc); 62395fab37eSRobert Watson 62495fab37eSRobert Watson LIST_REMOVE(mpc, mpc_list); 6259aeffb2bSRobert Watson mpc->mpc_runtime_flags &= ~MPC_RUNTIME_FLAG_REGISTERED; 626f93bfb23SRobert Watson mac_policy_update(); 62740202729SRobert Watson mac_policy_xunlock(); 628a96acd1aSRobert Watson 62936160958SMark Johnston SDT_PROBE1(mac, , policy, unregister, mpc); 63095fab37eSRobert Watson printf("Security policy unload: %s (%s)\n", mpc->mpc_fullname, 63195fab37eSRobert Watson mpc->mpc_name); 63295fab37eSRobert Watson 63395fab37eSRobert Watson return (0); 63495fab37eSRobert Watson } 63595fab37eSRobert Watson 63695fab37eSRobert Watson /* 637c441d123SRobert Watson * Allow MAC policy modules to register during boot, etc. 638c441d123SRobert Watson */ 639c441d123SRobert Watson int 640c441d123SRobert Watson mac_policy_modevent(module_t mod, int type, void *data) 641c441d123SRobert Watson { 642c441d123SRobert Watson struct mac_policy_conf *mpc; 643c441d123SRobert Watson int error; 644c441d123SRobert Watson 645c441d123SRobert Watson error = 0; 646c441d123SRobert Watson mpc = (struct mac_policy_conf *) data; 647c441d123SRobert Watson 648c441d123SRobert Watson #ifdef MAC_STATIC 649c441d123SRobert Watson if (mac_late) { 650c441d123SRobert Watson printf("mac_policy_modevent: MAC_STATIC and late\n"); 651c441d123SRobert Watson return (EBUSY); 652c441d123SRobert Watson } 653c441d123SRobert Watson #endif 654c441d123SRobert Watson 65536160958SMark Johnston SDT_PROBE2(mac, , policy, modevent, type, mpc); 656c441d123SRobert Watson switch (type) { 657c441d123SRobert Watson case MOD_LOAD: 658c441d123SRobert Watson if (mpc->mpc_loadtime_flags & MPC_LOADTIME_FLAG_NOTLATE && 659c441d123SRobert Watson mac_late) { 660c441d123SRobert Watson printf("mac_policy_modevent: can't load %s policy " 661c441d123SRobert Watson "after booting\n", mpc->mpc_name); 662c441d123SRobert Watson error = EBUSY; 663c441d123SRobert Watson break; 664c441d123SRobert Watson } 665c441d123SRobert Watson error = mac_policy_register(mpc); 666c441d123SRobert Watson break; 667c441d123SRobert Watson case MOD_UNLOAD: 668c441d123SRobert Watson /* Don't unregister the module if it was never registered. */ 669c441d123SRobert Watson if ((mpc->mpc_runtime_flags & MPC_RUNTIME_FLAG_REGISTERED) 670c441d123SRobert Watson != 0) 671c441d123SRobert Watson error = mac_policy_unregister(mpc); 672c441d123SRobert Watson else 673c441d123SRobert Watson error = 0; 674c441d123SRobert Watson break; 675c441d123SRobert Watson default: 676c441d123SRobert Watson error = EOPNOTSUPP; 677c441d123SRobert Watson break; 678c441d123SRobert Watson } 679c441d123SRobert Watson 680c441d123SRobert Watson return (error); 681c441d123SRobert Watson } 682c441d123SRobert Watson 683c441d123SRobert Watson /* 68495fab37eSRobert Watson * Define an error value precedence, and given two arguments, selects the 68595fab37eSRobert Watson * value with the higher precedence. 68695fab37eSRobert Watson */ 6879e7bf51cSRobert Watson int 6889e7bf51cSRobert Watson mac_error_select(int error1, int error2) 68995fab37eSRobert Watson { 69095fab37eSRobert Watson 69195fab37eSRobert Watson /* Certain decision-making errors take top priority. */ 69295fab37eSRobert Watson if (error1 == EDEADLK || error2 == EDEADLK) 69395fab37eSRobert Watson return (EDEADLK); 69495fab37eSRobert Watson 69595fab37eSRobert Watson /* Invalid arguments should be reported where possible. */ 69695fab37eSRobert Watson if (error1 == EINVAL || error2 == EINVAL) 69795fab37eSRobert Watson return (EINVAL); 69895fab37eSRobert Watson 69995fab37eSRobert Watson /* Precedence goes to "visibility", with both process and file. */ 70095fab37eSRobert Watson if (error1 == ESRCH || error2 == ESRCH) 70195fab37eSRobert Watson return (ESRCH); 70295fab37eSRobert Watson 70395fab37eSRobert Watson if (error1 == ENOENT || error2 == ENOENT) 70495fab37eSRobert Watson return (ENOENT); 70595fab37eSRobert Watson 70695fab37eSRobert Watson /* Precedence goes to DAC/MAC protections. */ 70795fab37eSRobert Watson if (error1 == EACCES || error2 == EACCES) 70895fab37eSRobert Watson return (EACCES); 70995fab37eSRobert Watson 71095fab37eSRobert Watson /* Precedence goes to privilege. */ 71195fab37eSRobert Watson if (error1 == EPERM || error2 == EPERM) 71295fab37eSRobert Watson return (EPERM); 71395fab37eSRobert Watson 71495fab37eSRobert Watson /* Precedence goes to error over success; otherwise, arbitrary. */ 71595fab37eSRobert Watson if (error1 != 0) 71695fab37eSRobert Watson return (error1); 71795fab37eSRobert Watson return (error2); 71895fab37eSRobert Watson } 71995fab37eSRobert Watson 7205e7ce478SRobert Watson int 721f7b951a8SRobert Watson mac_check_structmac_consistent(struct mac *mac) 722f7b951a8SRobert Watson { 723f7b951a8SRobert Watson 7246324de03SMark Johnston /* Require that labels have a non-zero length. */ 7256324de03SMark Johnston if (mac->m_buflen > MAC_MAX_LABEL_BUF_LEN || 7266324de03SMark Johnston mac->m_buflen <= sizeof("")) 727f7b951a8SRobert Watson return (EINVAL); 728f7b951a8SRobert Watson 729f7b951a8SRobert Watson return (0); 730f7b951a8SRobert Watson } 731f7b951a8SRobert Watson 73295fab37eSRobert Watson SYSINIT(mac, SI_SUB_MAC, SI_ORDER_FIRST, mac_init, NULL); 73395fab37eSRobert Watson SYSINIT(mac_late, SI_SUB_MAC_LATE, SI_ORDER_FIRST, mac_late_init, NULL); 734