| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 1 | /* | 
 | 2 |  * security/tomoyo/file.c | 
 | 3 |  * | 
| Tetsuo Handa | 0f2a55d | 2011-07-14 14:46:51 +0900 | [diff] [blame] | 4 |  * Copyright (C) 2005-2011  NTT DATA CORPORATION | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 5 |  */ | 
 | 6 |  | 
 | 7 | #include "common.h" | 
| Tejun Heo | 5a0e3ad | 2010-03-24 17:04:11 +0900 | [diff] [blame] | 8 | #include <linux/slab.h> | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 9 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 10 | /* | 
 | 11 |  * Mapping table from "enum tomoyo_path_acl_index" to "enum tomoyo_mac_index". | 
 | 12 |  */ | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 13 | static const u8 tomoyo_p2mac[TOMOYO_MAX_PATH_OPERATION] = { | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 14 | 	[TOMOYO_TYPE_EXECUTE]    = TOMOYO_MAC_FILE_EXECUTE, | 
 | 15 | 	[TOMOYO_TYPE_READ]       = TOMOYO_MAC_FILE_OPEN, | 
 | 16 | 	[TOMOYO_TYPE_WRITE]      = TOMOYO_MAC_FILE_OPEN, | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 17 | 	[TOMOYO_TYPE_APPEND]     = TOMOYO_MAC_FILE_OPEN, | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 18 | 	[TOMOYO_TYPE_UNLINK]     = TOMOYO_MAC_FILE_UNLINK, | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 19 | 	[TOMOYO_TYPE_GETATTR]    = TOMOYO_MAC_FILE_GETATTR, | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 20 | 	[TOMOYO_TYPE_RMDIR]      = TOMOYO_MAC_FILE_RMDIR, | 
 | 21 | 	[TOMOYO_TYPE_TRUNCATE]   = TOMOYO_MAC_FILE_TRUNCATE, | 
 | 22 | 	[TOMOYO_TYPE_SYMLINK]    = TOMOYO_MAC_FILE_SYMLINK, | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 23 | 	[TOMOYO_TYPE_CHROOT]     = TOMOYO_MAC_FILE_CHROOT, | 
 | 24 | 	[TOMOYO_TYPE_UMOUNT]     = TOMOYO_MAC_FILE_UMOUNT, | 
 | 25 | }; | 
 | 26 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 27 | /* | 
 | 28 |  * Mapping table from "enum tomoyo_mkdev_acl_index" to "enum tomoyo_mac_index". | 
 | 29 |  */ | 
| Tetsuo Handa | 0d2171d | 2011-06-26 23:17:46 +0900 | [diff] [blame] | 30 | const u8 tomoyo_pnnn2mac[TOMOYO_MAX_MKDEV_OPERATION] = { | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 31 | 	[TOMOYO_TYPE_MKBLOCK] = TOMOYO_MAC_FILE_MKBLOCK, | 
 | 32 | 	[TOMOYO_TYPE_MKCHAR]  = TOMOYO_MAC_FILE_MKCHAR, | 
 | 33 | }; | 
 | 34 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 35 | /* | 
 | 36 |  * Mapping table from "enum tomoyo_path2_acl_index" to "enum tomoyo_mac_index". | 
 | 37 |  */ | 
| Tetsuo Handa | 0d2171d | 2011-06-26 23:17:46 +0900 | [diff] [blame] | 38 | const u8 tomoyo_pp2mac[TOMOYO_MAX_PATH2_OPERATION] = { | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 39 | 	[TOMOYO_TYPE_LINK]       = TOMOYO_MAC_FILE_LINK, | 
 | 40 | 	[TOMOYO_TYPE_RENAME]     = TOMOYO_MAC_FILE_RENAME, | 
 | 41 | 	[TOMOYO_TYPE_PIVOT_ROOT] = TOMOYO_MAC_FILE_PIVOT_ROOT, | 
 | 42 | }; | 
 | 43 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 44 | /* | 
 | 45 |  * Mapping table from "enum tomoyo_path_number_acl_index" to | 
 | 46 |  * "enum tomoyo_mac_index". | 
 | 47 |  */ | 
| Tetsuo Handa | 0d2171d | 2011-06-26 23:17:46 +0900 | [diff] [blame] | 48 | const u8 tomoyo_pn2mac[TOMOYO_MAX_PATH_NUMBER_OPERATION] = { | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 49 | 	[TOMOYO_TYPE_CREATE] = TOMOYO_MAC_FILE_CREATE, | 
 | 50 | 	[TOMOYO_TYPE_MKDIR]  = TOMOYO_MAC_FILE_MKDIR, | 
 | 51 | 	[TOMOYO_TYPE_MKFIFO] = TOMOYO_MAC_FILE_MKFIFO, | 
 | 52 | 	[TOMOYO_TYPE_MKSOCK] = TOMOYO_MAC_FILE_MKSOCK, | 
 | 53 | 	[TOMOYO_TYPE_IOCTL]  = TOMOYO_MAC_FILE_IOCTL, | 
 | 54 | 	[TOMOYO_TYPE_CHMOD]  = TOMOYO_MAC_FILE_CHMOD, | 
 | 55 | 	[TOMOYO_TYPE_CHOWN]  = TOMOYO_MAC_FILE_CHOWN, | 
 | 56 | 	[TOMOYO_TYPE_CHGRP]  = TOMOYO_MAC_FILE_CHGRP, | 
 | 57 | }; | 
 | 58 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 59 | /** | 
 | 60 |  * tomoyo_put_name_union - Drop reference on "struct tomoyo_name_union". | 
 | 61 |  * | 
 | 62 |  * @ptr: Pointer to "struct tomoyo_name_union". | 
 | 63 |  * | 
 | 64 |  * Returns nothing. | 
 | 65 |  */ | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 66 | void tomoyo_put_name_union(struct tomoyo_name_union *ptr) | 
 | 67 | { | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 68 | 	tomoyo_put_group(ptr->group); | 
 | 69 | 	tomoyo_put_name(ptr->filename); | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 70 | } | 
 | 71 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 72 | /** | 
 | 73 |  * tomoyo_compare_name_union - Check whether a name matches "struct tomoyo_name_union" or not. | 
 | 74 |  * | 
 | 75 |  * @name: Pointer to "struct tomoyo_path_info". | 
 | 76 |  * @ptr:  Pointer to "struct tomoyo_name_union". | 
 | 77 |  * | 
 | 78 |  * Returns "struct tomoyo_path_info" if @name matches @ptr, NULL otherwise. | 
 | 79 |  */ | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 80 | const struct tomoyo_path_info * | 
 | 81 | tomoyo_compare_name_union(const struct tomoyo_path_info *name, | 
 | 82 | 			  const struct tomoyo_name_union *ptr) | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 83 | { | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 84 | 	if (ptr->group) | 
| Tetsuo Handa | 3f62963 | 2010-06-03 20:37:26 +0900 | [diff] [blame] | 85 | 		return tomoyo_path_matches_group(name, ptr->group); | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 86 | 	if (tomoyo_path_matches_pattern(name, ptr->filename)) | 
 | 87 | 		return ptr->filename; | 
 | 88 | 	return NULL; | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 89 | } | 
 | 90 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 91 | /** | 
 | 92 |  * tomoyo_put_number_union - Drop reference on "struct tomoyo_number_union". | 
 | 93 |  * | 
 | 94 |  * @ptr: Pointer to "struct tomoyo_number_union". | 
 | 95 |  * | 
 | 96 |  * Returns nothing. | 
 | 97 |  */ | 
| Tetsuo Handa | 4c3e9e2 | 2010-05-17 10:06:58 +0900 | [diff] [blame] | 98 | void tomoyo_put_number_union(struct tomoyo_number_union *ptr) | 
 | 99 | { | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 100 | 	tomoyo_put_group(ptr->group); | 
| Tetsuo Handa | 4c3e9e2 | 2010-05-17 10:06:58 +0900 | [diff] [blame] | 101 | } | 
 | 102 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 103 | /** | 
 | 104 |  * tomoyo_compare_number_union - Check whether a value matches "struct tomoyo_number_union" or not. | 
 | 105 |  * | 
 | 106 |  * @value: Number to check. | 
 | 107 |  * @ptr:   Pointer to "struct tomoyo_number_union". | 
 | 108 |  * | 
 | 109 |  * Returns true if @value matches @ptr, false otherwise. | 
 | 110 |  */ | 
