]>
Commit | Line | Data |
---|---|---|
2d21ac55 A |
1 | /* |
2 | * Copyright (c) 2007 Apple Inc. All rights reserved. | |
3 | * | |
4 | * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ | |
0a7de745 | 5 | * |
2d21ac55 A |
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. | |
0a7de745 | 14 | * |
2d21ac55 A |
15 | * Please obtain a copy of the License at |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. | |
0a7de745 | 17 | * |
2d21ac55 A |
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. | |
0a7de745 | 25 | * |
2d21ac55 A |
26 | * @APPLE_OSREFERENCE_LICENSE_HEADER_END@ |
27 | */ | |
28 | ||
29 | /*- | |
30 | * Copyright (c) 1999, 2000, 2001, 2002 Robert N. M. Watson | |
31 | * Copyright (c) 2001 Ilmar S. Habibulin | |
32 | * Copyright (c) 2001, 2002, 2003, 2004 Networks Associates Technology, Inc. | |
33 | * Copyright (c) 2005 SPARTA, Inc. | |
34 | * All rights reserved. | |
35 | * | |
36 | * This software was developed by Robert Watson and Ilmar Habibulin for the | |
37 | * TrustedBSD Project. | |
38 | * | |
39 | * This software was developed for the FreeBSD Project in part by Network | |
40 | * Associates Laboratories, the Security Research Division of Network | |
41 | * Associates, Inc. under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), | |
42 | * as part of the DARPA CHATS research program. | |
43 | * | |
44 | * Redistribution and use in source and binary forms, with or without | |
45 | * modification, are permitted provided that the following conditions | |
46 | * are met: | |
47 | * 1. Redistributions of source code must retain the above copyright | |
48 | * notice, this list of conditions and the following disclaimer. | |
49 | * 2. Redistributions in binary form must reproduce the above copyright | |
50 | * notice, this list of conditions and the following disclaimer in the | |
51 | * documentation and/or other materials provided with the distribution. | |
52 | * | |
53 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND | |
54 | * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
55 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |
56 | * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE | |
57 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | |
58 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | |
59 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | |
60 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | |
61 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | |
62 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | |
63 | * SUCH DAMAGE. | |
64 | * | |
65 | */ | |
66 | ||
67 | #ifndef _SECURITY_MAC_INTERNAL_H_ | |
68 | #define _SECURITY_MAC_INTERNAL_H_ | |
69 | ||
39236c6e A |
70 | #ifndef PRIVATE |
71 | #warning "MAC policy is not KPI, see Technical Q&A QA1574, this header will be removed in next version" | |
72 | #endif | |
73 | ||
2d21ac55 A |
74 | #include <string.h> |
75 | #include <sys/param.h> | |
76 | #include <sys/queue.h> | |
77 | #include <security/mac.h> | |
78 | #include <security/mac_framework.h> | |
79 | #include <security/mac_policy.h> | |
80 | #include <security/mac_data.h> | |
81 | #include <sys/sysctl.h> | |
2d21ac55 A |
82 | #include <kern/locks.h> |
83 | #include <sys/kernel.h> | |
84 | #include <sys/lock.h> | |
85 | #include <sys/malloc.h> | |
86 | #include <sys/sbuf.h> | |
87 | #include <sys/proc.h> | |
88 | #include <sys/systm.h> | |
89 | #include <sys/socket.h> | |
90 | #include <sys/socketvar.h> | |
91 | #include <sys/vnode.h> | |
92 | ||
93 | /* | |
94 | * MAC Framework sysctl namespace. | |
95 | */ | |
96 | ||
97 | SYSCTL_DECL(_security); | |
98 | SYSCTL_DECL(_security_mac); | |
99 | ||
100 | extern int mac_late; | |
101 | ||
102 | struct mac_policy_list_element { | |
0a7de745 A |
103 | struct mac_policy_conf *mpc; |
104 | }; | |
2d21ac55 A |
105 | |
106 | struct mac_policy_list { | |
0a7de745 A |
107 | u_int numloaded; |
108 | u_int max; | |
109 | u_int maxindex; | |
110 | u_int staticmax; | |
111 | u_int chunks; | |
112 | u_int freehint; | |
113 | struct mac_policy_list_element *entries; | |
2d21ac55 A |
114 | }; |
115 | ||
116 | typedef struct mac_policy_list mac_policy_list_t; | |
117 | ||
118 | ||
2d21ac55 A |
119 | /* |
120 | * Policy that has registered with the framework for a specific | |
121 | * label namespace name. | |
122 | */ | |
123 | struct mac_label_listener { | |
0a7de745 A |
124 | mac_policy_handle_t mll_handle; |
125 | LIST_ENTRY(mac_label_listener) mll_list; | |
2d21ac55 A |
126 | }; |
127 | ||
128 | LIST_HEAD(mac_label_listeners_t, mac_label_listener); | |
129 | ||
0a7de745 | 130 | /* |
2d21ac55 | 131 | * Type of list used to manage label namespace names. |
0a7de745 | 132 | */ |
2d21ac55 | 133 | struct mac_label_element { |
0a7de745 A |
134 | char mle_name[MAC_MAX_LABEL_ELEMENT_NAME]; |
135 | struct mac_label_listeners_t mle_listeners; | |
136 | LIST_ENTRY(mac_label_element) mle_list; | |
2d21ac55 A |
137 | }; |
138 | ||
139 | LIST_HEAD(mac_label_element_list_t, mac_label_element); | |
140 | ||
2d21ac55 A |
141 | /* |
142 | * MAC Framework global variables. | |
143 | */ | |
144 | ||
145 | extern struct mac_label_element_list_t mac_label_element_list; | |
146 | extern struct mac_label_element_list_t mac_static_label_element_list; | |
2d21ac55 A |
147 | |
148 | extern struct mac_policy_list mac_policy_list; | |
149 | ||
150 | /* | |
151 | * global flags to control whether a MACF subsystem is configured | |
152 | * at all in the system. | |
153 | */ | |
154 | extern unsigned int mac_device_enforce; | |
2d21ac55 A |
155 | extern unsigned int mac_pipe_enforce; |
156 | extern unsigned int mac_posixsem_enforce; | |
157 | extern unsigned int mac_posixshm_enforce; | |
158 | extern unsigned int mac_proc_enforce; | |
159 | extern unsigned int mac_socket_enforce; | |
160 | extern unsigned int mac_system_enforce; | |
161 | extern unsigned int mac_sysvmsg_enforce; | |
162 | extern unsigned int mac_sysvsem_enforce; | |
163 | extern unsigned int mac_sysvshm_enforce; | |
164 | extern unsigned int mac_vm_enforce; | |
165 | extern unsigned int mac_vnode_enforce; | |
166 | ||
2d21ac55 A |
167 | #if CONFIG_MACF_NET |
168 | extern unsigned int mac_label_mbufs; | |
169 | #endif | |
170 | ||
b0d623f7 | 171 | extern unsigned int mac_label_vnodes; |
cb323159 | 172 | extern unsigned int mac_vnode_label_count; |
b0d623f7 | 173 | |
5ba3f43e | 174 | static bool mac_proc_check_enforce(proc_t p); |
2d21ac55 | 175 | |
0a7de745 A |
176 | static __inline__ bool |
177 | mac_proc_check_enforce(proc_t p) | |
2d21ac55 A |
178 | { |
179 | #if CONFIG_MACF | |
5ba3f43e | 180 | // Don't apply policies to the kernel itself. |
0a7de745 | 181 | return p != kernproc; |
3e170ce0 | 182 | #else |
5ba3f43e A |
183 | #pragma unused(p) |
184 | return false; | |
3e170ce0 | 185 | #endif // CONFIG_MACF |
2d21ac55 A |
186 | } |
187 | ||
5ba3f43e | 188 | static bool mac_cred_check_enforce(kauth_cred_t cred); |
2d21ac55 | 189 | |
0a7de745 A |
190 | static __inline__ bool |
191 | mac_cred_check_enforce(kauth_cred_t cred) | |
2d21ac55 | 192 | { |
39236c6e | 193 | #if CONFIG_MACF |
0a7de745 | 194 | return cred != proc_ucred(kernproc); |
39236c6e | 195 | #else |
5ba3f43e A |
196 | #pragma unused(p) |
197 | return false; | |
198 | #endif // CONFIG_MACF | |
2d21ac55 A |
199 | } |
200 | ||
2d21ac55 A |
201 | /* |
202 | * MAC Framework infrastructure functions. | |
203 | */ | |
204 | ||
205 | int mac_error_select(int error1, int error2); | |
206 | ||
207 | void mac_policy_list_busy(void); | |
208 | int mac_policy_list_conditional_busy(void); | |
209 | void mac_policy_list_unbusy(void); | |
210 | ||
211 | void mac_labelzone_init(void); | |
212 | struct label *mac_labelzone_alloc(int flags); | |
213 | void mac_labelzone_free(struct label *label); | |
214 | ||
215 | void mac_label_init(struct label *label); | |
216 | void mac_label_destroy(struct label *label); | |
217 | #if KERNEL | |
218 | int mac_check_structmac_consistent(struct user_mac *mac); | |
219 | #else | |
220 | int mac_check_structmac_consistent(struct mac *mac); | |
221 | #endif | |
0a7de745 | 222 | |
2d21ac55 | 223 | int mac_cred_label_externalize(struct label *, char *e, char *out, size_t olen, int flags); |
2d21ac55 A |
224 | #if CONFIG_MACF_SOCKET |
225 | int mac_socket_label_externalize(struct label *, char *e, char *out, size_t olen); | |
226 | #endif /* CONFIG_MACF_SOCKET */ | |
227 | int mac_vnode_label_externalize(struct label *, char *e, char *out, size_t olen, int flags); | |
228 | int mac_pipe_label_externalize(struct label *label, char *elements, | |
0a7de745 | 229 | char *outbuf, size_t outbuflen); |
2d21ac55 A |
230 | |
231 | int mac_cred_label_internalize(struct label *label, char *string); | |
2d21ac55 A |
232 | #if CONFIG_MACF_SOCKET |
233 | int mac_socket_label_internalize(struct label *label, char *string); | |
234 | #endif /* CONFIG_MACF_SOCKET */ | |
235 | int mac_vnode_label_internalize(struct label *label, char *string); | |
236 | int mac_pipe_label_internalize(struct label *label, char *string); | |
237 | ||
238 | #if CONFIG_MACF_SOCKET | |
239 | /* internal socket label manipulation functions */ | |
240 | struct label *mac_socket_label_alloc(int flags); | |
241 | void mac_socket_label_free(struct label *l); | |
242 | int mac_socket_label_update(struct ucred *cred, struct socket *so, struct label *l); | |
243 | #endif /* MAC_SOCKET */ | |
244 | ||
245 | #if CONFIG_MACF_NET | |
246 | struct label *mac_mbuf_to_label(struct mbuf *m); | |
247 | #else | |
248 | #define mac_mbuf_to_label(m) (NULL) | |
249 | #endif | |
250 | ||
251 | /* | |
252 | * MAC_CHECK performs the designated check by walking the policy | |
253 | * module list and checking with each as to how it feels about the | |
254 | * request. Note that it returns its value via 'error' in the scope | |
255 | * of the caller. | |
256 | */ | |
0a7de745 A |
257 | #define MAC_CHECK(check, args...) do { \ |
258 | struct mac_policy_conf *mpc; \ | |
259 | u_int i; \ | |
260 | \ | |
261 | error = 0; \ | |
262 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
263 | mpc = mac_policy_list.entries[i].mpc; \ | |
264 | if (mpc == NULL) \ | |
265 | continue; \ | |
2d21ac55 | 266 | \ |
0a7de745 A |
267 | if (mpc->mpc_ops->mpo_ ## check != NULL) \ |
268 | error = mac_error_select( \ | |
269 | mpc->mpc_ops->mpo_ ## check (args), \ | |
270 | error); \ | |
271 | } \ | |
272 | if (mac_policy_list_conditional_busy() != 0) { \ | |
273 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
274 | mpc = mac_policy_list.entries[i].mpc; \ | |
275 | if (mpc == NULL) \ | |
276 | continue; \ | |
277 | \ | |
278 | if (mpc->mpc_ops->mpo_ ## check != NULL) \ | |
279 | error = mac_error_select( \ | |
280 | mpc->mpc_ops->mpo_ ## check (args), \ | |
281 | error); \ | |
282 | } \ | |
283 | mac_policy_list_unbusy(); \ | |
284 | } \ | |
2d21ac55 A |
285 | } while (0) |
286 | ||
6d2010ae A |
287 | /* |
288 | * MAC_GRANT performs the designated check by walking the policy | |
289 | * module list and checking with each as to how it feels about the | |
290 | * request. Unlike MAC_CHECK, it grants if any policies return '0', | |
291 | * and otherwise returns EPERM. Note that it returns its value via | |
292 | * 'error' in the scope of the caller. | |
293 | */ | |
0a7de745 A |
294 | #define MAC_GRANT(check, args...) do { \ |
295 | struct mac_policy_conf *mpc; \ | |
296 | u_int i; \ | |
297 | \ | |
298 | error = EPERM; \ | |
299 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
300 | mpc = mac_policy_list.entries[i].mpc; \ | |
301 | if (mpc == NULL) \ | |
302 | continue; \ | |
303 | \ | |
304 | if (mpc->mpc_ops->mpo_ ## check != NULL) { \ | |
305 | if (mpc->mpc_ops->mpo_ ## check (args) == 0) \ | |
306 | error = 0; \ | |
307 | } \ | |
308 | } \ | |
309 | if (mac_policy_list_conditional_busy() != 0) { \ | |
310 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
311 | mpc = mac_policy_list.entries[i].mpc; \ | |
312 | if (mpc == NULL) \ | |
313 | continue; \ | |
314 | \ | |
315 | if (mpc->mpc_ops->mpo_ ## check != NULL) { \ | |
316 | if (mpc->mpc_ops->mpo_ ## check (args) \ | |
317 | == 0) \ | |
318 | error = 0; \ | |
319 | } \ | |
320 | } \ | |
321 | mac_policy_list_unbusy(); \ | |
322 | } \ | |
6d2010ae A |
323 | } while (0) |
324 | ||
2d21ac55 A |
325 | /* |
326 | * MAC_BOOLEAN performs the designated boolean composition by walking | |
327 | * the module list, invoking each instance of the operation, and | |
328 | * combining the results using the passed C operator. Note that it | |
329 | * returns its value via 'result' in the scope of the caller, which | |
330 | * should be initialized by the caller in a meaningful way to get | |
331 | * a meaningful result. | |
332 | */ | |
0a7de745 A |
333 | #define MAC_BOOLEAN(operation, composition, args...) do { \ |
334 | struct mac_policy_conf *mpc; \ | |
335 | u_int i; \ | |
336 | \ | |
337 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
338 | mpc = mac_policy_list.entries[i].mpc; \ | |
339 | if (mpc == NULL) \ | |
340 | continue; \ | |
2d21ac55 | 341 | \ |
0a7de745 A |
342 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ |
343 | result = result composition \ | |
344 | mpc->mpc_ops->mpo_ ## operation \ | |
345 | (args); \ | |
346 | } \ | |
347 | if (mac_policy_list_conditional_busy() != 0) { \ | |
348 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
349 | mpc = mac_policy_list.entries[i].mpc; \ | |
350 | if (mpc == NULL) \ | |
351 | continue; \ | |
352 | \ | |
353 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
354 | result = result composition \ | |
355 | mpc->mpc_ops->mpo_ ## operation \ | |
356 | (args); \ | |
357 | } \ | |
358 | mac_policy_list_unbusy(); \ | |
359 | } \ | |
2d21ac55 A |
360 | } while (0) |
361 | ||
0a7de745 | 362 | #define MAC_INTERNALIZE(obj, label, instring) \ |
2d21ac55 A |
363 | mac_internalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_internalize), label, instring) |
364 | ||
0a7de745 | 365 | #define MAC_EXTERNALIZE(obj, label, elementlist, outbuf, outbuflen) \ |
2d21ac55 A |
366 | mac_externalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_externalize), label, elementlist, outbuf, outbuflen) |
367 | ||
0a7de745 | 368 | #define MAC_EXTERNALIZE_AUDIT(obj, label, outbuf, outbuflen) \ |
2d21ac55 A |
369 | mac_externalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_externalize_audit), label, "*", outbuf, outbuflen) |
370 | ||
371 | /* | |
372 | * MAC_PERFORM performs the designated operation by walking the policy | |
373 | * module list and invoking that operation for each policy. | |
374 | */ | |
0a7de745 A |
375 | #define MAC_PERFORM(operation, args...) do { \ |
376 | struct mac_policy_conf *mpc; \ | |
377 | u_int i; \ | |
378 | \ | |
379 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
380 | mpc = mac_policy_list.entries[i].mpc; \ | |
381 | if (mpc == NULL) \ | |
382 | continue; \ | |
383 | \ | |
384 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
385 | mpc->mpc_ops->mpo_ ## operation (args); \ | |
386 | } \ | |
387 | if (mac_policy_list_conditional_busy() != 0) { \ | |
388 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
389 | mpc = mac_policy_list.entries[i].mpc; \ | |
390 | if (mpc == NULL) \ | |
391 | continue; \ | |
392 | \ | |
393 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
394 | mpc->mpc_ops->mpo_ ## operation (args); \ | |
395 | } \ | |
396 | mac_policy_list_unbusy(); \ | |
397 | } \ | |
2d21ac55 A |
398 | } while (0) |
399 | ||
400 | struct __mac_get_pid_args; | |
401 | struct __mac_get_proc_args; | |
402 | struct __mac_set_proc_args; | |
403 | struct __mac_get_lcid_args; | |
2d21ac55 A |
404 | struct __mac_get_fd_args; |
405 | struct __mac_get_file_args; | |
406 | struct __mac_get_link_args; | |
407 | struct __mac_set_fd_args; | |
408 | struct __mac_set_file_args; | |
409 | struct __mac_syscall_args; | |
410 | ||
411 | void mac_policy_addto_labellist(const mac_policy_handle_t, int); | |
412 | void mac_policy_removefrom_labellist(const mac_policy_handle_t); | |
413 | ||
414 | int mac_externalize(size_t mpo_externalize_off, struct label *label, | |
415 | const char *elementlist, char *outbuf, size_t outbuflen); | |
416 | int mac_internalize(size_t mpo_internalize_off, struct label *label, | |
417 | char *elementlist); | |
0a7de745 | 418 | #endif /* !_SECURITY_MAC_INTERNAL_H_ */ |