]>
Commit | Line | Data |
---|---|---|
2d21ac55 A |
1 | /* |
2 | * Copyright (c) 2007 Apple Inc. All rights reserved. | |
3 | * | |
4 | * @APPLE_OSREFERENCE_LICENSE_HEADER_START@ | |
5 | * | |
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. | |
14 | * | |
15 | * Please obtain a copy of the License at | |
16 | * http://www.opensource.apple.com/apsl/ and read it before using this file. | |
17 | * | |
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. | |
25 | * | |
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 { | |
103 | struct mac_policy_conf *mpc; | |
104 | }; | |
105 | ||
106 | struct mac_policy_list { | |
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; | |
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 { | |
124 | mac_policy_handle_t mll_handle; | |
125 | LIST_ENTRY(mac_label_listener) mll_list; | |
126 | }; | |
127 | ||
128 | LIST_HEAD(mac_label_listeners_t, mac_label_listener); | |
129 | ||
130 | /* | |
131 | * Type of list used to manage label namespace names. | |
132 | */ | |
133 | struct mac_label_element { | |
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; | |
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 A |
171 | extern unsigned int mac_label_vnodes; |
172 | ||
39236c6e | 173 | static int mac_proc_check_enforce(proc_t p, int enforce_flags); |
2d21ac55 A |
174 | |
175 | static __inline__ int mac_proc_check_enforce(proc_t p, int enforce_flags) | |
176 | { | |
177 | #if CONFIG_MACF | |
3e170ce0 A |
178 | #if SECURITY_MAC_CHECK_ENFORCE // 21167099 - only check if we allow write |
179 | return ((p->p_mac_enforce & enforce_flags) != 0); | |
180 | #else | |
181 | #pragma unused(p,enforce_flags) | |
182 | return 1; | |
183 | #endif // SECURITY_MAC_CHECK_ENFORCE | |
2d21ac55 | 184 | #else |
39236c6e | 185 | #pragma unused(p,enforce_flags) |
2d21ac55 | 186 | return 0; |
3e170ce0 | 187 | #endif // CONFIG_MACF |
2d21ac55 A |
188 | } |
189 | ||
190 | static int mac_context_check_enforce(vfs_context_t ctx, int enforce_flags); | |
191 | static void mac_context_set_enforce(vfs_context_t ctx, int enforce_flags); | |
192 | ||
193 | static __inline__ int mac_context_check_enforce(vfs_context_t ctx, int enforce_flags) | |
194 | { | |
195 | proc_t proc = vfs_context_proc(ctx); | |
196 | ||
197 | if (proc == NULL) | |
198 | return 0; | |
199 | ||
200 | return (mac_proc_check_enforce(proc, enforce_flags)); | |
201 | } | |
202 | ||
203 | static __inline__ void mac_context_set_enforce(vfs_context_t ctx, int enforce_flags) | |
204 | { | |
39236c6e | 205 | #if CONFIG_MACF |
2d21ac55 A |
206 | proc_t proc = vfs_context_proc(ctx); |
207 | ||
208 | if (proc == NULL) | |
209 | return; | |
210 | ||
211 | mac_proc_set_enforce(proc, enforce_flags); | |
39236c6e A |
212 | #else |
213 | #pragma unused(ctx,enforce_flags) | |
214 | #endif | |
2d21ac55 A |
215 | } |
216 | ||
217 | ||
218 | /* | |
219 | * MAC Framework infrastructure functions. | |
220 | */ | |
221 | ||
222 | int mac_error_select(int error1, int error2); | |
223 | ||
224 | void mac_policy_list_busy(void); | |
225 | int mac_policy_list_conditional_busy(void); | |
226 | void mac_policy_list_unbusy(void); | |
227 | ||
228 | void mac_labelzone_init(void); | |
229 | struct label *mac_labelzone_alloc(int flags); | |
230 | void mac_labelzone_free(struct label *label); | |
231 | ||
232 | void mac_label_init(struct label *label); | |
233 | void mac_label_destroy(struct label *label); | |
234 | #if KERNEL | |
235 | int mac_check_structmac_consistent(struct user_mac *mac); | |
236 | #else | |
237 | int mac_check_structmac_consistent(struct mac *mac); | |
238 | #endif | |
239 | ||
240 | int mac_cred_label_externalize(struct label *, char *e, char *out, size_t olen, int flags); | |
2d21ac55 A |
241 | #if CONFIG_MACF_SOCKET |
242 | int mac_socket_label_externalize(struct label *, char *e, char *out, size_t olen); | |
243 | #endif /* CONFIG_MACF_SOCKET */ | |
244 | int mac_vnode_label_externalize(struct label *, char *e, char *out, size_t olen, int flags); | |
245 | int mac_pipe_label_externalize(struct label *label, char *elements, | |
246 | char *outbuf, size_t outbuflen); | |
247 | ||
248 | int mac_cred_label_internalize(struct label *label, char *string); | |
2d21ac55 A |
249 | #if CONFIG_MACF_SOCKET |
250 | int mac_socket_label_internalize(struct label *label, char *string); | |
251 | #endif /* CONFIG_MACF_SOCKET */ | |
252 | int mac_vnode_label_internalize(struct label *label, char *string); | |
253 | int mac_pipe_label_internalize(struct label *label, char *string); | |
254 | ||
255 | #if CONFIG_MACF_SOCKET | |
256 | /* internal socket label manipulation functions */ | |
257 | struct label *mac_socket_label_alloc(int flags); | |
258 | void mac_socket_label_free(struct label *l); | |
259 | int mac_socket_label_update(struct ucred *cred, struct socket *so, struct label *l); | |
260 | #endif /* MAC_SOCKET */ | |
261 | ||
262 | #if CONFIG_MACF_NET | |
263 | struct label *mac_mbuf_to_label(struct mbuf *m); | |
264 | #else | |
265 | #define mac_mbuf_to_label(m) (NULL) | |
266 | #endif | |
267 | ||
268 | /* | |
269 | * MAC_CHECK performs the designated check by walking the policy | |
270 | * module list and checking with each as to how it feels about the | |
271 | * request. Note that it returns its value via 'error' in the scope | |
272 | * of the caller. | |
273 | */ | |
274 | #define MAC_CHECK(check, args...) do { \ | |
275 | struct mac_policy_conf *mpc; \ | |
276 | u_int i; \ | |
277 | \ | |
278 | error = 0; \ | |
279 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
280 | mpc = mac_policy_list.entries[i].mpc; \ | |
281 | if (mpc == NULL) \ | |
282 | continue; \ | |
283 | \ | |
284 | if (mpc->mpc_ops->mpo_ ## check != NULL) \ | |
285 | error = mac_error_select( \ | |
286 | mpc->mpc_ops->mpo_ ## check (args), \ | |
287 | error); \ | |
288 | } \ | |
289 | if (mac_policy_list_conditional_busy() != 0) { \ | |
290 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
291 | mpc = mac_policy_list.entries[i].mpc; \ | |
292 | if (mpc == NULL) \ | |
293 | continue; \ | |
294 | \ | |
295 | if (mpc->mpc_ops->mpo_ ## check != NULL) \ | |
296 | error = mac_error_select( \ | |
297 | mpc->mpc_ops->mpo_ ## check (args), \ | |
298 | error); \ | |
299 | } \ | |
300 | mac_policy_list_unbusy(); \ | |
301 | } \ | |
302 | } while (0) | |
303 | ||
6d2010ae A |
304 | /* |
305 | * MAC_GRANT performs the designated check by walking the policy | |
306 | * module list and checking with each as to how it feels about the | |
307 | * request. Unlike MAC_CHECK, it grants if any policies return '0', | |
308 | * and otherwise returns EPERM. Note that it returns its value via | |
309 | * 'error' in the scope of the caller. | |
310 | */ | |
311 | #define MAC_GRANT(check, args...) do { \ | |
312 | struct mac_policy_conf *mpc; \ | |
313 | u_int i; \ | |
314 | \ | |
315 | error = EPERM; \ | |
316 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
317 | mpc = mac_policy_list.entries[i].mpc; \ | |
318 | if (mpc == NULL) \ | |
319 | continue; \ | |
320 | \ | |
321 | if (mpc->mpc_ops->mpo_ ## check != NULL) { \ | |
322 | if (mpc->mpc_ops->mpo_ ## check (args) == 0) \ | |
323 | error = 0; \ | |
324 | } \ | |
325 | } \ | |
326 | if (mac_policy_list_conditional_busy() != 0) { \ | |
327 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
328 | mpc = mac_policy_list.entries[i].mpc; \ | |
329 | if (mpc == NULL) \ | |
330 | continue; \ | |
331 | \ | |
332 | if (mpc->mpc_ops->mpo_ ## check != NULL) { \ | |
333 | if (mpc->mpc_ops->mpo_ ## check (args) \ | |
334 | == 0) \ | |
335 | error = 0; \ | |
336 | } \ | |
337 | } \ | |
338 | mac_policy_list_unbusy(); \ | |
339 | } \ | |
340 | } while (0) | |
341 | ||
2d21ac55 A |
342 | /* |
343 | * MAC_BOOLEAN performs the designated boolean composition by walking | |
344 | * the module list, invoking each instance of the operation, and | |
345 | * combining the results using the passed C operator. Note that it | |
346 | * returns its value via 'result' in the scope of the caller, which | |
347 | * should be initialized by the caller in a meaningful way to get | |
348 | * a meaningful result. | |
349 | */ | |
350 | #define MAC_BOOLEAN(operation, composition, args...) do { \ | |
351 | struct mac_policy_conf *mpc; \ | |
352 | u_int i; \ | |
353 | \ | |
354 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
355 | mpc = mac_policy_list.entries[i].mpc; \ | |
356 | if (mpc == NULL) \ | |
357 | continue; \ | |
358 | \ | |
359 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
360 | result = result composition \ | |
361 | mpc->mpc_ops->mpo_ ## operation \ | |
362 | (args); \ | |
363 | } \ | |
364 | if (mac_policy_list_conditional_busy() != 0) { \ | |
365 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
366 | mpc = mac_policy_list.entries[i].mpc; \ | |
367 | if (mpc == NULL) \ | |
368 | continue; \ | |
369 | \ | |
370 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
371 | result = result composition \ | |
372 | mpc->mpc_ops->mpo_ ## operation \ | |
373 | (args); \ | |
374 | } \ | |
375 | mac_policy_list_unbusy(); \ | |
376 | } \ | |
377 | } while (0) | |
378 | ||
379 | #define MAC_INTERNALIZE(obj, label, instring) \ | |
380 | mac_internalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_internalize), label, instring) | |
381 | ||
382 | #define MAC_EXTERNALIZE(obj, label, elementlist, outbuf, outbuflen) \ | |
383 | mac_externalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_externalize), label, elementlist, outbuf, outbuflen) | |
384 | ||
385 | #define MAC_EXTERNALIZE_AUDIT(obj, label, outbuf, outbuflen) \ | |
386 | mac_externalize(offsetof(struct mac_policy_ops, mpo_ ## obj ## _label_externalize_audit), label, "*", outbuf, outbuflen) | |
387 | ||
388 | /* | |
389 | * MAC_PERFORM performs the designated operation by walking the policy | |
390 | * module list and invoking that operation for each policy. | |
391 | */ | |
392 | #define MAC_PERFORM(operation, args...) do { \ | |
393 | struct mac_policy_conf *mpc; \ | |
394 | u_int i; \ | |
395 | \ | |
396 | for (i = 0; i < mac_policy_list.staticmax; i++) { \ | |
397 | mpc = mac_policy_list.entries[i].mpc; \ | |
398 | if (mpc == NULL) \ | |
399 | continue; \ | |
400 | \ | |
401 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
402 | mpc->mpc_ops->mpo_ ## operation (args); \ | |
403 | } \ | |
404 | if (mac_policy_list_conditional_busy() != 0) { \ | |
405 | for (; i <= mac_policy_list.maxindex; i++) { \ | |
406 | mpc = mac_policy_list.entries[i].mpc; \ | |
407 | if (mpc == NULL) \ | |
408 | continue; \ | |
409 | \ | |
410 | if (mpc->mpc_ops->mpo_ ## operation != NULL) \ | |
411 | mpc->mpc_ops->mpo_ ## operation (args); \ | |
412 | } \ | |
413 | mac_policy_list_unbusy(); \ | |
414 | } \ | |
415 | } while (0) | |
416 | ||
417 | struct __mac_get_pid_args; | |
418 | struct __mac_get_proc_args; | |
419 | struct __mac_set_proc_args; | |
420 | struct __mac_get_lcid_args; | |
2d21ac55 A |
421 | struct __mac_get_fd_args; |
422 | struct __mac_get_file_args; | |
423 | struct __mac_get_link_args; | |
424 | struct __mac_set_fd_args; | |
425 | struct __mac_set_file_args; | |
426 | struct __mac_syscall_args; | |
427 | ||
428 | void mac_policy_addto_labellist(const mac_policy_handle_t, int); | |
429 | void mac_policy_removefrom_labellist(const mac_policy_handle_t); | |
430 | ||
431 | int mac_externalize(size_t mpo_externalize_off, struct label *label, | |
432 | const char *elementlist, char *outbuf, size_t outbuflen); | |
433 | int mac_internalize(size_t mpo_internalize_off, struct label *label, | |
434 | char *elementlist); | |
435 | #endif /* !_SECURITY_MAC_INTERNAL_H_ */ |