blob: b826058c72e91dc9b03e10765ece8d4b0580de37 [file] [log] [blame]
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001/*
2 * security/tomoyo/file.c
3 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09004 * Pathname restriction functions.
Kentaro Takedab69a54e2009-02-05 17:18:14 +09005 *
Tetsuo Handac3ef1502010-05-17 10:12:46 +09006 * Copyright (C) 2005-2010 NTT DATA CORPORATION
Kentaro Takedab69a54e2009-02-05 17:18:14 +09007 */
8
9#include "common.h"
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090010#include <linux/slab.h>
Kentaro Takedab69a54e2009-02-05 17:18:14 +090011
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +090012/* Keyword array for operations with one pathname. */
Tetsuo Handa7ef61232010-02-16 08:03:30 +090013static const char *tomoyo_path_keyword[TOMOYO_MAX_PATH_OPERATION] = {
14 [TOMOYO_TYPE_READ_WRITE] = "read/write",
15 [TOMOYO_TYPE_EXECUTE] = "execute",
16 [TOMOYO_TYPE_READ] = "read",
17 [TOMOYO_TYPE_WRITE] = "write",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090018 [TOMOYO_TYPE_UNLINK] = "unlink",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090019 [TOMOYO_TYPE_RMDIR] = "rmdir",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090020 [TOMOYO_TYPE_TRUNCATE] = "truncate",
21 [TOMOYO_TYPE_SYMLINK] = "symlink",
22 [TOMOYO_TYPE_REWRITE] = "rewrite",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090023 [TOMOYO_TYPE_CHROOT] = "chroot",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090024 [TOMOYO_TYPE_UMOUNT] = "unmount",
Kentaro Takedab69a54e2009-02-05 17:18:14 +090025};
26
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +090027/* Keyword array for operations with one pathname and three numbers. */
28static const char *tomoyo_path_number3_keyword
29[TOMOYO_MAX_PATH_NUMBER3_OPERATION] = {
30 [TOMOYO_TYPE_MKBLOCK] = "mkblock",
31 [TOMOYO_TYPE_MKCHAR] = "mkchar",
32};
33
34/* Keyword array for operations with two pathnames. */
Tetsuo Handa7ef61232010-02-16 08:03:30 +090035static const char *tomoyo_path2_keyword[TOMOYO_MAX_PATH2_OPERATION] = {
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +090036 [TOMOYO_TYPE_LINK] = "link",
37 [TOMOYO_TYPE_RENAME] = "rename",
Tetsuo Handa7ef61232010-02-16 08:03:30 +090038 [TOMOYO_TYPE_PIVOT_ROOT] = "pivot_root",
Kentaro Takedab69a54e2009-02-05 17:18:14 +090039};
40
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +090041/* Keyword array for operations with one pathname and one number. */
42static const char *tomoyo_path_number_keyword
43[TOMOYO_MAX_PATH_NUMBER_OPERATION] = {
44 [TOMOYO_TYPE_CREATE] = "create",
45 [TOMOYO_TYPE_MKDIR] = "mkdir",
46 [TOMOYO_TYPE_MKFIFO] = "mkfifo",
47 [TOMOYO_TYPE_MKSOCK] = "mksock",
48 [TOMOYO_TYPE_IOCTL] = "ioctl",
49 [TOMOYO_TYPE_CHMOD] = "chmod",
50 [TOMOYO_TYPE_CHOWN] = "chown",
51 [TOMOYO_TYPE_CHGRP] = "chgrp",
52};
53
Tetsuo Handa57c25902010-06-03 20:38:44 +090054static const u8 tomoyo_p2mac[TOMOYO_MAX_PATH_OPERATION] = {
55 [TOMOYO_TYPE_READ_WRITE] = TOMOYO_MAC_FILE_OPEN,
56 [TOMOYO_TYPE_EXECUTE] = TOMOYO_MAC_FILE_EXECUTE,
57 [TOMOYO_TYPE_READ] = TOMOYO_MAC_FILE_OPEN,
58 [TOMOYO_TYPE_WRITE] = TOMOYO_MAC_FILE_OPEN,
59 [TOMOYO_TYPE_UNLINK] = TOMOYO_MAC_FILE_UNLINK,
60 [TOMOYO_TYPE_RMDIR] = TOMOYO_MAC_FILE_RMDIR,
61 [TOMOYO_TYPE_TRUNCATE] = TOMOYO_MAC_FILE_TRUNCATE,
62 [TOMOYO_TYPE_SYMLINK] = TOMOYO_MAC_FILE_SYMLINK,
63 [TOMOYO_TYPE_REWRITE] = TOMOYO_MAC_FILE_REWRITE,
64 [TOMOYO_TYPE_CHROOT] = TOMOYO_MAC_FILE_CHROOT,
65 [TOMOYO_TYPE_UMOUNT] = TOMOYO_MAC_FILE_UMOUNT,
66};
67
68static const u8 tomoyo_pnnn2mac[TOMOYO_MAX_PATH_NUMBER3_OPERATION] = {
69 [TOMOYO_TYPE_MKBLOCK] = TOMOYO_MAC_FILE_MKBLOCK,
70 [TOMOYO_TYPE_MKCHAR] = TOMOYO_MAC_FILE_MKCHAR,
71};
72
73static const u8 tomoyo_pp2mac[TOMOYO_MAX_PATH2_OPERATION] = {
74 [TOMOYO_TYPE_LINK] = TOMOYO_MAC_FILE_LINK,
75 [TOMOYO_TYPE_RENAME] = TOMOYO_MAC_FILE_RENAME,
76 [TOMOYO_TYPE_PIVOT_ROOT] = TOMOYO_MAC_FILE_PIVOT_ROOT,
77};
78
79static const u8 tomoyo_pn2mac[TOMOYO_MAX_PATH_NUMBER_OPERATION] = {
80 [TOMOYO_TYPE_CREATE] = TOMOYO_MAC_FILE_CREATE,
81 [TOMOYO_TYPE_MKDIR] = TOMOYO_MAC_FILE_MKDIR,
82 [TOMOYO_TYPE_MKFIFO] = TOMOYO_MAC_FILE_MKFIFO,
83 [TOMOYO_TYPE_MKSOCK] = TOMOYO_MAC_FILE_MKSOCK,
84 [TOMOYO_TYPE_IOCTL] = TOMOYO_MAC_FILE_IOCTL,
85 [TOMOYO_TYPE_CHMOD] = TOMOYO_MAC_FILE_CHMOD,
86 [TOMOYO_TYPE_CHOWN] = TOMOYO_MAC_FILE_CHOWN,
87 [TOMOYO_TYPE_CHGRP] = TOMOYO_MAC_FILE_CHGRP,
88};
89
Tetsuo Handa7762fbf2010-05-10 17:30:26 +090090void tomoyo_put_name_union(struct tomoyo_name_union *ptr)
91{
92 if (!ptr)
93 return;
94 if (ptr->is_group)
95 tomoyo_put_path_group(ptr->group);
96 else
97 tomoyo_put_name(ptr->filename);
98}
99
100bool tomoyo_compare_name_union(const struct tomoyo_path_info *name,
101 const struct tomoyo_name_union *ptr)
102{
103 if (ptr->is_group)
Tetsuo Handa3f629632010-06-03 20:37:26 +0900104 return tomoyo_path_matches_group(name, ptr->group);
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900105 return tomoyo_path_matches_pattern(name, ptr->filename);
106}
107
Tetsuo Handa4c3e9e22010-05-17 10:06:58 +0900108void tomoyo_put_number_union(struct tomoyo_number_union *ptr)
109{
110 if (ptr && ptr->is_group)
111 tomoyo_put_number_group(ptr->group);
112}
113
114bool tomoyo_compare_number_union(const unsigned long value,
115 const struct tomoyo_number_union *ptr)
116{
117 if (ptr->is_group)
118 return tomoyo_number_matches_group(value, value, ptr->group);
119 return value >= ptr->values[0] && value <= ptr->values[1];
120}
121
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900122/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900123 * tomoyo_path2keyword - Get the name of single path operation.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900124 *
125 * @operation: Type of operation.
126 *
127 * Returns the name of single path operation.
128 */
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900129const char *tomoyo_path2keyword(const u8 operation)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900130{
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900131 return (operation < TOMOYO_MAX_PATH_OPERATION)
132 ? tomoyo_path_keyword[operation] : NULL;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900133}
134
135/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900136 * tomoyo_path_number32keyword - Get the name of path/number/number/number operations.
137 *
138 * @operation: Type of operation.
139 *
140 * Returns the name of path/number/number/number operation.
141 */
142const char *tomoyo_path_number32keyword(const u8 operation)
143{
144 return (operation < TOMOYO_MAX_PATH_NUMBER3_OPERATION)
145 ? tomoyo_path_number3_keyword[operation] : NULL;
146}
147
148/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900149 * tomoyo_path22keyword - Get the name of double path operation.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900150 *
151 * @operation: Type of operation.
152 *
153 * Returns the name of double path operation.
154 */
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900155const char *tomoyo_path22keyword(const u8 operation)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900156{
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900157 return (operation < TOMOYO_MAX_PATH2_OPERATION)
158 ? tomoyo_path2_keyword[operation] : NULL;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900159}
160
161/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900162 * tomoyo_path_number2keyword - Get the name of path/number operations.
163 *
164 * @operation: Type of operation.
165 *
166 * Returns the name of path/number operation.
167 */
168const char *tomoyo_path_number2keyword(const u8 operation)
169{
170 return (operation < TOMOYO_MAX_PATH_NUMBER_OPERATION)
171 ? tomoyo_path_number_keyword[operation] : NULL;
172}
173
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900174static void tomoyo_add_slash(struct tomoyo_path_info *buf)
175{
176 if (buf->is_dir)
177 return;
178 /*
179 * This is OK because tomoyo_encode() reserves space for appending "/".
180 */
181 strcat((char *) buf->name, "/");
182 tomoyo_fill_path_info(buf);
183}
184
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900185/**
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900186 * tomoyo_strendswith - Check whether the token ends with the given token.
187 *
188 * @name: The token to check.
189 * @tail: The token to find.
190 *
191 * Returns true if @name ends with @tail, false otherwise.
192 */
193static bool tomoyo_strendswith(const char *name, const char *tail)
194{
195 int len;
196
197 if (!name || !tail)
198 return false;
199 len = strlen(name) - strlen(tail);
200 return len >= 0 && !strcmp(name + len, tail);
201}
202
203/**
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900204 * tomoyo_get_realpath - Get realpath.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900205 *
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900206 * @buf: Pointer to "struct tomoyo_path_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900207 * @path: Pointer to "struct path".
208 *
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900209 * Returns true on success, false otherwise.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900210 */
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900211static bool tomoyo_get_realpath(struct tomoyo_path_info *buf, struct path *path)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900212{
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900213 buf->name = tomoyo_realpath_from_path(path);
214 if (buf->name) {
215 tomoyo_fill_path_info(buf);
216 return true;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900217 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +0900218 return false;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900219}
220
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900221static int tomoyo_update_path2_acl(const u8 type, const char *filename1,
222 const char *filename2,
223 struct tomoyo_domain_info *const domain,
224 const bool is_delete);
225static int tomoyo_update_path_acl(const u8 type, const char *filename,
226 struct tomoyo_domain_info *const domain,
227 const bool is_delete);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900228
Tetsuo Handac3fa1092009-06-08 12:37:39 +0900229/*
230 * tomoyo_globally_readable_list is used for holding list of pathnames which
231 * are by default allowed to be open()ed for reading by any process.
232 *
233 * An entry is added by
234 *
235 * # echo 'allow_read /lib/libc-2.5.so' > \
236 * /sys/kernel/security/tomoyo/exception_policy
237 *
238 * and is deleted by
239 *
240 * # echo 'delete allow_read /lib/libc-2.5.so' > \
241 * /sys/kernel/security/tomoyo/exception_policy
242 *
243 * and all entries are retrieved by
244 *
245 * # grep ^allow_read /sys/kernel/security/tomoyo/exception_policy
246 *
247 * In the example above, any process is allowed to
248 * open("/lib/libc-2.5.so", O_RDONLY).
249 * One exception is, if the domain which current process belongs to is marked
250 * as "ignore_global_allow_read", current process can't do so unless explicitly
251 * given "allow_read /lib/libc-2.5.so" to the domain which current process
252 * belongs to.
253 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900254LIST_HEAD(tomoyo_globally_readable_list);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900255
256/**
257 * tomoyo_update_globally_readable_entry - Update "struct tomoyo_globally_readable_file_entry" list.
258 *
259 * @filename: Filename unconditionally permitted to open() for reading.
260 * @is_delete: True if it is a delete request.
261 *
262 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900263 *
264 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900265 */
266static int tomoyo_update_globally_readable_entry(const char *filename,
267 const bool is_delete)
268{
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900269 struct tomoyo_globally_readable_file_entry *ptr;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900270 struct tomoyo_globally_readable_file_entry e = { };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900271 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900272
Tetsuo Handa3f629632010-06-03 20:37:26 +0900273 if (!tomoyo_is_correct_word(filename))
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900274 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900275 e.filename = tomoyo_get_name(filename);
276 if (!e.filename)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900277 return -ENOMEM;
Tetsuo Handa29282382010-05-06 00:18:15 +0900278 if (mutex_lock_interruptible(&tomoyo_policy_lock))
279 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900280 list_for_each_entry_rcu(ptr, &tomoyo_globally_readable_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900281 if (ptr->filename != e.filename)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900282 continue;
283 ptr->is_deleted = is_delete;
284 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900285 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900286 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900287 if (!is_delete && error) {
288 struct tomoyo_globally_readable_file_entry *entry =
289 tomoyo_commit_ok(&e, sizeof(e));
290 if (entry) {
291 list_add_tail_rcu(&entry->list,
292 &tomoyo_globally_readable_list);
293 error = 0;
294 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900295 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900296 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900297 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900298 tomoyo_put_name(e.filename);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900299 return error;
300}
301
302/**
303 * tomoyo_is_globally_readable_file - Check if the file is unconditionnaly permitted to be open()ed for reading.
304 *
305 * @filename: The filename to check.
306 *
307 * Returns true if any domain can open @filename for reading, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900308 *
309 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900310 */
311static bool tomoyo_is_globally_readable_file(const struct tomoyo_path_info *
312 filename)
313{
314 struct tomoyo_globally_readable_file_entry *ptr;
315 bool found = false;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900316
317 list_for_each_entry_rcu(ptr, &tomoyo_globally_readable_list, list) {
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900318 if (!ptr->is_deleted &&
319 tomoyo_path_matches_pattern(filename, ptr->filename)) {
320 found = true;
321 break;
322 }
323 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900324 return found;
325}
326
327/**
328 * tomoyo_write_globally_readable_policy - Write "struct tomoyo_globally_readable_file_entry" list.
329 *
330 * @data: String to parse.
331 * @is_delete: True if it is a delete request.
332 *
333 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900334 *
335 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900336 */
337int tomoyo_write_globally_readable_policy(char *data, const bool is_delete)
338{
339 return tomoyo_update_globally_readable_entry(data, is_delete);
340}
341
342/**
343 * tomoyo_read_globally_readable_policy - Read "struct tomoyo_globally_readable_file_entry" list.
344 *
345 * @head: Pointer to "struct tomoyo_io_buffer".
346 *
347 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900348 *
349 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900350 */
351bool tomoyo_read_globally_readable_policy(struct tomoyo_io_buffer *head)
352{
353 struct list_head *pos;
354 bool done = true;
355
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900356 list_for_each_cookie(pos, head->read_var2,
357 &tomoyo_globally_readable_list) {
358 struct tomoyo_globally_readable_file_entry *ptr;
359 ptr = list_entry(pos,
360 struct tomoyo_globally_readable_file_entry,
361 list);
362 if (ptr->is_deleted)
363 continue;
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900364 done = tomoyo_io_printf(head, TOMOYO_KEYWORD_ALLOW_READ "%s\n",
365 ptr->filename->name);
366 if (!done)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900367 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900368 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900369 return done;
370}
371
Tetsuo Handac3fa1092009-06-08 12:37:39 +0900372/* tomoyo_pattern_list is used for holding list of pathnames which are used for
373 * converting pathnames to pathname patterns during learning mode.
374 *
375 * An entry is added by
376 *
377 * # echo 'file_pattern /proc/\$/mounts' > \
378 * /sys/kernel/security/tomoyo/exception_policy
379 *
380 * and is deleted by
381 *
382 * # echo 'delete file_pattern /proc/\$/mounts' > \
383 * /sys/kernel/security/tomoyo/exception_policy
384 *
385 * and all entries are retrieved by
386 *
387 * # grep ^file_pattern /sys/kernel/security/tomoyo/exception_policy
388 *
389 * In the example above, if a process which belongs to a domain which is in
390 * learning mode requested open("/proc/1/mounts", O_RDONLY),
391 * "allow_read /proc/\$/mounts" is automatically added to the domain which that
392 * process belongs to.
393 *
394 * It is not a desirable behavior that we have to use /proc/\$/ instead of
395 * /proc/self/ when current process needs to access only current process's
396 * information. As of now, LSM version of TOMOYO is using __d_path() for
397 * calculating pathname. Non LSM version of TOMOYO is using its own function
398 * which pretends as if /proc/self/ is not a symlink; so that we can forbid
399 * current process from accessing other process's information.
400 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900401LIST_HEAD(tomoyo_pattern_list);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900402
403/**
404 * tomoyo_update_file_pattern_entry - Update "struct tomoyo_pattern_entry" list.
405 *
406 * @pattern: Pathname pattern.
407 * @is_delete: True if it is a delete request.
408 *
409 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900410 *
411 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900412 */
413static int tomoyo_update_file_pattern_entry(const char *pattern,
414 const bool is_delete)
415{
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900416 struct tomoyo_pattern_entry *ptr;
Tetsuo Handa3f629632010-06-03 20:37:26 +0900417 struct tomoyo_pattern_entry e = { };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900418 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900419
Tetsuo Handa3f629632010-06-03 20:37:26 +0900420 if (!tomoyo_is_correct_word(pattern))
421 return -EINVAL;
422 e.pattern = tomoyo_get_name(pattern);
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900423 if (!e.pattern)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900424 return error;
Tetsuo Handa29282382010-05-06 00:18:15 +0900425 if (mutex_lock_interruptible(&tomoyo_policy_lock))
426 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900427 list_for_each_entry_rcu(ptr, &tomoyo_pattern_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900428 if (e.pattern != ptr->pattern)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900429 continue;
430 ptr->is_deleted = is_delete;
431 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900432 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900433 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900434 if (!is_delete && error) {
435 struct tomoyo_pattern_entry *entry =
436 tomoyo_commit_ok(&e, sizeof(e));
437 if (entry) {
438 list_add_tail_rcu(&entry->list, &tomoyo_pattern_list);
439 error = 0;
440 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900441 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900442 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900443 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900444 tomoyo_put_name(e.pattern);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900445 return error;
446}
447
448/**
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900449 * tomoyo_file_pattern - Get patterned pathname.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900450 *
451 * @filename: The filename to find patterned pathname.
452 *
453 * Returns pointer to pathname pattern if matched, @filename otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900454 *
455 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900456 */
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900457const char *tomoyo_file_pattern(const struct tomoyo_path_info *filename)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900458{
459 struct tomoyo_pattern_entry *ptr;
460 const struct tomoyo_path_info *pattern = NULL;
461
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900462 list_for_each_entry_rcu(ptr, &tomoyo_pattern_list, list) {
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900463 if (ptr->is_deleted)
464 continue;
465 if (!tomoyo_path_matches_pattern(filename, ptr->pattern))
466 continue;
467 pattern = ptr->pattern;
468 if (tomoyo_strendswith(pattern->name, "/\\*")) {
469 /* Do nothing. Try to find the better match. */
470 } else {
471 /* This would be the better match. Use this. */
472 break;
473 }
474 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900475 if (pattern)
476 filename = pattern;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900477 return filename->name;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900478}
479
480/**
481 * tomoyo_write_pattern_policy - Write "struct tomoyo_pattern_entry" list.
482 *
483 * @data: String to parse.
484 * @is_delete: True if it is a delete request.
485 *
486 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900487 *
488 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900489 */
490int tomoyo_write_pattern_policy(char *data, const bool is_delete)
491{
492 return tomoyo_update_file_pattern_entry(data, is_delete);
493}
494
495/**
496 * tomoyo_read_file_pattern - Read "struct tomoyo_pattern_entry" list.
497 *
498 * @head: Pointer to "struct tomoyo_io_buffer".
499 *
500 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900501 *
502 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900503 */
504bool tomoyo_read_file_pattern(struct tomoyo_io_buffer *head)
505{
506 struct list_head *pos;
507 bool done = true;
508
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900509 list_for_each_cookie(pos, head->read_var2, &tomoyo_pattern_list) {
510 struct tomoyo_pattern_entry *ptr;
511 ptr = list_entry(pos, struct tomoyo_pattern_entry, list);
512 if (ptr->is_deleted)
513 continue;
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900514 done = tomoyo_io_printf(head, TOMOYO_KEYWORD_FILE_PATTERN
515 "%s\n", ptr->pattern->name);
516 if (!done)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900517 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900518 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900519 return done;
520}
521
Tetsuo Handac3fa1092009-06-08 12:37:39 +0900522/*
523 * tomoyo_no_rewrite_list is used for holding list of pathnames which are by
524 * default forbidden to modify already written content of a file.
525 *
526 * An entry is added by
527 *
528 * # echo 'deny_rewrite /var/log/messages' > \
529 * /sys/kernel/security/tomoyo/exception_policy
530 *
531 * and is deleted by
532 *
533 * # echo 'delete deny_rewrite /var/log/messages' > \
534 * /sys/kernel/security/tomoyo/exception_policy
535 *
536 * and all entries are retrieved by
537 *
538 * # grep ^deny_rewrite /sys/kernel/security/tomoyo/exception_policy
539 *
540 * In the example above, if a process requested to rewrite /var/log/messages ,
541 * the process can't rewrite unless the domain which that process belongs to
542 * has "allow_rewrite /var/log/messages" entry.
543 *
544 * It is not a desirable behavior that we have to add "\040(deleted)" suffix
545 * when we want to allow rewriting already unlink()ed file. As of now,
546 * LSM version of TOMOYO is using __d_path() for calculating pathname.
547 * Non LSM version of TOMOYO is using its own function which doesn't append
548 * " (deleted)" suffix if the file is already unlink()ed; so that we don't
549 * need to worry whether the file is already unlink()ed or not.
550 */
Tetsuo Handa847b1732010-02-11 09:43:54 +0900551LIST_HEAD(tomoyo_no_rewrite_list);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900552
553/**
554 * tomoyo_update_no_rewrite_entry - Update "struct tomoyo_no_rewrite_entry" list.
555 *
556 * @pattern: Pathname pattern that are not rewritable by default.
557 * @is_delete: True if it is a delete request.
558 *
559 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900560 *
561 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900562 */
563static int tomoyo_update_no_rewrite_entry(const char *pattern,
564 const bool is_delete)
565{
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900566 struct tomoyo_no_rewrite_entry *ptr;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900567 struct tomoyo_no_rewrite_entry e = { };
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900568 int error = is_delete ? -ENOENT : -ENOMEM;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900569
Tetsuo Handa3f629632010-06-03 20:37:26 +0900570 if (!tomoyo_is_correct_word(pattern))
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900571 return -EINVAL;
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900572 e.pattern = tomoyo_get_name(pattern);
573 if (!e.pattern)
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900574 return error;
Tetsuo Handa29282382010-05-06 00:18:15 +0900575 if (mutex_lock_interruptible(&tomoyo_policy_lock))
576 goto out;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900577 list_for_each_entry_rcu(ptr, &tomoyo_no_rewrite_list, list) {
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900578 if (ptr->pattern != e.pattern)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900579 continue;
580 ptr->is_deleted = is_delete;
581 error = 0;
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900582 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900583 }
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900584 if (!is_delete && error) {
585 struct tomoyo_no_rewrite_entry *entry =
586 tomoyo_commit_ok(&e, sizeof(e));
587 if (entry) {
588 list_add_tail_rcu(&entry->list,
589 &tomoyo_no_rewrite_list);
590 error = 0;
591 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900592 }
Tetsuo Handaf737d952010-01-03 21:16:32 +0900593 mutex_unlock(&tomoyo_policy_lock);
Tetsuo Handa29282382010-05-06 00:18:15 +0900594 out:
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900595 tomoyo_put_name(e.pattern);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900596 return error;
597}
598
599/**
600 * tomoyo_is_no_rewrite_file - Check if the given pathname is not permitted to be rewrited.
601 *
602 * @filename: Filename to check.
603 *
604 * Returns true if @filename is specified by "deny_rewrite" directive,
605 * false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900606 *
607 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900608 */
609static bool tomoyo_is_no_rewrite_file(const struct tomoyo_path_info *filename)
610{
611 struct tomoyo_no_rewrite_entry *ptr;
612 bool found = false;
613
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900614 list_for_each_entry_rcu(ptr, &tomoyo_no_rewrite_list, list) {
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900615 if (ptr->is_deleted)
616 continue;
617 if (!tomoyo_path_matches_pattern(filename, ptr->pattern))
618 continue;
619 found = true;
620 break;
621 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900622 return found;
623}
624
625/**
626 * tomoyo_write_no_rewrite_policy - Write "struct tomoyo_no_rewrite_entry" list.
627 *
628 * @data: String to parse.
629 * @is_delete: True if it is a delete request.
630 *
631 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900632 *
633 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900634 */
635int tomoyo_write_no_rewrite_policy(char *data, const bool is_delete)
636{
637 return tomoyo_update_no_rewrite_entry(data, is_delete);
638}
639
640/**
641 * tomoyo_read_no_rewrite_policy - Read "struct tomoyo_no_rewrite_entry" list.
642 *
643 * @head: Pointer to "struct tomoyo_io_buffer".
644 *
645 * Returns true on success, false otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900646 *
647 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900648 */
649bool tomoyo_read_no_rewrite_policy(struct tomoyo_io_buffer *head)
650{
651 struct list_head *pos;
652 bool done = true;
653
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900654 list_for_each_cookie(pos, head->read_var2, &tomoyo_no_rewrite_list) {
655 struct tomoyo_no_rewrite_entry *ptr;
656 ptr = list_entry(pos, struct tomoyo_no_rewrite_entry, list);
657 if (ptr->is_deleted)
658 continue;
Tetsuo Handa7d2948b2009-06-02 20:42:24 +0900659 done = tomoyo_io_printf(head, TOMOYO_KEYWORD_DENY_REWRITE
660 "%s\n", ptr->pattern->name);
661 if (!done)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900662 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900663 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900664 return done;
665}
666
667/**
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900668 * tomoyo_path_acl - Check permission for single path operation.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900669 *
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900670 * @r: Pointer to "struct tomoyo_request_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900671 * @filename: Filename to check.
672 * @perm: Permission.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900673 *
674 * Returns 0 on success, -EPERM otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900675 *
676 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900677 */
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900678static int tomoyo_path_acl(const struct tomoyo_request_info *r,
679 const struct tomoyo_path_info *filename,
Tetsuo Handa3f629632010-06-03 20:37:26 +0900680 const u32 perm)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900681{
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900682 struct tomoyo_domain_info *domain = r->domain;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900683 struct tomoyo_acl_info *ptr;
684 int error = -EPERM;
685
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900686 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900687 struct tomoyo_path_acl *acl;
688 if (ptr->type != TOMOYO_TYPE_PATH_ACL)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900689 continue;
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900690 acl = container_of(ptr, struct tomoyo_path_acl, head);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900691 if (!(acl->perm & perm) ||
Tetsuo Handa3f629632010-06-03 20:37:26 +0900692 !tomoyo_compare_name_union(filename, &acl->name))
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900693 continue;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900694 error = 0;
695 break;
696 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900697 return error;
698}
699
700/**
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900701 * tomoyo_file_perm - Check permission for opening files.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900702 *
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900703 * @r: Pointer to "struct tomoyo_request_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900704 * @filename: Filename to check.
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900705 * @mode: Mode ("read" or "write" or "read/write" or "execute").
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900706 *
707 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900708 *
709 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900710 */
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900711static int tomoyo_file_perm(struct tomoyo_request_info *r,
712 const struct tomoyo_path_info *filename,
713 const u8 mode)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900714{
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900715 const char *msg = "<unknown>";
716 int error = 0;
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900717 u32 perm = 0;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900718
719 if (!filename)
720 return 0;
Tetsuo Handacb0abe62010-05-17 10:08:05 +0900721
722 if (mode == 6) {
723 msg = tomoyo_path2keyword(TOMOYO_TYPE_READ_WRITE);
724 perm = 1 << TOMOYO_TYPE_READ_WRITE;
725 } else if (mode == 4) {
726 msg = tomoyo_path2keyword(TOMOYO_TYPE_READ);
727 perm = 1 << TOMOYO_TYPE_READ;
728 } else if (mode == 2) {
729 msg = tomoyo_path2keyword(TOMOYO_TYPE_WRITE);
730 perm = 1 << TOMOYO_TYPE_WRITE;
731 } else if (mode == 1) {
732 msg = tomoyo_path2keyword(TOMOYO_TYPE_EXECUTE);
733 perm = 1 << TOMOYO_TYPE_EXECUTE;
734 } else
735 BUG();
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900736 do {
Tetsuo Handa3f629632010-06-03 20:37:26 +0900737 error = tomoyo_path_acl(r, filename, perm);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900738 if (error && mode == 4 && !r->domain->ignore_global_allow_read
739 && tomoyo_is_globally_readable_file(filename))
740 error = 0;
741 if (!error)
742 break;
743 tomoyo_warn_log(r, "%s %s", msg, filename->name);
744 error = tomoyo_supervisor(r, "allow_%s %s\n", msg,
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900745 tomoyo_file_pattern(filename));
746 /*
747 * Do not retry for execute request, for alias may have
748 * changed.
749 */
750 } while (error == TOMOYO_RETRY_REQUEST && mode != 1);
751 if (r->mode != TOMOYO_CONFIG_ENFORCING)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900752 error = 0;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +0900753 return error;
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900754}
755
Tetsuo Handa237ab452010-06-12 20:46:22 +0900756static bool tomoyo_same_path_acl(const struct tomoyo_acl_info *a,
757 const struct tomoyo_acl_info *b)
758{
759 const struct tomoyo_path_acl *p1 = container_of(a, typeof(*p1), head);
760 const struct tomoyo_path_acl *p2 = container_of(b, typeof(*p2), head);
761 return tomoyo_is_same_acl_head(&p1->head, &p2->head) &&
762 tomoyo_is_same_name_union(&p1->name, &p2->name);
763}
764
765static bool tomoyo_merge_path_acl(struct tomoyo_acl_info *a,
766 struct tomoyo_acl_info *b,
767 const bool is_delete)
768{
769 u16 * const a_perm = &container_of(a, struct tomoyo_path_acl, head)
770 ->perm;
771 u16 perm = *a_perm;
772 const u16 b_perm = container_of(b, struct tomoyo_path_acl, head)->perm;
773 if (is_delete) {
774 perm &= ~b_perm;
775 if ((perm & TOMOYO_RW_MASK) != TOMOYO_RW_MASK)
776 perm &= ~(1 << TOMOYO_TYPE_READ_WRITE);
777 else if (!(perm & (1 << TOMOYO_TYPE_READ_WRITE)))
778 perm &= ~TOMOYO_RW_MASK;
779 } else {
780 perm |= b_perm;
781 if ((perm & TOMOYO_RW_MASK) == TOMOYO_RW_MASK)
782 perm |= (1 << TOMOYO_TYPE_READ_WRITE);
783 else if (perm & (1 << TOMOYO_TYPE_READ_WRITE))
784 perm |= TOMOYO_RW_MASK;
785 }
786 *a_perm = perm;
787 return !perm;
788}
789
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900790/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900791 * tomoyo_update_path_acl - Update "struct tomoyo_path_acl" list.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900792 *
793 * @type: Type of operation.
794 * @filename: Filename.
795 * @domain: Pointer to "struct tomoyo_domain_info".
796 * @is_delete: True if it is a delete request.
797 *
798 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900799 *
800 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900801 */
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900802static int tomoyo_update_path_acl(const u8 type, const char *filename,
Tetsuo Handa237ab452010-06-12 20:46:22 +0900803 struct tomoyo_domain_info * const domain,
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900804 const bool is_delete)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900805{
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900806 struct tomoyo_path_acl e = {
807 .head.type = TOMOYO_TYPE_PATH_ACL,
Tetsuo Handa237ab452010-06-12 20:46:22 +0900808 .perm = 1 << type
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900809 };
Tetsuo Handa237ab452010-06-12 20:46:22 +0900810 int error;
811 if (e.perm == (1 << TOMOYO_TYPE_READ_WRITE))
812 e.perm |= TOMOYO_RW_MASK;
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900813 if (!tomoyo_parse_name_union(filename, &e.name))
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900814 return -EINVAL;
Tetsuo Handa237ab452010-06-12 20:46:22 +0900815 error = tomoyo_update_domain(&e.head, sizeof(e), is_delete, domain,
816 tomoyo_same_path_acl,
817 tomoyo_merge_path_acl);
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900818 tomoyo_put_name_union(&e.name);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900819 return error;
820}
821
Tetsuo Handa237ab452010-06-12 20:46:22 +0900822static bool tomoyo_same_path_number3_acl(const struct tomoyo_acl_info *a,
823 const struct tomoyo_acl_info *b)
824{
825 const struct tomoyo_path_number3_acl *p1 = container_of(a, typeof(*p1),
826 head);
827 const struct tomoyo_path_number3_acl *p2 = container_of(b, typeof(*p2),
828 head);
829 return tomoyo_is_same_acl_head(&p1->head, &p2->head)
830 && tomoyo_is_same_name_union(&p1->name, &p2->name)
831 && tomoyo_is_same_number_union(&p1->mode, &p2->mode)
832 && tomoyo_is_same_number_union(&p1->major, &p2->major)
833 && tomoyo_is_same_number_union(&p1->minor, &p2->minor);
834}
835
836static bool tomoyo_merge_path_number3_acl(struct tomoyo_acl_info *a,
837 struct tomoyo_acl_info *b,
838 const bool is_delete)
839{
840 u8 *const a_perm = &container_of(a, struct tomoyo_path_number3_acl,
841 head)->perm;
842 u8 perm = *a_perm;
843 const u8 b_perm = container_of(b, struct tomoyo_path_number3_acl, head)
844 ->perm;
845 if (is_delete)
846 perm &= ~b_perm;
847 else
848 perm |= b_perm;
849 *a_perm = perm;
850 return !perm;
851}
852
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900853/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900854 * tomoyo_update_path_number3_acl - Update "struct tomoyo_path_number3_acl" list.
855 *
856 * @type: Type of operation.
857 * @filename: Filename.
858 * @mode: Create mode.
859 * @major: Device major number.
860 * @minor: Device minor number.
861 * @domain: Pointer to "struct tomoyo_domain_info".
862 * @is_delete: True if it is a delete request.
863 *
864 * Returns 0 on success, negative value otherwise.
Tetsuo Handa237ab452010-06-12 20:46:22 +0900865 *
866 * Caller holds tomoyo_read_lock().
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900867 */
Tetsuo Handa237ab452010-06-12 20:46:22 +0900868static int tomoyo_update_path_number3_acl(const u8 type, const char *filename,
869 char *mode, char *major, char *minor,
870 struct tomoyo_domain_info * const
871 domain, const bool is_delete)
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900872{
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900873 struct tomoyo_path_number3_acl e = {
874 .head.type = TOMOYO_TYPE_PATH_NUMBER3_ACL,
Tetsuo Handa237ab452010-06-12 20:46:22 +0900875 .perm = 1 << type
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900876 };
877 int error = is_delete ? -ENOENT : -ENOMEM;
878 if (!tomoyo_parse_name_union(filename, &e.name) ||
879 !tomoyo_parse_number_union(mode, &e.mode) ||
880 !tomoyo_parse_number_union(major, &e.major) ||
881 !tomoyo_parse_number_union(minor, &e.minor))
882 goto out;
Tetsuo Handa237ab452010-06-12 20:46:22 +0900883 error = tomoyo_update_domain(&e.head, sizeof(e), is_delete, domain,
884 tomoyo_same_path_number3_acl,
885 tomoyo_merge_path_number3_acl);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900886 out:
887 tomoyo_put_name_union(&e.name);
888 tomoyo_put_number_union(&e.mode);
889 tomoyo_put_number_union(&e.major);
890 tomoyo_put_number_union(&e.minor);
891 return error;
892}
893
Tetsuo Handa237ab452010-06-12 20:46:22 +0900894static bool tomoyo_same_path2_acl(const struct tomoyo_acl_info *a,
895 const struct tomoyo_acl_info *b)
896{
897 const struct tomoyo_path2_acl *p1 = container_of(a, typeof(*p1), head);
898 const struct tomoyo_path2_acl *p2 = container_of(b, typeof(*p2), head);
899 return tomoyo_is_same_acl_head(&p1->head, &p2->head)
900 && tomoyo_is_same_name_union(&p1->name1, &p2->name1)
901 && tomoyo_is_same_name_union(&p1->name2, &p2->name2);
902}
903
904static bool tomoyo_merge_path2_acl(struct tomoyo_acl_info *a,
905 struct tomoyo_acl_info *b,
906 const bool is_delete)
907{
908 u8 * const a_perm = &container_of(a, struct tomoyo_path2_acl, head)
909 ->perm;
910 u8 perm = *a_perm;
911 const u8 b_perm = container_of(b, struct tomoyo_path2_acl, head)->perm;
912 if (is_delete)
913 perm &= ~b_perm;
914 else
915 perm |= b_perm;
916 *a_perm = perm;
917 return !perm;
918}
919
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900920/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900921 * tomoyo_update_path2_acl - Update "struct tomoyo_path2_acl" list.
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900922 *
923 * @type: Type of operation.
924 * @filename1: First filename.
925 * @filename2: Second filename.
926 * @domain: Pointer to "struct tomoyo_domain_info".
927 * @is_delete: True if it is a delete request.
928 *
929 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +0900930 *
931 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900932 */
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900933static int tomoyo_update_path2_acl(const u8 type, const char *filename1,
934 const char *filename2,
Tetsuo Handa237ab452010-06-12 20:46:22 +0900935 struct tomoyo_domain_info * const domain,
Tetsuo Handa7ef61232010-02-16 08:03:30 +0900936 const bool is_delete)
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900937{
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900938 struct tomoyo_path2_acl e = {
939 .head.type = TOMOYO_TYPE_PATH2_ACL,
Tetsuo Handa237ab452010-06-12 20:46:22 +0900940 .perm = 1 << type
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900941 };
Tetsuo Handa9e4b50e2010-05-06 12:40:02 +0900942 int error = is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900943 if (!tomoyo_parse_name_union(filename1, &e.name1) ||
944 !tomoyo_parse_name_union(filename2, &e.name2))
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900945 goto out;
Tetsuo Handa237ab452010-06-12 20:46:22 +0900946 error = tomoyo_update_domain(&e.head, sizeof(e), is_delete, domain,
947 tomoyo_same_path2_acl,
948 tomoyo_merge_path2_acl);
Tetsuo Handaca0b7df2010-02-07 20:23:59 +0900949 out:
Tetsuo Handa7762fbf2010-05-10 17:30:26 +0900950 tomoyo_put_name_union(&e.name1);
951 tomoyo_put_name_union(&e.name2);
Kentaro Takedab69a54e2009-02-05 17:18:14 +0900952 return error;
953}
954
955/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +0900956 * tomoyo_path_number3_acl - Check permission for path/number/number/number operation.
957 *
958 * @r: Pointer to "struct tomoyo_request_info".
959 * @filename: Filename to check.
960 * @perm: Permission.
961 * @mode: Create mode.
962 * @major: Device major number.
963 * @minor: Device minor number.
964 *
965 * Returns 0 on success, -EPERM otherwise.
966 *
967 * Caller holds tomoyo_read_lock().
968 */
969static int tomoyo_path_number3_acl(struct tomoyo_request_info *r,
970 const struct tomoyo_path_info *filename,
971 const u16 perm, const unsigned int mode,
972 const unsigned int major,
973 const unsigned int minor)
974{
975 struct tomoyo_domain_info *domain = r->domain;
976 struct tomoyo_acl_info *ptr;
977 int error = -EPERM;
978 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
979 struct tomoyo_path_number3_acl *acl;
980 if (ptr->type != TOMOYO_TYPE_PATH_NUMBER3_ACL)
981 continue;
982 acl = container_of(ptr, struct tomoyo_path_number3_acl, head);
983 if (!tomoyo_compare_number_union(mode, &acl->mode))
984 continue;
985 if (!tomoyo_compare_number_union(major, &acl->major))
986 continue;
987 if (!tomoyo_compare_number_union(minor, &acl->minor))
988 continue;
989 if (!(acl->perm & perm))
990 continue;
991 if (!tomoyo_compare_name_union(filename, &acl->name))
992 continue;
993 error = 0;
994 break;
995 }
996 return error;
997}
998
999/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001000 * tomoyo_path2_acl - Check permission for double path operation.
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001001 *
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001002 * @r: Pointer to "struct tomoyo_request_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001003 * @type: Type of operation.
1004 * @filename1: First filename to check.
1005 * @filename2: Second filename to check.
1006 *
1007 * Returns 0 on success, -EPERM otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001008 *
1009 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001010 */
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001011static int tomoyo_path2_acl(const struct tomoyo_request_info *r, const u8 type,
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001012 const struct tomoyo_path_info *filename1,
1013 const struct tomoyo_path_info *filename2)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001014{
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001015 const struct tomoyo_domain_info *domain = r->domain;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001016 struct tomoyo_acl_info *ptr;
1017 const u8 perm = 1 << type;
1018 int error = -EPERM;
1019
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001020 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001021 struct tomoyo_path2_acl *acl;
1022 if (ptr->type != TOMOYO_TYPE_PATH2_ACL)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001023 continue;
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001024 acl = container_of(ptr, struct tomoyo_path2_acl, head);
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001025 if (!(acl->perm & perm))
1026 continue;
Tetsuo Handa7762fbf2010-05-10 17:30:26 +09001027 if (!tomoyo_compare_name_union(filename1, &acl->name1))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001028 continue;
Tetsuo Handa7762fbf2010-05-10 17:30:26 +09001029 if (!tomoyo_compare_name_union(filename2, &acl->name2))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001030 continue;
1031 error = 0;
1032 break;
1033 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001034 return error;
1035}
1036
1037/**
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001038 * tomoyo_path_permission - Check permission for single path operation.
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001039 *
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001040 * @r: Pointer to "struct tomoyo_request_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001041 * @operation: Type of operation.
1042 * @filename: Filename to check.
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001043 *
1044 * Returns 0 on success, negative value otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001045 *
1046 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001047 */
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001048static int tomoyo_path_permission(struct tomoyo_request_info *r, u8 operation,
1049 const struct tomoyo_path_info *filename)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001050{
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001051 const char *msg;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001052 int error;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001053
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001054 next:
Tetsuo Handa57c25902010-06-03 20:38:44 +09001055 r->type = tomoyo_p2mac[operation];
1056 r->mode = tomoyo_get_mode(r->profile, r->type);
1057 if (r->mode == TOMOYO_CONFIG_DISABLED)
1058 return 0;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001059 do {
Tetsuo Handa3f629632010-06-03 20:37:26 +09001060 error = tomoyo_path_acl(r, filename, 1 << operation);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001061 if (!error)
1062 break;
1063 msg = tomoyo_path2keyword(operation);
1064 tomoyo_warn_log(r, "%s %s", msg, filename->name);
1065 error = tomoyo_supervisor(r, "allow_%s %s\n", msg,
1066 tomoyo_file_pattern(filename));
1067 } while (error == TOMOYO_RETRY_REQUEST);
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001068 if (r->mode != TOMOYO_CONFIG_ENFORCING)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001069 error = 0;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001070 /*
1071 * Since "allow_truncate" doesn't imply "allow_rewrite" permission,
1072 * we need to check "allow_rewrite" permission if the filename is
1073 * specified by "deny_rewrite" keyword.
1074 */
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001075 if (!error && operation == TOMOYO_TYPE_TRUNCATE &&
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001076 tomoyo_is_no_rewrite_file(filename)) {
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001077 operation = TOMOYO_TYPE_REWRITE;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001078 goto next;
1079 }
1080 return error;
1081}
1082
1083/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001084 * tomoyo_path_number_acl - Check permission for ioctl/chmod/chown/chgrp operation.
1085 *
1086 * @r: Pointer to "struct tomoyo_request_info".
1087 * @type: Operation.
1088 * @filename: Filename to check.
1089 * @number: Number.
1090 *
1091 * Returns 0 on success, -EPERM otherwise.
1092 *
1093 * Caller holds tomoyo_read_lock().
1094 */
1095static int tomoyo_path_number_acl(struct tomoyo_request_info *r, const u8 type,
1096 const struct tomoyo_path_info *filename,
1097 const unsigned long number)
1098{
1099 struct tomoyo_domain_info *domain = r->domain;
1100 struct tomoyo_acl_info *ptr;
1101 const u8 perm = 1 << type;
1102 int error = -EPERM;
1103 list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) {
1104 struct tomoyo_path_number_acl *acl;
1105 if (ptr->type != TOMOYO_TYPE_PATH_NUMBER_ACL)
1106 continue;
1107 acl = container_of(ptr, struct tomoyo_path_number_acl,
1108 head);
1109 if (!(acl->perm & perm) ||
1110 !tomoyo_compare_number_union(number, &acl->number) ||
1111 !tomoyo_compare_name_union(filename, &acl->name))
1112 continue;
1113 error = 0;
1114 break;
1115 }
1116 return error;
1117}
1118
Tetsuo Handa237ab452010-06-12 20:46:22 +09001119static bool tomoyo_same_path_number_acl(const struct tomoyo_acl_info *a,
1120 const struct tomoyo_acl_info *b)
1121{
1122 const struct tomoyo_path_number_acl *p1 = container_of(a, typeof(*p1),
1123 head);
1124 const struct tomoyo_path_number_acl *p2 = container_of(b, typeof(*p2),
1125 head);
1126 return tomoyo_is_same_acl_head(&p1->head, &p2->head)
1127 && tomoyo_is_same_name_union(&p1->name, &p2->name)
1128 && tomoyo_is_same_number_union(&p1->number, &p2->number);
1129}
1130
1131static bool tomoyo_merge_path_number_acl(struct tomoyo_acl_info *a,
1132 struct tomoyo_acl_info *b,
1133 const bool is_delete)
1134{
1135 u8 * const a_perm = &container_of(a, struct tomoyo_path_number_acl,
1136 head)->perm;
1137 u8 perm = *a_perm;
1138 const u8 b_perm = container_of(b, struct tomoyo_path_number_acl, head)
1139 ->perm;
1140 if (is_delete)
1141 perm &= ~b_perm;
1142 else
1143 perm |= b_perm;
1144 *a_perm = perm;
1145 return !perm;
1146}
1147
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001148/**
1149 * tomoyo_update_path_number_acl - Update ioctl/chmod/chown/chgrp ACL.
1150 *
1151 * @type: Type of operation.
1152 * @filename: Filename.
1153 * @number: Number.
1154 * @domain: Pointer to "struct tomoyo_domain_info".
1155 * @is_delete: True if it is a delete request.
1156 *
1157 * Returns 0 on success, negative value otherwise.
1158 */
Tetsuo Handa237ab452010-06-12 20:46:22 +09001159static int tomoyo_update_path_number_acl(const u8 type, const char *filename,
1160 char *number,
1161 struct tomoyo_domain_info * const
1162 domain,
1163 const bool is_delete)
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001164{
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001165 struct tomoyo_path_number_acl e = {
1166 .head.type = TOMOYO_TYPE_PATH_NUMBER_ACL,
Tetsuo Handa237ab452010-06-12 20:46:22 +09001167 .perm = 1 << type
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001168 };
1169 int error = is_delete ? -ENOENT : -ENOMEM;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001170 if (!tomoyo_parse_name_union(filename, &e.name))
1171 return -EINVAL;
1172 if (!tomoyo_parse_number_union(number, &e.number))
1173 goto out;
Tetsuo Handa237ab452010-06-12 20:46:22 +09001174 error = tomoyo_update_domain(&e.head, sizeof(e), is_delete, domain,
1175 tomoyo_same_path_number_acl,
1176 tomoyo_merge_path_number_acl);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001177 out:
1178 tomoyo_put_name_union(&e.name);
1179 tomoyo_put_number_union(&e.number);
1180 return error;
1181}
1182
1183/**
1184 * tomoyo_path_number_perm2 - Check permission for "create", "mkdir", "mkfifo", "mksock", "ioctl", "chmod", "chown", "chgrp".
1185 *
1186 * @r: Pointer to "strct tomoyo_request_info".
1187 * @filename: Filename to check.
1188 * @number: Number.
1189 *
1190 * Returns 0 on success, negative value otherwise.
1191 *
1192 * Caller holds tomoyo_read_lock().
1193 */
1194static int tomoyo_path_number_perm2(struct tomoyo_request_info *r,
1195 const u8 type,
1196 const struct tomoyo_path_info *filename,
1197 const unsigned long number)
1198{
1199 char buffer[64];
1200 int error;
1201 u8 radix;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001202 const char *msg;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001203
1204 if (!filename)
1205 return 0;
1206 switch (type) {
1207 case TOMOYO_TYPE_CREATE:
1208 case TOMOYO_TYPE_MKDIR:
1209 case TOMOYO_TYPE_MKFIFO:
1210 case TOMOYO_TYPE_MKSOCK:
1211 case TOMOYO_TYPE_CHMOD:
1212 radix = TOMOYO_VALUE_TYPE_OCTAL;
1213 break;
1214 case TOMOYO_TYPE_IOCTL:
1215 radix = TOMOYO_VALUE_TYPE_HEXADECIMAL;
1216 break;
1217 default:
1218 radix = TOMOYO_VALUE_TYPE_DECIMAL;
1219 break;
1220 }
1221 tomoyo_print_ulong(buffer, sizeof(buffer), number, radix);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001222 do {
1223 error = tomoyo_path_number_acl(r, type, filename, number);
1224 if (!error)
1225 break;
1226 msg = tomoyo_path_number2keyword(type);
1227 tomoyo_warn_log(r, "%s %s %s", msg, filename->name, buffer);
1228 error = tomoyo_supervisor(r, "allow_%s %s %s\n", msg,
1229 tomoyo_file_pattern(filename),
1230 buffer);
1231 } while (error == TOMOYO_RETRY_REQUEST);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001232 if (r->mode != TOMOYO_CONFIG_ENFORCING)
1233 error = 0;
1234 return error;
1235}
1236
1237/**
1238 * tomoyo_path_number_perm - Check permission for "create", "mkdir", "mkfifo", "mksock", "ioctl", "chmod", "chown", "chgrp".
1239 *
1240 * @type: Type of operation.
1241 * @path: Pointer to "struct path".
1242 * @number: Number.
1243 *
1244 * Returns 0 on success, negative value otherwise.
1245 */
1246int tomoyo_path_number_perm(const u8 type, struct path *path,
1247 unsigned long number)
1248{
1249 struct tomoyo_request_info r;
1250 int error = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001251 struct tomoyo_path_info buf;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001252 int idx;
1253
Tetsuo Handa57c25902010-06-03 20:38:44 +09001254 if (tomoyo_init_request_info(&r, NULL, tomoyo_pn2mac[type])
1255 == TOMOYO_CONFIG_DISABLED || !path->mnt || !path->dentry)
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001256 return 0;
1257 idx = tomoyo_read_lock();
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001258 if (!tomoyo_get_realpath(&buf, path))
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001259 goto out;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001260 if (type == TOMOYO_TYPE_MKDIR)
1261 tomoyo_add_slash(&buf);
1262 error = tomoyo_path_number_perm2(&r, type, &buf, number);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001263 out:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001264 kfree(buf.name);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001265 tomoyo_read_unlock(idx);
1266 if (r.mode != TOMOYO_CONFIG_ENFORCING)
1267 error = 0;
1268 return error;
1269}
1270
1271/**
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001272 * tomoyo_check_exec_perm - Check permission for "execute".
1273 *
Tetsuo Handa57c25902010-06-03 20:38:44 +09001274 * @r: Pointer to "struct tomoyo_request_info".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001275 * @filename: Check permission for "execute".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001276 *
1277 * Returns 0 on success, negativevalue otherwise.
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001278 *
1279 * Caller holds tomoyo_read_lock().
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001280 */
Tetsuo Handa57c25902010-06-03 20:38:44 +09001281int tomoyo_check_exec_perm(struct tomoyo_request_info *r,
Tetsuo Handabcb86972009-06-04 15:14:34 +09001282 const struct tomoyo_path_info *filename)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001283{
Tetsuo Handa57c25902010-06-03 20:38:44 +09001284 if (r->mode == TOMOYO_CONFIG_DISABLED)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001285 return 0;
Tetsuo Handa57c25902010-06-03 20:38:44 +09001286 return tomoyo_file_perm(r, filename, 1);
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001287}
1288
1289/**
1290 * tomoyo_check_open_permission - Check permission for "read" and "write".
1291 *
1292 * @domain: Pointer to "struct tomoyo_domain_info".
1293 * @path: Pointer to "struct path".
1294 * @flag: Flags for open().
1295 *
1296 * Returns 0 on success, negative value otherwise.
1297 */
1298int tomoyo_check_open_permission(struct tomoyo_domain_info *domain,
1299 struct path *path, const int flag)
1300{
1301 const u8 acc_mode = ACC_MODE(flag);
1302 int error = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001303 struct tomoyo_path_info buf;
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001304 struct tomoyo_request_info r;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001305 int idx;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001306
Tetsuo Handa57c25902010-06-03 20:38:44 +09001307 if (!path->mnt ||
1308 (path->dentry->d_inode && S_ISDIR(path->dentry->d_inode->i_mode)))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001309 return 0;
Tetsuo Handa57c25902010-06-03 20:38:44 +09001310 buf.name = NULL;
1311 r.mode = TOMOYO_CONFIG_DISABLED;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001312 idx = tomoyo_read_lock();
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001313 if (!tomoyo_get_realpath(&buf, path))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001314 goto out;
1315 error = 0;
1316 /*
1317 * If the filename is specified by "deny_rewrite" keyword,
1318 * we need to check "allow_rewrite" permission when the filename is not
1319 * opened for append mode or the filename is truncated at open time.
1320 */
Tetsuo Handa57c25902010-06-03 20:38:44 +09001321 if ((acc_mode & MAY_WRITE) && !(flag & O_APPEND)
1322 && tomoyo_init_request_info(&r, domain, TOMOYO_MAC_FILE_REWRITE)
1323 != TOMOYO_CONFIG_DISABLED) {
1324 if (!tomoyo_get_realpath(&buf, path)) {
1325 error = -ENOMEM;
1326 goto out;
1327 }
1328 if (tomoyo_is_no_rewrite_file(&buf))
1329 error = tomoyo_path_permission(&r, TOMOYO_TYPE_REWRITE,
1330 &buf);
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001331 }
Tetsuo Handa57c25902010-06-03 20:38:44 +09001332 if (!error && acc_mode &&
1333 tomoyo_init_request_info(&r, domain, TOMOYO_MAC_FILE_OPEN)
1334 != TOMOYO_CONFIG_DISABLED) {
1335 if (!buf.name && !tomoyo_get_realpath(&buf, path)) {
1336 error = -ENOMEM;
1337 goto out;
1338 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001339 error = tomoyo_file_perm(&r, &buf, acc_mode);
Tetsuo Handa57c25902010-06-03 20:38:44 +09001340 }
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001341 out:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001342 kfree(buf.name);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001343 tomoyo_read_unlock(idx);
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001344 if (r.mode != TOMOYO_CONFIG_ENFORCING)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001345 error = 0;
1346 return error;
1347}
1348
1349/**
Tetsuo Handa2106ccd2010-05-17 10:10:31 +09001350 * tomoyo_path_perm - Check permission for "unlink", "rmdir", "truncate", "symlink", "rewrite", "chroot" and "unmount".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001351 *
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001352 * @operation: Type of operation.
1353 * @path: Pointer to "struct path".
1354 *
1355 * Returns 0 on success, negative value otherwise.
1356 */
Tetsuo Handa97d69312010-02-16 09:46:15 +09001357int tomoyo_path_perm(const u8 operation, struct path *path)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001358{
1359 int error = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001360 struct tomoyo_path_info buf;
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001361 struct tomoyo_request_info r;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001362 int idx;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001363
Tetsuo Handa57c25902010-06-03 20:38:44 +09001364 if (!path->mnt)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001365 return 0;
Tetsuo Handa57c25902010-06-03 20:38:44 +09001366 if (tomoyo_init_request_info(&r, NULL, tomoyo_p2mac[operation])
1367 == TOMOYO_CONFIG_DISABLED)
1368 return 0;
1369 buf.name = NULL;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001370 idx = tomoyo_read_lock();
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001371 if (!tomoyo_get_realpath(&buf, path))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001372 goto out;
1373 switch (operation) {
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001374 case TOMOYO_TYPE_REWRITE:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001375 if (!tomoyo_is_no_rewrite_file(&buf)) {
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001376 error = 0;
1377 goto out;
1378 }
1379 break;
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001380 case TOMOYO_TYPE_RMDIR:
1381 case TOMOYO_TYPE_CHROOT:
Tetsuo Handa57c25902010-06-03 20:38:44 +09001382 case TOMOYO_TYPE_UMOUNT:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001383 tomoyo_add_slash(&buf);
1384 break;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001385 }
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001386 error = tomoyo_path_permission(&r, operation, &buf);
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001387 out:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001388 kfree(buf.name);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001389 tomoyo_read_unlock(idx);
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001390 if (r.mode != TOMOYO_CONFIG_ENFORCING)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001391 error = 0;
1392 return error;
1393}
1394
1395/**
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001396 * tomoyo_path_number3_perm2 - Check permission for path/number/number/number operation.
1397 *
1398 * @r: Pointer to "struct tomoyo_request_info".
1399 * @operation: Type of operation.
1400 * @filename: Filename to check.
1401 * @mode: Create mode.
1402 * @dev: Device number.
1403 *
1404 * Returns 0 on success, negative value otherwise.
1405 *
1406 * Caller holds tomoyo_read_lock().
1407 */
1408static int tomoyo_path_number3_perm2(struct tomoyo_request_info *r,
1409 const u8 operation,
1410 const struct tomoyo_path_info *filename,
1411 const unsigned int mode,
1412 const unsigned int dev)
1413{
1414 int error;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001415 const char *msg;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001416 const unsigned int major = MAJOR(dev);
1417 const unsigned int minor = MINOR(dev);
1418
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001419 do {
1420 error = tomoyo_path_number3_acl(r, filename, 1 << operation,
1421 mode, major, minor);
1422 if (!error)
1423 break;
1424 msg = tomoyo_path_number32keyword(operation);
1425 tomoyo_warn_log(r, "%s %s 0%o %u %u", msg, filename->name,
1426 mode, major, minor);
1427 error = tomoyo_supervisor(r, "allow_%s %s 0%o %u %u\n", msg,
1428 tomoyo_file_pattern(filename), mode,
1429 major, minor);
1430 } while (error == TOMOYO_RETRY_REQUEST);
1431 if (r->mode != TOMOYO_CONFIG_ENFORCING)
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001432 error = 0;
1433 return error;
1434}
1435
1436/**
1437 * tomoyo_path_number3_perm - Check permission for "mkblock" and "mkchar".
1438 *
1439 * @operation: Type of operation. (TOMOYO_TYPE_MKCHAR or TOMOYO_TYPE_MKBLOCK)
1440 * @path: Pointer to "struct path".
1441 * @mode: Create mode.
1442 * @dev: Device number.
1443 *
1444 * Returns 0 on success, negative value otherwise.
1445 */
1446int tomoyo_path_number3_perm(const u8 operation, struct path *path,
1447 const unsigned int mode, unsigned int dev)
1448{
1449 struct tomoyo_request_info r;
1450 int error = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001451 struct tomoyo_path_info buf;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001452 int idx;
1453
Tetsuo Handa57c25902010-06-03 20:38:44 +09001454 if (!path->mnt ||
1455 tomoyo_init_request_info(&r, NULL, tomoyo_pnnn2mac[operation])
1456 == TOMOYO_CONFIG_DISABLED)
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001457 return 0;
1458 idx = tomoyo_read_lock();
1459 error = -ENOMEM;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001460 if (tomoyo_get_realpath(&buf, path)) {
1461 error = tomoyo_path_number3_perm2(&r, operation, &buf, mode,
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001462 new_decode_dev(dev));
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001463 kfree(buf.name);
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001464 }
1465 tomoyo_read_unlock(idx);
1466 if (r.mode != TOMOYO_CONFIG_ENFORCING)
1467 error = 0;
1468 return error;
1469}
1470
1471/**
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001472 * tomoyo_path2_perm - Check permission for "rename", "link" and "pivot_root".
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001473 *
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001474 * @operation: Type of operation.
1475 * @path1: Pointer to "struct path".
1476 * @path2: Pointer to "struct path".
1477 *
1478 * Returns 0 on success, negative value otherwise.
1479 */
Tetsuo Handa97d69312010-02-16 09:46:15 +09001480int tomoyo_path2_perm(const u8 operation, struct path *path1,
Tetsuo Handa7ef61232010-02-16 08:03:30 +09001481 struct path *path2)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001482{
1483 int error = -ENOMEM;
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001484 const char *msg;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001485 struct tomoyo_path_info buf1;
1486 struct tomoyo_path_info buf2;
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001487 struct tomoyo_request_info r;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001488 int idx;
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001489
Tetsuo Handa57c25902010-06-03 20:38:44 +09001490 if (!path1->mnt || !path2->mnt ||
1491 tomoyo_init_request_info(&r, NULL, tomoyo_pp2mac[operation])
1492 == TOMOYO_CONFIG_DISABLED)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001493 return 0;
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001494 buf1.name = NULL;
1495 buf2.name = NULL;
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001496 idx = tomoyo_read_lock();
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001497 if (!tomoyo_get_realpath(&buf1, path1) ||
1498 !tomoyo_get_realpath(&buf2, path2))
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001499 goto out;
Tetsuo Handa57c25902010-06-03 20:38:44 +09001500 switch (operation) {
1501 struct dentry *dentry;
1502 case TOMOYO_TYPE_RENAME:
1503 case TOMOYO_TYPE_LINK:
1504 dentry = path1->dentry;
1505 if (!dentry->d_inode || !S_ISDIR(dentry->d_inode->i_mode))
1506 break;
1507 /* fall through */
1508 case TOMOYO_TYPE_PIVOT_ROOT:
1509 tomoyo_add_slash(&buf1);
1510 tomoyo_add_slash(&buf2);
1511 break;
1512 }
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001513 do {
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001514 error = tomoyo_path2_acl(&r, operation, &buf1, &buf2);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001515 if (!error)
1516 break;
1517 msg = tomoyo_path22keyword(operation);
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001518 tomoyo_warn_log(&r, "%s %s %s", msg, buf1.name, buf2.name);
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001519 error = tomoyo_supervisor(&r, "allow_%s %s %s\n", msg,
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001520 tomoyo_file_pattern(&buf1),
1521 tomoyo_file_pattern(&buf2));
Tetsuo Handa17fcfbd2010-05-17 10:11:36 +09001522 } while (error == TOMOYO_RETRY_REQUEST);
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001523 out:
Tetsuo Handac8c57e82010-06-03 20:36:43 +09001524 kfree(buf1.name);
1525 kfree(buf2.name);
Tetsuo Handafdb8ebb2009-12-08 09:34:43 +09001526 tomoyo_read_unlock(idx);
Tetsuo Handacb0abe62010-05-17 10:08:05 +09001527 if (r.mode != TOMOYO_CONFIG_ENFORCING)
Kentaro Takedab69a54e2009-02-05 17:18:14 +09001528 error = 0;
1529 return error;
1530}
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001531
1532/**
1533 * tomoyo_write_file_policy - Update file related list.
1534 *
1535 * @data: String to parse.
1536 * @domain: Pointer to "struct tomoyo_domain_info".
1537 * @is_delete: True if it is a delete request.
1538 *
1539 * Returns 0 on success, negative value otherwise.
1540 *
1541 * Caller holds tomoyo_read_lock().
1542 */
1543int tomoyo_write_file_policy(char *data, struct tomoyo_domain_info *domain,
1544 const bool is_delete)
1545{
1546 char *w[5];
1547 u8 type;
1548 if (!tomoyo_tokenize(data, w, sizeof(w)) || !w[1][0])
1549 return -EINVAL;
Tetsuo Handa237ab452010-06-12 20:46:22 +09001550 if (strncmp(w[0], "allow_", 6))
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001551 goto out;
Tetsuo Handaa1f9bb62010-05-17 10:09:15 +09001552 w[0] += 6;
1553 for (type = 0; type < TOMOYO_MAX_PATH_OPERATION; type++) {
1554 if (strcmp(w[0], tomoyo_path_keyword[type]))
1555 continue;
1556 return tomoyo_update_path_acl(type, w[1], domain, is_delete);
1557 }
1558 if (!w[2][0])
1559 goto out;
1560 for (type = 0; type < TOMOYO_MAX_PATH2_OPERATION; type++) {
1561 if (strcmp(w[0], tomoyo_path2_keyword[type]))
1562 continue;
1563 return tomoyo_update_path2_acl(type, w[1], w[2], domain,
1564 is_delete);
1565 }
1566 for (type = 0; type < TOMOYO_MAX_PATH_NUMBER_OPERATION; type++) {
1567 if (strcmp(w[0], tomoyo_path_number_keyword[type]))
1568 continue;
1569 return tomoyo_update_path_number_acl(type, w[1], w[2], domain,
1570 is_delete);
1571 }
1572 if (!w[3][0] || !w[4][0])
1573 goto out;
1574 for (type = 0; type < TOMOYO_MAX_PATH_NUMBER3_OPERATION; type++) {
1575 if (strcmp(w[0], tomoyo_path_number3_keyword[type]))
1576 continue;
1577 return tomoyo_update_path_number3_acl(type, w[1], w[2], w[3],
1578 w[4], domain, is_delete);
1579 }
1580 out:
1581 return -EINVAL;
1582}