xref: /freebsd/sys/security/mac/mac_socket.c (revision 0efd6615cd5f39b67cec82a7034e655f3b5801e3)
1c66b4d8dSRobert Watson /*-
2c66b4d8dSRobert Watson  * Copyright (c) 1999-2002 Robert N. M. Watson
3c66b4d8dSRobert Watson  * Copyright (c) 2001 Ilmar S. Habibulin
47f53207bSRobert Watson  * Copyright (c) 2001-2005 Networks Associates Technology, Inc.
56758f88eSRobert Watson  * Copyright (c) 2005 SPARTA, Inc.
6c66b4d8dSRobert Watson  * All rights reserved.
7c66b4d8dSRobert Watson  *
8c66b4d8dSRobert Watson  * This software was developed by Robert Watson and Ilmar Habibulin for the
9c66b4d8dSRobert Watson  * TrustedBSD Project.
10c66b4d8dSRobert Watson  *
117f53207bSRobert Watson  * This software was developed for the FreeBSD Project in part by McAfee
127f53207bSRobert Watson  * Research, the Technology Research Division of Network Associates, Inc.
137f53207bSRobert Watson  * under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the
147f53207bSRobert Watson  * DARPA CHATS research program.
15c66b4d8dSRobert Watson  *
166758f88eSRobert Watson  * This software was enhanced by SPARTA ISSO under SPAWAR contract
176758f88eSRobert Watson  * N66001-04-C-6019 ("SEFOS").
186758f88eSRobert Watson  *
19c66b4d8dSRobert Watson  * Redistribution and use in source and binary forms, with or without
20c66b4d8dSRobert Watson  * modification, are permitted provided that the following conditions
21c66b4d8dSRobert Watson  * are met:
22c66b4d8dSRobert Watson  * 1. Redistributions of source code must retain the above copyright
23c66b4d8dSRobert Watson  *    notice, this list of conditions and the following disclaimer.
24c66b4d8dSRobert Watson  * 2. Redistributions in binary form must reproduce the above copyright
25c66b4d8dSRobert Watson  *    notice, this list of conditions and the following disclaimer in the
26c66b4d8dSRobert Watson  *    documentation and/or other materials provided with the distribution.
27c66b4d8dSRobert Watson  *
28c66b4d8dSRobert Watson  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
29c66b4d8dSRobert Watson  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
30c66b4d8dSRobert Watson  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
31c66b4d8dSRobert Watson  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
32c66b4d8dSRobert Watson  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
33c66b4d8dSRobert Watson  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
34c66b4d8dSRobert Watson  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
35c66b4d8dSRobert Watson  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
36c66b4d8dSRobert Watson  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
37c66b4d8dSRobert Watson  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
38c66b4d8dSRobert Watson  * SUCH DAMAGE.
39c66b4d8dSRobert Watson  */
40c66b4d8dSRobert Watson 
41c66b4d8dSRobert Watson #include <sys/cdefs.h>
42c66b4d8dSRobert Watson __FBSDID("$FreeBSD$");
43c66b4d8dSRobert Watson 
44c66b4d8dSRobert Watson #include "opt_mac.h"
45c66b4d8dSRobert Watson 
46c66b4d8dSRobert Watson #include <sys/param.h>
47c66b4d8dSRobert Watson #include <sys/kernel.h>
48c66b4d8dSRobert Watson #include <sys/lock.h>
49c66b4d8dSRobert Watson #include <sys/malloc.h>
50c66b4d8dSRobert Watson #include <sys/mutex.h>
51c66b4d8dSRobert Watson #include <sys/mac.h>
52c66b4d8dSRobert Watson #include <sys/sbuf.h>
53c66b4d8dSRobert Watson #include <sys/systm.h>
54c66b4d8dSRobert Watson #include <sys/mount.h>
55c66b4d8dSRobert Watson #include <sys/file.h>
56c66b4d8dSRobert Watson #include <sys/namei.h>
57c66b4d8dSRobert Watson #include <sys/protosw.h>
58c66b4d8dSRobert Watson #include <sys/socket.h>
59c66b4d8dSRobert Watson #include <sys/socketvar.h>
60c66b4d8dSRobert Watson #include <sys/sysctl.h>
61c66b4d8dSRobert Watson 
62c66b4d8dSRobert Watson #include <net/bpfdesc.h>
63c66b4d8dSRobert Watson #include <net/if.h>
64c66b4d8dSRobert Watson #include <net/if_var.h>
65c66b4d8dSRobert Watson 
66c66b4d8dSRobert Watson #include <netinet/in.h>
67c66b4d8dSRobert Watson #include <netinet/in_pcb.h>
68c66b4d8dSRobert Watson #include <netinet/ip_var.h>
69c66b4d8dSRobert Watson 
70aed55708SRobert Watson #include <security/mac/mac_framework.h>
71c66b4d8dSRobert Watson #include <security/mac/mac_internal.h>
720efd6615SRobert Watson #include <security/mac/mac_policy.h>
73c66b4d8dSRobert Watson 
74c66b4d8dSRobert Watson /*
75df3c68e4SRobert Watson  * Currently, sockets hold two labels: the label of the socket itself, and a
76df3c68e4SRobert Watson  * peer label, which may be used by policies to hold a copy of the label of
77df3c68e4SRobert Watson  * any remote endpoint.
78df3c68e4SRobert Watson  *
79df3c68e4SRobert Watson  * Possibly, this peer label should be maintained at the protocol layer
80df3c68e4SRobert Watson  * (inpcb, unpcb, etc), as this would allow protocol-aware code to maintain
81df3c68e4SRobert Watson  * the label consistently.  For example, it might be copied live from a
82df3c68e4SRobert Watson  * remote socket for UNIX domain sockets rather than keeping a local copy on
83df3c68e4SRobert Watson  * this endpoint, but be cached and updated based on packets received for
84df3c68e4SRobert Watson  * TCP/IP.
85df3c68e4SRobert Watson  */
86df3c68e4SRobert Watson 
87c66b4d8dSRobert Watson struct label *
88c66b4d8dSRobert Watson mac_socket_label_alloc(int flag)
89c66b4d8dSRobert Watson {
90c66b4d8dSRobert Watson 	struct label *label;
91c66b4d8dSRobert Watson 	int error;
92c66b4d8dSRobert Watson 
93c66b4d8dSRobert Watson 	label = mac_labelzone_alloc(flag);
94c66b4d8dSRobert Watson 	if (label == NULL)
95c66b4d8dSRobert Watson 		return (NULL);
96c66b4d8dSRobert Watson 
97c66b4d8dSRobert Watson 	MAC_CHECK(init_socket_label, label, flag);
98c66b4d8dSRobert Watson 	if (error) {
99c66b4d8dSRobert Watson 		MAC_PERFORM(destroy_socket_label, label);
100c66b4d8dSRobert Watson 		mac_labelzone_free(label);
101c66b4d8dSRobert Watson 		return (NULL);
102c66b4d8dSRobert Watson 	}
103c66b4d8dSRobert Watson 	return (label);
104c66b4d8dSRobert Watson }
105c66b4d8dSRobert Watson 
106c66b4d8dSRobert Watson static struct label *
107c66b4d8dSRobert Watson mac_socket_peer_label_alloc(int flag)
108c66b4d8dSRobert Watson {
109c66b4d8dSRobert Watson 	struct label *label;
110c66b4d8dSRobert Watson 	int error;
111c66b4d8dSRobert Watson 
112c66b4d8dSRobert Watson 	label = mac_labelzone_alloc(flag);
113c66b4d8dSRobert Watson 	if (label == NULL)
114c66b4d8dSRobert Watson 		return (NULL);
115c66b4d8dSRobert Watson 
116c66b4d8dSRobert Watson 	MAC_CHECK(init_socket_peer_label, label, flag);
117c66b4d8dSRobert Watson 	if (error) {
118c66b4d8dSRobert Watson 		MAC_PERFORM(destroy_socket_peer_label, label);
119c66b4d8dSRobert Watson 		mac_labelzone_free(label);
120c66b4d8dSRobert Watson 		return (NULL);
121c66b4d8dSRobert Watson 	}
122c66b4d8dSRobert Watson 	return (label);
123c66b4d8dSRobert Watson }
124c66b4d8dSRobert Watson 
125c66b4d8dSRobert Watson int
126c66b4d8dSRobert Watson mac_init_socket(struct socket *so, int flag)
127c66b4d8dSRobert Watson {
128c66b4d8dSRobert Watson 
129c66b4d8dSRobert Watson 	so->so_label = mac_socket_label_alloc(flag);
130c66b4d8dSRobert Watson 	if (so->so_label == NULL)
131c66b4d8dSRobert Watson 		return (ENOMEM);
132c66b4d8dSRobert Watson 	so->so_peerlabel = mac_socket_peer_label_alloc(flag);
133c66b4d8dSRobert Watson 	if (so->so_peerlabel == NULL) {
134c66b4d8dSRobert Watson 		mac_socket_label_free(so->so_label);
135c66b4d8dSRobert Watson 		so->so_label = NULL;
136c66b4d8dSRobert Watson 		return (ENOMEM);
137c66b4d8dSRobert Watson 	}
138c66b4d8dSRobert Watson 	return (0);
139c66b4d8dSRobert Watson }
140c66b4d8dSRobert Watson 
141c66b4d8dSRobert Watson void
142c66b4d8dSRobert Watson mac_socket_label_free(struct label *label)
143c66b4d8dSRobert Watson {
144c66b4d8dSRobert Watson 
145c66b4d8dSRobert Watson 	MAC_PERFORM(destroy_socket_label, label);
146c66b4d8dSRobert Watson 	mac_labelzone_free(label);
147c66b4d8dSRobert Watson }
148c66b4d8dSRobert Watson 
149c66b4d8dSRobert Watson static void
150c66b4d8dSRobert Watson mac_socket_peer_label_free(struct label *label)
151c66b4d8dSRobert Watson {
152c66b4d8dSRobert Watson 
153c66b4d8dSRobert Watson 	MAC_PERFORM(destroy_socket_peer_label, label);
154c66b4d8dSRobert Watson 	mac_labelzone_free(label);
155c66b4d8dSRobert Watson }
156c66b4d8dSRobert Watson 
157c66b4d8dSRobert Watson void
158c66b4d8dSRobert Watson mac_destroy_socket(struct socket *socket)
159c66b4d8dSRobert Watson {
160c66b4d8dSRobert Watson 
161c66b4d8dSRobert Watson 	mac_socket_label_free(socket->so_label);
162c66b4d8dSRobert Watson 	socket->so_label = NULL;
163c66b4d8dSRobert Watson 	mac_socket_peer_label_free(socket->so_peerlabel);
164c66b4d8dSRobert Watson 	socket->so_peerlabel = NULL;
165c66b4d8dSRobert Watson }
166c66b4d8dSRobert Watson 
167c66b4d8dSRobert Watson void
168c66b4d8dSRobert Watson mac_copy_socket_label(struct label *src, struct label *dest)
169c66b4d8dSRobert Watson {
170c66b4d8dSRobert Watson 
171c66b4d8dSRobert Watson 	MAC_PERFORM(copy_socket_label, src, dest);
172c66b4d8dSRobert Watson }
173c66b4d8dSRobert Watson 
174c66b4d8dSRobert Watson int
175c66b4d8dSRobert Watson mac_externalize_socket_label(struct label *label, char *elements,
176c66b4d8dSRobert Watson     char *outbuf, size_t outbuflen)
177c66b4d8dSRobert Watson {
178c66b4d8dSRobert Watson 	int error;
179c66b4d8dSRobert Watson 
180c66b4d8dSRobert Watson 	MAC_EXTERNALIZE(socket, label, elements, outbuf, outbuflen);
181c66b4d8dSRobert Watson 
182c66b4d8dSRobert Watson 	return (error);
183c66b4d8dSRobert Watson }
184c66b4d8dSRobert Watson 
185c66b4d8dSRobert Watson static int
186c66b4d8dSRobert Watson mac_externalize_socket_peer_label(struct label *label, char *elements,
187c66b4d8dSRobert Watson     char *outbuf, size_t outbuflen)
188c66b4d8dSRobert Watson {
189c66b4d8dSRobert Watson 	int error;
190c66b4d8dSRobert Watson 
191c66b4d8dSRobert Watson 	MAC_EXTERNALIZE(socket_peer, label, elements, outbuf, outbuflen);
192c66b4d8dSRobert Watson 
193c66b4d8dSRobert Watson 	return (error);
194c66b4d8dSRobert Watson }
195c66b4d8dSRobert Watson 
196c66b4d8dSRobert Watson int
197c66b4d8dSRobert Watson mac_internalize_socket_label(struct label *label, char *string)
198c66b4d8dSRobert Watson {
199c66b4d8dSRobert Watson 	int error;
200c66b4d8dSRobert Watson 
201c66b4d8dSRobert Watson 	MAC_INTERNALIZE(socket, label, string);
202c66b4d8dSRobert Watson 
203c66b4d8dSRobert Watson 	return (error);
204c66b4d8dSRobert Watson }
205c66b4d8dSRobert Watson 
206c66b4d8dSRobert Watson void
207c66b4d8dSRobert Watson mac_create_socket(struct ucred *cred, struct socket *socket)
208c66b4d8dSRobert Watson {
209c66b4d8dSRobert Watson 
210c66b4d8dSRobert Watson 	MAC_PERFORM(create_socket, cred, socket, socket->so_label);
211c66b4d8dSRobert Watson }
212c66b4d8dSRobert Watson 
213c66b4d8dSRobert Watson void
214c66b4d8dSRobert Watson mac_create_socket_from_socket(struct socket *oldsocket,
215c66b4d8dSRobert Watson     struct socket *newsocket)
216c66b4d8dSRobert Watson {
217c66b4d8dSRobert Watson 
218310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(oldsocket);
219c66b4d8dSRobert Watson 	MAC_PERFORM(create_socket_from_socket, oldsocket, oldsocket->so_label,
220c66b4d8dSRobert Watson 	    newsocket, newsocket->so_label);
221c66b4d8dSRobert Watson }
222c66b4d8dSRobert Watson 
223c66b4d8dSRobert Watson static void
224c66b4d8dSRobert Watson mac_relabel_socket(struct ucred *cred, struct socket *socket,
225c66b4d8dSRobert Watson     struct label *newlabel)
226c66b4d8dSRobert Watson {
227c66b4d8dSRobert Watson 
228310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
229c66b4d8dSRobert Watson 	MAC_PERFORM(relabel_socket, cred, socket, socket->so_label, newlabel);
230c66b4d8dSRobert Watson }
231c66b4d8dSRobert Watson 
232c66b4d8dSRobert Watson void
233c66b4d8dSRobert Watson mac_set_socket_peer_from_mbuf(struct mbuf *mbuf, struct socket *socket)
234c66b4d8dSRobert Watson {
235c66b4d8dSRobert Watson 	struct label *label;
236c66b4d8dSRobert Watson 
237310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
238310e7cebSRobert Watson 
239c66b4d8dSRobert Watson 	label = mac_mbuf_to_label(mbuf);
240c66b4d8dSRobert Watson 
241c66b4d8dSRobert Watson 	MAC_PERFORM(set_socket_peer_from_mbuf, mbuf, label, socket,
242c66b4d8dSRobert Watson 	    socket->so_peerlabel);
243c66b4d8dSRobert Watson }
244c66b4d8dSRobert Watson 
245c66b4d8dSRobert Watson void
246c66b4d8dSRobert Watson mac_set_socket_peer_from_socket(struct socket *oldsocket,
247c66b4d8dSRobert Watson     struct socket *newsocket)
248c66b4d8dSRobert Watson {
249c66b4d8dSRobert Watson 
250310e7cebSRobert Watson 	/*
251df3c68e4SRobert Watson 	 * XXXRW: only hold the socket lock on one at a time, as one socket
252df3c68e4SRobert Watson 	 * is the original, and one is the new.  However, it's called in both
253df3c68e4SRobert Watson 	 * directions, so we can't assert the lock here currently.
254310e7cebSRobert Watson 	 */
255c66b4d8dSRobert Watson 	MAC_PERFORM(set_socket_peer_from_socket, oldsocket,
256c66b4d8dSRobert Watson 	    oldsocket->so_label, newsocket, newsocket->so_peerlabel);
257c66b4d8dSRobert Watson }
258c66b4d8dSRobert Watson 
259c66b4d8dSRobert Watson void
260c66b4d8dSRobert Watson mac_create_mbuf_from_socket(struct socket *socket, struct mbuf *mbuf)
261c66b4d8dSRobert Watson {
262c66b4d8dSRobert Watson 	struct label *label;
263c66b4d8dSRobert Watson 
264c66b4d8dSRobert Watson 	label = mac_mbuf_to_label(mbuf);
265c66b4d8dSRobert Watson 
266310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
267c66b4d8dSRobert Watson 	MAC_PERFORM(create_mbuf_from_socket, socket, socket->so_label, mbuf,
268c66b4d8dSRobert Watson 	    label);
269c66b4d8dSRobert Watson }
270c66b4d8dSRobert Watson 
271c66b4d8dSRobert Watson int
2727f53207bSRobert Watson mac_check_socket_accept(struct ucred *cred, struct socket *socket)
2737f53207bSRobert Watson {
2747f53207bSRobert Watson 	int error;
2757f53207bSRobert Watson 
2767f53207bSRobert Watson 	SOCK_LOCK_ASSERT(socket);
2777f53207bSRobert Watson 
2787f53207bSRobert Watson 	MAC_CHECK(check_socket_accept, cred, socket, socket->so_label);
2797f53207bSRobert Watson 
2807f53207bSRobert Watson 	return (error);
2817f53207bSRobert Watson }
2827f53207bSRobert Watson 
2837f53207bSRobert Watson int
284c66b4d8dSRobert Watson mac_check_socket_bind(struct ucred *ucred, struct socket *socket,
285c66b4d8dSRobert Watson     struct sockaddr *sockaddr)
286c66b4d8dSRobert Watson {
287c66b4d8dSRobert Watson 	int error;
288c66b4d8dSRobert Watson 
289310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
290310e7cebSRobert Watson 
291c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_bind, ucred, socket, socket->so_label,
292c66b4d8dSRobert Watson 	    sockaddr);
293c66b4d8dSRobert Watson 
294c66b4d8dSRobert Watson 	return (error);
295c66b4d8dSRobert Watson }
296c66b4d8dSRobert Watson 
297c66b4d8dSRobert Watson int
298c66b4d8dSRobert Watson mac_check_socket_connect(struct ucred *cred, struct socket *socket,
299c66b4d8dSRobert Watson     struct sockaddr *sockaddr)
300c66b4d8dSRobert Watson {
301c66b4d8dSRobert Watson 	int error;
302c66b4d8dSRobert Watson 
303310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
304310e7cebSRobert Watson 
305c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_connect, cred, socket, socket->so_label,
306c66b4d8dSRobert Watson 	    sockaddr);
307c66b4d8dSRobert Watson 
308c66b4d8dSRobert Watson 	return (error);
309c66b4d8dSRobert Watson }
310c66b4d8dSRobert Watson 
311c66b4d8dSRobert Watson int
3126758f88eSRobert Watson mac_check_socket_create(struct ucred *cred, int domain, int type,
3136758f88eSRobert Watson     int protocol)
3146758f88eSRobert Watson {
3156758f88eSRobert Watson 	int error;
3166758f88eSRobert Watson 
3176758f88eSRobert Watson 	MAC_CHECK(check_socket_create, cred, domain, type, protocol);
3186758f88eSRobert Watson 
3196758f88eSRobert Watson 	return (error);
3206758f88eSRobert Watson }
3216758f88eSRobert Watson 
3226758f88eSRobert Watson int
323c66b4d8dSRobert Watson mac_check_socket_deliver(struct socket *socket, struct mbuf *mbuf)
324c66b4d8dSRobert Watson {
325c66b4d8dSRobert Watson 	struct label *label;
326c66b4d8dSRobert Watson 	int error;
327c66b4d8dSRobert Watson 
328310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
329310e7cebSRobert Watson 
330c66b4d8dSRobert Watson 	label = mac_mbuf_to_label(mbuf);
331c66b4d8dSRobert Watson 
332c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_deliver, socket, socket->so_label, mbuf,
333c66b4d8dSRobert Watson 	    label);
334c66b4d8dSRobert Watson 
335c66b4d8dSRobert Watson 	return (error);
336c66b4d8dSRobert Watson }
337c66b4d8dSRobert Watson 
338c66b4d8dSRobert Watson int
339c66b4d8dSRobert Watson mac_check_socket_listen(struct ucred *cred, struct socket *socket)
340c66b4d8dSRobert Watson {
341c66b4d8dSRobert Watson 	int error;
342c66b4d8dSRobert Watson 
343310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
344310e7cebSRobert Watson 
345c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_listen, cred, socket, socket->so_label);
346c66b4d8dSRobert Watson 	return (error);
347c66b4d8dSRobert Watson }
348c66b4d8dSRobert Watson 
349c66b4d8dSRobert Watson int
3507f53207bSRobert Watson mac_check_socket_poll(struct ucred *cred, struct socket *so)
3517f53207bSRobert Watson {
3527f53207bSRobert Watson 	int error;
3537f53207bSRobert Watson 
3547f53207bSRobert Watson 	SOCK_LOCK_ASSERT(so);
3557f53207bSRobert Watson 
3567f53207bSRobert Watson 	MAC_CHECK(check_socket_poll, cred, so, so->so_label);
3577f53207bSRobert Watson 	return (error);
3587f53207bSRobert Watson }
3597f53207bSRobert Watson 
3607f53207bSRobert Watson int
361c66b4d8dSRobert Watson mac_check_socket_receive(struct ucred *cred, struct socket *so)
362c66b4d8dSRobert Watson {
363c66b4d8dSRobert Watson 	int error;
364c66b4d8dSRobert Watson 
365310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(so);
366310e7cebSRobert Watson 
367c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_receive, cred, so, so->so_label);
368c66b4d8dSRobert Watson 
369c66b4d8dSRobert Watson 	return (error);
370c66b4d8dSRobert Watson }
371c66b4d8dSRobert Watson 
372c66b4d8dSRobert Watson static int
373c66b4d8dSRobert Watson mac_check_socket_relabel(struct ucred *cred, struct socket *socket,
374c66b4d8dSRobert Watson     struct label *newlabel)
375c66b4d8dSRobert Watson {
376c66b4d8dSRobert Watson 	int error;
377c66b4d8dSRobert Watson 
378310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
379310e7cebSRobert Watson 
380c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_relabel, cred, socket, socket->so_label,
381c66b4d8dSRobert Watson 	    newlabel);
382c66b4d8dSRobert Watson 
383c66b4d8dSRobert Watson 	return (error);
384c66b4d8dSRobert Watson }
385c66b4d8dSRobert Watson 
386c66b4d8dSRobert Watson int
387c66b4d8dSRobert Watson mac_check_socket_send(struct ucred *cred, struct socket *so)
388c66b4d8dSRobert Watson {
389c66b4d8dSRobert Watson 	int error;
390c66b4d8dSRobert Watson 
391310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(so);
392310e7cebSRobert Watson 
393c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_send, cred, so, so->so_label);
394c66b4d8dSRobert Watson 
395c66b4d8dSRobert Watson 	return (error);
396c66b4d8dSRobert Watson }
397c66b4d8dSRobert Watson 
398c66b4d8dSRobert Watson int
3997f53207bSRobert Watson mac_check_socket_stat(struct ucred *cred, struct socket *so)
4007f53207bSRobert Watson {
4017f53207bSRobert Watson 	int error;
4027f53207bSRobert Watson 
4037f53207bSRobert Watson 	SOCK_LOCK_ASSERT(so);
4047f53207bSRobert Watson 
4057f53207bSRobert Watson 	MAC_CHECK(check_socket_stat, cred, so, so->so_label);
4067f53207bSRobert Watson 
4077f53207bSRobert Watson 	return (error);
4087f53207bSRobert Watson }
4097f53207bSRobert Watson 
4107f53207bSRobert Watson int
411c66b4d8dSRobert Watson mac_check_socket_visible(struct ucred *cred, struct socket *socket)
412c66b4d8dSRobert Watson {
413c66b4d8dSRobert Watson 	int error;
414c66b4d8dSRobert Watson 
415310e7cebSRobert Watson 	SOCK_LOCK_ASSERT(socket);
416310e7cebSRobert Watson 
417c66b4d8dSRobert Watson 	MAC_CHECK(check_socket_visible, cred, socket, socket->so_label);
418c66b4d8dSRobert Watson 
419c66b4d8dSRobert Watson 	return (error);
420c66b4d8dSRobert Watson }
421c66b4d8dSRobert Watson 
422c66b4d8dSRobert Watson int
423c66b4d8dSRobert Watson mac_socket_label_set(struct ucred *cred, struct socket *so,
424c66b4d8dSRobert Watson     struct label *label)
425c66b4d8dSRobert Watson {
426c66b4d8dSRobert Watson 	int error;
427c66b4d8dSRobert Watson 
428310e7cebSRobert Watson 	/*
429df3c68e4SRobert Watson 	 * We acquire the socket lock when we perform the test and set, but
430df3c68e4SRobert Watson 	 * have to release it as the pcb code needs to acquire the pcb lock,
431df3c68e4SRobert Watson 	 * which will precede the socket lock in the lock order.  However,
432df3c68e4SRobert Watson 	 * this is fine, as any race will simply result in the inpcb being
433df3c68e4SRobert Watson 	 * refreshed twice, but still consistently, as the inpcb code will
434df3c68e4SRobert Watson 	 * acquire the socket lock before refreshing, holding both locks.
435310e7cebSRobert Watson 	 */
436310e7cebSRobert Watson 	SOCK_LOCK(so);
437c66b4d8dSRobert Watson 	error = mac_check_socket_relabel(cred, so, label);
438310e7cebSRobert Watson 	if (error) {
439310e7cebSRobert Watson 		SOCK_UNLOCK(so);
440c66b4d8dSRobert Watson 		return (error);
441310e7cebSRobert Watson 	}
442c66b4d8dSRobert Watson 
443c66b4d8dSRobert Watson 	mac_relabel_socket(cred, so, label);
444310e7cebSRobert Watson 	SOCK_UNLOCK(so);
445df3c68e4SRobert Watson 
446c66b4d8dSRobert Watson 	/*
447c66b4d8dSRobert Watson 	 * If the protocol has expressed interest in socket layer changes,
448df3c68e4SRobert Watson 	 * such as if it needs to propagate changes to a cached pcb label
449df3c68e4SRobert Watson 	 * from the socket, notify it of the label change while holding the
450df3c68e4SRobert Watson 	 * socket lock.
451c66b4d8dSRobert Watson 	 */
452c66b4d8dSRobert Watson 	if (so->so_proto->pr_usrreqs->pru_sosetlabel != NULL)
453c66b4d8dSRobert Watson 		(so->so_proto->pr_usrreqs->pru_sosetlabel)(so);
454c66b4d8dSRobert Watson 
455c66b4d8dSRobert Watson 	return (0);
456c66b4d8dSRobert Watson }
457c66b4d8dSRobert Watson 
458c66b4d8dSRobert Watson int
459c66b4d8dSRobert Watson mac_setsockopt_label(struct ucred *cred, struct socket *so, struct mac *mac)
460c66b4d8dSRobert Watson {
461c66b4d8dSRobert Watson 	struct label *intlabel;
462c66b4d8dSRobert Watson 	char *buffer;
463c66b4d8dSRobert Watson 	int error;
464c66b4d8dSRobert Watson 
465c66b4d8dSRobert Watson 	error = mac_check_structmac_consistent(mac);
466c66b4d8dSRobert Watson 	if (error)
467c66b4d8dSRobert Watson 		return (error);
468c66b4d8dSRobert Watson 
469c66b4d8dSRobert Watson 	buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
470c66b4d8dSRobert Watson 	error = copyinstr(mac->m_string, buffer, mac->m_buflen, NULL);
471c66b4d8dSRobert Watson 	if (error) {
472c66b4d8dSRobert Watson 		free(buffer, M_MACTEMP);
473c66b4d8dSRobert Watson 		return (error);
474c66b4d8dSRobert Watson 	}
475c66b4d8dSRobert Watson 
476c66b4d8dSRobert Watson 	intlabel = mac_socket_label_alloc(M_WAITOK);
477c66b4d8dSRobert Watson 	error = mac_internalize_socket_label(intlabel, buffer);
478c66b4d8dSRobert Watson 	free(buffer, M_MACTEMP);
479c66b4d8dSRobert Watson 	if (error)
480c66b4d8dSRobert Watson 		goto out;
481c66b4d8dSRobert Watson 
482c66b4d8dSRobert Watson 	error = mac_socket_label_set(cred, so, intlabel);
483c66b4d8dSRobert Watson out:
484c66b4d8dSRobert Watson 	mac_socket_label_free(intlabel);
485c66b4d8dSRobert Watson 	return (error);
486c66b4d8dSRobert Watson }
487c66b4d8dSRobert Watson 
488c66b4d8dSRobert Watson int
489c66b4d8dSRobert Watson mac_getsockopt_label(struct ucred *cred, struct socket *so, struct mac *mac)
490c66b4d8dSRobert Watson {
491c66b4d8dSRobert Watson 	char *buffer, *elements;
492310e7cebSRobert Watson 	struct label *intlabel;
493c66b4d8dSRobert Watson 	int error;
494c66b4d8dSRobert Watson 
495c66b4d8dSRobert Watson 	error = mac_check_structmac_consistent(mac);
496c66b4d8dSRobert Watson 	if (error)
497c66b4d8dSRobert Watson 		return (error);
498c66b4d8dSRobert Watson 
499c66b4d8dSRobert Watson 	elements = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
500c66b4d8dSRobert Watson 	error = copyinstr(mac->m_string, elements, mac->m_buflen, NULL);
501c66b4d8dSRobert Watson 	if (error) {
502c66b4d8dSRobert Watson 		free(elements, M_MACTEMP);
503c66b4d8dSRobert Watson 		return (error);
504c66b4d8dSRobert Watson 	}
505c66b4d8dSRobert Watson 
506c66b4d8dSRobert Watson 	buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
507310e7cebSRobert Watson 	intlabel = mac_socket_label_alloc(M_WAITOK);
508310e7cebSRobert Watson 	SOCK_LOCK(so);
509310e7cebSRobert Watson 	mac_copy_socket_label(so->so_label, intlabel);
510310e7cebSRobert Watson 	SOCK_UNLOCK(so);
511310e7cebSRobert Watson 	error = mac_externalize_socket_label(intlabel, elements, buffer,
512310e7cebSRobert Watson 	    mac->m_buflen);
513310e7cebSRobert Watson 	mac_socket_label_free(intlabel);
514c66b4d8dSRobert Watson 	if (error == 0)
515c66b4d8dSRobert Watson 		error = copyout(buffer, mac->m_string, strlen(buffer)+1);
516c66b4d8dSRobert Watson 
517c66b4d8dSRobert Watson 	free(buffer, M_MACTEMP);
518c66b4d8dSRobert Watson 	free(elements, M_MACTEMP);
519c66b4d8dSRobert Watson 
520c66b4d8dSRobert Watson 	return (error);
521c66b4d8dSRobert Watson }
522c66b4d8dSRobert Watson 
523c66b4d8dSRobert Watson int
524c66b4d8dSRobert Watson mac_getsockopt_peerlabel(struct ucred *cred, struct socket *so,
525c66b4d8dSRobert Watson     struct mac *mac)
526c66b4d8dSRobert Watson {
527c66b4d8dSRobert Watson 	char *elements, *buffer;
528310e7cebSRobert Watson 	struct label *intlabel;
529c66b4d8dSRobert Watson 	int error;
530c66b4d8dSRobert Watson 
531c66b4d8dSRobert Watson 	error = mac_check_structmac_consistent(mac);
532c66b4d8dSRobert Watson 	if (error)
533c66b4d8dSRobert Watson 		return (error);
534c66b4d8dSRobert Watson 
535c66b4d8dSRobert Watson 	elements = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
536c66b4d8dSRobert Watson 	error = copyinstr(mac->m_string, elements, mac->m_buflen, NULL);
537c66b4d8dSRobert Watson 	if (error) {
538c66b4d8dSRobert Watson 		free(elements, M_MACTEMP);
539c66b4d8dSRobert Watson 		return (error);
540c66b4d8dSRobert Watson 	}
541c66b4d8dSRobert Watson 
542c66b4d8dSRobert Watson 	buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
543310e7cebSRobert Watson 	intlabel = mac_socket_label_alloc(M_WAITOK);
544310e7cebSRobert Watson 	SOCK_LOCK(so);
545310e7cebSRobert Watson 	mac_copy_socket_label(so->so_peerlabel, intlabel);
546310e7cebSRobert Watson 	SOCK_UNLOCK(so);
547310e7cebSRobert Watson 	error = mac_externalize_socket_peer_label(intlabel, elements, buffer,
548310e7cebSRobert Watson 	    mac->m_buflen);
549310e7cebSRobert Watson 	mac_socket_label_free(intlabel);
550c66b4d8dSRobert Watson 	if (error == 0)
551c66b4d8dSRobert Watson 		error = copyout(buffer, mac->m_string, strlen(buffer)+1);
552c66b4d8dSRobert Watson 
553c66b4d8dSRobert Watson 	free(buffer, M_MACTEMP);
554c66b4d8dSRobert Watson 	free(elements, M_MACTEMP);
555c66b4d8dSRobert Watson 
556c66b4d8dSRobert Watson 	return (error);
557c66b4d8dSRobert Watson }
558