security/mac_inet.c

   1 /*
   2  * Copyright (c) 2007 Apple Inc. All rights reserved.
   3  *
   4  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
   5  *
   6  * This file contains Original Code and/or Modifications of Original Code
   7  * as defined in and that are subject to the Apple Public Source License
   8  * Version 2.0 (the 'License'). You may not use this file except in
   9  * compliance with the License. The rights granted to you under the License
  10  * may not be used to create, or enable the creation or redistribution of,
  11  * unlawful or unlicensed copies of an Apple operating system, or to
  12  * circumvent, violate, or enable the circumvention or violation of, any
  13  * terms of an Apple operating system software license agreement.
  14  *
  15  * Please obtain a copy of the License at
  16  * http://www.opensource.apple.com/apsl/ and read it before using this file.
  17  *
  18  * The Original Code and all software distributed under the License are
  19  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
  20  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
  21  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
  22  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
  23  * Please see the License for the specific language governing rights and
  24  * limitations under the License.
  25  *
  26  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
  27  */
  28 /*-
  29  * Copyright (c) 1999-2002 Robert N. M. Watson
  30  * Copyright (c) 2001 Ilmar S. Habibulin
  31  * Copyright (c) 2001-2004 Networks Associates Technology, Inc.
  32  * Copyright (c) 2006-2007 SPARTA, Inc.
  33  * All rights reserved.
  34  *
  35  * This software was developed by Robert Watson and Ilmar Habibulin for the
  36  * TrustedBSD Project.
  37  *
  38  * This software was developed for the FreeBSD Project in part by Network
  39  * Associates Laboratories, the Security Research Division of Network
  40  * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
  41  * as part of the DARPA CHATS research program.
  42  *
  43  * This software was enhanced by SPARTA ISSO under SPAWAR contract
  44  * N66001-04-C-6019 ("SEFOS").
  45  *
  46  * Redistribution and use in source and binary forms, with or without
  47  * modification, are permitted provided that the following conditions
  48  * are met:
  49  * 1. Redistributions of source code must retain the above copyright
  50  *    notice, this list of conditions and the following disclaimer.
  51  * 2. Redistributions in binary form must reproduce the above copyright
  52  *    notice, this list of conditions and the following disclaimer in the
  53  *    documentation and/or other materials provided with the distribution.
  54  *
  55  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  56  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  57  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  58  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  59  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  60  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  61  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  62  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  63  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  64  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  65  * SUCH DAMAGE.
  66  */
  67
  68 #include <sys/param.h>
  69 #include <sys/kernel.h>
  70 #include <sys/mbuf.h>
  71 #include <sys/socket.h>
  72 #include <sys/socketvar.h>
  73
  74 #include <net/if.h>
  75 #include <net/if_var.h>
  76 #include <net/route.h>
  77
  78 #include <netinet/in.h>
  79 #include <netinet/in_pcb.h>
  80 #include <netinet/ip_var.h>
  81
  82 #include <security/mac_internal.h>
  83
  84 static struct label *
  85 mac_inpcb_label_alloc(int flag)
  86 {
  87         struct label *label;
  88         int error;
  89
  90         label = mac_labelzone_alloc(flag);
  91         if (label == NULL)
  92                 return (NULL);
  93         MAC_CHECK(inpcb_label_init, label, flag);
  94         if (error) {
  95                 MAC_PERFORM(inpcb_label_destroy, label);
  96                 mac_labelzone_free(label);
  97                 return (NULL);
  98         }
  99         return (label);
 100 }
 101
 102 int
 103 mac_inpcb_label_init(struct inpcb *inp, int flag)
 104 {
 105
 106         inp->inp_label = mac_inpcb_label_alloc(flag);
 107         if (inp->inp_label == NULL)
 108                 return (ENOMEM);
 109         return (0);
 110 }
 111
 112 static struct label *
 113 mac_ipq_label_alloc(int flag)
 114 {
 115         struct label *label;
 116         int error;
 117
 118         label = mac_labelzone_alloc(flag);
 119         if (label == NULL)
 120                 return (NULL);
 121
 122         MAC_CHECK(ipq_label_init, label, flag);
 123         if (error) {
 124                 MAC_PERFORM(ipq_label_destroy, label);
 125                 mac_labelzone_free(label);
 126                 return (NULL);
 127         }
 128         return (label);
 129 }
 130
 131 int
 132 mac_ipq_label_init(struct ipq *ipq, int flag)
 133 {
 134
 135         ipq->ipq_label = mac_ipq_label_alloc(flag);
 136         if (ipq->ipq_label == NULL)
 137                 return (ENOMEM);
 138         return (0);
 139 }
 140
 141 static void
 142 mac_inpcb_label_free(struct label *label)
 143 {
 144
 145         MAC_PERFORM(inpcb_label_destroy, label);
 146         mac_labelzone_free(label);
 147 }
 148
 149 void
 150 mac_inpcb_label_destroy(struct inpcb *inp)
 151 {
 152
 153         mac_inpcb_label_free(inp->inp_label);
 154         inp->inp_label = NULL;
 155 }
 156
 157 void
 158 mac_inpcb_label_recycle(struct inpcb *inp)
 159 {
 160
 161         MAC_PERFORM(inpcb_label_recycle, inp->inp_label);
 162 }
 163
 164 static void
 165 mac_ipq_label_free(struct label *label)
 166 {
 167
 168         MAC_PERFORM(ipq_label_destroy, label);
 169         mac_labelzone_free(label);
 170 }
 171
 172 void
 173 mac_ipq_label_destroy(struct ipq *ipq)
 174 {
 175
 176         mac_ipq_label_free(ipq->ipq_label);
 177         ipq->ipq_label = NULL;
 178 }
 179
 180 void
 181 mac_inpcb_label_associate(struct socket *so, struct inpcb *inp)
 182 {
 183
 184         MAC_PERFORM(inpcb_label_associate, so, so->so_label, inp,
 185             inp->inp_label);
 186 }
 187
 188 void
 189 mac_mbuf_label_associate_ipq(struct ipq *ipq, struct mbuf *m)
 190 {
 191         struct label *label;
 192
 193         label = mac_mbuf_to_label(m);
 194
 195         MAC_PERFORM(mbuf_label_associate_ipq, ipq, ipq->ipq_label, m, label);
 196 }
 197
 198 void
 199 mac_netinet_fragment(struct mbuf *datagram, struct mbuf *fragment)
 200 {
 201         struct label *datagramlabel, *fragmentlabel;
 202
 203         datagramlabel = mac_mbuf_to_label(datagram);
 204         fragmentlabel = mac_mbuf_to_label(fragment);
 205
 206         MAC_PERFORM(netinet_fragment, datagram, datagramlabel, fragment,
 207             fragmentlabel);
 208 }
 209
 210 void
 211 mac_ipq_label_associate(struct mbuf *fragment, struct ipq *ipq)
 212 {
 213         struct label *label;
 214
 215         label = mac_mbuf_to_label(fragment);
 216
 217         MAC_PERFORM(ipq_label_associate, fragment, label, ipq, ipq->ipq_label);
 218 }
 219
 220 void
 221 mac_mbuf_label_associate_inpcb(struct inpcb *inp, struct mbuf *m)
 222 {
 223         struct label *mlabel;
 224
 225         /* INP_LOCK_ASSERT(inp); */
 226         mlabel = mac_mbuf_to_label(m);
 227
 228         MAC_PERFORM(mbuf_label_associate_inpcb, inp, inp->inp_label, m, mlabel);
 229 }
 230
 231 int
 232 mac_ipq_label_compare(struct mbuf *fragment, struct ipq *ipq)
 233 {
 234         struct label *label;
 235         int result;
 236
 237         label = mac_mbuf_to_label(fragment);
 238
 239         result = 1;
 240         MAC_BOOLEAN(ipq_label_compare, &&, fragment, label, ipq, ipq->ipq_label);
 241
 242         return (result);
 243 }
 244
 245 void
 246 mac_netinet_icmp_reply(struct mbuf *m)
 247 {
 248         struct label *label;
 249
 250         label = mac_mbuf_to_label(m);
 251
 252         MAC_PERFORM(netinet_icmp_reply, m, label);
 253 }
 254
 255 void
 256 mac_netinet_tcp_reply(struct mbuf *m)
 257 {
 258         struct label *label;
 259
 260         label = mac_mbuf_to_label(m);
 261
 262         MAC_PERFORM(netinet_tcp_reply, m, label);
 263 }
 264
 265 void
 266 mac_ipq_label_update(struct mbuf *fragment, struct ipq *ipq)
 267 {
 268         struct label *label;
 269
 270         label = mac_mbuf_to_label(fragment);
 271
 272         MAC_PERFORM(ipq_label_update, fragment, label, ipq, ipq->ipq_label);
 273 }
 274
 275 int
 276 mac_inpcb_check_deliver(struct inpcb *inp, struct mbuf *m, int family, int type)
 277 {
 278         struct label *label;
 279         int error;
 280
 281         if ((m->m_flags & M_PKTHDR) == 0)
 282                 panic("%s: no mbuf packet header!", __func__);
 283
 284         label = mac_mbuf_to_label(m);
 285
 286         MAC_CHECK(inpcb_check_deliver, inp, inp->inp_label, m, label,
 287             family, type);
 288
 289         return (error);
 290 }
 291
 292 /*
 293  * Propagate a change in the socket label to the inpcb label.
 294  */
 295 void
 296 mac_inpcb_label_update(struct socket *so)
 297 {
 298         struct inpcb *inp;
 299
 300         /* XXX: assert socket lock. */
 301         inp = sotoinpcb(so);    /* XXX: inp locking */
 302
 303         if (inp != NULL) {
 304                 /* INP_LOCK_ASSERT(inp); */
 305                 MAC_PERFORM(inpcb_label_update, so, so->so_label, inp,
 306                     inp->inp_label);
 307         }
 308 }