1b69a54eeSKentaro Takeda /* 2b69a54eeSKentaro Takeda * security/tomoyo/file.c 3b69a54eeSKentaro Takeda * 4b69a54eeSKentaro Takeda * Implementation of the Domain-Based Mandatory Access Control. 5b69a54eeSKentaro Takeda * 6b69a54eeSKentaro Takeda * Copyright (C) 2005-2009 NTT DATA CORPORATION 7b69a54eeSKentaro Takeda * 839826a1eSTetsuo Handa * Version: 2.2.0 2009/04/01 9b69a54eeSKentaro Takeda * 10b69a54eeSKentaro Takeda */ 11b69a54eeSKentaro Takeda 12b69a54eeSKentaro Takeda #include "common.h" 13b69a54eeSKentaro Takeda #include "tomoyo.h" 14b69a54eeSKentaro Takeda #include "realpath.h" 15b69a54eeSKentaro Takeda #define ACC_MODE(x) ("\000\004\002\006"[(x)&O_ACCMODE]) 16b69a54eeSKentaro Takeda 17c3fa109aSTetsuo Handa /* 18c3fa109aSTetsuo Handa * tomoyo_globally_readable_file_entry is a structure which is used for holding 19c3fa109aSTetsuo Handa * "allow_read" entries. 20c3fa109aSTetsuo Handa * It has following fields. 21c3fa109aSTetsuo Handa * 22c3fa109aSTetsuo Handa * (1) "list" which is linked to tomoyo_globally_readable_list . 23c3fa109aSTetsuo Handa * (2) "filename" is a pathname which is allowed to open(O_RDONLY). 24c3fa109aSTetsuo Handa * (3) "is_deleted" is a bool which is true if marked as deleted, false 25c3fa109aSTetsuo Handa * otherwise. 26c3fa109aSTetsuo Handa */ 27b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry { 28b69a54eeSKentaro Takeda struct list_head list; 29b69a54eeSKentaro Takeda const struct tomoyo_path_info *filename; 30b69a54eeSKentaro Takeda bool is_deleted; 31b69a54eeSKentaro Takeda }; 32b69a54eeSKentaro Takeda 33c3fa109aSTetsuo Handa /* 34c3fa109aSTetsuo Handa * tomoyo_pattern_entry is a structure which is used for holding 35c3fa109aSTetsuo Handa * "tomoyo_pattern_list" entries. 36c3fa109aSTetsuo Handa * It has following fields. 37c3fa109aSTetsuo Handa * 38c3fa109aSTetsuo Handa * (1) "list" which is linked to tomoyo_pattern_list . 39c3fa109aSTetsuo Handa * (2) "pattern" is a pathname pattern which is used for converting pathnames 40c3fa109aSTetsuo Handa * to pathname patterns during learning mode. 41c3fa109aSTetsuo Handa * (3) "is_deleted" is a bool which is true if marked as deleted, false 42c3fa109aSTetsuo Handa * otherwise. 43c3fa109aSTetsuo Handa */ 44b69a54eeSKentaro Takeda struct tomoyo_pattern_entry { 45b69a54eeSKentaro Takeda struct list_head list; 46b69a54eeSKentaro Takeda const struct tomoyo_path_info *pattern; 47b69a54eeSKentaro Takeda bool is_deleted; 48b69a54eeSKentaro Takeda }; 49b69a54eeSKentaro Takeda 50c3fa109aSTetsuo Handa /* 51c3fa109aSTetsuo Handa * tomoyo_no_rewrite_entry is a structure which is used for holding 52c3fa109aSTetsuo Handa * "deny_rewrite" entries. 53c3fa109aSTetsuo Handa * It has following fields. 54c3fa109aSTetsuo Handa * 55c3fa109aSTetsuo Handa * (1) "list" which is linked to tomoyo_no_rewrite_list . 56c3fa109aSTetsuo Handa * (2) "pattern" is a pathname which is by default not permitted to modify 57c3fa109aSTetsuo Handa * already existing content. 58c3fa109aSTetsuo Handa * (3) "is_deleted" is a bool which is true if marked as deleted, false 59c3fa109aSTetsuo Handa * otherwise. 60c3fa109aSTetsuo Handa */ 61b69a54eeSKentaro Takeda struct tomoyo_no_rewrite_entry { 62b69a54eeSKentaro Takeda struct list_head list; 63b69a54eeSKentaro Takeda const struct tomoyo_path_info *pattern; 64b69a54eeSKentaro Takeda bool is_deleted; 65b69a54eeSKentaro Takeda }; 66b69a54eeSKentaro Takeda 67b69a54eeSKentaro Takeda /* Keyword array for single path operations. */ 68b69a54eeSKentaro Takeda static const char *tomoyo_sp_keyword[TOMOYO_MAX_SINGLE_PATH_OPERATION] = { 69b69a54eeSKentaro Takeda [TOMOYO_TYPE_READ_WRITE_ACL] = "read/write", 70b69a54eeSKentaro Takeda [TOMOYO_TYPE_EXECUTE_ACL] = "execute", 71b69a54eeSKentaro Takeda [TOMOYO_TYPE_READ_ACL] = "read", 72b69a54eeSKentaro Takeda [TOMOYO_TYPE_WRITE_ACL] = "write", 73b69a54eeSKentaro Takeda [TOMOYO_TYPE_CREATE_ACL] = "create", 74b69a54eeSKentaro Takeda [TOMOYO_TYPE_UNLINK_ACL] = "unlink", 75b69a54eeSKentaro Takeda [TOMOYO_TYPE_MKDIR_ACL] = "mkdir", 76b69a54eeSKentaro Takeda [TOMOYO_TYPE_RMDIR_ACL] = "rmdir", 77b69a54eeSKentaro Takeda [TOMOYO_TYPE_MKFIFO_ACL] = "mkfifo", 78b69a54eeSKentaro Takeda [TOMOYO_TYPE_MKSOCK_ACL] = "mksock", 79b69a54eeSKentaro Takeda [TOMOYO_TYPE_MKBLOCK_ACL] = "mkblock", 80b69a54eeSKentaro Takeda [TOMOYO_TYPE_MKCHAR_ACL] = "mkchar", 81b69a54eeSKentaro Takeda [TOMOYO_TYPE_TRUNCATE_ACL] = "truncate", 82b69a54eeSKentaro Takeda [TOMOYO_TYPE_SYMLINK_ACL] = "symlink", 83b69a54eeSKentaro Takeda [TOMOYO_TYPE_REWRITE_ACL] = "rewrite", 84937bf613STetsuo Handa [TOMOYO_TYPE_IOCTL_ACL] = "ioctl", 85937bf613STetsuo Handa [TOMOYO_TYPE_CHMOD_ACL] = "chmod", 86937bf613STetsuo Handa [TOMOYO_TYPE_CHOWN_ACL] = "chown", 87937bf613STetsuo Handa [TOMOYO_TYPE_CHGRP_ACL] = "chgrp", 88937bf613STetsuo Handa [TOMOYO_TYPE_CHROOT_ACL] = "chroot", 89937bf613STetsuo Handa [TOMOYO_TYPE_MOUNT_ACL] = "mount", 90937bf613STetsuo Handa [TOMOYO_TYPE_UMOUNT_ACL] = "unmount", 91b69a54eeSKentaro Takeda }; 92b69a54eeSKentaro Takeda 93b69a54eeSKentaro Takeda /* Keyword array for double path operations. */ 94b69a54eeSKentaro Takeda static const char *tomoyo_dp_keyword[TOMOYO_MAX_DOUBLE_PATH_OPERATION] = { 95b69a54eeSKentaro Takeda [TOMOYO_TYPE_LINK_ACL] = "link", 96b69a54eeSKentaro Takeda [TOMOYO_TYPE_RENAME_ACL] = "rename", 97937bf613STetsuo Handa [TOMOYO_TYPE_PIVOT_ROOT_ACL] = "pivot_root", 98b69a54eeSKentaro Takeda }; 99b69a54eeSKentaro Takeda 100b69a54eeSKentaro Takeda /** 101b69a54eeSKentaro Takeda * tomoyo_sp2keyword - Get the name of single path operation. 102b69a54eeSKentaro Takeda * 103b69a54eeSKentaro Takeda * @operation: Type of operation. 104b69a54eeSKentaro Takeda * 105b69a54eeSKentaro Takeda * Returns the name of single path operation. 106b69a54eeSKentaro Takeda */ 107b69a54eeSKentaro Takeda const char *tomoyo_sp2keyword(const u8 operation) 108b69a54eeSKentaro Takeda { 109b69a54eeSKentaro Takeda return (operation < TOMOYO_MAX_SINGLE_PATH_OPERATION) 110b69a54eeSKentaro Takeda ? tomoyo_sp_keyword[operation] : NULL; 111b69a54eeSKentaro Takeda } 112b69a54eeSKentaro Takeda 113b69a54eeSKentaro Takeda /** 114b69a54eeSKentaro Takeda * tomoyo_dp2keyword - Get the name of double path operation. 115b69a54eeSKentaro Takeda * 116b69a54eeSKentaro Takeda * @operation: Type of operation. 117b69a54eeSKentaro Takeda * 118b69a54eeSKentaro Takeda * Returns the name of double path operation. 119b69a54eeSKentaro Takeda */ 120b69a54eeSKentaro Takeda const char *tomoyo_dp2keyword(const u8 operation) 121b69a54eeSKentaro Takeda { 122b69a54eeSKentaro Takeda return (operation < TOMOYO_MAX_DOUBLE_PATH_OPERATION) 123b69a54eeSKentaro Takeda ? tomoyo_dp_keyword[operation] : NULL; 124b69a54eeSKentaro Takeda } 125b69a54eeSKentaro Takeda 126b69a54eeSKentaro Takeda /** 127b69a54eeSKentaro Takeda * tomoyo_strendswith - Check whether the token ends with the given token. 128b69a54eeSKentaro Takeda * 129b69a54eeSKentaro Takeda * @name: The token to check. 130b69a54eeSKentaro Takeda * @tail: The token to find. 131b69a54eeSKentaro Takeda * 132b69a54eeSKentaro Takeda * Returns true if @name ends with @tail, false otherwise. 133b69a54eeSKentaro Takeda */ 134b69a54eeSKentaro Takeda static bool tomoyo_strendswith(const char *name, const char *tail) 135b69a54eeSKentaro Takeda { 136b69a54eeSKentaro Takeda int len; 137b69a54eeSKentaro Takeda 138b69a54eeSKentaro Takeda if (!name || !tail) 139b69a54eeSKentaro Takeda return false; 140b69a54eeSKentaro Takeda len = strlen(name) - strlen(tail); 141b69a54eeSKentaro Takeda return len >= 0 && !strcmp(name + len, tail); 142b69a54eeSKentaro Takeda } 143b69a54eeSKentaro Takeda 144b69a54eeSKentaro Takeda /** 145b69a54eeSKentaro Takeda * tomoyo_get_path - Get realpath. 146b69a54eeSKentaro Takeda * 147b69a54eeSKentaro Takeda * @path: Pointer to "struct path". 148b69a54eeSKentaro Takeda * 149b69a54eeSKentaro Takeda * Returns pointer to "struct tomoyo_path_info" on success, NULL otherwise. 150b69a54eeSKentaro Takeda */ 151b69a54eeSKentaro Takeda static struct tomoyo_path_info *tomoyo_get_path(struct path *path) 152b69a54eeSKentaro Takeda { 153b69a54eeSKentaro Takeda int error; 154b69a54eeSKentaro Takeda struct tomoyo_path_info_with_data *buf = tomoyo_alloc(sizeof(*buf)); 155b69a54eeSKentaro Takeda 156b69a54eeSKentaro Takeda if (!buf) 157b69a54eeSKentaro Takeda return NULL; 158b69a54eeSKentaro Takeda /* Reserve one byte for appending "/". */ 159b69a54eeSKentaro Takeda error = tomoyo_realpath_from_path2(path, buf->body, 160b69a54eeSKentaro Takeda sizeof(buf->body) - 2); 161b69a54eeSKentaro Takeda if (!error) { 162b69a54eeSKentaro Takeda buf->head.name = buf->body; 163b69a54eeSKentaro Takeda tomoyo_fill_path_info(&buf->head); 164b69a54eeSKentaro Takeda return &buf->head; 165b69a54eeSKentaro Takeda } 166b69a54eeSKentaro Takeda tomoyo_free(buf); 167b69a54eeSKentaro Takeda return NULL; 168b69a54eeSKentaro Takeda } 169b69a54eeSKentaro Takeda 170b69a54eeSKentaro Takeda static int tomoyo_update_double_path_acl(const u8 type, const char *filename1, 171b69a54eeSKentaro Takeda const char *filename2, 172b69a54eeSKentaro Takeda struct tomoyo_domain_info * 173b69a54eeSKentaro Takeda const domain, const bool is_delete); 174b69a54eeSKentaro Takeda static int tomoyo_update_single_path_acl(const u8 type, const char *filename, 175b69a54eeSKentaro Takeda struct tomoyo_domain_info * 176b69a54eeSKentaro Takeda const domain, const bool is_delete); 177b69a54eeSKentaro Takeda 178c3fa109aSTetsuo Handa /* 179c3fa109aSTetsuo Handa * tomoyo_globally_readable_list is used for holding list of pathnames which 180c3fa109aSTetsuo Handa * are by default allowed to be open()ed for reading by any process. 181c3fa109aSTetsuo Handa * 182c3fa109aSTetsuo Handa * An entry is added by 183c3fa109aSTetsuo Handa * 184c3fa109aSTetsuo Handa * # echo 'allow_read /lib/libc-2.5.so' > \ 185c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 186c3fa109aSTetsuo Handa * 187c3fa109aSTetsuo Handa * and is deleted by 188c3fa109aSTetsuo Handa * 189c3fa109aSTetsuo Handa * # echo 'delete allow_read /lib/libc-2.5.so' > \ 190c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 191c3fa109aSTetsuo Handa * 192c3fa109aSTetsuo Handa * and all entries are retrieved by 193c3fa109aSTetsuo Handa * 194c3fa109aSTetsuo Handa * # grep ^allow_read /sys/kernel/security/tomoyo/exception_policy 195c3fa109aSTetsuo Handa * 196c3fa109aSTetsuo Handa * In the example above, any process is allowed to 197c3fa109aSTetsuo Handa * open("/lib/libc-2.5.so", O_RDONLY). 198c3fa109aSTetsuo Handa * One exception is, if the domain which current process belongs to is marked 199c3fa109aSTetsuo Handa * as "ignore_global_allow_read", current process can't do so unless explicitly 200c3fa109aSTetsuo Handa * given "allow_read /lib/libc-2.5.so" to the domain which current process 201c3fa109aSTetsuo Handa * belongs to. 202c3fa109aSTetsuo Handa */ 203b69a54eeSKentaro Takeda static LIST_HEAD(tomoyo_globally_readable_list); 204b69a54eeSKentaro Takeda 205b69a54eeSKentaro Takeda /** 206b69a54eeSKentaro Takeda * tomoyo_update_globally_readable_entry - Update "struct tomoyo_globally_readable_file_entry" list. 207b69a54eeSKentaro Takeda * 208b69a54eeSKentaro Takeda * @filename: Filename unconditionally permitted to open() for reading. 209b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 210b69a54eeSKentaro Takeda * 211b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 212fdb8ebb7STetsuo Handa * 213fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 214b69a54eeSKentaro Takeda */ 215b69a54eeSKentaro Takeda static int tomoyo_update_globally_readable_entry(const char *filename, 216b69a54eeSKentaro Takeda const bool is_delete) 217b69a54eeSKentaro Takeda { 218b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry *new_entry; 219b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry *ptr; 220b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_filename; 221b69a54eeSKentaro Takeda int error = -ENOMEM; 222b69a54eeSKentaro Takeda 223b69a54eeSKentaro Takeda if (!tomoyo_is_correct_path(filename, 1, 0, -1, __func__)) 224b69a54eeSKentaro Takeda return -EINVAL; 225b69a54eeSKentaro Takeda saved_filename = tomoyo_save_name(filename); 226b69a54eeSKentaro Takeda if (!saved_filename) 227b69a54eeSKentaro Takeda return -ENOMEM; 228f737d95dSTetsuo Handa mutex_lock(&tomoyo_policy_lock); 229fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_globally_readable_list, list) { 230b69a54eeSKentaro Takeda if (ptr->filename != saved_filename) 231b69a54eeSKentaro Takeda continue; 232b69a54eeSKentaro Takeda ptr->is_deleted = is_delete; 233b69a54eeSKentaro Takeda error = 0; 234b69a54eeSKentaro Takeda goto out; 235b69a54eeSKentaro Takeda } 236b69a54eeSKentaro Takeda if (is_delete) { 237b69a54eeSKentaro Takeda error = -ENOENT; 238b69a54eeSKentaro Takeda goto out; 239b69a54eeSKentaro Takeda } 240b69a54eeSKentaro Takeda new_entry = tomoyo_alloc_element(sizeof(*new_entry)); 241b69a54eeSKentaro Takeda if (!new_entry) 242b69a54eeSKentaro Takeda goto out; 243b69a54eeSKentaro Takeda new_entry->filename = saved_filename; 244fdb8ebb7STetsuo Handa list_add_tail_rcu(&new_entry->list, &tomoyo_globally_readable_list); 245b69a54eeSKentaro Takeda error = 0; 246b69a54eeSKentaro Takeda out: 247f737d95dSTetsuo Handa mutex_unlock(&tomoyo_policy_lock); 248b69a54eeSKentaro Takeda return error; 249b69a54eeSKentaro Takeda } 250b69a54eeSKentaro Takeda 251b69a54eeSKentaro Takeda /** 252b69a54eeSKentaro Takeda * tomoyo_is_globally_readable_file - Check if the file is unconditionnaly permitted to be open()ed for reading. 253b69a54eeSKentaro Takeda * 254b69a54eeSKentaro Takeda * @filename: The filename to check. 255b69a54eeSKentaro Takeda * 256b69a54eeSKentaro Takeda * Returns true if any domain can open @filename for reading, false otherwise. 257fdb8ebb7STetsuo Handa * 258fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 259b69a54eeSKentaro Takeda */ 260b69a54eeSKentaro Takeda static bool tomoyo_is_globally_readable_file(const struct tomoyo_path_info * 261b69a54eeSKentaro Takeda filename) 262b69a54eeSKentaro Takeda { 263b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry *ptr; 264b69a54eeSKentaro Takeda bool found = false; 265fdb8ebb7STetsuo Handa 266fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_globally_readable_list, list) { 267b69a54eeSKentaro Takeda if (!ptr->is_deleted && 268b69a54eeSKentaro Takeda tomoyo_path_matches_pattern(filename, ptr->filename)) { 269b69a54eeSKentaro Takeda found = true; 270b69a54eeSKentaro Takeda break; 271b69a54eeSKentaro Takeda } 272b69a54eeSKentaro Takeda } 273b69a54eeSKentaro Takeda return found; 274b69a54eeSKentaro Takeda } 275b69a54eeSKentaro Takeda 276b69a54eeSKentaro Takeda /** 277b69a54eeSKentaro Takeda * tomoyo_write_globally_readable_policy - Write "struct tomoyo_globally_readable_file_entry" list. 278b69a54eeSKentaro Takeda * 279b69a54eeSKentaro Takeda * @data: String to parse. 280b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 281b69a54eeSKentaro Takeda * 282b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 283fdb8ebb7STetsuo Handa * 284fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 285b69a54eeSKentaro Takeda */ 286b69a54eeSKentaro Takeda int tomoyo_write_globally_readable_policy(char *data, const bool is_delete) 287b69a54eeSKentaro Takeda { 288b69a54eeSKentaro Takeda return tomoyo_update_globally_readable_entry(data, is_delete); 289b69a54eeSKentaro Takeda } 290b69a54eeSKentaro Takeda 291b69a54eeSKentaro Takeda /** 292b69a54eeSKentaro Takeda * tomoyo_read_globally_readable_policy - Read "struct tomoyo_globally_readable_file_entry" list. 293b69a54eeSKentaro Takeda * 294b69a54eeSKentaro Takeda * @head: Pointer to "struct tomoyo_io_buffer". 295b69a54eeSKentaro Takeda * 296b69a54eeSKentaro Takeda * Returns true on success, false otherwise. 297fdb8ebb7STetsuo Handa * 298fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 299b69a54eeSKentaro Takeda */ 300b69a54eeSKentaro Takeda bool tomoyo_read_globally_readable_policy(struct tomoyo_io_buffer *head) 301b69a54eeSKentaro Takeda { 302b69a54eeSKentaro Takeda struct list_head *pos; 303b69a54eeSKentaro Takeda bool done = true; 304b69a54eeSKentaro Takeda 305b69a54eeSKentaro Takeda list_for_each_cookie(pos, head->read_var2, 306b69a54eeSKentaro Takeda &tomoyo_globally_readable_list) { 307b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry *ptr; 308b69a54eeSKentaro Takeda ptr = list_entry(pos, 309b69a54eeSKentaro Takeda struct tomoyo_globally_readable_file_entry, 310b69a54eeSKentaro Takeda list); 311b69a54eeSKentaro Takeda if (ptr->is_deleted) 312b69a54eeSKentaro Takeda continue; 3137d2948b1STetsuo Handa done = tomoyo_io_printf(head, TOMOYO_KEYWORD_ALLOW_READ "%s\n", 3147d2948b1STetsuo Handa ptr->filename->name); 3157d2948b1STetsuo Handa if (!done) 316b69a54eeSKentaro Takeda break; 317b69a54eeSKentaro Takeda } 318b69a54eeSKentaro Takeda return done; 319b69a54eeSKentaro Takeda } 320b69a54eeSKentaro Takeda 321c3fa109aSTetsuo Handa /* tomoyo_pattern_list is used for holding list of pathnames which are used for 322c3fa109aSTetsuo Handa * converting pathnames to pathname patterns during learning mode. 323c3fa109aSTetsuo Handa * 324c3fa109aSTetsuo Handa * An entry is added by 325c3fa109aSTetsuo Handa * 326c3fa109aSTetsuo Handa * # echo 'file_pattern /proc/\$/mounts' > \ 327c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 328c3fa109aSTetsuo Handa * 329c3fa109aSTetsuo Handa * and is deleted by 330c3fa109aSTetsuo Handa * 331c3fa109aSTetsuo Handa * # echo 'delete file_pattern /proc/\$/mounts' > \ 332c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 333c3fa109aSTetsuo Handa * 334c3fa109aSTetsuo Handa * and all entries are retrieved by 335c3fa109aSTetsuo Handa * 336c3fa109aSTetsuo Handa * # grep ^file_pattern /sys/kernel/security/tomoyo/exception_policy 337c3fa109aSTetsuo Handa * 338c3fa109aSTetsuo Handa * In the example above, if a process which belongs to a domain which is in 339c3fa109aSTetsuo Handa * learning mode requested open("/proc/1/mounts", O_RDONLY), 340c3fa109aSTetsuo Handa * "allow_read /proc/\$/mounts" is automatically added to the domain which that 341c3fa109aSTetsuo Handa * process belongs to. 342c3fa109aSTetsuo Handa * 343c3fa109aSTetsuo Handa * It is not a desirable behavior that we have to use /proc/\$/ instead of 344c3fa109aSTetsuo Handa * /proc/self/ when current process needs to access only current process's 345c3fa109aSTetsuo Handa * information. As of now, LSM version of TOMOYO is using __d_path() for 346c3fa109aSTetsuo Handa * calculating pathname. Non LSM version of TOMOYO is using its own function 347c3fa109aSTetsuo Handa * which pretends as if /proc/self/ is not a symlink; so that we can forbid 348c3fa109aSTetsuo Handa * current process from accessing other process's information. 349c3fa109aSTetsuo Handa */ 350b69a54eeSKentaro Takeda static LIST_HEAD(tomoyo_pattern_list); 351b69a54eeSKentaro Takeda 352b69a54eeSKentaro Takeda /** 353b69a54eeSKentaro Takeda * tomoyo_update_file_pattern_entry - Update "struct tomoyo_pattern_entry" list. 354b69a54eeSKentaro Takeda * 355b69a54eeSKentaro Takeda * @pattern: Pathname pattern. 356b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 357b69a54eeSKentaro Takeda * 358b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 359fdb8ebb7STetsuo Handa * 360fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 361b69a54eeSKentaro Takeda */ 362b69a54eeSKentaro Takeda static int tomoyo_update_file_pattern_entry(const char *pattern, 363b69a54eeSKentaro Takeda const bool is_delete) 364b69a54eeSKentaro Takeda { 365b69a54eeSKentaro Takeda struct tomoyo_pattern_entry *new_entry; 366b69a54eeSKentaro Takeda struct tomoyo_pattern_entry *ptr; 367b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_pattern; 368b69a54eeSKentaro Takeda int error = -ENOMEM; 369b69a54eeSKentaro Takeda 370b69a54eeSKentaro Takeda if (!tomoyo_is_correct_path(pattern, 0, 1, 0, __func__)) 371b69a54eeSKentaro Takeda return -EINVAL; 372b69a54eeSKentaro Takeda saved_pattern = tomoyo_save_name(pattern); 373b69a54eeSKentaro Takeda if (!saved_pattern) 374b69a54eeSKentaro Takeda return -ENOMEM; 375f737d95dSTetsuo Handa mutex_lock(&tomoyo_policy_lock); 376fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_pattern_list, list) { 377b69a54eeSKentaro Takeda if (saved_pattern != ptr->pattern) 378b69a54eeSKentaro Takeda continue; 379b69a54eeSKentaro Takeda ptr->is_deleted = is_delete; 380b69a54eeSKentaro Takeda error = 0; 381b69a54eeSKentaro Takeda goto out; 382b69a54eeSKentaro Takeda } 383b69a54eeSKentaro Takeda if (is_delete) { 384b69a54eeSKentaro Takeda error = -ENOENT; 385b69a54eeSKentaro Takeda goto out; 386b69a54eeSKentaro Takeda } 387b69a54eeSKentaro Takeda new_entry = tomoyo_alloc_element(sizeof(*new_entry)); 388b69a54eeSKentaro Takeda if (!new_entry) 389b69a54eeSKentaro Takeda goto out; 390b69a54eeSKentaro Takeda new_entry->pattern = saved_pattern; 391fdb8ebb7STetsuo Handa list_add_tail_rcu(&new_entry->list, &tomoyo_pattern_list); 392b69a54eeSKentaro Takeda error = 0; 393b69a54eeSKentaro Takeda out: 394f737d95dSTetsuo Handa mutex_unlock(&tomoyo_policy_lock); 395b69a54eeSKentaro Takeda return error; 396b69a54eeSKentaro Takeda } 397b69a54eeSKentaro Takeda 398b69a54eeSKentaro Takeda /** 399b69a54eeSKentaro Takeda * tomoyo_get_file_pattern - Get patterned pathname. 400b69a54eeSKentaro Takeda * 401b69a54eeSKentaro Takeda * @filename: The filename to find patterned pathname. 402b69a54eeSKentaro Takeda * 403b69a54eeSKentaro Takeda * Returns pointer to pathname pattern if matched, @filename otherwise. 404fdb8ebb7STetsuo Handa * 405fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 406b69a54eeSKentaro Takeda */ 407b69a54eeSKentaro Takeda static const struct tomoyo_path_info * 408b69a54eeSKentaro Takeda tomoyo_get_file_pattern(const struct tomoyo_path_info *filename) 409b69a54eeSKentaro Takeda { 410b69a54eeSKentaro Takeda struct tomoyo_pattern_entry *ptr; 411b69a54eeSKentaro Takeda const struct tomoyo_path_info *pattern = NULL; 412b69a54eeSKentaro Takeda 413fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_pattern_list, list) { 414b69a54eeSKentaro Takeda if (ptr->is_deleted) 415b69a54eeSKentaro Takeda continue; 416b69a54eeSKentaro Takeda if (!tomoyo_path_matches_pattern(filename, ptr->pattern)) 417b69a54eeSKentaro Takeda continue; 418b69a54eeSKentaro Takeda pattern = ptr->pattern; 419b69a54eeSKentaro Takeda if (tomoyo_strendswith(pattern->name, "/\\*")) { 420b69a54eeSKentaro Takeda /* Do nothing. Try to find the better match. */ 421b69a54eeSKentaro Takeda } else { 422b69a54eeSKentaro Takeda /* This would be the better match. Use this. */ 423b69a54eeSKentaro Takeda break; 424b69a54eeSKentaro Takeda } 425b69a54eeSKentaro Takeda } 426b69a54eeSKentaro Takeda if (pattern) 427b69a54eeSKentaro Takeda filename = pattern; 428b69a54eeSKentaro Takeda return filename; 429b69a54eeSKentaro Takeda } 430b69a54eeSKentaro Takeda 431b69a54eeSKentaro Takeda /** 432b69a54eeSKentaro Takeda * tomoyo_write_pattern_policy - Write "struct tomoyo_pattern_entry" list. 433b69a54eeSKentaro Takeda * 434b69a54eeSKentaro Takeda * @data: String to parse. 435b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 436b69a54eeSKentaro Takeda * 437b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 438fdb8ebb7STetsuo Handa * 439fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 440b69a54eeSKentaro Takeda */ 441b69a54eeSKentaro Takeda int tomoyo_write_pattern_policy(char *data, const bool is_delete) 442b69a54eeSKentaro Takeda { 443b69a54eeSKentaro Takeda return tomoyo_update_file_pattern_entry(data, is_delete); 444b69a54eeSKentaro Takeda } 445b69a54eeSKentaro Takeda 446b69a54eeSKentaro Takeda /** 447b69a54eeSKentaro Takeda * tomoyo_read_file_pattern - Read "struct tomoyo_pattern_entry" list. 448b69a54eeSKentaro Takeda * 449b69a54eeSKentaro Takeda * @head: Pointer to "struct tomoyo_io_buffer". 450b69a54eeSKentaro Takeda * 451b69a54eeSKentaro Takeda * Returns true on success, false otherwise. 452fdb8ebb7STetsuo Handa * 453fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 454b69a54eeSKentaro Takeda */ 455b69a54eeSKentaro Takeda bool tomoyo_read_file_pattern(struct tomoyo_io_buffer *head) 456b69a54eeSKentaro Takeda { 457b69a54eeSKentaro Takeda struct list_head *pos; 458b69a54eeSKentaro Takeda bool done = true; 459b69a54eeSKentaro Takeda 460b69a54eeSKentaro Takeda list_for_each_cookie(pos, head->read_var2, &tomoyo_pattern_list) { 461b69a54eeSKentaro Takeda struct tomoyo_pattern_entry *ptr; 462b69a54eeSKentaro Takeda ptr = list_entry(pos, struct tomoyo_pattern_entry, list); 463b69a54eeSKentaro Takeda if (ptr->is_deleted) 464b69a54eeSKentaro Takeda continue; 4657d2948b1STetsuo Handa done = tomoyo_io_printf(head, TOMOYO_KEYWORD_FILE_PATTERN 4667d2948b1STetsuo Handa "%s\n", ptr->pattern->name); 4677d2948b1STetsuo Handa if (!done) 468b69a54eeSKentaro Takeda break; 469b69a54eeSKentaro Takeda } 470b69a54eeSKentaro Takeda return done; 471b69a54eeSKentaro Takeda } 472b69a54eeSKentaro Takeda 473c3fa109aSTetsuo Handa /* 474c3fa109aSTetsuo Handa * tomoyo_no_rewrite_list is used for holding list of pathnames which are by 475c3fa109aSTetsuo Handa * default forbidden to modify already written content of a file. 476c3fa109aSTetsuo Handa * 477c3fa109aSTetsuo Handa * An entry is added by 478c3fa109aSTetsuo Handa * 479c3fa109aSTetsuo Handa * # echo 'deny_rewrite /var/log/messages' > \ 480c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 481c3fa109aSTetsuo Handa * 482c3fa109aSTetsuo Handa * and is deleted by 483c3fa109aSTetsuo Handa * 484c3fa109aSTetsuo Handa * # echo 'delete deny_rewrite /var/log/messages' > \ 485c3fa109aSTetsuo Handa * /sys/kernel/security/tomoyo/exception_policy 486c3fa109aSTetsuo Handa * 487c3fa109aSTetsuo Handa * and all entries are retrieved by 488c3fa109aSTetsuo Handa * 489c3fa109aSTetsuo Handa * # grep ^deny_rewrite /sys/kernel/security/tomoyo/exception_policy 490c3fa109aSTetsuo Handa * 491c3fa109aSTetsuo Handa * In the example above, if a process requested to rewrite /var/log/messages , 492c3fa109aSTetsuo Handa * the process can't rewrite unless the domain which that process belongs to 493c3fa109aSTetsuo Handa * has "allow_rewrite /var/log/messages" entry. 494c3fa109aSTetsuo Handa * 495c3fa109aSTetsuo Handa * It is not a desirable behavior that we have to add "\040(deleted)" suffix 496c3fa109aSTetsuo Handa * when we want to allow rewriting already unlink()ed file. As of now, 497c3fa109aSTetsuo Handa * LSM version of TOMOYO is using __d_path() for calculating pathname. 498c3fa109aSTetsuo Handa * Non LSM version of TOMOYO is using its own function which doesn't append 499c3fa109aSTetsuo Handa * " (deleted)" suffix if the file is already unlink()ed; so that we don't 500c3fa109aSTetsuo Handa * need to worry whether the file is already unlink()ed or not. 501c3fa109aSTetsuo Handa */ 502b69a54eeSKentaro Takeda static LIST_HEAD(tomoyo_no_rewrite_list); 503b69a54eeSKentaro Takeda 504b69a54eeSKentaro Takeda /** 505b69a54eeSKentaro Takeda * tomoyo_update_no_rewrite_entry - Update "struct tomoyo_no_rewrite_entry" list. 506b69a54eeSKentaro Takeda * 507b69a54eeSKentaro Takeda * @pattern: Pathname pattern that are not rewritable by default. 508b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 509b69a54eeSKentaro Takeda * 510b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 511fdb8ebb7STetsuo Handa * 512fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 513b69a54eeSKentaro Takeda */ 514b69a54eeSKentaro Takeda static int tomoyo_update_no_rewrite_entry(const char *pattern, 515b69a54eeSKentaro Takeda const bool is_delete) 516b69a54eeSKentaro Takeda { 517b69a54eeSKentaro Takeda struct tomoyo_no_rewrite_entry *new_entry, *ptr; 518b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_pattern; 519b69a54eeSKentaro Takeda int error = -ENOMEM; 520b69a54eeSKentaro Takeda 521b69a54eeSKentaro Takeda if (!tomoyo_is_correct_path(pattern, 0, 0, 0, __func__)) 522b69a54eeSKentaro Takeda return -EINVAL; 523b69a54eeSKentaro Takeda saved_pattern = tomoyo_save_name(pattern); 524b69a54eeSKentaro Takeda if (!saved_pattern) 525b69a54eeSKentaro Takeda return -ENOMEM; 526f737d95dSTetsuo Handa mutex_lock(&tomoyo_policy_lock); 527fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_no_rewrite_list, list) { 528b69a54eeSKentaro Takeda if (ptr->pattern != saved_pattern) 529b69a54eeSKentaro Takeda continue; 530b69a54eeSKentaro Takeda ptr->is_deleted = is_delete; 531b69a54eeSKentaro Takeda error = 0; 532b69a54eeSKentaro Takeda goto out; 533b69a54eeSKentaro Takeda } 534b69a54eeSKentaro Takeda if (is_delete) { 535b69a54eeSKentaro Takeda error = -ENOENT; 536b69a54eeSKentaro Takeda goto out; 537b69a54eeSKentaro Takeda } 538b69a54eeSKentaro Takeda new_entry = tomoyo_alloc_element(sizeof(*new_entry)); 539b69a54eeSKentaro Takeda if (!new_entry) 540b69a54eeSKentaro Takeda goto out; 541b69a54eeSKentaro Takeda new_entry->pattern = saved_pattern; 542fdb8ebb7STetsuo Handa list_add_tail_rcu(&new_entry->list, &tomoyo_no_rewrite_list); 543b69a54eeSKentaro Takeda error = 0; 544b69a54eeSKentaro Takeda out: 545f737d95dSTetsuo Handa mutex_unlock(&tomoyo_policy_lock); 546b69a54eeSKentaro Takeda return error; 547b69a54eeSKentaro Takeda } 548b69a54eeSKentaro Takeda 549b69a54eeSKentaro Takeda /** 550b69a54eeSKentaro Takeda * tomoyo_is_no_rewrite_file - Check if the given pathname is not permitted to be rewrited. 551b69a54eeSKentaro Takeda * 552b69a54eeSKentaro Takeda * @filename: Filename to check. 553b69a54eeSKentaro Takeda * 554b69a54eeSKentaro Takeda * Returns true if @filename is specified by "deny_rewrite" directive, 555b69a54eeSKentaro Takeda * false otherwise. 556fdb8ebb7STetsuo Handa * 557fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 558b69a54eeSKentaro Takeda */ 559b69a54eeSKentaro Takeda static bool tomoyo_is_no_rewrite_file(const struct tomoyo_path_info *filename) 560b69a54eeSKentaro Takeda { 561b69a54eeSKentaro Takeda struct tomoyo_no_rewrite_entry *ptr; 562b69a54eeSKentaro Takeda bool found = false; 563b69a54eeSKentaro Takeda 564fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &tomoyo_no_rewrite_list, list) { 565b69a54eeSKentaro Takeda if (ptr->is_deleted) 566b69a54eeSKentaro Takeda continue; 567b69a54eeSKentaro Takeda if (!tomoyo_path_matches_pattern(filename, ptr->pattern)) 568b69a54eeSKentaro Takeda continue; 569b69a54eeSKentaro Takeda found = true; 570b69a54eeSKentaro Takeda break; 571b69a54eeSKentaro Takeda } 572b69a54eeSKentaro Takeda return found; 573b69a54eeSKentaro Takeda } 574b69a54eeSKentaro Takeda 575b69a54eeSKentaro Takeda /** 576b69a54eeSKentaro Takeda * tomoyo_write_no_rewrite_policy - Write "struct tomoyo_no_rewrite_entry" list. 577b69a54eeSKentaro Takeda * 578b69a54eeSKentaro Takeda * @data: String to parse. 579b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 580b69a54eeSKentaro Takeda * 581b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 582fdb8ebb7STetsuo Handa * 583fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 584b69a54eeSKentaro Takeda */ 585b69a54eeSKentaro Takeda int tomoyo_write_no_rewrite_policy(char *data, const bool is_delete) 586b69a54eeSKentaro Takeda { 587b69a54eeSKentaro Takeda return tomoyo_update_no_rewrite_entry(data, is_delete); 588b69a54eeSKentaro Takeda } 589b69a54eeSKentaro Takeda 590b69a54eeSKentaro Takeda /** 591b69a54eeSKentaro Takeda * tomoyo_read_no_rewrite_policy - Read "struct tomoyo_no_rewrite_entry" list. 592b69a54eeSKentaro Takeda * 593b69a54eeSKentaro Takeda * @head: Pointer to "struct tomoyo_io_buffer". 594b69a54eeSKentaro Takeda * 595b69a54eeSKentaro Takeda * Returns true on success, false otherwise. 596fdb8ebb7STetsuo Handa * 597fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 598b69a54eeSKentaro Takeda */ 599b69a54eeSKentaro Takeda bool tomoyo_read_no_rewrite_policy(struct tomoyo_io_buffer *head) 600b69a54eeSKentaro Takeda { 601b69a54eeSKentaro Takeda struct list_head *pos; 602b69a54eeSKentaro Takeda bool done = true; 603b69a54eeSKentaro Takeda 604b69a54eeSKentaro Takeda list_for_each_cookie(pos, head->read_var2, &tomoyo_no_rewrite_list) { 605b69a54eeSKentaro Takeda struct tomoyo_no_rewrite_entry *ptr; 606b69a54eeSKentaro Takeda ptr = list_entry(pos, struct tomoyo_no_rewrite_entry, list); 607b69a54eeSKentaro Takeda if (ptr->is_deleted) 608b69a54eeSKentaro Takeda continue; 6097d2948b1STetsuo Handa done = tomoyo_io_printf(head, TOMOYO_KEYWORD_DENY_REWRITE 6107d2948b1STetsuo Handa "%s\n", ptr->pattern->name); 6117d2948b1STetsuo Handa if (!done) 612b69a54eeSKentaro Takeda break; 613b69a54eeSKentaro Takeda } 614b69a54eeSKentaro Takeda return done; 615b69a54eeSKentaro Takeda } 616b69a54eeSKentaro Takeda 617b69a54eeSKentaro Takeda /** 618b69a54eeSKentaro Takeda * tomoyo_update_file_acl - Update file's read/write/execute ACL. 619b69a54eeSKentaro Takeda * 620b69a54eeSKentaro Takeda * @filename: Filename. 621b69a54eeSKentaro Takeda * @perm: Permission (between 1 to 7). 622b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 623b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 624b69a54eeSKentaro Takeda * 625b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 626b69a54eeSKentaro Takeda * 627b69a54eeSKentaro Takeda * This is legacy support interface for older policy syntax. 628b69a54eeSKentaro Takeda * Current policy syntax uses "allow_read/write" instead of "6", 629b69a54eeSKentaro Takeda * "allow_read" instead of "4", "allow_write" instead of "2", 630b69a54eeSKentaro Takeda * "allow_execute" instead of "1". 631fdb8ebb7STetsuo Handa * 632fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 633b69a54eeSKentaro Takeda */ 634b69a54eeSKentaro Takeda static int tomoyo_update_file_acl(const char *filename, u8 perm, 635b69a54eeSKentaro Takeda struct tomoyo_domain_info * const domain, 636b69a54eeSKentaro Takeda const bool is_delete) 637b69a54eeSKentaro Takeda { 638b69a54eeSKentaro Takeda if (perm > 7 || !perm) { 639b69a54eeSKentaro Takeda printk(KERN_DEBUG "%s: Invalid permission '%d %s'\n", 640b69a54eeSKentaro Takeda __func__, perm, filename); 641b69a54eeSKentaro Takeda return -EINVAL; 642b69a54eeSKentaro Takeda } 643b69a54eeSKentaro Takeda if (filename[0] != '@' && tomoyo_strendswith(filename, "/")) 644b69a54eeSKentaro Takeda /* 645b69a54eeSKentaro Takeda * Only 'allow_mkdir' and 'allow_rmdir' are valid for 646b69a54eeSKentaro Takeda * directory permissions. 647b69a54eeSKentaro Takeda */ 648b69a54eeSKentaro Takeda return 0; 649b69a54eeSKentaro Takeda if (perm & 4) 650b69a54eeSKentaro Takeda tomoyo_update_single_path_acl(TOMOYO_TYPE_READ_ACL, filename, 651b69a54eeSKentaro Takeda domain, is_delete); 652b69a54eeSKentaro Takeda if (perm & 2) 653b69a54eeSKentaro Takeda tomoyo_update_single_path_acl(TOMOYO_TYPE_WRITE_ACL, filename, 654b69a54eeSKentaro Takeda domain, is_delete); 655b69a54eeSKentaro Takeda if (perm & 1) 656b69a54eeSKentaro Takeda tomoyo_update_single_path_acl(TOMOYO_TYPE_EXECUTE_ACL, 657b69a54eeSKentaro Takeda filename, domain, is_delete); 658b69a54eeSKentaro Takeda return 0; 659b69a54eeSKentaro Takeda } 660b69a54eeSKentaro Takeda 661b69a54eeSKentaro Takeda /** 662b69a54eeSKentaro Takeda * tomoyo_check_single_path_acl2 - Check permission for single path operation. 663b69a54eeSKentaro Takeda * 664b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 665b69a54eeSKentaro Takeda * @filename: Filename to check. 666b69a54eeSKentaro Takeda * @perm: Permission. 667b69a54eeSKentaro Takeda * @may_use_pattern: True if patterned ACL is permitted. 668b69a54eeSKentaro Takeda * 669b69a54eeSKentaro Takeda * Returns 0 on success, -EPERM otherwise. 670fdb8ebb7STetsuo Handa * 671fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 672b69a54eeSKentaro Takeda */ 673b69a54eeSKentaro Takeda static int tomoyo_check_single_path_acl2(const struct tomoyo_domain_info * 674b69a54eeSKentaro Takeda domain, 675b69a54eeSKentaro Takeda const struct tomoyo_path_info * 676b69a54eeSKentaro Takeda filename, 677937bf613STetsuo Handa const u32 perm, 678b69a54eeSKentaro Takeda const bool may_use_pattern) 679b69a54eeSKentaro Takeda { 680b69a54eeSKentaro Takeda struct tomoyo_acl_info *ptr; 681b69a54eeSKentaro Takeda int error = -EPERM; 682b69a54eeSKentaro Takeda 683fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 684b69a54eeSKentaro Takeda struct tomoyo_single_path_acl_record *acl; 685b69a54eeSKentaro Takeda if (tomoyo_acl_type2(ptr) != TOMOYO_TYPE_SINGLE_PATH_ACL) 686b69a54eeSKentaro Takeda continue; 687b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_single_path_acl_record, 688b69a54eeSKentaro Takeda head); 689937bf613STetsuo Handa if (perm <= 0xFFFF) { 690b69a54eeSKentaro Takeda if (!(acl->perm & perm)) 691b69a54eeSKentaro Takeda continue; 692937bf613STetsuo Handa } else { 693937bf613STetsuo Handa if (!(acl->perm_high & (perm >> 16))) 694937bf613STetsuo Handa continue; 695937bf613STetsuo Handa } 696b69a54eeSKentaro Takeda if (may_use_pattern || !acl->filename->is_patterned) { 697b69a54eeSKentaro Takeda if (!tomoyo_path_matches_pattern(filename, 698b69a54eeSKentaro Takeda acl->filename)) 699b69a54eeSKentaro Takeda continue; 700b69a54eeSKentaro Takeda } else { 701b69a54eeSKentaro Takeda continue; 702b69a54eeSKentaro Takeda } 703b69a54eeSKentaro Takeda error = 0; 704b69a54eeSKentaro Takeda break; 705b69a54eeSKentaro Takeda } 706b69a54eeSKentaro Takeda return error; 707b69a54eeSKentaro Takeda } 708b69a54eeSKentaro Takeda 709b69a54eeSKentaro Takeda /** 710b69a54eeSKentaro Takeda * tomoyo_check_file_acl - Check permission for opening files. 711b69a54eeSKentaro Takeda * 712b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 713b69a54eeSKentaro Takeda * @filename: Filename to check. 714b69a54eeSKentaro Takeda * @operation: Mode ("read" or "write" or "read/write" or "execute"). 715b69a54eeSKentaro Takeda * 716b69a54eeSKentaro Takeda * Returns 0 on success, -EPERM otherwise. 717fdb8ebb7STetsuo Handa * 718fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 719b69a54eeSKentaro Takeda */ 720b69a54eeSKentaro Takeda static int tomoyo_check_file_acl(const struct tomoyo_domain_info *domain, 721b69a54eeSKentaro Takeda const struct tomoyo_path_info *filename, 722b69a54eeSKentaro Takeda const u8 operation) 723b69a54eeSKentaro Takeda { 724937bf613STetsuo Handa u32 perm = 0; 725b69a54eeSKentaro Takeda 726b69a54eeSKentaro Takeda if (!tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE)) 727b69a54eeSKentaro Takeda return 0; 728b69a54eeSKentaro Takeda if (operation == 6) 729b69a54eeSKentaro Takeda perm = 1 << TOMOYO_TYPE_READ_WRITE_ACL; 730b69a54eeSKentaro Takeda else if (operation == 4) 731b69a54eeSKentaro Takeda perm = 1 << TOMOYO_TYPE_READ_ACL; 732b69a54eeSKentaro Takeda else if (operation == 2) 733b69a54eeSKentaro Takeda perm = 1 << TOMOYO_TYPE_WRITE_ACL; 734b69a54eeSKentaro Takeda else if (operation == 1) 735b69a54eeSKentaro Takeda perm = 1 << TOMOYO_TYPE_EXECUTE_ACL; 736b69a54eeSKentaro Takeda else 737b69a54eeSKentaro Takeda BUG(); 738b69a54eeSKentaro Takeda return tomoyo_check_single_path_acl2(domain, filename, perm, 739b69a54eeSKentaro Takeda operation != 1); 740b69a54eeSKentaro Takeda } 741b69a54eeSKentaro Takeda 742b69a54eeSKentaro Takeda /** 743b69a54eeSKentaro Takeda * tomoyo_check_file_perm2 - Check permission for opening files. 744b69a54eeSKentaro Takeda * 745b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 746b69a54eeSKentaro Takeda * @filename: Filename to check. 747b69a54eeSKentaro Takeda * @perm: Mode ("read" or "write" or "read/write" or "execute"). 748b69a54eeSKentaro Takeda * @operation: Operation name passed used for verbose mode. 749b69a54eeSKentaro Takeda * @mode: Access control mode. 750b69a54eeSKentaro Takeda * 751b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 752fdb8ebb7STetsuo Handa * 753fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 754b69a54eeSKentaro Takeda */ 755b69a54eeSKentaro Takeda static int tomoyo_check_file_perm2(struct tomoyo_domain_info * const domain, 756b69a54eeSKentaro Takeda const struct tomoyo_path_info *filename, 757b69a54eeSKentaro Takeda const u8 perm, const char *operation, 758b69a54eeSKentaro Takeda const u8 mode) 759b69a54eeSKentaro Takeda { 760b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 761b69a54eeSKentaro Takeda const char *msg = "<unknown>"; 762b69a54eeSKentaro Takeda int error = 0; 763b69a54eeSKentaro Takeda 764b69a54eeSKentaro Takeda if (!filename) 765b69a54eeSKentaro Takeda return 0; 766b69a54eeSKentaro Takeda error = tomoyo_check_file_acl(domain, filename, perm); 767b69a54eeSKentaro Takeda if (error && perm == 4 && 768b69a54eeSKentaro Takeda (domain->flags & TOMOYO_DOMAIN_FLAGS_IGNORE_GLOBAL_ALLOW_READ) == 0 769b69a54eeSKentaro Takeda && tomoyo_is_globally_readable_file(filename)) 770b69a54eeSKentaro Takeda error = 0; 771b69a54eeSKentaro Takeda if (perm == 6) 772b69a54eeSKentaro Takeda msg = tomoyo_sp2keyword(TOMOYO_TYPE_READ_WRITE_ACL); 773b69a54eeSKentaro Takeda else if (perm == 4) 774b69a54eeSKentaro Takeda msg = tomoyo_sp2keyword(TOMOYO_TYPE_READ_ACL); 775b69a54eeSKentaro Takeda else if (perm == 2) 776b69a54eeSKentaro Takeda msg = tomoyo_sp2keyword(TOMOYO_TYPE_WRITE_ACL); 777b69a54eeSKentaro Takeda else if (perm == 1) 778b69a54eeSKentaro Takeda msg = tomoyo_sp2keyword(TOMOYO_TYPE_EXECUTE_ACL); 779b69a54eeSKentaro Takeda else 780b69a54eeSKentaro Takeda BUG(); 781b69a54eeSKentaro Takeda if (!error) 782b69a54eeSKentaro Takeda return 0; 783b69a54eeSKentaro Takeda if (tomoyo_verbose_mode(domain)) 784b69a54eeSKentaro Takeda printk(KERN_WARNING "TOMOYO-%s: Access '%s(%s) %s' denied " 785b69a54eeSKentaro Takeda "for %s\n", tomoyo_get_msg(is_enforce), msg, operation, 786b69a54eeSKentaro Takeda filename->name, tomoyo_get_last_name(domain)); 787b69a54eeSKentaro Takeda if (is_enforce) 788b69a54eeSKentaro Takeda return error; 789b69a54eeSKentaro Takeda if (mode == 1 && tomoyo_domain_quota_is_ok(domain)) { 790b69a54eeSKentaro Takeda /* Don't use patterns for execute permission. */ 791b69a54eeSKentaro Takeda const struct tomoyo_path_info *patterned_file = (perm != 1) ? 792b69a54eeSKentaro Takeda tomoyo_get_file_pattern(filename) : filename; 793b69a54eeSKentaro Takeda tomoyo_update_file_acl(patterned_file->name, perm, 794b69a54eeSKentaro Takeda domain, false); 795b69a54eeSKentaro Takeda } 796b69a54eeSKentaro Takeda return 0; 797b69a54eeSKentaro Takeda } 798b69a54eeSKentaro Takeda 799b69a54eeSKentaro Takeda /** 800b69a54eeSKentaro Takeda * tomoyo_write_file_policy - Update file related list. 801b69a54eeSKentaro Takeda * 802b69a54eeSKentaro Takeda * @data: String to parse. 803b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 804b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 805b69a54eeSKentaro Takeda * 806b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 807fdb8ebb7STetsuo Handa * 808fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 809b69a54eeSKentaro Takeda */ 810b69a54eeSKentaro Takeda int tomoyo_write_file_policy(char *data, struct tomoyo_domain_info *domain, 811b69a54eeSKentaro Takeda const bool is_delete) 812b69a54eeSKentaro Takeda { 813b69a54eeSKentaro Takeda char *filename = strchr(data, ' '); 814b69a54eeSKentaro Takeda char *filename2; 815b69a54eeSKentaro Takeda unsigned int perm; 816b69a54eeSKentaro Takeda u8 type; 817b69a54eeSKentaro Takeda 818b69a54eeSKentaro Takeda if (!filename) 819b69a54eeSKentaro Takeda return -EINVAL; 820b69a54eeSKentaro Takeda *filename++ = '\0'; 821b69a54eeSKentaro Takeda if (sscanf(data, "%u", &perm) == 1) 822b69a54eeSKentaro Takeda return tomoyo_update_file_acl(filename, (u8) perm, domain, 823b69a54eeSKentaro Takeda is_delete); 824b69a54eeSKentaro Takeda if (strncmp(data, "allow_", 6)) 825b69a54eeSKentaro Takeda goto out; 826b69a54eeSKentaro Takeda data += 6; 827b69a54eeSKentaro Takeda for (type = 0; type < TOMOYO_MAX_SINGLE_PATH_OPERATION; type++) { 828b69a54eeSKentaro Takeda if (strcmp(data, tomoyo_sp_keyword[type])) 829b69a54eeSKentaro Takeda continue; 830b69a54eeSKentaro Takeda return tomoyo_update_single_path_acl(type, filename, 831b69a54eeSKentaro Takeda domain, is_delete); 832b69a54eeSKentaro Takeda } 833b69a54eeSKentaro Takeda filename2 = strchr(filename, ' '); 834b69a54eeSKentaro Takeda if (!filename2) 835b69a54eeSKentaro Takeda goto out; 836b69a54eeSKentaro Takeda *filename2++ = '\0'; 837b69a54eeSKentaro Takeda for (type = 0; type < TOMOYO_MAX_DOUBLE_PATH_OPERATION; type++) { 838b69a54eeSKentaro Takeda if (strcmp(data, tomoyo_dp_keyword[type])) 839b69a54eeSKentaro Takeda continue; 840b69a54eeSKentaro Takeda return tomoyo_update_double_path_acl(type, filename, filename2, 841b69a54eeSKentaro Takeda domain, is_delete); 842b69a54eeSKentaro Takeda } 843b69a54eeSKentaro Takeda out: 844b69a54eeSKentaro Takeda return -EINVAL; 845b69a54eeSKentaro Takeda } 846b69a54eeSKentaro Takeda 847b69a54eeSKentaro Takeda /** 848b69a54eeSKentaro Takeda * tomoyo_update_single_path_acl - Update "struct tomoyo_single_path_acl_record" list. 849b69a54eeSKentaro Takeda * 850b69a54eeSKentaro Takeda * @type: Type of operation. 851b69a54eeSKentaro Takeda * @filename: Filename. 852b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 853b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 854b69a54eeSKentaro Takeda * 855b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 856fdb8ebb7STetsuo Handa * 857fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 858b69a54eeSKentaro Takeda */ 859b69a54eeSKentaro Takeda static int tomoyo_update_single_path_acl(const u8 type, const char *filename, 860b69a54eeSKentaro Takeda struct tomoyo_domain_info * 861b69a54eeSKentaro Takeda const domain, const bool is_delete) 862b69a54eeSKentaro Takeda { 863937bf613STetsuo Handa static const u32 rw_mask = 864b69a54eeSKentaro Takeda (1 << TOMOYO_TYPE_READ_ACL) | (1 << TOMOYO_TYPE_WRITE_ACL); 865b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_filename; 866b69a54eeSKentaro Takeda struct tomoyo_acl_info *ptr; 867b69a54eeSKentaro Takeda struct tomoyo_single_path_acl_record *acl; 868b69a54eeSKentaro Takeda int error = -ENOMEM; 869937bf613STetsuo Handa const u32 perm = 1 << type; 870b69a54eeSKentaro Takeda 871b69a54eeSKentaro Takeda if (!domain) 872b69a54eeSKentaro Takeda return -EINVAL; 873b69a54eeSKentaro Takeda if (!tomoyo_is_correct_path(filename, 0, 0, 0, __func__)) 874b69a54eeSKentaro Takeda return -EINVAL; 875b69a54eeSKentaro Takeda saved_filename = tomoyo_save_name(filename); 876b69a54eeSKentaro Takeda if (!saved_filename) 877b69a54eeSKentaro Takeda return -ENOMEM; 878f737d95dSTetsuo Handa mutex_lock(&tomoyo_policy_lock); 879b69a54eeSKentaro Takeda if (is_delete) 880b69a54eeSKentaro Takeda goto delete; 881fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 882b69a54eeSKentaro Takeda if (tomoyo_acl_type1(ptr) != TOMOYO_TYPE_SINGLE_PATH_ACL) 883b69a54eeSKentaro Takeda continue; 884b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_single_path_acl_record, 885b69a54eeSKentaro Takeda head); 886b69a54eeSKentaro Takeda if (acl->filename != saved_filename) 887b69a54eeSKentaro Takeda continue; 888b69a54eeSKentaro Takeda /* Special case. Clear all bits if marked as deleted. */ 889b69a54eeSKentaro Takeda if (ptr->type & TOMOYO_ACL_DELETED) 890b69a54eeSKentaro Takeda acl->perm = 0; 891937bf613STetsuo Handa if (perm <= 0xFFFF) 892b69a54eeSKentaro Takeda acl->perm |= perm; 893937bf613STetsuo Handa else 894937bf613STetsuo Handa acl->perm_high |= (perm >> 16); 895b69a54eeSKentaro Takeda if ((acl->perm & rw_mask) == rw_mask) 896b69a54eeSKentaro Takeda acl->perm |= 1 << TOMOYO_TYPE_READ_WRITE_ACL; 897b69a54eeSKentaro Takeda else if (acl->perm & (1 << TOMOYO_TYPE_READ_WRITE_ACL)) 898b69a54eeSKentaro Takeda acl->perm |= rw_mask; 899b69a54eeSKentaro Takeda ptr->type &= ~TOMOYO_ACL_DELETED; 900b69a54eeSKentaro Takeda error = 0; 901b69a54eeSKentaro Takeda goto out; 902b69a54eeSKentaro Takeda } 903b69a54eeSKentaro Takeda /* Not found. Append it to the tail. */ 904b69a54eeSKentaro Takeda acl = tomoyo_alloc_acl_element(TOMOYO_TYPE_SINGLE_PATH_ACL); 905b69a54eeSKentaro Takeda if (!acl) 906b69a54eeSKentaro Takeda goto out; 907937bf613STetsuo Handa if (perm <= 0xFFFF) 908b69a54eeSKentaro Takeda acl->perm = perm; 909937bf613STetsuo Handa else 910937bf613STetsuo Handa acl->perm_high = (perm >> 16); 911b69a54eeSKentaro Takeda if (perm == (1 << TOMOYO_TYPE_READ_WRITE_ACL)) 912b69a54eeSKentaro Takeda acl->perm |= rw_mask; 913b69a54eeSKentaro Takeda acl->filename = saved_filename; 914fdb8ebb7STetsuo Handa list_add_tail_rcu(&acl->head.list, &domain->acl_info_list); 915b69a54eeSKentaro Takeda error = 0; 916b69a54eeSKentaro Takeda goto out; 917b69a54eeSKentaro Takeda delete: 918b69a54eeSKentaro Takeda error = -ENOENT; 919fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 920b69a54eeSKentaro Takeda if (tomoyo_acl_type2(ptr) != TOMOYO_TYPE_SINGLE_PATH_ACL) 921b69a54eeSKentaro Takeda continue; 922b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_single_path_acl_record, 923b69a54eeSKentaro Takeda head); 924b69a54eeSKentaro Takeda if (acl->filename != saved_filename) 925b69a54eeSKentaro Takeda continue; 926937bf613STetsuo Handa if (perm <= 0xFFFF) 927b69a54eeSKentaro Takeda acl->perm &= ~perm; 928937bf613STetsuo Handa else 929937bf613STetsuo Handa acl->perm_high &= ~(perm >> 16); 930b69a54eeSKentaro Takeda if ((acl->perm & rw_mask) != rw_mask) 931b69a54eeSKentaro Takeda acl->perm &= ~(1 << TOMOYO_TYPE_READ_WRITE_ACL); 932b69a54eeSKentaro Takeda else if (!(acl->perm & (1 << TOMOYO_TYPE_READ_WRITE_ACL))) 933b69a54eeSKentaro Takeda acl->perm &= ~rw_mask; 934937bf613STetsuo Handa if (!acl->perm && !acl->perm_high) 935b69a54eeSKentaro Takeda ptr->type |= TOMOYO_ACL_DELETED; 936b69a54eeSKentaro Takeda error = 0; 937b69a54eeSKentaro Takeda break; 938b69a54eeSKentaro Takeda } 939b69a54eeSKentaro Takeda out: 940f737d95dSTetsuo Handa mutex_unlock(&tomoyo_policy_lock); 941b69a54eeSKentaro Takeda return error; 942b69a54eeSKentaro Takeda } 943b69a54eeSKentaro Takeda 944b69a54eeSKentaro Takeda /** 945b69a54eeSKentaro Takeda * tomoyo_update_double_path_acl - Update "struct tomoyo_double_path_acl_record" list. 946b69a54eeSKentaro Takeda * 947b69a54eeSKentaro Takeda * @type: Type of operation. 948b69a54eeSKentaro Takeda * @filename1: First filename. 949b69a54eeSKentaro Takeda * @filename2: Second filename. 950b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 951b69a54eeSKentaro Takeda * @is_delete: True if it is a delete request. 952b69a54eeSKentaro Takeda * 953b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 954fdb8ebb7STetsuo Handa * 955fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 956b69a54eeSKentaro Takeda */ 957b69a54eeSKentaro Takeda static int tomoyo_update_double_path_acl(const u8 type, const char *filename1, 958b69a54eeSKentaro Takeda const char *filename2, 959b69a54eeSKentaro Takeda struct tomoyo_domain_info * 960b69a54eeSKentaro Takeda const domain, const bool is_delete) 961b69a54eeSKentaro Takeda { 962b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_filename1; 963b69a54eeSKentaro Takeda const struct tomoyo_path_info *saved_filename2; 964b69a54eeSKentaro Takeda struct tomoyo_acl_info *ptr; 965b69a54eeSKentaro Takeda struct tomoyo_double_path_acl_record *acl; 966b69a54eeSKentaro Takeda int error = -ENOMEM; 967b69a54eeSKentaro Takeda const u8 perm = 1 << type; 968b69a54eeSKentaro Takeda 969b69a54eeSKentaro Takeda if (!domain) 970b69a54eeSKentaro Takeda return -EINVAL; 971b69a54eeSKentaro Takeda if (!tomoyo_is_correct_path(filename1, 0, 0, 0, __func__) || 972b69a54eeSKentaro Takeda !tomoyo_is_correct_path(filename2, 0, 0, 0, __func__)) 973b69a54eeSKentaro Takeda return -EINVAL; 974b69a54eeSKentaro Takeda saved_filename1 = tomoyo_save_name(filename1); 975b69a54eeSKentaro Takeda saved_filename2 = tomoyo_save_name(filename2); 976b69a54eeSKentaro Takeda if (!saved_filename1 || !saved_filename2) 977b69a54eeSKentaro Takeda return -ENOMEM; 978f737d95dSTetsuo Handa mutex_lock(&tomoyo_policy_lock); 979b69a54eeSKentaro Takeda if (is_delete) 980b69a54eeSKentaro Takeda goto delete; 981fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 982b69a54eeSKentaro Takeda if (tomoyo_acl_type1(ptr) != TOMOYO_TYPE_DOUBLE_PATH_ACL) 983b69a54eeSKentaro Takeda continue; 984b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_double_path_acl_record, 985b69a54eeSKentaro Takeda head); 986b69a54eeSKentaro Takeda if (acl->filename1 != saved_filename1 || 987b69a54eeSKentaro Takeda acl->filename2 != saved_filename2) 988b69a54eeSKentaro Takeda continue; 989b69a54eeSKentaro Takeda /* Special case. Clear all bits if marked as deleted. */ 990b69a54eeSKentaro Takeda if (ptr->type & TOMOYO_ACL_DELETED) 991b69a54eeSKentaro Takeda acl->perm = 0; 992b69a54eeSKentaro Takeda acl->perm |= perm; 993b69a54eeSKentaro Takeda ptr->type &= ~TOMOYO_ACL_DELETED; 994b69a54eeSKentaro Takeda error = 0; 995b69a54eeSKentaro Takeda goto out; 996b69a54eeSKentaro Takeda } 997b69a54eeSKentaro Takeda /* Not found. Append it to the tail. */ 998b69a54eeSKentaro Takeda acl = tomoyo_alloc_acl_element(TOMOYO_TYPE_DOUBLE_PATH_ACL); 999b69a54eeSKentaro Takeda if (!acl) 1000b69a54eeSKentaro Takeda goto out; 1001b69a54eeSKentaro Takeda acl->perm = perm; 1002b69a54eeSKentaro Takeda acl->filename1 = saved_filename1; 1003b69a54eeSKentaro Takeda acl->filename2 = saved_filename2; 1004fdb8ebb7STetsuo Handa list_add_tail_rcu(&acl->head.list, &domain->acl_info_list); 1005b69a54eeSKentaro Takeda error = 0; 1006b69a54eeSKentaro Takeda goto out; 1007b69a54eeSKentaro Takeda delete: 1008b69a54eeSKentaro Takeda error = -ENOENT; 1009fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 1010b69a54eeSKentaro Takeda if (tomoyo_acl_type2(ptr) != TOMOYO_TYPE_DOUBLE_PATH_ACL) 1011b69a54eeSKentaro Takeda continue; 1012b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_double_path_acl_record, 1013b69a54eeSKentaro Takeda head); 1014b69a54eeSKentaro Takeda if (acl->filename1 != saved_filename1 || 1015b69a54eeSKentaro Takeda acl->filename2 != saved_filename2) 1016b69a54eeSKentaro Takeda continue; 1017b69a54eeSKentaro Takeda acl->perm &= ~perm; 1018b69a54eeSKentaro Takeda if (!acl->perm) 1019b69a54eeSKentaro Takeda ptr->type |= TOMOYO_ACL_DELETED; 1020b69a54eeSKentaro Takeda error = 0; 1021b69a54eeSKentaro Takeda break; 1022b69a54eeSKentaro Takeda } 1023b69a54eeSKentaro Takeda out: 1024f737d95dSTetsuo Handa mutex_unlock(&tomoyo_policy_lock); 1025b69a54eeSKentaro Takeda return error; 1026b69a54eeSKentaro Takeda } 1027b69a54eeSKentaro Takeda 1028b69a54eeSKentaro Takeda /** 1029b69a54eeSKentaro Takeda * tomoyo_check_single_path_acl - Check permission for single path operation. 1030b69a54eeSKentaro Takeda * 1031b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1032b69a54eeSKentaro Takeda * @type: Type of operation. 1033b69a54eeSKentaro Takeda * @filename: Filename to check. 1034b69a54eeSKentaro Takeda * 1035b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1036fdb8ebb7STetsuo Handa * 1037fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 1038b69a54eeSKentaro Takeda */ 1039b69a54eeSKentaro Takeda static int tomoyo_check_single_path_acl(struct tomoyo_domain_info *domain, 1040b69a54eeSKentaro Takeda const u8 type, 1041b69a54eeSKentaro Takeda const struct tomoyo_path_info *filename) 1042b69a54eeSKentaro Takeda { 1043b69a54eeSKentaro Takeda if (!tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE)) 1044b69a54eeSKentaro Takeda return 0; 1045b69a54eeSKentaro Takeda return tomoyo_check_single_path_acl2(domain, filename, 1 << type, 1); 1046b69a54eeSKentaro Takeda } 1047b69a54eeSKentaro Takeda 1048b69a54eeSKentaro Takeda /** 1049b69a54eeSKentaro Takeda * tomoyo_check_double_path_acl - Check permission for double path operation. 1050b69a54eeSKentaro Takeda * 1051b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1052b69a54eeSKentaro Takeda * @type: Type of operation. 1053b69a54eeSKentaro Takeda * @filename1: First filename to check. 1054b69a54eeSKentaro Takeda * @filename2: Second filename to check. 1055b69a54eeSKentaro Takeda * 1056b69a54eeSKentaro Takeda * Returns 0 on success, -EPERM otherwise. 1057fdb8ebb7STetsuo Handa * 1058fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 1059b69a54eeSKentaro Takeda */ 1060b69a54eeSKentaro Takeda static int tomoyo_check_double_path_acl(const struct tomoyo_domain_info *domain, 1061b69a54eeSKentaro Takeda const u8 type, 1062b69a54eeSKentaro Takeda const struct tomoyo_path_info * 1063b69a54eeSKentaro Takeda filename1, 1064b69a54eeSKentaro Takeda const struct tomoyo_path_info * 1065b69a54eeSKentaro Takeda filename2) 1066b69a54eeSKentaro Takeda { 1067b69a54eeSKentaro Takeda struct tomoyo_acl_info *ptr; 1068b69a54eeSKentaro Takeda const u8 perm = 1 << type; 1069b69a54eeSKentaro Takeda int error = -EPERM; 1070b69a54eeSKentaro Takeda 1071b69a54eeSKentaro Takeda if (!tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE)) 1072b69a54eeSKentaro Takeda return 0; 1073fdb8ebb7STetsuo Handa list_for_each_entry_rcu(ptr, &domain->acl_info_list, list) { 1074b69a54eeSKentaro Takeda struct tomoyo_double_path_acl_record *acl; 1075b69a54eeSKentaro Takeda if (tomoyo_acl_type2(ptr) != TOMOYO_TYPE_DOUBLE_PATH_ACL) 1076b69a54eeSKentaro Takeda continue; 1077b69a54eeSKentaro Takeda acl = container_of(ptr, struct tomoyo_double_path_acl_record, 1078b69a54eeSKentaro Takeda head); 1079b69a54eeSKentaro Takeda if (!(acl->perm & perm)) 1080b69a54eeSKentaro Takeda continue; 1081b69a54eeSKentaro Takeda if (!tomoyo_path_matches_pattern(filename1, acl->filename1)) 1082b69a54eeSKentaro Takeda continue; 1083b69a54eeSKentaro Takeda if (!tomoyo_path_matches_pattern(filename2, acl->filename2)) 1084b69a54eeSKentaro Takeda continue; 1085b69a54eeSKentaro Takeda error = 0; 1086b69a54eeSKentaro Takeda break; 1087b69a54eeSKentaro Takeda } 1088b69a54eeSKentaro Takeda return error; 1089b69a54eeSKentaro Takeda } 1090b69a54eeSKentaro Takeda 1091b69a54eeSKentaro Takeda /** 1092b69a54eeSKentaro Takeda * tomoyo_check_single_path_permission2 - Check permission for single path operation. 1093b69a54eeSKentaro Takeda * 1094b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1095b69a54eeSKentaro Takeda * @operation: Type of operation. 1096b69a54eeSKentaro Takeda * @filename: Filename to check. 1097b69a54eeSKentaro Takeda * @mode: Access control mode. 1098b69a54eeSKentaro Takeda * 1099b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1100fdb8ebb7STetsuo Handa * 1101fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 1102b69a54eeSKentaro Takeda */ 1103b69a54eeSKentaro Takeda static int tomoyo_check_single_path_permission2(struct tomoyo_domain_info * 1104b69a54eeSKentaro Takeda const domain, u8 operation, 1105b69a54eeSKentaro Takeda const struct tomoyo_path_info * 1106b69a54eeSKentaro Takeda filename, const u8 mode) 1107b69a54eeSKentaro Takeda { 1108b69a54eeSKentaro Takeda const char *msg; 1109b69a54eeSKentaro Takeda int error; 1110b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 1111b69a54eeSKentaro Takeda 1112b69a54eeSKentaro Takeda if (!mode) 1113b69a54eeSKentaro Takeda return 0; 1114b69a54eeSKentaro Takeda next: 1115b69a54eeSKentaro Takeda error = tomoyo_check_single_path_acl(domain, operation, filename); 1116b69a54eeSKentaro Takeda msg = tomoyo_sp2keyword(operation); 1117b69a54eeSKentaro Takeda if (!error) 1118b69a54eeSKentaro Takeda goto ok; 1119b69a54eeSKentaro Takeda if (tomoyo_verbose_mode(domain)) 1120b69a54eeSKentaro Takeda printk(KERN_WARNING "TOMOYO-%s: Access '%s %s' denied for %s\n", 1121b69a54eeSKentaro Takeda tomoyo_get_msg(is_enforce), msg, filename->name, 1122b69a54eeSKentaro Takeda tomoyo_get_last_name(domain)); 1123b69a54eeSKentaro Takeda if (mode == 1 && tomoyo_domain_quota_is_ok(domain)) { 1124b69a54eeSKentaro Takeda const char *name = tomoyo_get_file_pattern(filename)->name; 1125b69a54eeSKentaro Takeda tomoyo_update_single_path_acl(operation, name, domain, false); 1126b69a54eeSKentaro Takeda } 1127b69a54eeSKentaro Takeda if (!is_enforce) 1128b69a54eeSKentaro Takeda error = 0; 1129b69a54eeSKentaro Takeda ok: 1130b69a54eeSKentaro Takeda /* 1131b69a54eeSKentaro Takeda * Since "allow_truncate" doesn't imply "allow_rewrite" permission, 1132b69a54eeSKentaro Takeda * we need to check "allow_rewrite" permission if the filename is 1133b69a54eeSKentaro Takeda * specified by "deny_rewrite" keyword. 1134b69a54eeSKentaro Takeda */ 1135b69a54eeSKentaro Takeda if (!error && operation == TOMOYO_TYPE_TRUNCATE_ACL && 1136b69a54eeSKentaro Takeda tomoyo_is_no_rewrite_file(filename)) { 1137b69a54eeSKentaro Takeda operation = TOMOYO_TYPE_REWRITE_ACL; 1138b69a54eeSKentaro Takeda goto next; 1139b69a54eeSKentaro Takeda } 1140b69a54eeSKentaro Takeda return error; 1141b69a54eeSKentaro Takeda } 1142b69a54eeSKentaro Takeda 1143b69a54eeSKentaro Takeda /** 1144b69a54eeSKentaro Takeda * tomoyo_check_exec_perm - Check permission for "execute". 1145b69a54eeSKentaro Takeda * 1146b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1147b69a54eeSKentaro Takeda * @filename: Check permission for "execute". 1148b69a54eeSKentaro Takeda * 1149b69a54eeSKentaro Takeda * Returns 0 on success, negativevalue otherwise. 1150fdb8ebb7STetsuo Handa * 1151fdb8ebb7STetsuo Handa * Caller holds tomoyo_read_lock(). 1152b69a54eeSKentaro Takeda */ 1153b69a54eeSKentaro Takeda int tomoyo_check_exec_perm(struct tomoyo_domain_info *domain, 1154bcb86975STetsuo Handa const struct tomoyo_path_info *filename) 1155b69a54eeSKentaro Takeda { 1156b69a54eeSKentaro Takeda const u8 mode = tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE); 1157b69a54eeSKentaro Takeda 1158b69a54eeSKentaro Takeda if (!mode) 1159b69a54eeSKentaro Takeda return 0; 1160b69a54eeSKentaro Takeda return tomoyo_check_file_perm2(domain, filename, 1, "do_execve", mode); 1161b69a54eeSKentaro Takeda } 1162b69a54eeSKentaro Takeda 1163b69a54eeSKentaro Takeda /** 1164b69a54eeSKentaro Takeda * tomoyo_check_open_permission - Check permission for "read" and "write". 1165b69a54eeSKentaro Takeda * 1166b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1167b69a54eeSKentaro Takeda * @path: Pointer to "struct path". 1168b69a54eeSKentaro Takeda * @flag: Flags for open(). 1169b69a54eeSKentaro Takeda * 1170b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1171b69a54eeSKentaro Takeda */ 1172b69a54eeSKentaro Takeda int tomoyo_check_open_permission(struct tomoyo_domain_info *domain, 1173b69a54eeSKentaro Takeda struct path *path, const int flag) 1174b69a54eeSKentaro Takeda { 1175b69a54eeSKentaro Takeda const u8 acc_mode = ACC_MODE(flag); 1176b69a54eeSKentaro Takeda int error = -ENOMEM; 1177b69a54eeSKentaro Takeda struct tomoyo_path_info *buf; 1178b69a54eeSKentaro Takeda const u8 mode = tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE); 1179b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 1180fdb8ebb7STetsuo Handa int idx; 1181b69a54eeSKentaro Takeda 1182b69a54eeSKentaro Takeda if (!mode || !path->mnt) 1183b69a54eeSKentaro Takeda return 0; 1184b69a54eeSKentaro Takeda if (acc_mode == 0) 1185b69a54eeSKentaro Takeda return 0; 1186b69a54eeSKentaro Takeda if (path->dentry->d_inode && S_ISDIR(path->dentry->d_inode->i_mode)) 1187b69a54eeSKentaro Takeda /* 1188b69a54eeSKentaro Takeda * I don't check directories here because mkdir() and rmdir() 1189b69a54eeSKentaro Takeda * don't call me. 1190b69a54eeSKentaro Takeda */ 1191b69a54eeSKentaro Takeda return 0; 1192fdb8ebb7STetsuo Handa idx = tomoyo_read_lock(); 1193b69a54eeSKentaro Takeda buf = tomoyo_get_path(path); 1194b69a54eeSKentaro Takeda if (!buf) 1195b69a54eeSKentaro Takeda goto out; 1196b69a54eeSKentaro Takeda error = 0; 1197b69a54eeSKentaro Takeda /* 1198b69a54eeSKentaro Takeda * If the filename is specified by "deny_rewrite" keyword, 1199b69a54eeSKentaro Takeda * we need to check "allow_rewrite" permission when the filename is not 1200b69a54eeSKentaro Takeda * opened for append mode or the filename is truncated at open time. 1201b69a54eeSKentaro Takeda */ 1202b69a54eeSKentaro Takeda if ((acc_mode & MAY_WRITE) && 1203b69a54eeSKentaro Takeda ((flag & O_TRUNC) || !(flag & O_APPEND)) && 1204b69a54eeSKentaro Takeda (tomoyo_is_no_rewrite_file(buf))) { 1205b69a54eeSKentaro Takeda error = tomoyo_check_single_path_permission2(domain, 1206b69a54eeSKentaro Takeda TOMOYO_TYPE_REWRITE_ACL, 1207b69a54eeSKentaro Takeda buf, mode); 1208b69a54eeSKentaro Takeda } 1209b69a54eeSKentaro Takeda if (!error) 1210b69a54eeSKentaro Takeda error = tomoyo_check_file_perm2(domain, buf, acc_mode, "open", 1211b69a54eeSKentaro Takeda mode); 1212b69a54eeSKentaro Takeda if (!error && (flag & O_TRUNC)) 1213b69a54eeSKentaro Takeda error = tomoyo_check_single_path_permission2(domain, 1214b69a54eeSKentaro Takeda TOMOYO_TYPE_TRUNCATE_ACL, 1215b69a54eeSKentaro Takeda buf, mode); 1216b69a54eeSKentaro Takeda out: 1217b69a54eeSKentaro Takeda tomoyo_free(buf); 1218fdb8ebb7STetsuo Handa tomoyo_read_unlock(idx); 1219b69a54eeSKentaro Takeda if (!is_enforce) 1220b69a54eeSKentaro Takeda error = 0; 1221b69a54eeSKentaro Takeda return error; 1222b69a54eeSKentaro Takeda } 1223b69a54eeSKentaro Takeda 1224b69a54eeSKentaro Takeda /** 1225937bf613STetsuo Handa * tomoyo_check_1path_perm - Check permission for "create", "unlink", "mkdir", "rmdir", "mkfifo", "mksock", "mkblock", "mkchar", "truncate", "symlink", "ioctl", "chmod", "chown", "chgrp", "chroot", "mount" and "unmount". 1226b69a54eeSKentaro Takeda * 1227b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1228b69a54eeSKentaro Takeda * @operation: Type of operation. 1229b69a54eeSKentaro Takeda * @path: Pointer to "struct path". 1230b69a54eeSKentaro Takeda * 1231b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1232b69a54eeSKentaro Takeda */ 1233b69a54eeSKentaro Takeda int tomoyo_check_1path_perm(struct tomoyo_domain_info *domain, 1234b69a54eeSKentaro Takeda const u8 operation, struct path *path) 1235b69a54eeSKentaro Takeda { 1236b69a54eeSKentaro Takeda int error = -ENOMEM; 1237b69a54eeSKentaro Takeda struct tomoyo_path_info *buf; 1238b69a54eeSKentaro Takeda const u8 mode = tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE); 1239b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 1240fdb8ebb7STetsuo Handa int idx; 1241b69a54eeSKentaro Takeda 1242b69a54eeSKentaro Takeda if (!mode || !path->mnt) 1243b69a54eeSKentaro Takeda return 0; 1244fdb8ebb7STetsuo Handa idx = tomoyo_read_lock(); 1245b69a54eeSKentaro Takeda buf = tomoyo_get_path(path); 1246b69a54eeSKentaro Takeda if (!buf) 1247b69a54eeSKentaro Takeda goto out; 1248b69a54eeSKentaro Takeda switch (operation) { 1249b69a54eeSKentaro Takeda case TOMOYO_TYPE_MKDIR_ACL: 1250b69a54eeSKentaro Takeda case TOMOYO_TYPE_RMDIR_ACL: 1251937bf613STetsuo Handa case TOMOYO_TYPE_CHROOT_ACL: 1252b69a54eeSKentaro Takeda if (!buf->is_dir) { 1253b69a54eeSKentaro Takeda /* 1254b69a54eeSKentaro Takeda * tomoyo_get_path() reserves space for appending "/." 1255b69a54eeSKentaro Takeda */ 1256b69a54eeSKentaro Takeda strcat((char *) buf->name, "/"); 1257b69a54eeSKentaro Takeda tomoyo_fill_path_info(buf); 1258b69a54eeSKentaro Takeda } 1259b69a54eeSKentaro Takeda } 1260b69a54eeSKentaro Takeda error = tomoyo_check_single_path_permission2(domain, operation, buf, 1261b69a54eeSKentaro Takeda mode); 1262b69a54eeSKentaro Takeda out: 1263b69a54eeSKentaro Takeda tomoyo_free(buf); 1264fdb8ebb7STetsuo Handa tomoyo_read_unlock(idx); 1265b69a54eeSKentaro Takeda if (!is_enforce) 1266b69a54eeSKentaro Takeda error = 0; 1267b69a54eeSKentaro Takeda return error; 1268b69a54eeSKentaro Takeda } 1269b69a54eeSKentaro Takeda 1270b69a54eeSKentaro Takeda /** 1271b69a54eeSKentaro Takeda * tomoyo_check_rewrite_permission - Check permission for "rewrite". 1272b69a54eeSKentaro Takeda * 1273b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1274b69a54eeSKentaro Takeda * @filp: Pointer to "struct file". 1275b69a54eeSKentaro Takeda * 1276b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1277b69a54eeSKentaro Takeda */ 1278b69a54eeSKentaro Takeda int tomoyo_check_rewrite_permission(struct tomoyo_domain_info *domain, 1279b69a54eeSKentaro Takeda struct file *filp) 1280b69a54eeSKentaro Takeda { 1281b69a54eeSKentaro Takeda int error = -ENOMEM; 1282b69a54eeSKentaro Takeda const u8 mode = tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE); 1283b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 1284b69a54eeSKentaro Takeda struct tomoyo_path_info *buf; 1285fdb8ebb7STetsuo Handa int idx; 1286b69a54eeSKentaro Takeda 1287b69a54eeSKentaro Takeda if (!mode || !filp->f_path.mnt) 1288b69a54eeSKentaro Takeda return 0; 1289fdb8ebb7STetsuo Handa 1290fdb8ebb7STetsuo Handa idx = tomoyo_read_lock(); 1291b69a54eeSKentaro Takeda buf = tomoyo_get_path(&filp->f_path); 1292b69a54eeSKentaro Takeda if (!buf) 1293b69a54eeSKentaro Takeda goto out; 1294b69a54eeSKentaro Takeda if (!tomoyo_is_no_rewrite_file(buf)) { 1295b69a54eeSKentaro Takeda error = 0; 1296b69a54eeSKentaro Takeda goto out; 1297b69a54eeSKentaro Takeda } 1298b69a54eeSKentaro Takeda error = tomoyo_check_single_path_permission2(domain, 1299b69a54eeSKentaro Takeda TOMOYO_TYPE_REWRITE_ACL, 1300b69a54eeSKentaro Takeda buf, mode); 1301b69a54eeSKentaro Takeda out: 1302b69a54eeSKentaro Takeda tomoyo_free(buf); 1303fdb8ebb7STetsuo Handa tomoyo_read_unlock(idx); 1304b69a54eeSKentaro Takeda if (!is_enforce) 1305b69a54eeSKentaro Takeda error = 0; 1306b69a54eeSKentaro Takeda return error; 1307b69a54eeSKentaro Takeda } 1308b69a54eeSKentaro Takeda 1309b69a54eeSKentaro Takeda /** 1310937bf613STetsuo Handa * tomoyo_check_2path_perm - Check permission for "rename", "link" and "pivot_root". 1311b69a54eeSKentaro Takeda * 1312b69a54eeSKentaro Takeda * @domain: Pointer to "struct tomoyo_domain_info". 1313b69a54eeSKentaro Takeda * @operation: Type of operation. 1314b69a54eeSKentaro Takeda * @path1: Pointer to "struct path". 1315b69a54eeSKentaro Takeda * @path2: Pointer to "struct path". 1316b69a54eeSKentaro Takeda * 1317b69a54eeSKentaro Takeda * Returns 0 on success, negative value otherwise. 1318b69a54eeSKentaro Takeda */ 1319b69a54eeSKentaro Takeda int tomoyo_check_2path_perm(struct tomoyo_domain_info * const domain, 1320b69a54eeSKentaro Takeda const u8 operation, struct path *path1, 1321b69a54eeSKentaro Takeda struct path *path2) 1322b69a54eeSKentaro Takeda { 1323b69a54eeSKentaro Takeda int error = -ENOMEM; 1324b69a54eeSKentaro Takeda struct tomoyo_path_info *buf1, *buf2; 1325b69a54eeSKentaro Takeda const u8 mode = tomoyo_check_flags(domain, TOMOYO_MAC_FOR_FILE); 1326b69a54eeSKentaro Takeda const bool is_enforce = (mode == 3); 1327b69a54eeSKentaro Takeda const char *msg; 1328fdb8ebb7STetsuo Handa int idx; 1329b69a54eeSKentaro Takeda 1330b69a54eeSKentaro Takeda if (!mode || !path1->mnt || !path2->mnt) 1331b69a54eeSKentaro Takeda return 0; 1332fdb8ebb7STetsuo Handa idx = tomoyo_read_lock(); 1333b69a54eeSKentaro Takeda buf1 = tomoyo_get_path(path1); 1334b69a54eeSKentaro Takeda buf2 = tomoyo_get_path(path2); 1335b69a54eeSKentaro Takeda if (!buf1 || !buf2) 1336b69a54eeSKentaro Takeda goto out; 1337b69a54eeSKentaro Takeda { 1338b69a54eeSKentaro Takeda struct dentry *dentry = path1->dentry; 1339b69a54eeSKentaro Takeda if (dentry->d_inode && S_ISDIR(dentry->d_inode->i_mode)) { 1340b69a54eeSKentaro Takeda /* 1341b69a54eeSKentaro Takeda * tomoyo_get_path() reserves space for appending "/." 1342b69a54eeSKentaro Takeda */ 1343b69a54eeSKentaro Takeda if (!buf1->is_dir) { 1344b69a54eeSKentaro Takeda strcat((char *) buf1->name, "/"); 1345b69a54eeSKentaro Takeda tomoyo_fill_path_info(buf1); 1346b69a54eeSKentaro Takeda } 1347b69a54eeSKentaro Takeda if (!buf2->is_dir) { 1348b69a54eeSKentaro Takeda strcat((char *) buf2->name, "/"); 1349b69a54eeSKentaro Takeda tomoyo_fill_path_info(buf2); 1350b69a54eeSKentaro Takeda } 1351b69a54eeSKentaro Takeda } 1352b69a54eeSKentaro Takeda } 1353b69a54eeSKentaro Takeda error = tomoyo_check_double_path_acl(domain, operation, buf1, buf2); 1354b69a54eeSKentaro Takeda msg = tomoyo_dp2keyword(operation); 1355b69a54eeSKentaro Takeda if (!error) 1356b69a54eeSKentaro Takeda goto out; 1357b69a54eeSKentaro Takeda if (tomoyo_verbose_mode(domain)) 1358b69a54eeSKentaro Takeda printk(KERN_WARNING "TOMOYO-%s: Access '%s %s %s' " 1359b69a54eeSKentaro Takeda "denied for %s\n", tomoyo_get_msg(is_enforce), 1360b69a54eeSKentaro Takeda msg, buf1->name, buf2->name, 1361b69a54eeSKentaro Takeda tomoyo_get_last_name(domain)); 1362b69a54eeSKentaro Takeda if (mode == 1 && tomoyo_domain_quota_is_ok(domain)) { 1363b69a54eeSKentaro Takeda const char *name1 = tomoyo_get_file_pattern(buf1)->name; 1364b69a54eeSKentaro Takeda const char *name2 = tomoyo_get_file_pattern(buf2)->name; 1365b69a54eeSKentaro Takeda tomoyo_update_double_path_acl(operation, name1, name2, domain, 1366b69a54eeSKentaro Takeda false); 1367b69a54eeSKentaro Takeda } 1368b69a54eeSKentaro Takeda out: 1369b69a54eeSKentaro Takeda tomoyo_free(buf1); 1370b69a54eeSKentaro Takeda tomoyo_free(buf2); 1371fdb8ebb7STetsuo Handa tomoyo_read_unlock(idx); 1372b69a54eeSKentaro Takeda if (!is_enforce) 1373b69a54eeSKentaro Takeda error = 0; 1374b69a54eeSKentaro Takeda return error; 1375b69a54eeSKentaro Takeda } 1376