| Tetsuo Handa | 4c3e9e2 | 2010-05-17 10:06:58 +0900 | [diff] [blame] | 111 | bool tomoyo_compare_number_union(const unsigned long value, | 
 | 112 | 				 const struct tomoyo_number_union *ptr) | 
 | 113 | { | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 114 | 	if (ptr->group) | 
| Tetsuo Handa | 4c3e9e2 | 2010-05-17 10:06:58 +0900 | [diff] [blame] | 115 | 		return tomoyo_number_matches_group(value, value, ptr->group); | 
 | 116 | 	return value >= ptr->values[0] && value <= ptr->values[1]; | 
 | 117 | } | 
 | 118 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 119 | /** | 
 | 120 |  * tomoyo_add_slash - Add trailing '/' if needed. | 
 | 121 |  * | 
 | 122 |  * @buf: Pointer to "struct tomoyo_path_info". | 
 | 123 |  * | 
 | 124 |  * Returns nothing. | 
 | 125 |  * | 
 | 126 |  * @buf must be generated by tomoyo_encode() because this function does not | 
 | 127 |  * allocate memory for adding '/'. | 
 | 128 |  */ | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 129 | static void tomoyo_add_slash(struct tomoyo_path_info *buf) | 
 | 130 | { | 
 | 131 | 	if (buf->is_dir) | 
 | 132 | 		return; | 
 | 133 | 	/* | 
 | 134 | 	 * This is OK because tomoyo_encode() reserves space for appending "/". | 
 | 135 | 	 */ | 
 | 136 | 	strcat((char *) buf->name, "/"); | 
 | 137 | 	tomoyo_fill_path_info(buf); | 
 | 138 | } | 
 | 139 |  | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 140 | /** | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 141 |  * tomoyo_get_realpath - Get realpath. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 142 |  * | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 143 |  * @buf:  Pointer to "struct tomoyo_path_info". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 144 |  * @path: Pointer to "struct path". | 
 | 145 |  * | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 146 |  * Returns true on success, false otherwise. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 147 |  */ | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 148 | static bool tomoyo_get_realpath(struct tomoyo_path_info *buf, struct path *path) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 149 | { | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 150 | 	buf->name = tomoyo_realpath_from_path(path); | 
 | 151 | 	if (buf->name) { | 
 | 152 | 		tomoyo_fill_path_info(buf); | 
 | 153 | 		return true; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 154 | 	} | 
| Tetsuo Handa | 0f2a55d | 2011-07-14 14:46:51 +0900 | [diff] [blame] | 155 | 	return false; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 156 | } | 
 | 157 |  | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 158 | /** | 
 | 159 |  * tomoyo_audit_path_log - Audit path request log. | 
 | 160 |  * | 
 | 161 |  * @r: Pointer to "struct tomoyo_request_info". | 
 | 162 |  * | 
 | 163 |  * Returns 0 on success, negative value otherwise. | 
 | 164 |  */ | 
 | 165 | static int tomoyo_audit_path_log(struct tomoyo_request_info *r) | 
 | 166 | { | 
| Tetsuo Handa | eadd99c | 2011-06-26 23:18:58 +0900 | [diff] [blame] | 167 | 	return tomoyo_supervisor(r, "file %s %s\n", tomoyo_path_keyword | 
 | 168 | 				 [r->param.path.operation], | 
 | 169 | 				 r->param.path.filename->name); | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 170 | } | 
 | 171 |  | 
 | 172 | /** | 
 | 173 |  * tomoyo_audit_path2_log - Audit path/path request log. | 
 | 174 |  * | 
 | 175 |  * @r: Pointer to "struct tomoyo_request_info". | 
 | 176 |  * | 
 | 177 |  * Returns 0 on success, negative value otherwise. | 
 | 178 |  */ | 
 | 179 | static int tomoyo_audit_path2_log(struct tomoyo_request_info *r) | 
 | 180 | { | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 181 | 	return tomoyo_supervisor(r, "file %s %s %s\n", tomoyo_mac_keywords | 
 | 182 | 				 [tomoyo_pp2mac[r->param.path2.operation]], | 
| Tetsuo Handa | eadd99c | 2011-06-26 23:18:58 +0900 | [diff] [blame] | 183 | 				 r->param.path2.filename1->name, | 
 | 184 | 				 r->param.path2.filename2->name); | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 185 | } | 
 | 186 |  | 
 | 187 | /** | 
 | 188 |  * tomoyo_audit_mkdev_log - Audit path/number/number/number request log. | 
 | 189 |  * | 
 | 190 |  * @r: Pointer to "struct tomoyo_request_info". | 
 | 191 |  * | 
 | 192 |  * Returns 0 on success, negative value otherwise. | 
 | 193 |  */ | 
 | 194 | static int tomoyo_audit_mkdev_log(struct tomoyo_request_info *r) | 
 | 195 | { | 
| Tetsuo Handa | eadd99c | 2011-06-26 23:18:58 +0900 | [diff] [blame] | 196 | 	return tomoyo_supervisor(r, "file %s %s 0%o %u %u\n", | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 197 | 				 tomoyo_mac_keywords | 
 | 198 | 				 [tomoyo_pnnn2mac[r->param.mkdev.operation]], | 
| Tetsuo Handa | eadd99c | 2011-06-26 23:18:58 +0900 | [diff] [blame] | 199 | 				 r->param.mkdev.filename->name, | 
 | 200 | 				 r->param.mkdev.mode, r->param.mkdev.major, | 
 | 201 | 				 r->param.mkdev.minor); | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 202 | } | 
 | 203 |  | 
 | 204 | /** | 
 | 205 |  * tomoyo_audit_path_number_log - Audit path/number request log. | 
 | 206 |  * | 
| Tetsuo Handa | b5bc60b | 2011-06-26 23:16:03 +0900 | [diff] [blame] | 207 |  * @r: Pointer to "struct tomoyo_request_info". | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 208 |  * | 
 | 209 |  * Returns 0 on success, negative value otherwise. | 
 | 210 |  */ | 
 | 211 | static int tomoyo_audit_path_number_log(struct tomoyo_request_info *r) | 
 | 212 | { | 
 | 213 | 	const u8 type = r->param.path_number.operation; | 
 | 214 | 	u8 radix; | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 215 | 	char buffer[64]; | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 216 | 	switch (type) { | 
 | 217 | 	case TOMOYO_TYPE_CREATE: | 
 | 218 | 	case TOMOYO_TYPE_MKDIR: | 
 | 219 | 	case TOMOYO_TYPE_MKFIFO: | 
 | 220 | 	case TOMOYO_TYPE_MKSOCK: | 
 | 221 | 	case TOMOYO_TYPE_CHMOD: | 
 | 222 | 		radix = TOMOYO_VALUE_TYPE_OCTAL; | 
 | 223 | 		break; | 
 | 224 | 	case TOMOYO_TYPE_IOCTL: | 
 | 225 | 		radix = TOMOYO_VALUE_TYPE_HEXADECIMAL; | 
 | 226 | 		break; | 
 | 227 | 	default: | 
 | 228 | 		radix = TOMOYO_VALUE_TYPE_DECIMAL; | 
 | 229 | 		break; | 
 | 230 | 	} | 
 | 231 | 	tomoyo_print_ulong(buffer, sizeof(buffer), r->param.path_number.number, | 
 | 232 | 			   radix); | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 233 | 	return tomoyo_supervisor(r, "file %s %s %s\n", tomoyo_mac_keywords | 
 | 234 | 				 [tomoyo_pn2mac[type]], | 
| Tetsuo Handa | eadd99c | 2011-06-26 23:18:58 +0900 | [diff] [blame] | 235 | 				 r->param.path_number.filename->name, buffer); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 236 | } | 
 | 237 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 238 | /** | 
 | 239 |  * tomoyo_check_path_acl - Check permission for path operation. | 
 | 240 |  * | 
 | 241 |  * @r:   Pointer to "struct tomoyo_request_info". | 
 | 242 |  * @ptr: Pointer to "struct tomoyo_acl_info". | 
 | 243 |  * | 
 | 244 |  * Returns true if granted, false otherwise. | 
 | 245 |  * | 
 | 246 |  * To be able to use wildcard for domain transition, this function sets | 
 | 247 |  * matching entry on success. Since the caller holds tomoyo_read_lock(), | 
 | 248 |  * it is safe to set matching entry. | 
 | 249 |  */ | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 250 | static bool tomoyo_check_path_acl(struct tomoyo_request_info *r, | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 251 | 				  const struct tomoyo_acl_info *ptr) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 252 | { | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 253 | 	const struct tomoyo_path_acl *acl = container_of(ptr, typeof(*acl), | 
 | 254 | 							 head); | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 255 | 	if (acl->perm & (1 << r->param.path.operation)) { | 
 | 256 | 		r->param.path.matched_path = | 
 | 257 | 			tomoyo_compare_name_union(r->param.path.filename, | 
 | 258 | 						  &acl->name); | 
 | 259 | 		return r->param.path.matched_path != NULL; | 
 | 260 | 	} | 
 | 261 | 	return false; | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 262 | } | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 263 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 264 | /** | 
 | 265 |  * tomoyo_check_path_number_acl - Check permission for path number operation. | 
 | 266 |  * | 
 | 267 |  * @r:   Pointer to "struct tomoyo_request_info". | 
 | 268 |  * @ptr: Pointer to "struct tomoyo_acl_info". | 
 | 269 |  * | 
 | 270 |  * Returns true if granted, false otherwise. | 
 | 271 |  */ | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 272 | static bool tomoyo_check_path_number_acl(struct tomoyo_request_info *r, | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 273 | 					 const struct tomoyo_acl_info *ptr) | 
 | 274 | { | 
 | 275 | 	const struct tomoyo_path_number_acl *acl = | 
 | 276 | 		container_of(ptr, typeof(*acl), head); | 
 | 277 | 	return (acl->perm & (1 << r->param.path_number.operation)) && | 
 | 278 | 		tomoyo_compare_number_union(r->param.path_number.number, | 
 | 279 | 					    &acl->number) && | 
 | 280 | 		tomoyo_compare_name_union(r->param.path_number.filename, | 
 | 281 | 					  &acl->name); | 
 | 282 | } | 
 | 283 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 284 | /** | 
 | 285 |  * tomoyo_check_path2_acl - Check permission for path path operation. | 
 | 286 |  * | 
 | 287 |  * @r:   Pointer to "struct tomoyo_request_info". | 
 | 288 |  * @ptr: Pointer to "struct tomoyo_acl_info". | 
 | 289 |  * | 
 | 290 |  * Returns true if granted, false otherwise. | 
 | 291 |  */ | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 292 | static bool tomoyo_check_path2_acl(struct tomoyo_request_info *r, | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 293 | 				   const struct tomoyo_acl_info *ptr) | 
 | 294 | { | 
 | 295 | 	const struct tomoyo_path2_acl *acl = | 
 | 296 | 		container_of(ptr, typeof(*acl), head); | 
 | 297 | 	return (acl->perm & (1 << r->param.path2.operation)) && | 
 | 298 | 		tomoyo_compare_name_union(r->param.path2.filename1, &acl->name1) | 
 | 299 | 		&& tomoyo_compare_name_union(r->param.path2.filename2, | 
 | 300 | 					     &acl->name2); | 
 | 301 | } | 
 | 302 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 303 | /** | 
 | 304 |  * tomoyo_check_mkdev_acl - Check permission for path number number number operation. | 
 | 305 |  * | 
 | 306 |  * @r:   Pointer to "struct tomoyo_request_info". | 
 | 307 |  * @ptr: Pointer to "struct tomoyo_acl_info". | 
 | 308 |  * | 
 | 309 |  * Returns true if granted, false otherwise. | 
 | 310 |  */ | 
