1/*-
2 * Copyright (c) 2003-2006 SPARTA, Inc.
3 * Copyright (c) 2009 Robert N. M. Watson
4 * All rights reserved.
5 *
6 * This software was developed for the FreeBSD Project in part by Network
7 * Associates Laboratories, the Security Research Division of Network
8 * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"),
9 * as part of the DARPA CHATS research program.
10 *
11 * This software was enhanced by SPARTA ISSO under SPAWAR contract
12 * N66001-04-C-6019 ("SEFOS").
13 *
14 * This software was developed at the University of Cambridge Computer
15 * Laboratory with support from a grant from Google, Inc.
16 *
17 * Redistribution and use in source and binary forms, with or without
18 * modification, are permitted provided that the following conditions
19 * are met:
20 * 1. Redistributions of source code must retain the above copyright
21 *    notice, this list of conditions and the following disclaimer.
22 * 2. Redistributions in binary form must reproduce the above copyright
23 *    notice, this list of conditions and the following disclaimer in the
24 *    documentation and/or other materials provided with the distribution.
25 *
26 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
27 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
28 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
29 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
30 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
31 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
32 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
33 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
34 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
35 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
36 * SUCH DAMAGE.
37 */
38
39#include <sys/cdefs.h>
40__FBSDID("$FreeBSD$");
41
42#include "opt_kdtrace.h"
43#include "opt_mac.h"
44#include "opt_posix.h"
45
46#include <sys/param.h>
47#include <sys/kernel.h>
48#include <sys/ksem.h>
49#include <sys/malloc.h>
50#include <sys/module.h>
51#include <sys/sdt.h>
52#include <sys/systm.h>
53#include <sys/sysctl.h>
54
55#include <security/mac/mac_framework.h>
56#include <security/mac/mac_internal.h>
57#include <security/mac/mac_policy.h>
58
59static struct label *
60mac_posixsem_label_alloc(void)
61{
62	struct label *label;
63
64	label = mac_labelzone_alloc(M_WAITOK);
65	MAC_POLICY_PERFORM(posixsem_init_label, label);
66	return (label);
67}
68
69void
70mac_posixsem_init(struct ksem *ks)
71{
72
73	if (mac_labeled & MPC_OBJECT_POSIXSEM)
74		ks->ks_label = mac_posixsem_label_alloc();
75	else
76		ks->ks_label = NULL;
77}
78
79static void
80mac_posixsem_label_free(struct label *label)
81{
82
83	MAC_POLICY_PERFORM_NOSLEEP(posixsem_destroy_label, label);
84	mac_labelzone_free(label);
85}
86
87void
88mac_posixsem_destroy(struct ksem *ks)
89{
90
91	if (ks->ks_label != NULL) {
92		mac_posixsem_label_free(ks->ks_label);
93		ks->ks_label = NULL;
94	}
95}
96
97void
98mac_posixsem_create(struct ucred *cred, struct ksem *ks)
99{
100
101	MAC_POLICY_PERFORM_NOSLEEP(posixsem_create, cred, ks, ks->ks_label);
102}
103
104MAC_CHECK_PROBE_DEFINE2(posixsem_check_open, "struct ucred *",
105    "struct ksem *");
106
107int
108mac_posixsem_check_open(struct ucred *cred, struct ksem *ks)
109{
110	int error;
111
112	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_open, cred, ks,
113	    ks->ks_label);
114	MAC_CHECK_PROBE2(posixsem_check_open, error, cred, ks);
115
116	return (error);
117}
118
119MAC_CHECK_PROBE_DEFINE3(posixsem_check_getvalue, "struct ucred *",
120    "struct ucred *", "struct ksem *");
121
122int
123mac_posixsem_check_getvalue(struct ucred *active_cred, struct ucred *file_cred,
124    struct ksem *ks)
125{
126	int error;
127
128	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_getvalue, active_cred,
129	    file_cred, ks, ks->ks_label);
130	MAC_CHECK_PROBE3(posixsem_check_getvalue, error, active_cred,
131	    file_cred, ks);
132
133	return (error);
134}
135
136MAC_CHECK_PROBE_DEFINE3(posixsem_check_post, "struct ucred *",
137    "struct ucred *", "struct ksem *");
138
139int
140mac_posixsem_check_post(struct ucred *active_cred, struct ucred *file_cred,
141    struct ksem *ks)
142{
143	int error;
144
145	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_post, active_cred, file_cred,
146	    ks, ks->ks_label);
147	MAC_CHECK_PROBE3(posixsem_check_post, error, active_cred, file_cred,
148	    ks);
149
150	return (error);
151}
152
153MAC_CHECK_PROBE_DEFINE3(posixsem_check_stat, "struct ucred *",
154    "struct ucred *", "struct ksem *");
155
156int
157mac_posixsem_check_stat(struct ucred *active_cred, struct ucred *file_cred,
158    struct ksem *ks)
159{
160	int error;
161
162	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_stat, active_cred, file_cred,
163	    ks, ks->ks_label);
164	MAC_CHECK_PROBE3(posixsem_check_stat, error, active_cred, file_cred,
165	    ks);
166
167	return (error);
168}
169
170MAC_CHECK_PROBE_DEFINE2(posixsem_check_unlink, "struct ucred *",
171    "struct ksem *");
172
173int
174mac_posixsem_check_unlink(struct ucred *cred, struct ksem *ks)
175{
176	int error;
177
178	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_unlink, cred, ks,
179	    ks->ks_label);
180	MAC_CHECK_PROBE2(posixsem_check_unlink, error, cred, ks);
181
182	return (error);
183}
184
185MAC_CHECK_PROBE_DEFINE3(posixsem_check_wait, "struct ucred *",
186    "struct ucred *", "struct ksem *");
187
188int
189mac_posixsem_check_wait(struct ucred *active_cred, struct ucred *file_cred,
190    struct ksem *ks)
191{
192	int error;
193
194	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_wait, active_cred, file_cred,
195	    ks, ks->ks_label);
196	MAC_CHECK_PROBE3(posixsem_check_wait, error, active_cred, file_cred,
197	    ks);
198
199	return (error);
200}
201
202MAC_CHECK_PROBE_DEFINE3(posixsem_check_setmode, "struct ucred *",
203    "struct ksem *", "mode_t");
204
205int
206mac_posixsem_check_setmode(struct ucred *cred, struct ksem *ks, mode_t mode)
207{
208	int error;
209
210	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_setmode, cred, ks,
211	    ks->ks_label, mode);
212	MAC_CHECK_PROBE3(posixsem_check_setmode, error, cred, ks, mode);
213
214	return (error);
215}
216
217MAC_CHECK_PROBE_DEFINE4(posixsem_check_setowner, "struct ucred *",
218    "struct ks *", "uid_t", "gid_t");
219
220int
221mac_posixsem_check_setowner(struct ucred *cred, struct ksem *ks, uid_t uid,
222    gid_t gid)
223{
224	int error;
225
226	MAC_POLICY_CHECK_NOSLEEP(posixsem_check_setowner, cred, ks,
227	    ks->ks_label, uid, gid);
228	MAC_CHECK_PROBE4(posixsem_check_setowner, error, cred, ks,
229	    uid, gid);
230
231	return (error);
232}
233