17bc82500SRobert Watson /*- 273275908SRobert Watson * Copyright (c) 2002, 2003 Networks Associates Technology, Inc. 37bc82500SRobert Watson * All rights reserved. 47bc82500SRobert Watson * 56201265bSRobert Watson * This software was developed for the FreeBSD Project in part by Network 66201265bSRobert Watson * Associates Laboratories, the Security Research Division of Network 76201265bSRobert Watson * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), 86201265bSRobert Watson * as part of the DARPA CHATS research program. 97bc82500SRobert Watson * 107bc82500SRobert Watson * Redistribution and use in source and binary forms, with or without 117bc82500SRobert Watson * modification, are permitted provided that the following conditions 127bc82500SRobert Watson * are met: 137bc82500SRobert Watson * 1. Redistributions of source code must retain the above copyright 147bc82500SRobert Watson * notice, this list of conditions and the following disclaimer. 157bc82500SRobert Watson * 2. Redistributions in binary form must reproduce the above copyright 167bc82500SRobert Watson * notice, this list of conditions and the following disclaimer in the 177bc82500SRobert Watson * documentation and/or other materials provided with the distribution. 187bc82500SRobert Watson * 197bc82500SRobert Watson * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 207bc82500SRobert Watson * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 217bc82500SRobert Watson * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 227bc82500SRobert Watson * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 237bc82500SRobert Watson * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 247bc82500SRobert Watson * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 257bc82500SRobert Watson * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 267bc82500SRobert Watson * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 277bc82500SRobert Watson * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 287bc82500SRobert Watson * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 297bc82500SRobert Watson * SUCH DAMAGE. 307bc82500SRobert Watson */ 31677b542eSDavid E. O'Brien 32677b542eSDavid E. O'Brien #include <sys/cdefs.h> 33677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 34677b542eSDavid E. O'Brien 357bc82500SRobert Watson #include "opt_mac.h" 36f9d0d524SRobert Watson 377bc82500SRobert Watson #include <sys/param.h> 3895fab37eSRobert Watson #include <sys/kernel.h> 3995fab37eSRobert Watson #include <sys/lock.h> 40b656366bSBruce Evans #include <sys/malloc.h> 415dba30f1SPoul-Henning Kamp #include <sys/module.h> 4295fab37eSRobert Watson #include <sys/mutex.h> 4395fab37eSRobert Watson #include <sys/mac.h> 44f51e5803SRobert Watson #include <sys/sbuf.h> 4595fab37eSRobert Watson #include <sys/systm.h> 4695fab37eSRobert Watson #include <sys/vnode.h> 4795fab37eSRobert Watson #include <sys/pipe.h> 4895fab37eSRobert Watson #include <sys/sysctl.h> 4995fab37eSRobert Watson 5095fab37eSRobert Watson #include <sys/mac_policy.h> 5195fab37eSRobert Watson 5273275908SRobert Watson #include <security/mac/mac_internal.h> 5395fab37eSRobert Watson 54b88c98f6SRobert Watson static int mac_enforce_pipe = 1; 55b88c98f6SRobert Watson SYSCTL_INT(_security_mac, OID_AUTO, enforce_pipe, CTLFLAG_RW, 56b88c98f6SRobert Watson &mac_enforce_pipe, 0, "Enforce MAC policy on pipe operations"); 57c031391bSRobert Watson TUNABLE_INT("security.mac.enforce_pipe", &mac_enforce_pipe); 58b88c98f6SRobert Watson 59f050add5SRobert Watson #ifdef MAC_DEBUG 6073275908SRobert Watson static unsigned int nmacpipes; 61b2f0927aSRobert Watson SYSCTL_UINT(_security_mac_debug_counters, OID_AUTO, pipes, CTLFLAG_RD, 6295fab37eSRobert Watson &nmacpipes, 0, "number of pipes in use"); 63f050add5SRobert Watson #endif 6495fab37eSRobert Watson 65eca8a663SRobert Watson struct label * 66eca8a663SRobert Watson mac_pipe_label_alloc(void) 67f7b951a8SRobert Watson { 68eca8a663SRobert Watson struct label *label; 69f7b951a8SRobert Watson 70eca8a663SRobert Watson label = mac_labelzone_alloc(M_WAITOK); 71f7b951a8SRobert Watson MAC_PERFORM(init_pipe_label, label); 728d8d5ea8SRobert Watson MAC_DEBUG_COUNTER_INC(&nmacpipes); 73eca8a663SRobert Watson return (label); 74f7b951a8SRobert Watson } 75f7b951a8SRobert Watson 7608bcdc58SRobert Watson void 774795b82cSRobert Watson mac_init_pipe(struct pipepair *pp) 7808bcdc58SRobert Watson { 7908bcdc58SRobert Watson 804795b82cSRobert Watson pp->pp_label = mac_pipe_label_alloc(); 8108bcdc58SRobert Watson } 8208bcdc58SRobert Watson 832555374cSRobert Watson void 84eca8a663SRobert Watson mac_pipe_label_free(struct label *label) 85f7b951a8SRobert Watson { 86f7b951a8SRobert Watson 87f7b951a8SRobert Watson MAC_PERFORM(destroy_pipe_label, label); 88eca8a663SRobert Watson mac_labelzone_free(label); 898d8d5ea8SRobert Watson MAC_DEBUG_COUNTER_DEC(&nmacpipes); 90f7b951a8SRobert Watson } 91f7b951a8SRobert Watson 9287807196SRobert Watson void 934795b82cSRobert Watson mac_destroy_pipe(struct pipepair *pp) 9408bcdc58SRobert Watson { 9508bcdc58SRobert Watson 964795b82cSRobert Watson mac_pipe_label_free(pp->pp_label); 974795b82cSRobert Watson pp->pp_label = NULL; 9887807196SRobert Watson } 9987807196SRobert Watson 1002555374cSRobert Watson void 101f7b951a8SRobert Watson mac_copy_pipe_label(struct label *src, struct label *dest) 102f7b951a8SRobert Watson { 103f7b951a8SRobert Watson 104f7b951a8SRobert Watson MAC_PERFORM(copy_pipe_label, src, dest); 105f7b951a8SRobert Watson } 106f7b951a8SRobert Watson 10773275908SRobert Watson int 108f7b951a8SRobert Watson mac_externalize_pipe_label(struct label *label, char *elements, 10983b7b0edSRobert Watson char *outbuf, size_t outbuflen) 110f7b951a8SRobert Watson { 111f7b951a8SRobert Watson int error; 112f7b951a8SRobert Watson 113da77b2faSRobert Watson MAC_EXTERNALIZE(pipe, label, elements, outbuf, outbuflen); 114f7b951a8SRobert Watson 115f7b951a8SRobert Watson return (error); 116f7b951a8SRobert Watson } 117f7b951a8SRobert Watson 11873275908SRobert Watson int 119f7b951a8SRobert Watson mac_internalize_pipe_label(struct label *label, char *string) 120f7b951a8SRobert Watson { 121f7b951a8SRobert Watson int error; 122f7b951a8SRobert Watson 123da77b2faSRobert Watson MAC_INTERNALIZE(pipe, label, string); 124f7b951a8SRobert Watson 125f7b951a8SRobert Watson return (error); 126f7b951a8SRobert Watson } 127f7b951a8SRobert Watson 12895fab37eSRobert Watson void 1294795b82cSRobert Watson mac_create_pipe(struct ucred *cred, struct pipepair *pp) 13095fab37eSRobert Watson { 13195fab37eSRobert Watson 1324795b82cSRobert Watson MAC_PERFORM(create_pipe, cred, pp, pp->pp_label); 13395fab37eSRobert Watson } 13495fab37eSRobert Watson 13595fab37eSRobert Watson static void 1364795b82cSRobert Watson mac_relabel_pipe(struct ucred *cred, struct pipepair *pp, 1374795b82cSRobert Watson struct label *newlabel) 13895fab37eSRobert Watson { 13995fab37eSRobert Watson 1404795b82cSRobert Watson MAC_PERFORM(relabel_pipe, cred, pp, pp->pp_label, newlabel); 14195fab37eSRobert Watson } 14295fab37eSRobert Watson 14395fab37eSRobert Watson int 1444795b82cSRobert Watson mac_check_pipe_ioctl(struct ucred *cred, struct pipepair *pp, 1454795b82cSRobert Watson unsigned long cmd, void *data) 14695fab37eSRobert Watson { 14795fab37eSRobert Watson int error; 14895fab37eSRobert Watson 1494795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 1501aa37f53SRobert Watson 1511aa37f53SRobert Watson if (!mac_enforce_pipe) 1521aa37f53SRobert Watson return (0); 1531aa37f53SRobert Watson 1544795b82cSRobert Watson MAC_CHECK(check_pipe_ioctl, cred, pp, pp->pp_label, cmd, data); 15595fab37eSRobert Watson 15695fab37eSRobert Watson return (error); 15795fab37eSRobert Watson } 15895fab37eSRobert Watson 15995fab37eSRobert Watson int 1604795b82cSRobert Watson mac_check_pipe_poll(struct ucred *cred, struct pipepair *pp) 16195fab37eSRobert Watson { 16295fab37eSRobert Watson int error; 16395fab37eSRobert Watson 1644795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 1651aa37f53SRobert Watson 1661aa37f53SRobert Watson if (!mac_enforce_pipe) 1671aa37f53SRobert Watson return (0); 1681aa37f53SRobert Watson 1694795b82cSRobert Watson MAC_CHECK(check_pipe_poll, cred, pp, pp->pp_label); 170c024c3eeSRobert Watson 171c024c3eeSRobert Watson return (error); 172c024c3eeSRobert Watson } 173c024c3eeSRobert Watson 174c024c3eeSRobert Watson int 1754795b82cSRobert Watson mac_check_pipe_read(struct ucred *cred, struct pipepair *pp) 176c024c3eeSRobert Watson { 177c024c3eeSRobert Watson int error; 178c024c3eeSRobert Watson 1794795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 1801aa37f53SRobert Watson 1811aa37f53SRobert Watson if (!mac_enforce_pipe) 1821aa37f53SRobert Watson return (0); 1831aa37f53SRobert Watson 1844795b82cSRobert Watson MAC_CHECK(check_pipe_read, cred, pp, pp->pp_label); 18595fab37eSRobert Watson 18695fab37eSRobert Watson return (error); 18795fab37eSRobert Watson } 18895fab37eSRobert Watson 18995fab37eSRobert Watson static int 1904795b82cSRobert Watson mac_check_pipe_relabel(struct ucred *cred, struct pipepair *pp, 19195fab37eSRobert Watson struct label *newlabel) 19295fab37eSRobert Watson { 19395fab37eSRobert Watson int error; 19495fab37eSRobert Watson 1954795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 1961aa37f53SRobert Watson 1971aa37f53SRobert Watson if (!mac_enforce_pipe) 1981aa37f53SRobert Watson return (0); 1991aa37f53SRobert Watson 2004795b82cSRobert Watson MAC_CHECK(check_pipe_relabel, cred, pp, pp->pp_label, newlabel); 20195fab37eSRobert Watson 20295fab37eSRobert Watson return (error); 20395fab37eSRobert Watson } 20495fab37eSRobert Watson 20595fab37eSRobert Watson int 2064795b82cSRobert Watson mac_check_pipe_stat(struct ucred *cred, struct pipepair *pp) 207c024c3eeSRobert Watson { 208c024c3eeSRobert Watson int error; 209c024c3eeSRobert Watson 2104795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 2111aa37f53SRobert Watson 2121aa37f53SRobert Watson if (!mac_enforce_pipe) 2131aa37f53SRobert Watson return (0); 2141aa37f53SRobert Watson 2154795b82cSRobert Watson MAC_CHECK(check_pipe_stat, cred, pp, pp->pp_label); 216c024c3eeSRobert Watson 217c024c3eeSRobert Watson return (error); 218c024c3eeSRobert Watson } 219c024c3eeSRobert Watson 220c024c3eeSRobert Watson int 2214795b82cSRobert Watson mac_check_pipe_write(struct ucred *cred, struct pipepair *pp) 222c024c3eeSRobert Watson { 223c024c3eeSRobert Watson int error; 224c024c3eeSRobert Watson 2254795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 2261aa37f53SRobert Watson 2271aa37f53SRobert Watson if (!mac_enforce_pipe) 2281aa37f53SRobert Watson return (0); 2291aa37f53SRobert Watson 2304795b82cSRobert Watson MAC_CHECK(check_pipe_write, cred, pp, pp->pp_label); 231c024c3eeSRobert Watson 232c024c3eeSRobert Watson return (error); 233c024c3eeSRobert Watson } 234c024c3eeSRobert Watson 235c024c3eeSRobert Watson int 2364795b82cSRobert Watson mac_pipe_label_set(struct ucred *cred, struct pipepair *pp, 2374795b82cSRobert Watson struct label *label) 23895fab37eSRobert Watson { 23995fab37eSRobert Watson int error; 24095fab37eSRobert Watson 2414795b82cSRobert Watson mtx_assert(&pp->pp_mtx, MA_OWNED); 2421aa37f53SRobert Watson 2434795b82cSRobert Watson error = mac_check_pipe_relabel(cred, pp, label); 24495fab37eSRobert Watson if (error) 24595fab37eSRobert Watson return (error); 24695fab37eSRobert Watson 2474795b82cSRobert Watson mac_relabel_pipe(cred, pp, label); 24895fab37eSRobert Watson 24995fab37eSRobert Watson return (0); 25095fab37eSRobert Watson } 251