| Tetsuo Handa | 484ca79 | 2010-07-29 14:29:55 +0900 | [diff] [blame] | 311 | static bool tomoyo_check_mkdev_acl(struct tomoyo_request_info *r, | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 312 | 				   const struct tomoyo_acl_info *ptr) | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 313 | { | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 314 | 	const struct tomoyo_mkdev_acl *acl = | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 315 | 		container_of(ptr, typeof(*acl), head); | 
 | 316 | 	return (acl->perm & (1 << r->param.mkdev.operation)) && | 
 | 317 | 		tomoyo_compare_number_union(r->param.mkdev.mode, | 
 | 318 | 					    &acl->mode) && | 
 | 319 | 		tomoyo_compare_number_union(r->param.mkdev.major, | 
 | 320 | 					    &acl->major) && | 
 | 321 | 		tomoyo_compare_number_union(r->param.mkdev.minor, | 
 | 322 | 					    &acl->minor) && | 
 | 323 | 		tomoyo_compare_name_union(r->param.mkdev.filename, | 
 | 324 | 					  &acl->name); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 325 | } | 
 | 326 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 327 | /** | 
 | 328 |  * tomoyo_same_path_acl - Check for duplicated "struct tomoyo_path_acl" entry. | 
 | 329 |  * | 
 | 330 |  * @a: Pointer to "struct tomoyo_acl_info". | 
 | 331 |  * @b: Pointer to "struct tomoyo_acl_info". | 
 | 332 |  * | 
 | 333 |  * Returns true if @a == @b except permission bits, false otherwise. | 
 | 334 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 335 | static bool tomoyo_same_path_acl(const struct tomoyo_acl_info *a, | 
 | 336 | 				 const struct tomoyo_acl_info *b) | 
 | 337 | { | 
 | 338 | 	const struct tomoyo_path_acl *p1 = container_of(a, typeof(*p1), head); | 
 | 339 | 	const struct tomoyo_path_acl *p2 = container_of(b, typeof(*p2), head); | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 340 | 	return tomoyo_same_name_union(&p1->name, &p2->name); | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 341 | } | 
 | 342 |  | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 343 | /** | 
 | 344 |  * tomoyo_merge_path_acl - Merge duplicated "struct tomoyo_path_acl" entry. | 
 | 345 |  * | 
 | 346 |  * @a:         Pointer to "struct tomoyo_acl_info". | 
 | 347 |  * @b:         Pointer to "struct tomoyo_acl_info". | 
 | 348 |  * @is_delete: True for @a &= ~@b, false for @a |= @b. | 
 | 349 |  * | 
 | 350 |  * Returns true if @a is empty, false otherwise. | 
 | 351 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 352 | static bool tomoyo_merge_path_acl(struct tomoyo_acl_info *a, | 
 | 353 | 				  struct tomoyo_acl_info *b, | 
 | 354 | 				  const bool is_delete) | 
 | 355 | { | 
 | 356 | 	u16 * const a_perm = &container_of(a, struct tomoyo_path_acl, head) | 
 | 357 | 		->perm; | 
 | 358 | 	u16 perm = *a_perm; | 
 | 359 | 	const u16 b_perm = container_of(b, struct tomoyo_path_acl, head)->perm; | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 360 | 	if (is_delete) | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 361 | 		perm &= ~b_perm; | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 362 | 	else | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 363 | 		perm |= b_perm; | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 364 | 	*a_perm = perm; | 
 | 365 | 	return !perm; | 
 | 366 | } | 
 | 367 |  | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 368 | /** | 
| Tetsuo Handa | 7ef6123 | 2010-02-16 08:03:30 +0900 | [diff] [blame] | 369 |  * tomoyo_update_path_acl - Update "struct tomoyo_path_acl" list. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 370 |  * | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 371 |  * @perm:  Permission. | 
 | 372 |  * @param: Pointer to "struct tomoyo_acl_param". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 373 |  * | 
 | 374 |  * Returns 0 on success, negative value otherwise. | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 375 |  * | 
 | 376 |  * Caller holds tomoyo_read_lock(). | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 377 |  */ | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 378 | static int tomoyo_update_path_acl(const u16 perm, | 
 | 379 | 				  struct tomoyo_acl_param *param) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 380 | { | 
| Tetsuo Handa | 9e4b50e | 2010-05-06 12:40:02 +0900 | [diff] [blame] | 381 | 	struct tomoyo_path_acl e = { | 
 | 382 | 		.head.type = TOMOYO_TYPE_PATH_ACL, | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 383 | 		.perm = perm | 
| Tetsuo Handa | 9e4b50e | 2010-05-06 12:40:02 +0900 | [diff] [blame] | 384 | 	}; | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 385 | 	int error; | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 386 | 	if (!tomoyo_parse_name_union(param, &e.name)) | 
 | 387 | 		error = -EINVAL; | 
 | 388 | 	else | 
 | 389 | 		error = tomoyo_update_domain(&e.head, sizeof(e), param, | 
 | 390 | 					     tomoyo_same_path_acl, | 
 | 391 | 					     tomoyo_merge_path_acl); | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 392 | 	tomoyo_put_name_union(&e.name); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 393 | 	return error; | 
 | 394 | } | 
 | 395 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 396 | /** | 
 | 397 |  * tomoyo_same_mkdev_acl - Check for duplicated "struct tomoyo_mkdev_acl" entry. | 
 | 398 |  * | 
 | 399 |  * @a: Pointer to "struct tomoyo_acl_info". | 
 | 400 |  * @b: Pointer to "struct tomoyo_acl_info". | 
 | 401 |  * | 
 | 402 |  * Returns true if @a == @b except permission bits, false otherwise. | 
 | 403 |  */ | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 404 | static bool tomoyo_same_mkdev_acl(const struct tomoyo_acl_info *a, | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 405 | 					 const struct tomoyo_acl_info *b) | 
 | 406 | { | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 407 | 	const struct tomoyo_mkdev_acl *p1 = container_of(a, typeof(*p1), head); | 
 | 408 | 	const struct tomoyo_mkdev_acl *p2 = container_of(b, typeof(*p2), head); | 
 | 409 | 	return tomoyo_same_name_union(&p1->name, &p2->name) && | 
 | 410 | 		tomoyo_same_number_union(&p1->mode, &p2->mode) && | 
 | 411 | 		tomoyo_same_number_union(&p1->major, &p2->major) && | 
 | 412 | 		tomoyo_same_number_union(&p1->minor, &p2->minor); | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 413 | } | 
 | 414 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 415 | /** | 
 | 416 |  * tomoyo_merge_mkdev_acl - Merge duplicated "struct tomoyo_mkdev_acl" entry. | 
 | 417 |  * | 
 | 418 |  * @a:         Pointer to "struct tomoyo_acl_info". | 
 | 419 |  * @b:         Pointer to "struct tomoyo_acl_info". | 
 | 420 |  * @is_delete: True for @a &= ~@b, false for @a |= @b. | 
 | 421 |  * | 
 | 422 |  * Returns true if @a is empty, false otherwise. | 
 | 423 |  */ | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 424 | static bool tomoyo_merge_mkdev_acl(struct tomoyo_acl_info *a, | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 425 | 				   struct tomoyo_acl_info *b, | 
 | 426 | 				   const bool is_delete) | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 427 | { | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 428 | 	u8 *const a_perm = &container_of(a, struct tomoyo_mkdev_acl, | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 429 | 					 head)->perm; | 
 | 430 | 	u8 perm = *a_perm; | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 431 | 	const u8 b_perm = container_of(b, struct tomoyo_mkdev_acl, head) | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 432 | 		->perm; | 
 | 433 | 	if (is_delete) | 
 | 434 | 		perm &= ~b_perm; | 
 | 435 | 	else | 
 | 436 | 		perm |= b_perm; | 
 | 437 | 	*a_perm = perm; | 
 | 438 | 	return !perm; | 
 | 439 | } | 
 | 440 |  | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 441 | /** | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 442 |  * tomoyo_update_mkdev_acl - Update "struct tomoyo_mkdev_acl" list. | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 443 |  * | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 444 |  * @perm:  Permission. | 
 | 445 |  * @param: Pointer to "struct tomoyo_acl_param". | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 446 |  * | 
 | 447 |  * Returns 0 on success, negative value otherwise. | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 448 |  * | 
 | 449 |  * Caller holds tomoyo_read_lock(). | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 450 |  */ | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 451 | static int tomoyo_update_mkdev_acl(const u8 perm, | 
 | 452 | 				   struct tomoyo_acl_param *param) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 453 | { | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 454 | 	struct tomoyo_mkdev_acl e = { | 
 | 455 | 		.head.type = TOMOYO_TYPE_MKDEV_ACL, | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 456 | 		.perm = perm | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 457 | 	}; | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 458 | 	int error; | 
 | 459 | 	if (!tomoyo_parse_name_union(param, &e.name) || | 
 | 460 | 	    !tomoyo_parse_number_union(param, &e.mode) || | 
 | 461 | 	    !tomoyo_parse_number_union(param, &e.major) || | 
 | 462 | 	    !tomoyo_parse_number_union(param, &e.minor)) | 
 | 463 | 		error = -EINVAL; | 
 | 464 | 	else | 
 | 465 | 		error = tomoyo_update_domain(&e.head, sizeof(e), param, | 
 | 466 | 					     tomoyo_same_mkdev_acl, | 
 | 467 | 					     tomoyo_merge_mkdev_acl); | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 468 | 	tomoyo_put_name_union(&e.name); | 
 | 469 | 	tomoyo_put_number_union(&e.mode); | 
 | 470 | 	tomoyo_put_number_union(&e.major); | 
 | 471 | 	tomoyo_put_number_union(&e.minor); | 
 | 472 | 	return error; | 
 | 473 | } | 
 | 474 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 475 | /** | 
 | 476 |  * tomoyo_same_path2_acl - Check for duplicated "struct tomoyo_path2_acl" entry. | 
 | 477 |  * | 
 | 478 |  * @a: Pointer to "struct tomoyo_acl_info". | 
 | 479 |  * @b: Pointer to "struct tomoyo_acl_info". | 
 | 480 |  * | 
 | 481 |  * Returns true if @a == @b except permission bits, false otherwise. | 
 | 482 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 483 | static bool tomoyo_same_path2_acl(const struct tomoyo_acl_info *a, | 
 | 484 | 				  const struct tomoyo_acl_info *b) | 
 | 485 | { | 
 | 486 | 	const struct tomoyo_path2_acl *p1 = container_of(a, typeof(*p1), head); | 
 | 487 | 	const struct tomoyo_path2_acl *p2 = container_of(b, typeof(*p2), head); | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 488 | 	return tomoyo_same_name_union(&p1->name1, &p2->name1) && | 
 | 489 | 		tomoyo_same_name_union(&p1->name2, &p2->name2); | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 490 | } | 
 | 491 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 492 | /** | 
 | 493 |  * tomoyo_merge_path2_acl - Merge duplicated "struct tomoyo_path2_acl" entry. | 
 | 494 |  * | 
 | 495 |  * @a:         Pointer to "struct tomoyo_acl_info". | 
 | 496 |  * @b:         Pointer to "struct tomoyo_acl_info". | 
 | 497 |  * @is_delete: True for @a &= ~@b, false for @a |= @b. | 
 | 498 |  * | 
 | 499 |  * Returns true if @a is empty, false otherwise. | 
 | 500 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 501 | static bool tomoyo_merge_path2_acl(struct tomoyo_acl_info *a, | 
 | 502 | 				   struct tomoyo_acl_info *b, | 
 | 503 | 				   const bool is_delete) | 
 | 504 | { | 
 | 505 | 	u8 * const a_perm = &container_of(a, struct tomoyo_path2_acl, head) | 
 | 506 | 		->perm; | 
 | 507 | 	u8 perm = *a_perm; | 
 | 508 | 	const u8 b_perm = container_of(b, struct tomoyo_path2_acl, head)->perm; | 
 | 509 | 	if (is_delete) | 
 | 510 | 		perm &= ~b_perm; | 
 | 511 | 	else | 
 | 512 | 		perm |= b_perm; | 
 | 513 | 	*a_perm = perm; | 
 | 514 | 	return !perm; | 
 | 515 | } | 
 | 516 |  | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 517 | /** | 
| Tetsuo Handa | 7ef6123 | 2010-02-16 08:03:30 +0900 | [diff] [blame] | 518 |  * tomoyo_update_path2_acl - Update "struct tomoyo_path2_acl" list. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 519 |  * | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 520 |  * @perm:  Permission. | 
 | 521 |  * @param: Pointer to "struct tomoyo_acl_param". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 522 |  * | 
 | 523 |  * Returns 0 on success, negative value otherwise. | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 524 |  * | 
 | 525 |  * Caller holds tomoyo_read_lock(). | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 526 |  */ | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 527 | static int tomoyo_update_path2_acl(const u8 perm, | 
 | 528 | 				   struct tomoyo_acl_param *param) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 529 | { | 
| Tetsuo Handa | 9e4b50e | 2010-05-06 12:40:02 +0900 | [diff] [blame] | 530 | 	struct tomoyo_path2_acl e = { | 
 | 531 | 		.head.type = TOMOYO_TYPE_PATH2_ACL, | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 532 | 		.perm = perm | 
| Tetsuo Handa | 9e4b50e | 2010-05-06 12:40:02 +0900 | [diff] [blame] | 533 | 	}; | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 534 | 	int error; | 
 | 535 | 	if (!tomoyo_parse_name_union(param, &e.name1) || | 
 | 536 | 	    !tomoyo_parse_name_union(param, &e.name2)) | 
 | 537 | 		error = -EINVAL; | 
 | 538 | 	else | 
 | 539 | 		error = tomoyo_update_domain(&e.head, sizeof(e), param, | 
 | 540 | 					     tomoyo_same_path2_acl, | 
 | 541 | 					     tomoyo_merge_path2_acl); | 
| Tetsuo Handa | 7762fbf | 2010-05-10 17:30:26 +0900 | [diff] [blame] | 542 | 	tomoyo_put_name_union(&e.name1); | 
 | 543 | 	tomoyo_put_name_union(&e.name2); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 544 | 	return error; | 
 | 545 | } | 
 | 546 |  | 
 | 547 | /** | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 548 |  * tomoyo_path_permission - Check permission for single path operation. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 549 |  * | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 550 |  * @r:         Pointer to "struct tomoyo_request_info". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 551 |  * @operation: Type of operation. | 
 | 552 |  * @filename:  Filename to check. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 553 |  * | 
 | 554 |  * Returns 0 on success, negative value otherwise. | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 555 |  * | 
 | 556 |  * Caller holds tomoyo_read_lock(). | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 557 |  */ | 
