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_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_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_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_CHECK_NOSLEEP(posixsem_check_open, cred, ks, ks->ks_label); 113 MAC_CHECK_PROBE2(posixsem_check_open, error, cred, ks); 114 115 return (error); 116 } 117 118 MAC_CHECK_PROBE_DEFINE3(posixsem_check_getvalue, "struct ucred *", 119 "struct ucred *", "struct ksem *"); 120 121 int 122 mac_posixsem_check_getvalue(struct ucred *active_cred, struct ucred *file_cred, 123 struct ksem *ks) 124 { 125 int error; 126 127 MAC_CHECK_NOSLEEP(posixsem_check_getvalue, active_cred, file_cred, 128 ks, ks->ks_label); 129 MAC_CHECK_PROBE3(posixsem_check_getvalue, error, active_cred, 130 file_cred, ks); 131 132 return (error); 133 } 134 135 MAC_CHECK_PROBE_DEFINE3(posixsem_check_post, "struct ucred *", 136 "struct ucred *", "struct ksem *"); 137 138 int 139 mac_posixsem_check_post(struct ucred *active_cred, struct ucred *file_cred, 140 struct ksem *ks) 141 { 142 int error; 143 144 MAC_CHECK_NOSLEEP(posixsem_check_post, active_cred, file_cred, ks, 145 ks->ks_label); 146 MAC_CHECK_PROBE3(posixsem_check_post, error, active_cred, file_cred, 147 ks); 148 149 return (error); 150 } 151 152 MAC_CHECK_PROBE_DEFINE3(posixsem_check_stat, "struct ucred *", 153 "struct ucred *", "struct ksem *"); 154 155 int 156 mac_posixsem_check_stat(struct ucred *active_cred, struct ucred *file_cred, 157 struct ksem *ks) 158 { 159 int error; 160 161 MAC_CHECK_NOSLEEP(posixsem_check_stat, active_cred, file_cred, ks, 162 ks->ks_label); 163 MAC_CHECK_PROBE3(posixsem_check_stat, error, active_cred, file_cred, 164 ks); 165 166 return (error); 167 } 168 169 MAC_CHECK_PROBE_DEFINE2(posixsem_check_unlink, "struct ucred *", 170 "struct ksem *"); 171 172 int 173 mac_posixsem_check_unlink(struct ucred *cred, struct ksem *ks) 174 { 175 int error; 176 177 MAC_CHECK_NOSLEEP(posixsem_check_unlink, cred, ks, ks->ks_label); 178 MAC_CHECK_PROBE2(posixsem_check_unlink, error, cred, ks); 179 180 return (error); 181 } 182 183 MAC_CHECK_PROBE_DEFINE3(posixsem_check_wait, "struct ucred *", 184 "struct ucred *", "struct ksem *"); 185 186 int 187 mac_posixsem_check_wait(struct ucred *active_cred, struct ucred *file_cred, 188 struct ksem *ks) 189 { 190 int error; 191 192 MAC_CHECK_NOSLEEP(posixsem_check_wait, active_cred, file_cred, ks, 193 ks->ks_label); 194 MAC_CHECK_PROBE3(posixsem_check_wait, error, active_cred, file_cred, 195 ks); 196 197 return (error); 198 } 199