xref: /freebsd/sys/security/mac/mac_posix_sem.c (revision 3157ba21)
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 
59 static struct label *
60 mac_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 
69 void
70 mac_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 
79 static void
80 mac_posixsem_label_free(struct label *label)
81 {
82 
83 	MAC_POLICY_PERFORM_NOSLEEP(posixsem_destroy_label, label);
84 	mac_labelzone_free(label);
85 }
86 
87 void
88 mac_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 
97 void
98 mac_posixsem_create(struct ucred *cred, struct ksem *ks)
99 {
100 
101 	MAC_POLICY_PERFORM_NOSLEEP(posixsem_create, cred, ks, ks->ks_label);
102 }
103 
104 MAC_CHECK_PROBE_DEFINE2(posixsem_check_open, "struct ucred *",
105     "struct ksem *");
106 
107 int
108 mac_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 
119 MAC_CHECK_PROBE_DEFINE3(posixsem_check_getvalue, "struct ucred *",
120     "struct ucred *", "struct ksem *");
121 
122 int
123 mac_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 
136 MAC_CHECK_PROBE_DEFINE3(posixsem_check_post, "struct ucred *",
137     "struct ucred *", "struct ksem *");
138 
139 int
140 mac_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 
153 MAC_CHECK_PROBE_DEFINE3(posixsem_check_stat, "struct ucred *",
154     "struct ucred *", "struct ksem *");
155 
156 int
157 mac_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 
170 MAC_CHECK_PROBE_DEFINE2(posixsem_check_unlink, "struct ucred *",
171     "struct ksem *");
172 
173 int
174 mac_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 
185 MAC_CHECK_PROBE_DEFINE3(posixsem_check_wait, "struct ucred *",
186     "struct ucred *", "struct ksem *");
187 
188 int
189 mac_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