| Tetsuo Handa | 778c4a4 | 2011-09-25 17:49:09 +0900 | [diff] [blame] | 558 | static int tomoyo_path_permission(struct tomoyo_request_info *r, u8 operation, | 
 | 559 | 				  const struct tomoyo_path_info *filename) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 560 | { | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 561 | 	int error; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 562 |  | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 563 | 	r->type = tomoyo_p2mac[operation]; | 
| Tetsuo Handa | bd03a3e | 2011-06-26 23:19:52 +0900 | [diff] [blame] | 564 | 	r->mode = tomoyo_get_mode(r->domain->ns, r->profile, r->type); | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 565 | 	if (r->mode == TOMOYO_CONFIG_DISABLED) | 
 | 566 | 		return 0; | 
| Tetsuo Handa | cf6e9a6 | 2010-06-16 16:21:36 +0900 | [diff] [blame] | 567 | 	r->param_type = TOMOYO_TYPE_PATH_ACL; | 
 | 568 | 	r->param.path.filename = filename; | 
 | 569 | 	r->param.path.operation = operation; | 
| Tetsuo Handa | 17fcfbd | 2010-05-17 10:11:36 +0900 | [diff] [blame] | 570 | 	do { | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 571 | 		tomoyo_check_acl(r, tomoyo_check_path_acl); | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 572 | 		error = tomoyo_audit_path_log(r); | 
| Tetsuo Handa | 6bce98e | 2011-09-16 22:54:25 +0900 | [diff] [blame] | 573 | 	} while (error == TOMOYO_RETRY_REQUEST); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 574 | 	return error; | 
 | 575 | } | 
 | 576 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 577 | /** | 
| Tetsuo Handa | 6bce98e | 2011-09-16 22:54:25 +0900 | [diff] [blame] | 578 |  * tomoyo_execute_permission - Check permission for execute operation. | 
 | 579 |  * | 
 | 580 |  * @r:         Pointer to "struct tomoyo_request_info". | 
 | 581 |  * @filename:  Filename to check. | 
 | 582 |  * | 
 | 583 |  * Returns 0 on success, negative value otherwise. | 
 | 584 |  * | 
 | 585 |  * Caller holds tomoyo_read_lock(). | 
 | 586 |  */ | 
 | 587 | int tomoyo_execute_permission(struct tomoyo_request_info *r, | 
 | 588 | 			      const struct tomoyo_path_info *filename) | 
 | 589 | { | 
 | 590 | 	/* | 
 | 591 | 	 * Unlike other permission checks, this check is done regardless of | 
 | 592 | 	 * profile mode settings in order to check for domain transition | 
 | 593 | 	 * preference. | 
 | 594 | 	 */ | 
 | 595 | 	r->type = TOMOYO_MAC_FILE_EXECUTE; | 
 | 596 | 	r->mode = tomoyo_get_mode(r->domain->ns, r->profile, r->type); | 
 | 597 | 	r->param_type = TOMOYO_TYPE_PATH_ACL; | 
 | 598 | 	r->param.path.filename = filename; | 
 | 599 | 	r->param.path.operation = TOMOYO_TYPE_EXECUTE; | 
 | 600 | 	tomoyo_check_acl(r, tomoyo_check_path_acl); | 
 | 601 | 	r->ee->transition = r->matched_acl && r->matched_acl->cond ? | 
 | 602 | 		r->matched_acl->cond->transit : NULL; | 
 | 603 | 	if (r->mode != TOMOYO_CONFIG_DISABLED) | 
 | 604 | 		return tomoyo_audit_path_log(r); | 
 | 605 | 	return 0; | 
 | 606 | } | 
 | 607 |  | 
 | 608 | /** | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 609 |  * tomoyo_same_path_number_acl - Check for duplicated "struct tomoyo_path_number_acl" entry. | 
 | 610 |  * | 
 | 611 |  * @a: Pointer to "struct tomoyo_acl_info". | 
 | 612 |  * @b: Pointer to "struct tomoyo_acl_info". | 
 | 613 |  * | 
 | 614 |  * Returns true if @a == @b except permission bits, false otherwise. | 
 | 615 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 616 | static bool tomoyo_same_path_number_acl(const struct tomoyo_acl_info *a, | 
 | 617 | 					const struct tomoyo_acl_info *b) | 
 | 618 | { | 
 | 619 | 	const struct tomoyo_path_number_acl *p1 = container_of(a, typeof(*p1), | 
 | 620 | 							       head); | 
 | 621 | 	const struct tomoyo_path_number_acl *p2 = container_of(b, typeof(*p2), | 
 | 622 | 							       head); | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 623 | 	return tomoyo_same_name_union(&p1->name, &p2->name) && | 
 | 624 | 		tomoyo_same_number_union(&p1->number, &p2->number); | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 625 | } | 
 | 626 |  | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 627 | /** | 
 | 628 |  * tomoyo_merge_path_number_acl - Merge duplicated "struct tomoyo_path_number_acl" entry. | 
 | 629 |  * | 
 | 630 |  * @a:         Pointer to "struct tomoyo_acl_info". | 
 | 631 |  * @b:         Pointer to "struct tomoyo_acl_info". | 
 | 632 |  * @is_delete: True for @a &= ~@b, false for @a |= @b. | 
 | 633 |  * | 
 | 634 |  * Returns true if @a is empty, false otherwise. | 
 | 635 |  */ | 
