1a9643ea8Slogwang /*-
2a9643ea8Slogwang * Copyright (c) 2002-2003 Networks Associates Technology, Inc.
3a9643ea8Slogwang * Copyright (c) 2006 SPARTA, Inc.
4a9643ea8Slogwang * Copyright (c) 2009 Robert N. M. Watson
5a9643ea8Slogwang * All rights reserved.
6a9643ea8Slogwang *
7a9643ea8Slogwang * This software was developed for the FreeBSD Project in part by Network
8a9643ea8Slogwang * Associates Laboratories, the Security Research Division of Network
9a9643ea8Slogwang * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
10a9643ea8Slogwang * as part of the DARPA CHATS research program.
11a9643ea8Slogwang *
12a9643ea8Slogwang * This software was enhanced by SPARTA ISSO under SPAWAR contract
13a9643ea8Slogwang * N66001-04-C-6019 ("SEFOS").
14a9643ea8Slogwang *
15a9643ea8Slogwang * This software was developed at the University of Cambridge Computer
16a9643ea8Slogwang * Laboratory with support from a grant from Google, Inc.
17a9643ea8Slogwang *
18a9643ea8Slogwang * Redistribution and use in source and binary forms, with or without
19a9643ea8Slogwang * modification, are permitted provided that the following conditions
20a9643ea8Slogwang * are met:
21a9643ea8Slogwang * 1. Redistributions of source code must retain the above copyright
22a9643ea8Slogwang * notice, this list of conditions and the following disclaimer.
23a9643ea8Slogwang * 2. Redistributions in binary form must reproduce the above copyright
24a9643ea8Slogwang * notice, this list of conditions and the following disclaimer in the
25a9643ea8Slogwang * documentation and/or other materials provided with the distribution.
26a9643ea8Slogwang *
27a9643ea8Slogwang * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
28a9643ea8Slogwang * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
29a9643ea8Slogwang * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
30a9643ea8Slogwang * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
31a9643ea8Slogwang * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
32a9643ea8Slogwang * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
33a9643ea8Slogwang * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
34a9643ea8Slogwang * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
35a9643ea8Slogwang * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
36a9643ea8Slogwang * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
37a9643ea8Slogwang * SUCH DAMAGE.
38a9643ea8Slogwang */
39a9643ea8Slogwang
40a9643ea8Slogwang #include <sys/cdefs.h>
41a9643ea8Slogwang __FBSDID("$FreeBSD$");
42a9643ea8Slogwang
43a9643ea8Slogwang #include "opt_mac.h"
44a9643ea8Slogwang
45a9643ea8Slogwang #include <sys/param.h>
46a9643ea8Slogwang #include <sys/kernel.h>
47a9643ea8Slogwang #include <sys/lock.h>
48a9643ea8Slogwang #include <sys/malloc.h>
49a9643ea8Slogwang #include <sys/module.h>
50a9643ea8Slogwang #include <sys/mutex.h>
51a9643ea8Slogwang #include <sys/sbuf.h>
52a9643ea8Slogwang #include <sys/sdt.h>
53a9643ea8Slogwang #include <sys/systm.h>
54a9643ea8Slogwang #include <sys/vnode.h>
55a9643ea8Slogwang #include <sys/pipe.h>
56a9643ea8Slogwang #include <sys/sysctl.h>
57a9643ea8Slogwang
58a9643ea8Slogwang #include <security/mac/mac_framework.h>
59a9643ea8Slogwang #include <security/mac/mac_internal.h>
60a9643ea8Slogwang #include <security/mac/mac_policy.h>
61a9643ea8Slogwang
62a9643ea8Slogwang struct label *
mac_pipe_label_alloc(void)63a9643ea8Slogwang mac_pipe_label_alloc(void)
64a9643ea8Slogwang {
65a9643ea8Slogwang struct label *label;
66a9643ea8Slogwang
67a9643ea8Slogwang label = mac_labelzone_alloc(M_WAITOK);
68a9643ea8Slogwang MAC_POLICY_PERFORM(pipe_init_label, label);
69a9643ea8Slogwang return (label);
70a9643ea8Slogwang }
71a9643ea8Slogwang
72a9643ea8Slogwang void
mac_pipe_init(struct pipepair * pp)73a9643ea8Slogwang mac_pipe_init(struct pipepair *pp)
74a9643ea8Slogwang {
75a9643ea8Slogwang
76a9643ea8Slogwang if (mac_labeled & MPC_OBJECT_PIPE)
77a9643ea8Slogwang pp->pp_label = mac_pipe_label_alloc();
78a9643ea8Slogwang else
79a9643ea8Slogwang pp->pp_label = NULL;
80a9643ea8Slogwang }
81a9643ea8Slogwang
82a9643ea8Slogwang void
mac_pipe_label_free(struct label * label)83a9643ea8Slogwang mac_pipe_label_free(struct label *label)
84a9643ea8Slogwang {
85a9643ea8Slogwang
86a9643ea8Slogwang MAC_POLICY_PERFORM_NOSLEEP(pipe_destroy_label, label);
87a9643ea8Slogwang mac_labelzone_free(label);
88a9643ea8Slogwang }
89a9643ea8Slogwang
90a9643ea8Slogwang void
mac_pipe_destroy(struct pipepair * pp)91a9643ea8Slogwang mac_pipe_destroy(struct pipepair *pp)
92a9643ea8Slogwang {
93a9643ea8Slogwang
94a9643ea8Slogwang if (pp->pp_label != NULL) {
95a9643ea8Slogwang mac_pipe_label_free(pp->pp_label);
96a9643ea8Slogwang pp->pp_label = NULL;
97a9643ea8Slogwang }
98a9643ea8Slogwang }
99a9643ea8Slogwang
100a9643ea8Slogwang void
mac_pipe_copy_label(struct label * src,struct label * dest)101a9643ea8Slogwang mac_pipe_copy_label(struct label *src, struct label *dest)
102a9643ea8Slogwang {
103a9643ea8Slogwang
104a9643ea8Slogwang MAC_POLICY_PERFORM_NOSLEEP(pipe_copy_label, src, dest);
105a9643ea8Slogwang }
106a9643ea8Slogwang
107a9643ea8Slogwang int
mac_pipe_externalize_label(struct label * label,char * elements,char * outbuf,size_t outbuflen)108a9643ea8Slogwang mac_pipe_externalize_label(struct label *label, char *elements,
109a9643ea8Slogwang char *outbuf, size_t outbuflen)
110a9643ea8Slogwang {
111a9643ea8Slogwang int error;
112a9643ea8Slogwang
113a9643ea8Slogwang MAC_POLICY_EXTERNALIZE(pipe, label, elements, outbuf, outbuflen);
114a9643ea8Slogwang
115a9643ea8Slogwang return (error);
116a9643ea8Slogwang }
117a9643ea8Slogwang
118a9643ea8Slogwang int
mac_pipe_internalize_label(struct label * label,char * string)119a9643ea8Slogwang mac_pipe_internalize_label(struct label *label, char *string)
120a9643ea8Slogwang {
121a9643ea8Slogwang int error;
122a9643ea8Slogwang
123a9643ea8Slogwang MAC_POLICY_INTERNALIZE(pipe, label, string);
124a9643ea8Slogwang
125a9643ea8Slogwang return (error);
126a9643ea8Slogwang }
127a9643ea8Slogwang
128a9643ea8Slogwang void
mac_pipe_create(struct ucred * cred,struct pipepair * pp)129a9643ea8Slogwang mac_pipe_create(struct ucred *cred, struct pipepair *pp)
130a9643ea8Slogwang {
131a9643ea8Slogwang
132a9643ea8Slogwang MAC_POLICY_PERFORM_NOSLEEP(pipe_create, cred, pp, pp->pp_label);
133a9643ea8Slogwang }
134a9643ea8Slogwang
135a9643ea8Slogwang static void
mac_pipe_relabel(struct ucred * cred,struct pipepair * pp,struct label * newlabel)136a9643ea8Slogwang mac_pipe_relabel(struct ucred *cred, struct pipepair *pp,
137a9643ea8Slogwang struct label *newlabel)
138a9643ea8Slogwang {
139a9643ea8Slogwang
140a9643ea8Slogwang MAC_POLICY_PERFORM_NOSLEEP(pipe_relabel, cred, pp, pp->pp_label,
141a9643ea8Slogwang newlabel);
142a9643ea8Slogwang }
143a9643ea8Slogwang
144a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE4(pipe_check_ioctl, "struct ucred *",
145a9643ea8Slogwang "struct pipepair *", "unsigned long", "void *");
146a9643ea8Slogwang
147a9643ea8Slogwang int
mac_pipe_check_ioctl(struct ucred * cred,struct pipepair * pp,unsigned long cmd,void * data)148a9643ea8Slogwang mac_pipe_check_ioctl(struct ucred *cred, struct pipepair *pp,
149a9643ea8Slogwang unsigned long cmd, void *data)
150a9643ea8Slogwang {
151a9643ea8Slogwang int error;
152a9643ea8Slogwang
153a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
154a9643ea8Slogwang
155a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_ioctl, cred, pp, pp->pp_label,
156a9643ea8Slogwang cmd, data);
157a9643ea8Slogwang MAC_CHECK_PROBE4(pipe_check_ioctl, error, cred, pp, cmd, data);
158a9643ea8Slogwang
159a9643ea8Slogwang return (error);
160a9643ea8Slogwang }
161a9643ea8Slogwang
162a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE2(pipe_check_poll, "struct ucred *",
163a9643ea8Slogwang "struct pipepair *");
164a9643ea8Slogwang
165a9643ea8Slogwang int
mac_pipe_check_poll_impl(struct ucred * cred,struct pipepair * pp)166*22ce4affSfengbojiang mac_pipe_check_poll_impl(struct ucred *cred, struct pipepair *pp)
167a9643ea8Slogwang {
168a9643ea8Slogwang int error;
169a9643ea8Slogwang
170a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
171a9643ea8Slogwang
172a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_poll, cred, pp, pp->pp_label);
173a9643ea8Slogwang MAC_CHECK_PROBE2(pipe_check_poll, error, cred, pp);
174a9643ea8Slogwang
175a9643ea8Slogwang return (error);
176a9643ea8Slogwang }
177a9643ea8Slogwang
178a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE2(pipe_check_read, "struct ucred *",
179a9643ea8Slogwang "struct pipepair *");
180a9643ea8Slogwang
181a9643ea8Slogwang int
mac_pipe_check_read(struct ucred * cred,struct pipepair * pp)182a9643ea8Slogwang mac_pipe_check_read(struct ucred *cred, struct pipepair *pp)
183a9643ea8Slogwang {
184a9643ea8Slogwang int error;
185a9643ea8Slogwang
186a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
187a9643ea8Slogwang
188a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_read, cred, pp, pp->pp_label);
189a9643ea8Slogwang MAC_CHECK_PROBE2(pipe_check_read, error, cred, pp);
190a9643ea8Slogwang
191a9643ea8Slogwang return (error);
192a9643ea8Slogwang }
193a9643ea8Slogwang
194a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE3(pipe_check_relabel, "struct ucred *",
195a9643ea8Slogwang "struct pipepair *", "struct label *");
196a9643ea8Slogwang
197a9643ea8Slogwang static int
mac_pipe_check_relabel(struct ucred * cred,struct pipepair * pp,struct label * newlabel)198a9643ea8Slogwang mac_pipe_check_relabel(struct ucred *cred, struct pipepair *pp,
199a9643ea8Slogwang struct label *newlabel)
200a9643ea8Slogwang {
201a9643ea8Slogwang int error;
202a9643ea8Slogwang
203a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
204a9643ea8Slogwang
205a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_relabel, cred, pp, pp->pp_label,
206a9643ea8Slogwang newlabel);
207a9643ea8Slogwang MAC_CHECK_PROBE3(pipe_check_relabel, error, cred, pp, newlabel);
208a9643ea8Slogwang
209a9643ea8Slogwang return (error);
210a9643ea8Slogwang }
211a9643ea8Slogwang
212a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE2(pipe_check_stat, "struct ucred *",
213a9643ea8Slogwang "struct pipepair *");
214a9643ea8Slogwang
215a9643ea8Slogwang int
mac_pipe_check_stat(struct ucred * cred,struct pipepair * pp)216a9643ea8Slogwang mac_pipe_check_stat(struct ucred *cred, struct pipepair *pp)
217a9643ea8Slogwang {
218a9643ea8Slogwang int error;
219a9643ea8Slogwang
220a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
221a9643ea8Slogwang
222a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_stat, cred, pp, pp->pp_label);
223a9643ea8Slogwang MAC_CHECK_PROBE2(pipe_check_stat, error, cred, pp);
224a9643ea8Slogwang
225a9643ea8Slogwang return (error);
226a9643ea8Slogwang }
227a9643ea8Slogwang
228a9643ea8Slogwang MAC_CHECK_PROBE_DEFINE2(pipe_check_write, "struct ucred *",
229a9643ea8Slogwang "struct pipepair *");
230a9643ea8Slogwang
231a9643ea8Slogwang int
mac_pipe_check_write(struct ucred * cred,struct pipepair * pp)232a9643ea8Slogwang mac_pipe_check_write(struct ucred *cred, struct pipepair *pp)
233a9643ea8Slogwang {
234a9643ea8Slogwang int error;
235a9643ea8Slogwang
236a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
237a9643ea8Slogwang
238a9643ea8Slogwang MAC_POLICY_CHECK_NOSLEEP(pipe_check_write, cred, pp, pp->pp_label);
239a9643ea8Slogwang MAC_CHECK_PROBE2(pipe_check_write, error, cred, pp);
240a9643ea8Slogwang
241a9643ea8Slogwang return (error);
242a9643ea8Slogwang }
243a9643ea8Slogwang
244a9643ea8Slogwang int
mac_pipe_label_set(struct ucred * cred,struct pipepair * pp,struct label * label)245a9643ea8Slogwang mac_pipe_label_set(struct ucred *cred, struct pipepair *pp,
246a9643ea8Slogwang struct label *label)
247a9643ea8Slogwang {
248a9643ea8Slogwang int error;
249a9643ea8Slogwang
250a9643ea8Slogwang mtx_assert(&pp->pp_mtx, MA_OWNED);
251a9643ea8Slogwang
252a9643ea8Slogwang error = mac_pipe_check_relabel(cred, pp, label);
253a9643ea8Slogwang if (error)
254a9643ea8Slogwang return (error);
255a9643ea8Slogwang
256a9643ea8Slogwang mac_pipe_relabel(cred, pp, label);
257a9643ea8Slogwang
258a9643ea8Slogwang return (0);
259a9643ea8Slogwang }
260