| Tetsuo Handa | 237ab45 | 2010-06-12 20:46:22 +0900 | [diff] [blame] | 636 | static bool tomoyo_merge_path_number_acl(struct tomoyo_acl_info *a, | 
 | 637 | 					 struct tomoyo_acl_info *b, | 
 | 638 | 					 const bool is_delete) | 
 | 639 | { | 
 | 640 | 	u8 * const a_perm = &container_of(a, struct tomoyo_path_number_acl, | 
 | 641 | 					  head)->perm; | 
 | 642 | 	u8 perm = *a_perm; | 
 | 643 | 	const u8 b_perm = container_of(b, struct tomoyo_path_number_acl, head) | 
 | 644 | 		->perm; | 
 | 645 | 	if (is_delete) | 
 | 646 | 		perm &= ~b_perm; | 
 | 647 | 	else | 
 | 648 | 		perm |= b_perm; | 
 | 649 | 	*a_perm = perm; | 
 | 650 | 	return !perm; | 
 | 651 | } | 
 | 652 |  | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 653 | /** | 
 | 654 |  * tomoyo_update_path_number_acl - Update ioctl/chmod/chown/chgrp ACL. | 
 | 655 |  * | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 656 |  * @perm:  Permission. | 
 | 657 |  * @param: Pointer to "struct tomoyo_acl_param". | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 658 |  * | 
 | 659 |  * Returns 0 on success, negative value otherwise. | 
 | 660 |  */ | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 661 | static int tomoyo_update_path_number_acl(const u8 perm, | 
 | 662 | 					 struct tomoyo_acl_param *param) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 663 | { | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 664 | 	struct tomoyo_path_number_acl e = { | 
 | 665 | 		.head.type = TOMOYO_TYPE_PATH_NUMBER_ACL, | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 666 | 		.perm = perm | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 667 | 	}; | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 668 | 	int error; | 
 | 669 | 	if (!tomoyo_parse_name_union(param, &e.name) || | 
 | 670 | 	    !tomoyo_parse_number_union(param, &e.number)) | 
 | 671 | 		error = -EINVAL; | 
 | 672 | 	else | 
 | 673 | 		error = tomoyo_update_domain(&e.head, sizeof(e), param, | 
 | 674 | 					     tomoyo_same_path_number_acl, | 
 | 675 | 					     tomoyo_merge_path_number_acl); | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 676 | 	tomoyo_put_name_union(&e.name); | 
 | 677 | 	tomoyo_put_number_union(&e.number); | 
 | 678 | 	return error; | 
 | 679 | } | 
 | 680 |  | 
 | 681 | /** | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 682 |  * tomoyo_path_number_perm - Check permission for "create", "mkdir", "mkfifo", "mksock", "ioctl", "chmod", "chown", "chgrp". | 
 | 683 |  * | 
 | 684 |  * @type:   Type of operation. | 
 | 685 |  * @path:   Pointer to "struct path". | 
 | 686 |  * @number: Number. | 
 | 687 |  * | 
 | 688 |  * Returns 0 on success, negative value otherwise. | 
 | 689 |  */ | 
 | 690 | int tomoyo_path_number_perm(const u8 type, struct path *path, | 
 | 691 | 			    unsigned long number) | 
 | 692 | { | 
 | 693 | 	struct tomoyo_request_info r; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 694 | 	struct tomoyo_obj_info obj = { | 
 | 695 | 		.path1 = *path, | 
 | 696 | 	}; | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 697 | 	int error = -ENOMEM; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 698 | 	struct tomoyo_path_info buf; | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 699 | 	int idx; | 
 | 700 |  | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 701 | 	if (tomoyo_init_request_info(&r, NULL, tomoyo_pn2mac[type]) | 
| Tetsuo Handa | 5625f2e | 2011-06-26 23:20:23 +0900 | [diff] [blame] | 702 | 	    == TOMOYO_CONFIG_DISABLED || !path->dentry) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 703 | 		return 0; | 
 | 704 | 	idx = tomoyo_read_lock(); | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 705 | 	if (!tomoyo_get_realpath(&buf, path)) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 706 | 		goto out; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 707 | 	r.obj = &obj; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 708 | 	if (type == TOMOYO_TYPE_MKDIR) | 
 | 709 | 		tomoyo_add_slash(&buf); | 
| Tetsuo Handa | cb917cf | 2010-06-16 16:28:21 +0900 | [diff] [blame] | 710 | 	r.param_type = TOMOYO_TYPE_PATH_NUMBER_ACL; | 
 | 711 | 	r.param.path_number.operation = type; | 
 | 712 | 	r.param.path_number.filename = &buf; | 
 | 713 | 	r.param.path_number.number = number; | 
 | 714 | 	do { | 
 | 715 | 		tomoyo_check_acl(&r, tomoyo_check_path_number_acl); | 
 | 716 | 		error = tomoyo_audit_path_number_log(&r); | 
 | 717 | 	} while (error == TOMOYO_RETRY_REQUEST); | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 718 | 	kfree(buf.name); | 
| Tetsuo Handa | cb917cf | 2010-06-16 16:28:21 +0900 | [diff] [blame] | 719 |  out: | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 720 | 	tomoyo_read_unlock(idx); | 
 | 721 | 	if (r.mode != TOMOYO_CONFIG_ENFORCING) | 
 | 722 | 		error = 0; | 
 | 723 | 	return error; | 
 | 724 | } | 
 | 725 |  | 
 | 726 | /** | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 727 |  * tomoyo_check_open_permission - Check permission for "read" and "write". | 
 | 728 |  * | 
 | 729 |  * @domain: Pointer to "struct tomoyo_domain_info". | 
 | 730 |  * @path:   Pointer to "struct path". | 
 | 731 |  * @flag:   Flags for open(). | 
 | 732 |  * | 
 | 733 |  * Returns 0 on success, negative value otherwise. | 
 | 734 |  */ | 
 | 735 | int tomoyo_check_open_permission(struct tomoyo_domain_info *domain, | 
 | 736 | 				 struct path *path, const int flag) | 
 | 737 | { | 
 | 738 | 	const u8 acc_mode = ACC_MODE(flag); | 
| Tetsuo Handa | eae61f3 | 2011-03-02 16:54:24 +0900 | [diff] [blame] | 739 | 	int error = 0; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 740 | 	struct tomoyo_path_info buf; | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 741 | 	struct tomoyo_request_info r; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 742 | 	struct tomoyo_obj_info obj = { | 
 | 743 | 		.path1 = *path, | 
 | 744 | 	}; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 745 | 	int idx; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 746 |  | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 747 | 	buf.name = NULL; | 
 | 748 | 	r.mode = TOMOYO_CONFIG_DISABLED; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 749 | 	idx = tomoyo_read_lock(); | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 750 | 	if (acc_mode && | 
 | 751 | 	    tomoyo_init_request_info(&r, domain, TOMOYO_MAC_FILE_OPEN) | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 752 | 	    != TOMOYO_CONFIG_DISABLED) { | 
 | 753 | 		if (!tomoyo_get_realpath(&buf, path)) { | 
 | 754 | 			error = -ENOMEM; | 
 | 755 | 			goto out; | 
 | 756 | 		} | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 757 | 		r.obj = &obj; | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 758 | 		if (acc_mode & MAY_READ) | 
 | 759 | 			error = tomoyo_path_permission(&r, TOMOYO_TYPE_READ, | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 760 | 						       &buf); | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 761 | 		if (!error && (acc_mode & MAY_WRITE)) | 
 | 762 | 			error = tomoyo_path_permission(&r, (flag & O_APPEND) ? | 
 | 763 | 						       TOMOYO_TYPE_APPEND : | 
 | 764 | 						       TOMOYO_TYPE_WRITE, | 
 | 765 | 						       &buf); | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 766 | 	} | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 767 |  out: | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 768 | 	kfree(buf.name); | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 769 | 	tomoyo_read_unlock(idx); | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 770 | 	if (r.mode != TOMOYO_CONFIG_ENFORCING) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 771 | 		error = 0; | 
 | 772 | 	return error; | 
 | 773 | } | 
 | 774 |  | 
 | 775 | /** | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 776 |  * tomoyo_path_perm - Check permission for "unlink", "rmdir", "truncate", "symlink", "append", "chroot" and "unmount". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 777 |  * | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 778 |  * @operation: Type of operation. | 
 | 779 |  * @path:      Pointer to "struct path". | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 780 |  * @target:    Symlink's target if @operation is TOMOYO_TYPE_SYMLINK, | 
 | 781 |  *             NULL otherwise. | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 782 |  * | 
 | 783 |  * Returns 0 on success, negative value otherwise. | 
 | 784 |  */ | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 785 | int tomoyo_path_perm(const u8 operation, struct path *path, const char *target) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 786 | { | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 787 | 	struct tomoyo_request_info r; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 788 | 	struct tomoyo_obj_info obj = { | 
 | 789 | 		.path1 = *path, | 
 | 790 | 	}; | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 791 | 	int error; | 
 | 792 | 	struct tomoyo_path_info buf; | 
 | 793 | 	bool is_enforce; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 794 | 	struct tomoyo_path_info symlink_target; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 795 | 	int idx; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 796 |  | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 797 | 	if (tomoyo_init_request_info(&r, NULL, tomoyo_p2mac[operation]) | 
 | 798 | 	    == TOMOYO_CONFIG_DISABLED) | 
 | 799 | 		return 0; | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 800 | 	is_enforce = (r.mode == TOMOYO_CONFIG_ENFORCING); | 
 | 801 | 	error = -ENOMEM; | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 802 | 	buf.name = NULL; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 803 | 	idx = tomoyo_read_lock(); | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 804 | 	if (!tomoyo_get_realpath(&buf, path)) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 805 | 		goto out; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 806 | 	r.obj = &obj; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 807 | 	switch (operation) { | 
| Tetsuo Handa | 7ef6123 | 2010-02-16 08:03:30 +0900 | [diff] [blame] | 808 | 	case TOMOYO_TYPE_RMDIR: | 
 | 809 | 	case TOMOYO_TYPE_CHROOT: | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 810 | 		tomoyo_add_slash(&buf); | 
 | 811 | 		break; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 812 | 	case TOMOYO_TYPE_SYMLINK: | 
 | 813 | 		symlink_target.name = tomoyo_encode(target); | 
 | 814 | 		if (!symlink_target.name) | 
 | 815 | 			goto out; | 
 | 816 | 		tomoyo_fill_path_info(&symlink_target); | 
 | 817 | 		obj.symlink_target = &symlink_target; | 
 | 818 | 		break; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 819 | 	} | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 820 | 	error = tomoyo_path_permission(&r, operation, &buf); | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 821 | 	if (operation == TOMOYO_TYPE_SYMLINK) | 
 | 822 | 		kfree(symlink_target.name); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 823 |  out: | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 824 | 	kfree(buf.name); | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 825 | 	tomoyo_read_unlock(idx); | 
| Tetsuo Handa | 7c75964 | 2011-06-26 23:15:31 +0900 | [diff] [blame] | 826 | 	if (!is_enforce) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 827 | 		error = 0; | 
 | 828 | 	return error; | 
 | 829 | } | 
 | 830 |  | 
 | 831 | /** | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 832 |  * tomoyo_mkdev_perm - Check permission for "mkblock" and "mkchar". | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 833 |  * | 
 | 834 |  * @operation: Type of operation. (TOMOYO_TYPE_MKCHAR or TOMOYO_TYPE_MKBLOCK) | 
 | 835 |  * @path:      Pointer to "struct path". | 
 | 836 |  * @mode:      Create mode. | 
 | 837 |  * @dev:       Device number. | 
 | 838 |  * | 
 | 839 |  * Returns 0 on success, negative value otherwise. | 
 | 840 |  */ | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 841 | int tomoyo_mkdev_perm(const u8 operation, struct path *path, | 
| Tetsuo Handa | 0df7e8b | 2011-06-26 23:16:36 +0900 | [diff] [blame] | 842 | 		      const unsigned int mode, unsigned int dev) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 843 | { | 
 | 844 | 	struct tomoyo_request_info r; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 845 | 	struct tomoyo_obj_info obj = { | 
 | 846 | 		.path1 = *path, | 
 | 847 | 	}; | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 848 | 	int error = -ENOMEM; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 849 | 	struct tomoyo_path_info buf; | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 850 | 	int idx; | 
 | 851 |  | 
| Tetsuo Handa | 5625f2e | 2011-06-26 23:20:23 +0900 | [diff] [blame] | 852 | 	if (tomoyo_init_request_info(&r, NULL, tomoyo_pnnn2mac[operation]) | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 853 | 	    == TOMOYO_CONFIG_DISABLED) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 854 | 		return 0; | 
 | 855 | 	idx = tomoyo_read_lock(); | 
 | 856 | 	error = -ENOMEM; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 857 | 	if (tomoyo_get_realpath(&buf, path)) { | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 858 | 		r.obj = &obj; | 
| Tetsuo Handa | cf6e9a6 | 2010-06-16 16:21:36 +0900 | [diff] [blame] | 859 | 		dev = new_decode_dev(dev); | 
| Tetsuo Handa | 7509315 | 2010-06-16 16:23:55 +0900 | [diff] [blame] | 860 | 		r.param_type = TOMOYO_TYPE_MKDEV_ACL; | 
| Tetsuo Handa | cf6e9a6 | 2010-06-16 16:21:36 +0900 | [diff] [blame] | 861 | 		r.param.mkdev.filename = &buf; | 
 | 862 | 		r.param.mkdev.operation = operation; | 
 | 863 | 		r.param.mkdev.mode = mode; | 
 | 864 | 		r.param.mkdev.major = MAJOR(dev); | 
 | 865 | 		r.param.mkdev.minor = MINOR(dev); | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 866 | 		tomoyo_check_acl(&r, tomoyo_check_mkdev_acl); | 
 | 867 | 		error = tomoyo_audit_mkdev_log(&r); | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 868 | 		kfree(buf.name); | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 869 | 	} | 
 | 870 | 	tomoyo_read_unlock(idx); | 
 | 871 | 	if (r.mode != TOMOYO_CONFIG_ENFORCING) | 
 | 872 | 		error = 0; | 
 | 873 | 	return error; | 
 | 874 | } | 
 | 875 |  | 
 | 876 | /** | 
| Tetsuo Handa | 7ef6123 | 2010-02-16 08:03:30 +0900 | [diff] [blame] | 877 |  * tomoyo_path2_perm - Check permission for "rename", "link" and "pivot_root". | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 878 |  * | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 879 |  * @operation: Type of operation. | 
 | 880 |  * @path1:      Pointer to "struct path". | 
 | 881 |  * @path2:      Pointer to "struct path". | 
 | 882 |  * | 
 | 883 |  * Returns 0 on success, negative value otherwise. | 
 | 884 |  */ | 
| Tetsuo Handa | 97d6931 | 2010-02-16 09:46:15 +0900 | [diff] [blame] | 885 | int tomoyo_path2_perm(const u8 operation, struct path *path1, | 
| Tetsuo Handa | 7ef6123 | 2010-02-16 08:03:30 +0900 | [diff] [blame] | 886 | 		      struct path *path2) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 887 | { | 
 | 888 | 	int error = -ENOMEM; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 889 | 	struct tomoyo_path_info buf1; | 
 | 890 | 	struct tomoyo_path_info buf2; | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 891 | 	struct tomoyo_request_info r; | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 892 | 	struct tomoyo_obj_info obj = { | 
 | 893 | 		.path1 = *path1, | 
 | 894 | 		.path2 = *path2, | 
 | 895 | 	}; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 896 | 	int idx; | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 897 |  | 
| Tetsuo Handa | 5625f2e | 2011-06-26 23:20:23 +0900 | [diff] [blame] | 898 | 	if (tomoyo_init_request_info(&r, NULL, tomoyo_pp2mac[operation]) | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 899 | 	    == TOMOYO_CONFIG_DISABLED) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 900 | 		return 0; | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 901 | 	buf1.name = NULL; | 
 | 902 | 	buf2.name = NULL; | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 903 | 	idx = tomoyo_read_lock(); | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 904 | 	if (!tomoyo_get_realpath(&buf1, path1) || | 
 | 905 | 	    !tomoyo_get_realpath(&buf2, path2)) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 906 | 		goto out; | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 907 | 	switch (operation) { | 
 | 908 | 		struct dentry *dentry; | 
 | 909 | 	case TOMOYO_TYPE_RENAME: | 
| Tetsuo Handa | 0f2a55d | 2011-07-14 14:46:51 +0900 | [diff] [blame] | 910 | 	case TOMOYO_TYPE_LINK: | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 911 | 		dentry = path1->dentry; | 
| Tetsuo Handa | 0f2a55d | 2011-07-14 14:46:51 +0900 | [diff] [blame] | 912 | 		if (!dentry->d_inode || !S_ISDIR(dentry->d_inode->i_mode)) | 
 | 913 | 			break; | 
 | 914 | 		/* fall through */ | 
 | 915 | 	case TOMOYO_TYPE_PIVOT_ROOT: | 
 | 916 | 		tomoyo_add_slash(&buf1); | 
 | 917 | 		tomoyo_add_slash(&buf2); | 
| Tetsuo Handa | 57c2590 | 2010-06-03 20:38:44 +0900 | [diff] [blame] | 918 | 		break; | 
| Tetsuo Handa | 0f2a55d | 2011-07-14 14:46:51 +0900 | [diff] [blame] | 919 | 	} | 
| Tetsuo Handa | 97fb35e | 2011-07-08 13:25:53 +0900 | [diff] [blame] | 920 | 	r.obj = &obj; | 
| Tetsuo Handa | cf6e9a6 | 2010-06-16 16:21:36 +0900 | [diff] [blame] | 921 | 	r.param_type = TOMOYO_TYPE_PATH2_ACL; | 
 | 922 | 	r.param.path2.operation = operation; | 
 | 923 | 	r.param.path2.filename1 = &buf1; | 
 | 924 | 	r.param.path2.filename2 = &buf2; | 
| Tetsuo Handa | 17fcfbd | 2010-05-17 10:11:36 +0900 | [diff] [blame] | 925 | 	do { | 
| Tetsuo Handa | 99a8525 | 2010-06-16 16:22:51 +0900 | [diff] [blame] | 926 | 		tomoyo_check_acl(&r, tomoyo_check_path2_acl); | 
 | 927 | 		error = tomoyo_audit_path2_log(&r); | 
 | 928 | 	} while (error == TOMOYO_RETRY_REQUEST); | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 929 |  out: | 
| Tetsuo Handa | c8c57e8 | 2010-06-03 20:36:43 +0900 | [diff] [blame] | 930 | 	kfree(buf1.name); | 
 | 931 | 	kfree(buf2.name); | 
| Tetsuo Handa | fdb8ebb | 2009-12-08 09:34:43 +0900 | [diff] [blame] | 932 | 	tomoyo_read_unlock(idx); | 
| Tetsuo Handa | cb0abe6 | 2010-05-17 10:08:05 +0900 | [diff] [blame] | 933 | 	if (r.mode != TOMOYO_CONFIG_ENFORCING) | 
| Kentaro Takeda | b69a54e | 2009-02-05 17:18:14 +0900 | [diff] [blame] | 934 | 		error = 0; | 
 | 935 | 	return error; | 
 | 936 | } | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 937 |  | 
 | 938 | /** | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 939 |  * tomoyo_same_mount_acl - Check for duplicated "struct tomoyo_mount_acl" entry. | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 940 |  * | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 941 |  * @a: Pointer to "struct tomoyo_acl_info". | 
 | 942 |  * @b: Pointer to "struct tomoyo_acl_info". | 
 | 943 |  * | 
 | 944 |  * Returns true if @a == @b, false otherwise. | 
 | 945 |  */ | 
 | 946 | static bool tomoyo_same_mount_acl(const struct tomoyo_acl_info *a, | 
 | 947 | 				  const struct tomoyo_acl_info *b) | 
 | 948 | { | 
 | 949 | 	const struct tomoyo_mount_acl *p1 = container_of(a, typeof(*p1), head); | 
 | 950 | 	const struct tomoyo_mount_acl *p2 = container_of(b, typeof(*p2), head); | 
 | 951 | 	return tomoyo_same_name_union(&p1->dev_name, &p2->dev_name) && | 
 | 952 | 		tomoyo_same_name_union(&p1->dir_name, &p2->dir_name) && | 
 | 953 | 		tomoyo_same_name_union(&p1->fs_type, &p2->fs_type) && | 
 | 954 | 		tomoyo_same_number_union(&p1->flags, &p2->flags); | 
 | 955 | } | 
 | 956 |  | 
 | 957 | /** | 
 | 958 |  * tomoyo_update_mount_acl - Write "struct tomoyo_mount_acl" list. | 
 | 959 |  * | 
 | 960 |  * @param: Pointer to "struct tomoyo_acl_param". | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 961 |  * | 
 | 962 |  * Returns 0 on success, negative value otherwise. | 
 | 963 |  * | 
 | 964 |  * Caller holds tomoyo_read_lock(). | 
 | 965 |  */ | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 966 | static int tomoyo_update_mount_acl(struct tomoyo_acl_param *param) | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 967 | { | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 968 | 	struct tomoyo_mount_acl e = { .head.type = TOMOYO_TYPE_MOUNT_ACL }; | 
 | 969 | 	int error; | 
 | 970 | 	if (!tomoyo_parse_name_union(param, &e.dev_name) || | 
 | 971 | 	    !tomoyo_parse_name_union(param, &e.dir_name) || | 
 | 972 | 	    !tomoyo_parse_name_union(param, &e.fs_type) || | 
 | 973 | 	    !tomoyo_parse_number_union(param, &e.flags)) | 
 | 974 | 		error = -EINVAL; | 
 | 975 | 	else | 
 | 976 | 		error = tomoyo_update_domain(&e.head, sizeof(e), param, | 
 | 977 | 					     tomoyo_same_mount_acl, NULL); | 
 | 978 | 	tomoyo_put_name_union(&e.dev_name); | 
 | 979 | 	tomoyo_put_name_union(&e.dir_name); | 
 | 980 | 	tomoyo_put_name_union(&e.fs_type); | 
 | 981 | 	tomoyo_put_number_union(&e.flags); | 
 | 982 | 	return error; | 
 | 983 | } | 
 | 984 |  | 
 | 985 | /** | 
 | 986 |  * tomoyo_write_file - Update file related list. | 
 | 987 |  * | 
 | 988 |  * @param: Pointer to "struct tomoyo_acl_param". | 
 | 989 |  * | 
 | 990 |  * Returns 0 on success, negative value otherwise. | 
 | 991 |  * | 
 | 992 |  * Caller holds tomoyo_read_lock(). | 
 | 993 |  */ | 
 | 994 | int tomoyo_write_file(struct tomoyo_acl_param *param) | 
 | 995 | { | 
 | 996 | 	u16 perm = 0; | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 997 | 	u8 type; | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 998 | 	const char *operation = tomoyo_read_token(param); | 
 | 999 | 	for (type = 0; type < TOMOYO_MAX_PATH_OPERATION; type++) | 
 | 1000 | 		if (tomoyo_permstr(operation, tomoyo_path_keyword[type])) | 
 | 1001 | 			perm |= 1 << type; | 
 | 1002 | 	if (perm) | 
 | 1003 | 		return tomoyo_update_path_acl(perm, param); | 
 | 1004 | 	for (type = 0; type < TOMOYO_MAX_PATH2_OPERATION; type++) | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 1005 | 		if (tomoyo_permstr(operation, | 
 | 1006 | 				   tomoyo_mac_keywords[tomoyo_pp2mac[type]])) | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 1007 | 			perm |= 1 << type; | 
 | 1008 | 	if (perm) | 
 | 1009 | 		return tomoyo_update_path2_acl(perm, param); | 
 | 1010 | 	for (type = 0; type < TOMOYO_MAX_PATH_NUMBER_OPERATION; type++) | 
 | 1011 | 		if (tomoyo_permstr(operation, | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 1012 | 				   tomoyo_mac_keywords[tomoyo_pn2mac[type]])) | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 1013 | 			perm |= 1 << type; | 
 | 1014 | 	if (perm) | 
 | 1015 | 		return tomoyo_update_path_number_acl(perm, param); | 
 | 1016 | 	for (type = 0; type < TOMOYO_MAX_MKDEV_OPERATION; type++) | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 1017 | 		if (tomoyo_permstr(operation, | 
 | 1018 | 				   tomoyo_mac_keywords[tomoyo_pnnn2mac[type]])) | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 1019 | 			perm |= 1 << type; | 
 | 1020 | 	if (perm) | 
 | 1021 | 		return tomoyo_update_mkdev_acl(perm, param); | 
| Tetsuo Handa | 2c47ab9 | 2011-06-26 23:21:19 +0900 | [diff] [blame] | 1022 | 	if (tomoyo_permstr(operation, | 
 | 1023 | 			   tomoyo_mac_keywords[TOMOYO_MAC_FILE_MOUNT])) | 
| Tetsuo Handa | a238cf5 | 2011-06-26 23:17:10 +0900 | [diff] [blame] | 1024 | 		return tomoyo_update_mount_acl(param); | 
| Tetsuo Handa | a1f9bb6 | 2010-05-17 10:09:15 +0900 | [diff] [blame] | 1025 | 	return -EINVAL; | 
 | 1026 | } |