security/tomoyo/common.c

   1 /*
   2  * security/tomoyo/common.c
   3  *
   4  * Common functions for TOMOYO.
   5  *
   6  * Copyright (C) 2005-2009  NTT DATA CORPORATION
   7  *
   8  * Version: 2.2.0-pre   2009/02/01
   9  *
  10  */
  11
  12 #include <linux/uaccess.h>
  13 #include <linux/security.h>
  14 #include <linux/hardirq.h>
  15 #include "realpath.h"
  16 #include "common.h"
  17 #include "tomoyo.h"
  18
  19 /* Has loading policy done? */
  20 bool tomoyo_policy_loaded;
  21
  22 /* String table for functionality that takes 4 modes. */
  23 static const char *tomoyo_mode_4[4] = {
  24         "disabled", "learning", "permissive", "enforcing"
  25 };
  26 /* String table for functionality that takes 2 modes. */
  27 static const char *tomoyo_mode_2[4] = {
  28         "disabled", "enabled", "enabled", "enabled"
  29 };
  30
  31 /* Table for profile. */
  32 static struct {
  33         const char *keyword;
  34         unsigned int current_value;
  35         const unsigned int max_value;
  36 } tomoyo_control_array[TOMOYO_MAX_CONTROL_INDEX] = {
  37         [TOMOYO_MAC_FOR_FILE]     = { "MAC_FOR_FILE",        0,       3 },
  38         [TOMOYO_MAX_ACCEPT_ENTRY] = { "MAX_ACCEPT_ENTRY", 2048, INT_MAX },
  39         [TOMOYO_VERBOSE]          = { "TOMOYO_VERBOSE",      1,       1 },
  40 };
  41
  42 /* Profile table. Memory is allocated as needed. */
  43 static struct tomoyo_profile {
  44         unsigned int value[TOMOYO_MAX_CONTROL_INDEX];
  45         const struct tomoyo_path_info *comment;
  46 } *tomoyo_profile_ptr[TOMOYO_MAX_PROFILES];
  47
  48 /* Permit policy management by non-root user? */
  49 static bool tomoyo_manage_by_non_root;
  50
  51 /* Utility functions. */
  52
  53 /* Open operation for /sys/kernel/security/tomoyo/ interface. */
  54 static int tomoyo_open_control(const u8 type, struct file *file);
  55 /* Close /sys/kernel/security/tomoyo/ interface. */
  56 static int tomoyo_close_control(struct file *file);
  57 /* Read operation for /sys/kernel/security/tomoyo/ interface. */
  58 static int tomoyo_read_control(struct file *file, char __user *buffer,
  59                                const int buffer_len);
  60 /* Write operation for /sys/kernel/security/tomoyo/ interface. */
  61 static int tomoyo_write_control(struct file *file, const char __user *buffer,
  62                                 const int buffer_len);
  63
  64 /**
  65  * tomoyo_is_byte_range - Check whether the string isa \ooo style octal value.
  66  *
  67  * @str: Pointer to the string.
  68  *
  69  * Returns true if @str is a \ooo style octal value, false otherwise.
  70  *
  71  * TOMOYO uses \ooo style representation for 0x01 - 0x20 and 0x7F - 0xFF.
  72  * This function verifies that \ooo is in valid range.
  73  */
  74 static inline bool tomoyo_is_byte_range(const char *str)
  75 {
  76         return *str >= '0' && *str++ <= '3' &&
  77                 *str >= '0' && *str++ <= '7' &&
  78                 *str >= '0' && *str <= '7';
  79 }
  80
  81 /**
  82  * tomoyo_is_alphabet_char - Check whether the character is an alphabet.
  83  *
  84  * @c: The character to check.
  85  *
  86  * Returns true if @c is an alphabet character, false otherwise.
  87  */
  88 static inline bool tomoyo_is_alphabet_char(const char c)
  89 {
  90         return (c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z');
  91 }
  92
  93 /**
  94  * tomoyo_make_byte - Make byte value from three octal characters.
  95  *
  96  * @c1: The first character.
  97  * @c2: The second character.
  98  * @c3: The third character.
  99  *
 100  * Returns byte value.
 101  */
 102 static inline u8 tomoyo_make_byte(const u8 c1, const u8 c2, const u8 c3)
 103 {
 104         return ((c1 - '0') << 6) + ((c2 - '0') << 3) + (c3 - '0');
 105 }
 106
 107 /**
 108  * tomoyo_str_starts - Check whether the given string starts with the given keyword.
 109  *
 110  * @src:  Pointer to pointer to the string.
 111  * @find: Pointer to the keyword.
 112  *
 113  * Returns true if @src starts with @find, false otherwise.
 114  *
 115  * The @src is updated to point the first character after the @find
 116  * if @src starts with @find.
 117  */
 118 static bool tomoyo_str_starts(char **src, const char *find)
 119 {
 120         const int len = strlen(find);
 121         char *tmp = *src;
 122
 123         if (strncmp(tmp, find, len))
 124                 return false;
 125         tmp += len;
 126         *src = tmp;
 127         return true;
 128 }
 129
 130 /**
 131  * tomoyo_normalize_line - Format string.
 132  *
 133  * @buffer: The line to normalize.
 134  *
 135  * Leading and trailing whitespaces are removed.
 136  * Multiple whitespaces are packed into single space.
 137  *
 138  * Returns nothing.
 139  */
 140 static void tomoyo_normalize_line(unsigned char *buffer)
 141 {
 142         unsigned char *sp = buffer;
 143         unsigned char *dp = buffer;
 144         bool first = true;
 145
 146         while (tomoyo_is_invalid(*sp))
 147                 sp++;
 148         while (*sp) {
 149                 if (!first)
 150                         *dp++ = ' ';
 151                 first = false;
 152                 while (tomoyo_is_valid(*sp))
 153                         *dp++ = *sp++;
 154                 while (tomoyo_is_invalid(*sp))
 155                         sp++;
 156         }
 157         *dp = '\0';
 158 }
 159
 160 /**
 161  * tomoyo_is_correct_path - Validate a pathname.
 162  * @filename:     The pathname to check.
 163  * @start_type:   Should the pathname start with '/'?
 164  *                1 = must / -1 = must not / 0 = don't care
 165  * @pattern_type: Can the pathname contain a wildcard?
 166  *                1 = must / -1 = must not / 0 = don't care
 167  * @end_type:     Should the pathname end with '/'?
 168  *                1 = must / -1 = must not / 0 = don't care
 169  * @function:     The name of function calling me.
 170  *
 171  * Check whether the given filename follows the naming rules.
 172  * Returns true if @filename follows the naming rules, false otherwise.
 173  */
 174 bool tomoyo_is_correct_path(const char *filename, const s8 start_type,
 175                             const s8 pattern_type, const s8 end_type,
 176                             const char *function)
 177 {
 178         bool contains_pattern = false;
 179         unsigned char c;
 180         unsigned char d;
 181         unsigned char e;
 182         const char *original_filename = filename;
 183
 184         if (!filename)
 185                 goto out;
 186         c = *filename;
 187         if (start_type == 1) { /* Must start with '/' */
 188                 if (c != '/')
 189                         goto out;
 190         } else if (start_type == -1) { /* Must not start with '/' */
 191                 if (c == '/')
 192                         goto out;
 193         }
 194         if (c)
 195                 c = *(filename + strlen(filename) - 1);
 196         if (end_type == 1) { /* Must end with '/' */
 197                 if (c != '/')
 198                         goto out;
 199         } else if (end_type == -1) { /* Must not end with '/' */
 200                 if (c == '/')
 201                         goto out;
 202         }
 203         while ((c = *filename++) != '\0') {
 204                 if (c == '\\') {
 205                         switch ((c = *filename++)) {
 206                         case '\\':  /* "\\" */
 207                                 continue;
 208                         case '$':   /* "\$" */
 209                         case '+':   /* "\+" */
 210                         case '?':   /* "\?" */
 211                         case '*':   /* "\*" */
 212                         case '@':   /* "\@" */
 213                         case 'x':   /* "\x" */
 214                         case 'X':   /* "\X" */
 215                         case 'a':   /* "\a" */
 216                         case 'A':   /* "\A" */
 217                         case '-':   /* "\-" */
 218                                 if (pattern_type == -1)
 219                                         break; /* Must not contain pattern */
 220                                 contains_pattern = true;
 221                                 continue;
 222                         case '0':   /* "\ooo" */
 223                         case '1':
 224                         case '2':
 225                         case '3':
 226                                 d = *filename++;
 227                                 if (d < '0' || d > '7')
 228                                         break;
 229                                 e = *filename++;
 230                                 if (e < '0' || e > '7')
 231                                         break;
 232                                 c = tomoyo_make_byte(c, d, e);
 233                                 if (tomoyo_is_invalid(c))
 234                                         continue; /* pattern is not \000 */
 235                         }
 236                         goto out;
 237                 } else if (tomoyo_is_invalid(c)) {
 238                         goto out;
 239                 }
 240         }
 241         if (pattern_type == 1) { /* Must contain pattern */
 242                 if (!contains_pattern)
 243                         goto out;
 244         }
 245         return true;
 246  out:
 247         printk(KERN_DEBUG "%s: Invalid pathname '%s'\n", function,
 248                original_filename);
 249         return false;
 250 }
 251
 252 /**
 253  * tomoyo_is_correct_domain - Check whether the given domainname follows the naming rules.
 254  * @domainname:   The domainname to check.
 255  * @function:     The name of function calling me.
 256  *
 257  * Returns true if @domainname follows the naming rules, false otherwise.
 258  */
 259 bool tomoyo_is_correct_domain(const unsigned char *domainname,
 260                               const char *function)
 261 {
 262         unsigned char c;
 263         unsigned char d;
 264         unsigned char e;
 265         const char *org_domainname = domainname;
 266
 267         if (!domainname || strncmp(domainname, TOMOYO_ROOT_NAME,
 268                                    TOMOYO_ROOT_NAME_LEN))
 269                 goto out;
 270         domainname += TOMOYO_ROOT_NAME_LEN;
 271         if (!*domainname)
 272                 return true;
 273         do {
 274                 if (*domainname++ != ' ')
 275                         goto out;
 276                 if (*domainname++ != '/')
 277                         goto out;
 278                 while ((c = *domainname) != '\0' && c != ' ') {
 279                         domainname++;
 280                         if (c == '\\') {
 281                                 c = *domainname++;
 282                                 switch ((c)) {
 283                                 case '\\':  /* "\\" */
 284                                         continue;
 285                                 case '0':   /* "\ooo" */
 286                                 case '1':
 287                                 case '2':
 288                                 case '3':
 289                                         d = *domainname++;
 290                                         if (d < '0' || d > '7')
 291                                                 break;
 292                                         e = *domainname++;
 293                                         if (e < '0' || e > '7')
 294                                                 break;
 295                                         c = tomoyo_make_byte(c, d, e);
 296                                         if (tomoyo_is_invalid(c))
 297                                                 /* pattern is not \000 */
 298                                                 continue;
 299                                 }
 300                                 goto out;
 301                         } else if (tomoyo_is_invalid(c)) {
 302                                 goto out;
 303                         }
 304                 }
 305         } while (*domainname);
 306         return true;
 307  out:
 308         printk(KERN_DEBUG "%s: Invalid domainname '%s'\n", function,
 309                org_domainname);
 310         return false;
 311 }
 312
 313 /**
 314  * tomoyo_is_domain_def - Check whether the given token can be a domainname.
 315  *
 316  * @buffer: The token to check.
 317  *
 318  * Returns true if @buffer possibly be a domainname, false otherwise.
 319  */
 320 bool tomoyo_is_domain_def(const unsigned char *buffer)
 321 {
 322         return !strncmp(buffer, TOMOYO_ROOT_NAME, TOMOYO_ROOT_NAME_LEN);
 323 }
 324
 325 /**
 326  * tomoyo_find_domain - Find a domain by the given name.
 327  *
 328  * @domainname: The domainname to find.
 329  *
 330  * Caller must call down_read(&tomoyo_domain_list_lock); or
 331  * down_write(&tomoyo_domain_list_lock); .
 332  *
 333  * Returns pointer to "struct tomoyo_domain_info" if found, NULL otherwise.
 334  */
 335 struct tomoyo_domain_info *tomoyo_find_domain(const char *domainname)
 336 {
 337         struct tomoyo_domain_info *domain;
 338         struct tomoyo_path_info name;
 339
 340         name.name = domainname;
 341         tomoyo_fill_path_info(&name);
 342         list_for_each_entry(domain, &tomoyo_domain_list, list) {
 343                 if (!domain->is_deleted &&
 344                     !tomoyo_pathcmp(&name, domain->domainname))
 345                         return domain;
 346         }
 347         return NULL;
 348 }
 349
 350 /**
 351  * tomoyo_path_depth - Evaluate the number of '/' in a string.
 352  *
 353  * @pathname: The string to evaluate.
 354  *
 355  * Returns path depth of the string.
 356  *
 357  * I score 2 for each of the '/' in the @pathname
 358  * and score 1 if the @pathname ends with '/'.
 359  */
 360 static int tomoyo_path_depth(const char *pathname)
 361 {
 362         int i = 0;
 363
 364         if (pathname) {
 365                 const char *ep = pathname + strlen(pathname);
 366                 if (pathname < ep--) {
 367                         if (*ep != '/')
 368                                 i++;
 369                         while (pathname <= ep)
 370                                 if (*ep-- == '/')
 371                                         i += 2;
 372                 }
 373         }
 374         return i;
 375 }
 376
 377 /**
 378  * tomoyo_const_part_length - Evaluate the initial length without a pattern in a token.
 379  *
 380  * @filename: The string to evaluate.
 381  *
 382  * Returns the initial length without a pattern in @filename.
 383  */
 384 static int tomoyo_const_part_length(const char *filename)
 385 {
 386         char c;
 387         int len = 0;
 388
 389         if (!filename)
 390                 return 0;
 391         while ((c = *filename++) != '\0') {
 392                 if (c != '\\') {
 393                         len++;
 394                         continue;
 395                 }
 396                 c = *filename++;
 397                 switch (c) {
 398                 case '\\':  /* "\\" */
 399                         len += 2;
 400                         continue;
 401                 case '0':   /* "\ooo" */
 402                 case '1':
 403                 case '2':
 404                 case '3':
 405                         c = *filename++;
 406                         if (c < '0' || c > '7')
 407                                 break;
 408                         c = *filename++;
 409                         if (c < '0' || c > '7')
 410                                 break;
 411                         len += 4;
 412                         continue;
 413                 }
 414                 break;
 415         }
 416         return len;
 417 }
 418
 419 /**
 420  * tomoyo_fill_path_info - Fill in "struct tomoyo_path_info" members.
 421  *
 422  * @ptr: Pointer to "struct tomoyo_path_info" to fill in.
 423  *
 424  * The caller sets "struct tomoyo_path_info"->name.
 425  */
 426 void tomoyo_fill_path_info(struct tomoyo_path_info *ptr)
 427 {
 428         const char *name = ptr->name;
 429         const int len = strlen(name);
 430
 431         ptr->total_len = len;
 432         ptr->const_len = tomoyo_const_part_length(name);
 433         ptr->is_dir = len && (name[len - 1] == '/');
 434         ptr->is_patterned = (ptr->const_len < len);
 435         ptr->hash = full_name_hash(name, len);
 436         ptr->depth = tomoyo_path_depth(name);
 437 }
 438
 439 /**
 440  * tomoyo_file_matches_to_pattern2 - Pattern matching without '/' character
 441  * and "\-" pattern.
 442  *
 443  * @filename:     The start of string to check.
 444  * @filename_end: The end of string to check.
 445  * @pattern:      The start of pattern to compare.
 446  * @pattern_end:  The end of pattern to compare.
 447  *
 448  * Returns true if @filename matches @pattern, false otherwise.
 449  */
 450 static bool tomoyo_file_matches_to_pattern2(const char *filename,
 451                                             const char *filename_end,
 452                                             const char *pattern,
 453                                             const char *pattern_end)
 454 {
 455         while (filename < filename_end && pattern < pattern_end) {
 456                 char c;
 457                 if (*pattern != '\\') {
 458                         if (*filename++ != *pattern++)
 459                                 return false;
 460                         continue;
 461                 }
 462                 c = *filename;
 463                 pattern++;
 464                 switch (*pattern) {
 465                         int i;
 466                         int j;
 467                 case '?':
 468                         if (c == '/') {
 469                                 return false;
 470                         } else if (c == '\\') {
 471                                 if (filename[1] == '\\')
 472                                         filename++;
 473                                 else if (tomoyo_is_byte_range(filename + 1))
 474                                         filename += 3;
 475                                 else
 476                                         return false;
 477                         }
 478                         break;
 479                 case '\\':
 480                         if (c != '\\')
 481                                 return false;
 482                         if (*++filename != '\\')
 483                                 return false;
 484                         break;
 485                 case '+':
 486                         if (!isdigit(c))
 487                                 return false;
 488                         break;
 489                 case 'x':
 490                         if (!isxdigit(c))
 491                                 return false;
 492                         break;
 493                 case 'a':
 494                         if (!tomoyo_is_alphabet_char(c))
 495                                 return false;
 496                         break;
 497                 case '0':
 498                 case '1':
 499                 case '2':
 500                 case '3':
 501                         if (c == '\\' && tomoyo_is_byte_range(filename + 1)
 502                             && strncmp(filename + 1, pattern, 3) == 0) {
 503                                 filename += 3;
 504                                 pattern += 2;
 505                                 break;
 506                         }
 507                         return false; /* Not matched. */
 508                 case '*':
 509                 case '@':
 510                         for (i = 0; i <= filename_end - filename; i++) {
 511                                 if (tomoyo_file_matches_to_pattern2(
 512                                                     filename + i, filename_end,
 513                                                     pattern + 1, pattern_end))
 514                                         return true;
 515                                 c = filename[i];
 516                                 if (c == '.' && *pattern == '@')
 517                                         break;
 518                                 if (c != '\\')
 519                                         continue;
 520                                 if (filename[i + 1] == '\\')
 521                                         i++;
 522                                 else if (tomoyo_is_byte_range(filename + i + 1))
 523                                         i += 3;
 524                                 else
 525                                         break; /* Bad pattern. */
 526                         }
 527                         return false; /* Not matched. */
 528                 default:
 529                         j = 0;
 530                         c = *pattern;
 531                         if (c == '$') {
 532                                 while (isdigit(filename[j]))
 533                                         j++;
 534                         } else if (c == 'X') {
 535                                 while (isxdigit(filename[j]))
 536                                         j++;
 537                         } else if (c == 'A') {
 538                                 while (tomoyo_is_alphabet_char(filename[j]))
 539                                         j++;
 540                         }
 541                         for (i = 1; i <= j; i++) {
 542                                 if (tomoyo_file_matches_to_pattern2(
 543                                                     filename + i, filename_end,
 544                                                     pattern + 1, pattern_end))
 545                                         return true;
 546                         }
 547                         return false; /* Not matched or bad pattern. */
 548                 }
 549                 filename++;
 550                 pattern++;
 551         }
 552         while (*pattern == '\\' &&
 553                (*(pattern + 1) == '*' || *(pattern + 1) == '@'))
 554                 pattern += 2;
 555         return filename == filename_end && pattern == pattern_end;
 556 }
 557
 558 /**
 559  * tomoyo_file_matches_to_pattern - Pattern matching without without '/' character.
 560  *
 561  * @filename:     The start of string to check.
 562  * @filename_end: The end of string to check.
 563  * @pattern:      The start of pattern to compare.
 564  * @pattern_end:  The end of pattern to compare.
 565  *
 566  * Returns true if @filename matches @pattern, false otherwise.
 567  */
 568 static bool tomoyo_file_matches_to_pattern(const char *filename,
 569                                            const char *filename_end,
 570                                            const char *pattern,
 571                                            const char *pattern_end)
 572 {
 573         const char *pattern_start = pattern;
 574         bool first = true;
 575         bool result;
 576
 577         while (pattern < pattern_end - 1) {
 578                 /* Split at "\-" pattern. */
 579                 if (*pattern++ != '\\' || *pattern++ != '-')
 580                         continue;
 581                 result = tomoyo_file_matches_to_pattern2(filename,
 582                                                          filename_end,
 583                                                          pattern_start,
 584                                                          pattern - 2);
 585                 if (first)
 586                         result = !result;
 587                 if (result)
 588                         return false;
 589                 first = false;
 590                 pattern_start = pattern;
 591         }
 592         result = tomoyo_file_matches_to_pattern2(filename, filename_end,
 593                                                  pattern_start, pattern_end);
 594         return first ? result : !result;
 595 }
 596
 597 /**
 598  * tomoyo_path_matches_pattern - Check whether the given filename matches the given pattern.
 599  * @filename: The filename to check.
 600  * @pattern:  The pattern to compare.
 601  *
 602  * Returns true if matches, false otherwise.
 603  *
 604  * The following patterns are available.
 605  *   \\     \ itself.
 606  *   \ooo   Octal representation of a byte.
 607  *   \*     More than or equals to 0 character other than '/'.
 608  *   \@     More than or equals to 0 character other than '/' or '.'.
 609  *   \?     1 byte character other than '/'.
 610  *   \$     More than or equals to 1 decimal digit.
 611  *   \+     1 decimal digit.
 612  *   \X     More than or equals to 1 hexadecimal digit.
 613  *   \x     1 hexadecimal digit.
 614  *   \A     More than or equals to 1 alphabet character.
 615  *   \a     1 alphabet character.
 616  *   \-     Subtraction operator.
 617  */
 618 bool tomoyo_path_matches_pattern(const struct tomoyo_path_info *filename,
 619                                  const struct tomoyo_path_info *pattern)
 620 {
 621         /*
 622           if (!filename || !pattern)
 623           return false;
 624         */
 625         const char *f = filename->name;
 626         const char *p = pattern->name;
 627         const int len = pattern->const_len;
 628
 629         /* If @pattern doesn't contain pattern, I can use strcmp(). */
 630         if (!pattern->is_patterned)
 631                 return !tomoyo_pathcmp(filename, pattern);
 632         /* Dont compare if the number of '/' differs. */
 633         if (filename->depth != pattern->depth)
 634                 return false;
 635         /* Compare the initial length without patterns. */
 636         if (strncmp(f, p, len))
 637                 return false;
 638         f += len;
 639         p += len;
 640         /* Main loop. Compare each directory component. */
 641         while (*f && *p) {
 642                 const char *f_delimiter = strchr(f, '/');
 643                 const char *p_delimiter = strchr(p, '/');
 644                 if (!f_delimiter)
 645                         f_delimiter = f + strlen(f);
 646                 if (!p_delimiter)
 647                         p_delimiter = p + strlen(p);
 648                 if (!tomoyo_file_matches_to_pattern(f, f_delimiter,
 649                                                     p, p_delimiter))
 650                         return false;
 651                 f = f_delimiter;
 652                 if (*f)
 653                         f++;
 654                 p = p_delimiter;
 655                 if (*p)
 656                         p++;
 657         }
 658         /* Ignore trailing "\*" and "\@" in @pattern. */
 659         while (*p == '\\' &&
 660                (*(p + 1) == '*' || *(p + 1) == '@'))
 661                 p += 2;
 662         return !*f && !*p;
 663 }
 664
 665 /**
 666  * tomoyo_io_printf - Transactional printf() to "struct tomoyo_io_buffer" structure.
 667  *
 668  * @head: Pointer to "struct tomoyo_io_buffer".
 669  * @fmt:  The printf()'s format string, followed by parameters.
 670  *
 671  * Returns true if output was written, false otherwise.
 672  *
 673  * The snprintf() will truncate, but tomoyo_io_printf() won't.
 674  */
 675 bool tomoyo_io_printf(struct tomoyo_io_buffer *head, const char *fmt, ...)
 676 {
 677         va_list args;
 678         int len;
 679         int pos = head->read_avail;
 680         int size = head->readbuf_size - pos;
 681
 682         if (size <= 0)
 683                 return false;
 684         va_start(args, fmt);
 685         len = vsnprintf(head->read_buf + pos, size, fmt, args);
 686         va_end(args);
 687         if (pos + len >= head->readbuf_size)
 688                 return false;
 689         head->read_avail += len;
 690         return true;
 691 }
 692
 693 /**
 694  * tomoyo_get_exe - Get tomoyo_realpath() of current process.
 695  *
 696  * Returns the tomoyo_realpath() of current process on success, NULL otherwise.
 697  *
 698  * This function uses tomoyo_alloc(), so the caller must call tomoyo_free()
 699  * if this function didn't return NULL.
 700  */
 701 static const char *tomoyo_get_exe(void)
 702 {
 703         struct mm_struct *mm = current->mm;
 704         struct vm_area_struct *vma;
 705         const char *cp = NULL;
 706
 707         if (!mm)
 708                 return NULL;
 709         down_read(&mm->mmap_sem);
 710         for (vma = mm->mmap; vma; vma = vma->vm_next) {
 711                 if ((vma->vm_flags & VM_EXECUTABLE) && vma->vm_file) {
 712                         cp = tomoyo_realpath_from_path(&vma->vm_file->f_path);
 713                         break;
 714                 }
 715         }
 716         up_read(&mm->mmap_sem);
 717         return cp;
 718 }
 719
 720 /**
 721  * tomoyo_get_msg - Get warning message.
 722  *
 723  * @is_enforce: Is it enforcing mode?
 724  *
 725  * Returns "ERROR" or "WARNING".
 726  */
 727 const char *tomoyo_get_msg(const bool is_enforce)
 728 {
 729         if (is_enforce)
 730                 return "ERROR";
 731         else
 732                 return "WARNING";
 733 }
 734
 735 /**
 736  * tomoyo_check_flags - Check mode for specified functionality.
 737  *
 738  * @domain: Pointer to "struct tomoyo_domain_info".
 739  * @index:  The functionality to check mode.
 740  *
 741  * TOMOYO checks only process context.
 742  * This code disables TOMOYO's enforcement in case the function is called from
 743  * interrupt context.
 744  */
 745 unsigned int tomoyo_check_flags(const struct tomoyo_domain_info *domain,
 746                                 const u8 index)
 747 {
 748         const u8 profile = domain->profile;
 749
 750         if (WARN_ON(in_interrupt()))
 751                 return 0;
 752         return tomoyo_policy_loaded && index < TOMOYO_MAX_CONTROL_INDEX
 753 #if TOMOYO_MAX_PROFILES != 256
 754                 && profile < TOMOYO_MAX_PROFILES
 755 #endif
 756                 && tomoyo_profile_ptr[profile] ?
 757                 tomoyo_profile_ptr[profile]->value[index] : 0;
 758 }
 759
 760 /**
 761  * tomoyo_verbose_mode - Check whether TOMOYO is verbose mode.
 762  *
 763  * @domain: Pointer to "struct tomoyo_domain_info".
 764  *
 765  * Returns true if domain policy violation warning should be printed to
 766  * console.
 767  */
 768 bool tomoyo_verbose_mode(const struct tomoyo_domain_info *domain)
 769 {
 770         return tomoyo_check_flags(domain, TOMOYO_VERBOSE) != 0;
 771 }
 772
 773 /**
 774  * tomoyo_domain_quota_is_ok - Check for domain's quota.
 775  *
 776  * @domain: Pointer to "struct tomoyo_domain_info".
 777  *
 778  * Returns true if the domain is not exceeded quota, false otherwise.
 779  */
 780 bool tomoyo_domain_quota_is_ok(struct tomoyo_domain_info * const domain)
 781 {
 782         unsigned int count = 0;
 783         struct tomoyo_acl_info *ptr;
 784
 785         if (!domain)
 786                 return true;
 787         down_read(&tomoyo_domain_acl_info_list_lock);
 788         list_for_each_entry(ptr, &domain->acl_info_list, list) {
 789                 if (ptr->type & TOMOYO_ACL_DELETED)
 790                         continue;
 791                 switch (tomoyo_acl_type2(ptr)) {
 792                         struct tomoyo_single_path_acl_record *acl1;
 793                         struct tomoyo_double_path_acl_record *acl2;
 794                         u16 perm;
 795                 case TOMOYO_TYPE_SINGLE_PATH_ACL:
 796                         acl1 = container_of(ptr,
 797                                     struct tomoyo_single_path_acl_record,
 798                                             head);
 799                         perm = acl1->perm;
 800                         if (perm & (1 << TOMOYO_TYPE_EXECUTE_ACL))
 801                                 count++;
 802                         if (perm &
 803                             ((1 << TOMOYO_TYPE_READ_ACL) |
 804                              (1 << TOMOYO_TYPE_WRITE_ACL)))
 805                                 count++;
 806                         if (perm & (1 << TOMOYO_TYPE_CREATE_ACL))
 807                                 count++;
 808                         if (perm & (1 << TOMOYO_TYPE_UNLINK_ACL))
 809                                 count++;
 810                         if (perm & (1 << TOMOYO_TYPE_MKDIR_ACL))
 811                                 count++;
 812                         if (perm & (1 << TOMOYO_TYPE_RMDIR_ACL))
 813                                 count++;
 814                         if (perm & (1 << TOMOYO_TYPE_MKFIFO_ACL))
 815                                 count++;
 816                         if (perm & (1 << TOMOYO_TYPE_MKSOCK_ACL))
 817                                 count++;
 818                         if (perm & (1 << TOMOYO_TYPE_MKBLOCK_ACL))
 819                                 count++;
 820                         if (perm & (1 << TOMOYO_TYPE_MKCHAR_ACL))
 821                                 count++;
 822                         if (perm & (1 << TOMOYO_TYPE_TRUNCATE_ACL))
 823                                 count++;
 824                         if (perm & (1 << TOMOYO_TYPE_SYMLINK_ACL))
 825                                 count++;
 826                         if (perm & (1 << TOMOYO_TYPE_REWRITE_ACL))
 827                                 count++;
 828                         break;
 829                 case TOMOYO_TYPE_DOUBLE_PATH_ACL:
 830                         acl2 = container_of(ptr,
 831                                     struct tomoyo_double_path_acl_record,
 832                                             head);
 833                         perm = acl2->perm;
 834                         if (perm & (1 << TOMOYO_TYPE_LINK_ACL))
 835                                 count++;
 836                         if (perm & (1 << TOMOYO_TYPE_RENAME_ACL))
 837                                 count++;
 838                         break;
 839                 }
 840         }
 841         up_read(&tomoyo_domain_acl_info_list_lock);
 842         if (count < tomoyo_check_flags(domain, TOMOYO_MAX_ACCEPT_ENTRY))
 843                 return true;
 844         if (!domain->quota_warned) {
 845                 domain->quota_warned = true;
 846                 printk(KERN_WARNING "TOMOYO-WARNING: "
 847                        "Domain '%s' has so many ACLs to hold. "
 848                        "Stopped learning mode.\n", domain->domainname->name);
 849         }
 850         return false;
 851 }
 852
 853 /**
 854  * tomoyo_find_or_assign_new_profile - Create a new profile.
 855  *
 856  * @profile: Profile number to create.
 857  *
 858  * Returns pointer to "struct tomoyo_profile" on success, NULL otherwise.
 859  */
 860 static struct tomoyo_profile *tomoyo_find_or_assign_new_profile(const unsigned
 861                                                                 int profile)
 862 {
 863         static DEFINE_MUTEX(lock);
 864         struct tomoyo_profile *ptr = NULL;
 865         int i;
 866
 867         if (profile >= TOMOYO_MAX_PROFILES)
 868                 return NULL;
 869         /***** EXCLUSIVE SECTION START *****/
 870         mutex_lock(&lock);
 871         ptr = tomoyo_profile_ptr[profile];
 872         if (ptr)
 873                 goto ok;
 874         ptr = tomoyo_alloc_element(sizeof(*ptr));
 875         if (!ptr)
 876                 goto ok;
 877         for (i = 0; i < TOMOYO_MAX_CONTROL_INDEX; i++)
 878                 ptr->value[i] = tomoyo_control_array[i].current_value;
 879         mb(); /* Avoid out-of-order execution. */
 880         tomoyo_profile_ptr[profile] = ptr;
 881  ok:
 882         mutex_unlock(&lock);
 883         /***** EXCLUSIVE SECTION END *****/
 884         return ptr;
 885 }
 886
 887 /**
 888  * tomoyo_write_profile - Write to profile table.
 889  *
 890  * @head: Pointer to "struct tomoyo_io_buffer".
 891  *
 892  * Returns 0 on success, negative value otherwise.
 893  */
 894 static int tomoyo_write_profile(struct tomoyo_io_buffer *head)
 895 {
 896         char *data = head->write_buf;
 897         unsigned int i;
 898         unsigned int value;
 899         char *cp;
 900         struct tomoyo_profile *profile;
 901         unsigned long num;
 902
 903         cp = strchr(data, '-');
 904         if (cp)
 905                 *cp = '\0';
 906         if (strict_strtoul(data, 10, &num))
 907                 return -EINVAL;
 908         if (cp)
 909                 data = cp + 1;
 910         profile = tomoyo_find_or_assign_new_profile(num);
 911         if (!profile)
 912                 return -EINVAL;
 913         cp = strchr(data, '=');
 914         if (!cp)
 915                 return -EINVAL;
 916         *cp = '\0';
 917         if (!strcmp(data, "COMMENT")) {
 918                 profile->comment = tomoyo_save_name(cp + 1);
 919                 return 0;
 920         }
 921         for (i = 0; i < TOMOYO_MAX_CONTROL_INDEX; i++) {
 922                 if (strcmp(data, tomoyo_control_array[i].keyword))
 923                         continue;
 924                 if (sscanf(cp + 1, "%u", &value) != 1) {
 925                         int j;
 926                         const char **modes;
 927                         switch (i) {
 928                         case TOMOYO_VERBOSE:
 929                                 modes = tomoyo_mode_2;
 930                                 break;
 931                         default:
 932                                 modes = tomoyo_mode_4;
 933                                 break;
 934                         }
 935                         for (j = 0; j < 4; j++) {
 936                                 if (strcmp(cp + 1, modes[j]))
 937                                         continue;
 938                                 value = j;
 939                                 break;
 940                         }
 941                         if (j == 4)
 942                                 return -EINVAL;
 943                 } else if (value > tomoyo_control_array[i].max_value) {
 944                         value = tomoyo_control_array[i].max_value;
 945                 }
 946                 profile->value[i] = value;
 947                 return 0;
 948         }
 949         return -EINVAL;
 950 }
 951
 952 /**
 953  * tomoyo_read_profile - Read from profile table.
 954  *
 955  * @head: Pointer to "struct tomoyo_io_buffer".
 956  *
 957  * Returns 0.
 958  */
 959 static int tomoyo_read_profile(struct tomoyo_io_buffer *head)
 960 {
 961         static const int total = TOMOYO_MAX_CONTROL_INDEX + 1;
 962         int step;
 963
 964         if (head->read_eof)
 965                 return 0;
 966         for (step = head->read_step; step < TOMOYO_MAX_PROFILES * total;
 967              step++) {
 968                 const u8 index = step / total;
 969                 u8 type = step % total;
 970                 const struct tomoyo_profile *profile
 971                         = tomoyo_profile_ptr[index];
 972                 head->read_step = step;
 973                 if (!profile)
 974                         continue;
 975                 if (!type) { /* Print profile' comment tag. */
 976                         if (!tomoyo_io_printf(head, "%u-COMMENT=%s\n",
 977                                               index, profile->comment ?
 978                                               profile->comment->name : ""))
 979                                 break;
 980                         continue;
 981                 }
 982                 type--;
 983                 if (type < TOMOYO_MAX_CONTROL_INDEX) {
 984                         const unsigned int value = profile->value[type];
 985                         const char **modes = NULL;
 986                         const char *keyword
 987                                 = tomoyo_control_array[type].keyword;
 988                         switch (tomoyo_control_array[type].max_value) {
 989                         case 3:
 990                                 modes = tomoyo_mode_4;
 991                                 break;
 992                         case 1:
 993                                 modes = tomoyo_mode_2;
 994                                 break;
 995                         }
 996                         if (modes) {
 997                                 if (!tomoyo_io_printf(head, "%u-%s=%s\n", index,
 998                                                       keyword, modes[value]))
 999                                         break;
1000                         } else {
1001                                 if (!tomoyo_io_printf(head, "%u-%s=%u\n", index,
1002                                                       keyword, value))
1003                                         break;
1004                         }
1005                 }
1006         }
1007         if (step == TOMOYO_MAX_PROFILES * total)
1008                 head->read_eof = true;
1009         return 0;
1010 }
1011
1012 /* Structure for policy manager. */
1013 struct tomoyo_policy_manager_entry {
1014         struct list_head list;
1015         /* A path to program or a domainname. */
1016         const struct tomoyo_path_info *manager;
1017         bool is_domain;  /* True if manager is a domainname. */
1018         bool is_deleted; /* True if this entry is deleted. */
1019 };
1020
1021 /* The list for "struct tomoyo_policy_manager_entry". */
1022 static LIST_HEAD(tomoyo_policy_manager_list);
1023 static DECLARE_RWSEM(tomoyo_policy_manager_list_lock);
1024
1025 /**
1026  * tomoyo_update_manager_entry - Add a manager entry.
1027  *
1028  * @manager:   The path to manager or the domainnamme.
1029  * @is_delete: True if it is a delete request.
1030  *
1031  * Returns 0 on success, negative value otherwise.
1032  */
1033 static int tomoyo_update_manager_entry(const char *manager,
1034                                        const bool is_delete)
1035 {
1036         struct tomoyo_policy_manager_entry *new_entry;
1037         struct tomoyo_policy_manager_entry *ptr;
1038         const struct tomoyo_path_info *saved_manager;
1039         int error = -ENOMEM;
1040         bool is_domain = false;
1041
1042         if (tomoyo_is_domain_def(manager)) {
1043                 if (!tomoyo_is_correct_domain(manager, __func__))
1044                         return -EINVAL;
1045                 is_domain = true;
1046         } else {
1047                 if (!tomoyo_is_correct_path(manager, 1, -1, -1, __func__))
1048                         return -EINVAL;
1049         }
1050         saved_manager = tomoyo_save_name(manager);
1051         if (!saved_manager)
1052                 return -ENOMEM;
1053         /***** EXCLUSIVE SECTION START *****/
1054         down_write(&tomoyo_policy_manager_list_lock);
1055         list_for_each_entry(ptr, &tomoyo_policy_manager_list, list) {
1056                 if (ptr->manager != saved_manager)
1057                         continue;
1058                 ptr->is_deleted = is_delete;
1059                 error = 0;
1060                 goto out;
1061         }
1062         if (is_delete) {
1063                 error = -ENOENT;
1064                 goto out;
1065         }
1066         new_entry = tomoyo_alloc_element(sizeof(*new_entry));
1067         if (!new_entry)
1068                 goto out;
1069         new_entry->manager = saved_manager;
1070         new_entry->is_domain = is_domain;
1071         list_add_tail(&new_entry->list, &tomoyo_policy_manager_list);
1072         error = 0;
1073  out:
1074         up_write(&tomoyo_policy_manager_list_lock);
1075         /***** EXCLUSIVE SECTION END *****/
1076         return error;
1077 }
1078
1079 /**
1080  * tomoyo_write_manager_policy - Write manager policy.
1081  *
1082  * @head: Pointer to "struct tomoyo_io_buffer".
1083  *
1084  * Returns 0 on success, negative value otherwise.
1085  */
1086 static int tomoyo_write_manager_policy(struct tomoyo_io_buffer *head)
1087 {
1088         char *data = head->write_buf;
1089         bool is_delete = tomoyo_str_starts(&data, TOMOYO_KEYWORD_DELETE);
1090
1091         if (!strcmp(data, "manage_by_non_root")) {
1092                 tomoyo_manage_by_non_root = !is_delete;
1093                 return 0;
1094         }
1095         return tomoyo_update_manager_entry(data, is_delete);
1096 }
1097
1098 /**
1099  * tomoyo_read_manager_policy - Read manager policy.
1100  *
1101  * @head: Pointer to "struct tomoyo_io_buffer".
1102  *
1103  * Returns 0.
1104  */
1105 static int tomoyo_read_manager_policy(struct tomoyo_io_buffer *head)
1106 {
1107         struct list_head *pos;
1108         bool done = true;
1109
1110         if (head->read_eof)
1111                 return 0;
1112         down_read(&tomoyo_policy_manager_list_lock);
1113         list_for_each_cookie(pos, head->read_var2,
1114                              &tomoyo_policy_manager_list) {
1115                 struct tomoyo_policy_manager_entry *ptr;
1116                 ptr = list_entry(pos, struct tomoyo_policy_manager_entry,
1117                                  list);
1118                 if (ptr->is_deleted)
1119                         continue;
1120                 if (!tomoyo_io_printf(head, "%s\n", ptr->manager->name)) {
1121                         done = false;
1122                         break;
1123                 }
1124         }
1125         up_read(&tomoyo_policy_manager_list_lock);
1126         head->read_eof = done;
1127         return 0;
1128 }
1129
1130 /**
1131  * tomoyo_is_policy_manager - Check whether the current process is a policy manager.
1132  *
1133  * Returns true if the current process is permitted to modify policy
1134  * via /sys/kernel/security/tomoyo/ interface.
1135  */
1136 static bool tomoyo_is_policy_manager(void)
1137 {
1138         struct tomoyo_policy_manager_entry *ptr;
1139         const char *exe;
1140         const struct task_struct *task = current;
1141         const struct tomoyo_path_info *domainname = tomoyo_domain()->domainname;
1142         bool found = false;
1143
1144         if (!tomoyo_policy_loaded)
1145                 return true;
1146         if (!tomoyo_manage_by_non_root && (task->cred->uid || task->cred->euid))
1147                 return false;
1148         down_read(&tomoyo_policy_manager_list_lock);
1149         list_for_each_entry(ptr, &tomoyo_policy_manager_list, list) {
1150                 if (!ptr->is_deleted && ptr->is_domain
1151                     && !tomoyo_pathcmp(domainname, ptr->manager)) {
1152                         found = true;
1153                         break;
1154                 }
1155         }
1156         up_read(&tomoyo_policy_manager_list_lock);
1157         if (found)
1158                 return true;
1159         exe = tomoyo_get_exe();
1160         if (!exe)
1161                 return false;
1162         down_read(&tomoyo_policy_manager_list_lock);
1163         list_for_each_entry(ptr, &tomoyo_policy_manager_list, list) {
1164                 if (!ptr->is_deleted && !ptr->is_domain
1165                     && !strcmp(exe, ptr->manager->name)) {
1166                         found = true;
1167                         break;
1168                 }
1169         }
1170         up_read(&tomoyo_policy_manager_list_lock);
1171         if (!found) { /* Reduce error messages. */
1172                 static pid_t last_pid;
1173                 const pid_t pid = current->pid;
1174                 if (last_pid != pid) {
1175                         printk(KERN_WARNING "%s ( %s ) is not permitted to "
1176                                "update policies.\n", domainname->name, exe);
1177                         last_pid = pid;
1178                 }
1179         }
1180         tomoyo_free(exe);
1181         return found;
1182 }
1183
1184 /**
1185  * tomoyo_is_select_one - Parse select command.
1186  *
1187  * @head: Pointer to "struct tomoyo_io_buffer".
1188  * @data: String to parse.
1189  *
1190  * Returns true on success, false otherwise.
1191  */
1192 static bool tomoyo_is_select_one(struct tomoyo_io_buffer *head,
1193                                  const char *data)
1194 {
1195         unsigned int pid;
1196         struct tomoyo_domain_info *domain = NULL;
1197
1198         if (sscanf(data, "pid=%u", &pid) == 1) {
1199                 struct task_struct *p;
1200                 /***** CRITICAL SECTION START *****/
1201                 read_lock(&tasklist_lock);
1202                 p = find_task_by_vpid(pid);
1203                 if (p)
1204                         domain = tomoyo_real_domain(p);
1205                 read_unlock(&tasklist_lock);
1206                 /***** CRITICAL SECTION END *****/
1207         } else if (!strncmp(data, "domain=", 7)) {
1208                 if (tomoyo_is_domain_def(data + 7)) {
1209                         down_read(&tomoyo_domain_list_lock);
1210                         domain = tomoyo_find_domain(data + 7);
1211                         up_read(&tomoyo_domain_list_lock);
1212                 }
1213         } else
1214                 return false;
1215         head->write_var1 = domain;
1216         /* Accessing read_buf is safe because head->io_sem is held. */
1217         if (!head->read_buf)
1218                 return true; /* Do nothing if open(O_WRONLY). */
1219         head->read_avail = 0;
1220         tomoyo_io_printf(head, "# select %s\n", data);
1221         head->read_single_domain = true;
1222         head->read_eof = !domain;
1223         if (domain) {
1224                 struct tomoyo_domain_info *d;
1225                 head->read_var1 = NULL;
1226                 down_read(&tomoyo_domain_list_lock);
1227                 list_for_each_entry(d, &tomoyo_domain_list, list) {
1228                         if (d == domain)
1229                                 break;
1230                         head->read_var1 = &d->list;
1231                 }
1232                 up_read(&tomoyo_domain_list_lock);
1233                 head->read_var2 = NULL;
1234                 head->read_bit = 0;
1235                 head->read_step = 0;
1236                 if (domain->is_deleted)
1237                         tomoyo_io_printf(head, "# This is a deleted domain.\n");
1238         }
1239         return true;
1240 }
1241
1242 /**
1243  * tomoyo_write_domain_policy - Write domain policy.
1244  *
1245  * @head: Pointer to "struct tomoyo_io_buffer".
1246  *
1247  * Returns 0 on success, negative value otherwise.
1248  */
1249 static int tomoyo_write_domain_policy(struct tomoyo_io_buffer *head)
1250 {
1251         char *data = head->write_buf;
1252         struct tomoyo_domain_info *domain = head->write_var1;
1253         bool is_delete = false;
1254         bool is_select = false;
1255         bool is_undelete = false;
1256         unsigned int profile;
1257
1258         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_DELETE))
1259                 is_delete = true;
1260         else if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_SELECT))
1261                 is_select = true;
1262         else if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_UNDELETE))
1263                 is_undelete = true;
1264         if (is_select && tomoyo_is_select_one(head, data))
1265                 return 0;
1266         /* Don't allow updating policies by non manager programs. */
1267         if (!tomoyo_is_policy_manager())
1268                 return -EPERM;
1269         if (tomoyo_is_domain_def(data)) {
1270                 domain = NULL;
1271                 if (is_delete)
1272                         tomoyo_delete_domain(data);
1273                 else if (is_select) {
1274                         down_read(&tomoyo_domain_list_lock);
1275                         domain = tomoyo_find_domain(data);
1276                         up_read(&tomoyo_domain_list_lock);
1277                 } else if (is_undelete)
1278                         domain = tomoyo_undelete_domain(data);
1279                 else
1280                         domain = tomoyo_find_or_assign_new_domain(data, 0);
1281                 head->write_var1 = domain;
1282                 return 0;
1283         }
1284         if (!domain)
1285                 return -EINVAL;
1286
1287         if (sscanf(data, TOMOYO_KEYWORD_USE_PROFILE "%u", &profile) == 1
1288             && profile < TOMOYO_MAX_PROFILES) {
1289                 if (tomoyo_profile_ptr[profile] || !tomoyo_policy_loaded)
1290                         domain->profile = (u8) profile;
1291                 return 0;
1292         }
1293         if (!strcmp(data, TOMOYO_KEYWORD_IGNORE_GLOBAL_ALLOW_READ)) {
1294                 tomoyo_set_domain_flag(domain, is_delete,
1295                                TOMOYO_DOMAIN_FLAGS_IGNORE_GLOBAL_ALLOW_READ);
1296                 return 0;
1297         }
1298         return tomoyo_write_file_policy(data, domain, is_delete);
1299 }
1300
1301 /**
1302  * tomoyo_print_single_path_acl - Print a single path ACL entry.
1303  *
1304  * @head: Pointer to "struct tomoyo_io_buffer".
1305  * @ptr:  Pointer to "struct tomoyo_single_path_acl_record".
1306  *
1307  * Returns true on success, false otherwise.
1308  */
1309 static bool tomoyo_print_single_path_acl(struct tomoyo_io_buffer *head,
1310                                          struct tomoyo_single_path_acl_record *
1311                                          ptr)
1312 {
1313         int pos;
1314         u8 bit;
1315         const char *atmark = "";
1316         const char *filename;
1317         const u16 perm = ptr->perm;
1318
1319         filename = ptr->filename->name;
1320         for (bit = head->read_bit; bit < TOMOYO_MAX_SINGLE_PATH_OPERATION;
1321              bit++) {
1322                 const char *msg;
1323                 if (!(perm & (1 << bit)))
1324                         continue;
1325                 /* Print "read/write" instead of "read" and "write". */
1326                 if ((bit == TOMOYO_TYPE_READ_ACL ||
1327                      bit == TOMOYO_TYPE_WRITE_ACL)
1328                     && (perm & (1 << TOMOYO_TYPE_READ_WRITE_ACL)))
1329                         continue;
1330                 msg = tomoyo_sp2keyword(bit);
1331                 pos = head->read_avail;
1332                 if (!tomoyo_io_printf(head, "allow_%s %s%s\n", msg,
1333                                       atmark, filename))
1334                         goto out;
1335         }
1336         head->read_bit = 0;
1337         return true;
1338  out:
1339         head->read_bit = bit;
1340         head->read_avail = pos;
1341         return false;
1342 }
1343
1344 /**
1345  * tomoyo_print_double_path_acl - Print a double path ACL entry.
1346  *
1347  * @head: Pointer to "struct tomoyo_io_buffer".
1348  * @ptr:  Pointer to "struct tomoyo_double_path_acl_record".
1349  *
1350  * Returns true on success, false otherwise.
1351  */
1352 static bool tomoyo_print_double_path_acl(struct tomoyo_io_buffer *head,
1353                                          struct tomoyo_double_path_acl_record *
1354                                          ptr)
1355 {
1356         int pos;
1357         const char *atmark1 = "";
1358         const char *atmark2 = "";
1359         const char *filename1;
1360         const char *filename2;
1361         const u8 perm = ptr->perm;
1362         u8 bit;
1363
1364         filename1 = ptr->filename1->name;
1365         filename2 = ptr->filename2->name;
1366         for (bit = head->read_bit; bit < TOMOYO_MAX_DOUBLE_PATH_OPERATION;
1367              bit++) {
1368                 const char *msg;
1369                 if (!(perm & (1 << bit)))
1370                         continue;
1371                 msg = tomoyo_dp2keyword(bit);
1372                 pos = head->read_avail;
1373                 if (!tomoyo_io_printf(head, "allow_%s %s%s %s%s\n", msg,
1374                                       atmark1, filename1, atmark2, filename2))
1375                         goto out;
1376         }
1377         head->read_bit = 0;
1378         return true;
1379  out:
1380         head->read_bit = bit;
1381         head->read_avail = pos;
1382         return false;
1383 }
1384
1385 /**
1386  * tomoyo_print_entry - Print an ACL entry.
1387  *
1388  * @head: Pointer to "struct tomoyo_io_buffer".
1389  * @ptr:  Pointer to an ACL entry.
1390  *
1391  * Returns true on success, false otherwise.
1392  */
1393 static bool tomoyo_print_entry(struct tomoyo_io_buffer *head,
1394                                struct tomoyo_acl_info *ptr)
1395 {
1396         const u8 acl_type = tomoyo_acl_type2(ptr);
1397
1398         if (acl_type & TOMOYO_ACL_DELETED)
1399                 return true;
1400         if (acl_type == TOMOYO_TYPE_SINGLE_PATH_ACL) {
1401                 struct tomoyo_single_path_acl_record *acl
1402                         = container_of(ptr,
1403                                        struct tomoyo_single_path_acl_record,
1404                                        head);
1405                 return tomoyo_print_single_path_acl(head, acl);
1406         }
1407         if (acl_type == TOMOYO_TYPE_DOUBLE_PATH_ACL) {
1408                 struct tomoyo_double_path_acl_record *acl
1409                         = container_of(ptr,
1410                                        struct tomoyo_double_path_acl_record,
1411                                        head);
1412                 return tomoyo_print_double_path_acl(head, acl);
1413         }
1414         BUG(); /* This must not happen. */
1415         return false;
1416 }
1417
1418 /**
1419  * tomoyo_read_domain_policy - Read domain policy.
1420  *
1421  * @head: Pointer to "struct tomoyo_io_buffer".
1422  *
1423  * Returns 0.
1424  */
1425 static int tomoyo_read_domain_policy(struct tomoyo_io_buffer *head)
1426 {
1427         struct list_head *dpos;
1428         struct list_head *apos;
1429         bool done = true;
1430
1431         if (head->read_eof)
1432                 return 0;
1433         if (head->read_step == 0)
1434                 head->read_step = 1;
1435         down_read(&tomoyo_domain_list_lock);
1436         list_for_each_cookie(dpos, head->read_var1, &tomoyo_domain_list) {
1437                 struct tomoyo_domain_info *domain;
1438                 const char *quota_exceeded = "";
1439                 const char *transition_failed = "";
1440                 const char *ignore_global_allow_read = "";
1441                 domain = list_entry(dpos, struct tomoyo_domain_info, list);
1442                 if (head->read_step != 1)
1443                         goto acl_loop;
1444                 if (domain->is_deleted && !head->read_single_domain)
1445                         continue;
1446                 /* Print domainname and flags. */
1447                 if (domain->quota_warned)
1448                         quota_exceeded = "quota_exceeded\n";
1449                 if (domain->flags & TOMOYO_DOMAIN_FLAGS_TRANSITION_FAILED)
1450                         transition_failed = "transition_failed\n";
1451                 if (domain->flags &
1452                     TOMOYO_DOMAIN_FLAGS_IGNORE_GLOBAL_ALLOW_READ)
1453                         ignore_global_allow_read
1454                                 = TOMOYO_KEYWORD_IGNORE_GLOBAL_ALLOW_READ "\n";
1455                 if (!tomoyo_io_printf(head,
1456                                       "%s\n" TOMOYO_KEYWORD_USE_PROFILE "%u\n"
1457                                       "%s%s%s\n", domain->domainname->name,
1458                                       domain->profile, quota_exceeded,
1459                                       transition_failed,
1460                                       ignore_global_allow_read)) {
1461                         done = false;
1462                         break;
1463                 }
1464                 head->read_step = 2;
1465 acl_loop:
1466                 if (head->read_step == 3)
1467                         goto tail_mark;
1468                 /* Print ACL entries in the domain. */
1469                 down_read(&tomoyo_domain_acl_info_list_lock);
1470                 list_for_each_cookie(apos, head->read_var2,
1471                                       &domain->acl_info_list) {
1472                         struct tomoyo_acl_info *ptr
1473                                 = list_entry(apos, struct tomoyo_acl_info,
1474                                               list);
1475                         if (!tomoyo_print_entry(head, ptr)) {
1476                                 done = false;
1477                                 break;
1478                         }
1479                 }
1480                 up_read(&tomoyo_domain_acl_info_list_lock);
1481                 if (!done)
1482                         break;
1483                 head->read_step = 3;
1484 tail_mark:
1485                 if (!tomoyo_io_printf(head, "\n")) {
1486                         done = false;
1487                         break;
1488                 }
1489                 head->read_step = 1;
1490                 if (head->read_single_domain)
1491                         break;
1492         }
1493         up_read(&tomoyo_domain_list_lock);
1494         head->read_eof = done;
1495         return 0;
1496 }
1497
1498 /**
1499  * tomoyo_write_domain_profile - Assign profile for specified domain.
1500  *
1501  * @head: Pointer to "struct tomoyo_io_buffer".
1502  *
1503  * Returns 0 on success, -EINVAL otherwise.
1504  *
1505  * This is equivalent to doing
1506  *
1507  *     ( echo "select " $domainname; echo "use_profile " $profile ) |
1508  *     /usr/lib/ccs/loadpolicy -d
1509  */
1510 static int tomoyo_write_domain_profile(struct tomoyo_io_buffer *head)
1511 {
1512         char *data = head->write_buf;
1513         char *cp = strchr(data, ' ');
1514         struct tomoyo_domain_info *domain;
1515         unsigned long profile;
1516
1517         if (!cp)
1518                 return -EINVAL;
1519         *cp = '\0';
1520         down_read(&tomoyo_domain_list_lock);
1521         domain = tomoyo_find_domain(cp + 1);
1522         up_read(&tomoyo_domain_list_lock);
1523         if (strict_strtoul(data, 10, &profile))
1524                 return -EINVAL;
1525         if (domain && profile < TOMOYO_MAX_PROFILES
1526             && (tomoyo_profile_ptr[profile] || !tomoyo_policy_loaded))
1527                 domain->profile = (u8) profile;
1528         return 0;
1529 }
1530
1531 /**
1532  * tomoyo_read_domain_profile - Read only domainname and profile.
1533  *
1534  * @head: Pointer to "struct tomoyo_io_buffer".
1535  *
1536  * Returns list of profile number and domainname pairs.
1537  *
1538  * This is equivalent to doing
1539  *
1540  *     grep -A 1 '^<kernel>' /sys/kernel/security/tomoyo/domain_policy |
1541  *     awk ' { if ( domainname == "" ) { if ( $1 == "<kernel>" )
1542  *     domainname = $0; } else if ( $1 == "use_profile" ) {
1543  *     print $2 " " domainname; domainname = ""; } } ; '
1544  */
1545 static int tomoyo_read_domain_profile(struct tomoyo_io_buffer *head)
1546 {
1547         struct list_head *pos;
1548         bool done = true;
1549
1550         if (head->read_eof)
1551                 return 0;
1552         down_read(&tomoyo_domain_list_lock);
1553         list_for_each_cookie(pos, head->read_var1, &tomoyo_domain_list) {
1554                 struct tomoyo_domain_info *domain;
1555                 domain = list_entry(pos, struct tomoyo_domain_info, list);
1556                 if (domain->is_deleted)
1557                         continue;
1558                 if (!tomoyo_io_printf(head, "%u %s\n", domain->profile,
1559                                       domain->domainname->name)) {
1560                         done = false;
1561                         break;
1562                 }
1563         }
1564         up_read(&tomoyo_domain_list_lock);
1565         head->read_eof = done;
1566         return 0;
1567 }
1568
1569 /**
1570  * tomoyo_write_pid: Specify PID to obtain domainname.
1571  *
1572  * @head: Pointer to "struct tomoyo_io_buffer".
1573  *
1574  * Returns 0.
1575  */
1576 static int tomoyo_write_pid(struct tomoyo_io_buffer *head)
1577 {
1578         unsigned long pid;
1579         /* No error check. */
1580         strict_strtoul(head->write_buf, 10, &pid);
1581         head->read_step = (int) pid;
1582         head->read_eof = false;
1583         return 0;
1584 }
1585
1586 /**
1587  * tomoyo_read_pid - Get domainname of the specified PID.
1588  *
1589  * @head: Pointer to "struct tomoyo_io_buffer".
1590  *
1591  * Returns the domainname which the specified PID is in on success,
1592  * empty string otherwise.
1593  * The PID is specified by tomoyo_write_pid() so that the user can obtain
1594  * using read()/write() interface rather than sysctl() interface.
1595  */
1596 static int tomoyo_read_pid(struct tomoyo_io_buffer *head)
1597 {
1598         if (head->read_avail == 0 && !head->read_eof) {
1599                 const int pid = head->read_step;
1600                 struct task_struct *p;
1601                 struct tomoyo_domain_info *domain = NULL;
1602                 /***** CRITICAL SECTION START *****/
1603                 read_lock(&tasklist_lock);
1604                 p = find_task_by_vpid(pid);
1605                 if (p)
1606                         domain = tomoyo_real_domain(p);
1607                 read_unlock(&tasklist_lock);
1608                 /***** CRITICAL SECTION END *****/
1609                 if (domain)
1610                         tomoyo_io_printf(head, "%d %u %s", pid, domain->profile,
1611                                          domain->domainname->name);
1612                 head->read_eof = true;
1613         }
1614         return 0;
1615 }
1616
1617 /**
1618  * tomoyo_write_exception_policy - Write exception policy.
1619  *
1620  * @head: Pointer to "struct tomoyo_io_buffer".
1621  *
1622  * Returns 0 on success, negative value otherwise.
1623  */
1624 static int tomoyo_write_exception_policy(struct tomoyo_io_buffer *head)
1625 {
1626         char *data = head->write_buf;
1627         bool is_delete = tomoyo_str_starts(&data, TOMOYO_KEYWORD_DELETE);
1628
1629         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_KEEP_DOMAIN))
1630                 return tomoyo_write_domain_keeper_policy(data, false,
1631                                                          is_delete);
1632         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_NO_KEEP_DOMAIN))
1633                 return tomoyo_write_domain_keeper_policy(data, true, is_delete);
1634         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_INITIALIZE_DOMAIN))
1635                 return tomoyo_write_domain_initializer_policy(data, false,
1636                                                               is_delete);
1637         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_NO_INITIALIZE_DOMAIN))
1638                 return tomoyo_write_domain_initializer_policy(data, true,
1639                                                               is_delete);
1640         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_ALIAS))
1641                 return tomoyo_write_alias_policy(data, is_delete);
1642         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_ALLOW_READ))
1643                 return tomoyo_write_globally_readable_policy(data, is_delete);
1644         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_FILE_PATTERN))
1645                 return tomoyo_write_pattern_policy(data, is_delete);
1646         if (tomoyo_str_starts(&data, TOMOYO_KEYWORD_DENY_REWRITE))
1647                 return tomoyo_write_no_rewrite_policy(data, is_delete);
1648         return -EINVAL;
1649 }
1650
1651 /**
1652  * tomoyo_read_exception_policy - Read exception policy.
1653  *
1654  * @head: Pointer to "struct tomoyo_io_buffer".
1655  *
1656  * Returns 0 on success, -EINVAL otherwise.
1657  */
1658 static int tomoyo_read_exception_policy(struct tomoyo_io_buffer *head)
1659 {
1660         if (!head->read_eof) {
1661                 switch (head->read_step) {
1662                 case 0:
1663                         head->read_var2 = NULL;
1664                         head->read_step = 1;
1665                 case 1:
1666                         if (!tomoyo_read_domain_keeper_policy(head))
1667                                 break;
1668                         head->read_var2 = NULL;
1669                         head->read_step = 2;
1670                 case 2:
1671                         if (!tomoyo_read_globally_readable_policy(head))
1672                                 break;
1673                         head->read_var2 = NULL;
1674                         head->read_step = 3;
1675                 case 3:
1676                         head->read_var2 = NULL;
1677                         head->read_step = 4;
1678                 case 4:
1679                         if (!tomoyo_read_domain_initializer_policy(head))
1680                                 break;
1681                         head->read_var2 = NULL;
1682                         head->read_step = 5;
1683                 case 5:
1684                         if (!tomoyo_read_alias_policy(head))
1685                                 break;
1686                         head->read_var2 = NULL;
1687                         head->read_step = 6;
1688                 case 6:
1689                         head->read_var2 = NULL;
1690                         head->read_step = 7;
1691                 case 7:
1692                         if (!tomoyo_read_file_pattern(head))
1693                                 break;
1694                         head->read_var2 = NULL;
1695                         head->read_step = 8;
1696                 case 8:
1697                         if (!tomoyo_read_no_rewrite_policy(head))
1698                                 break;
1699                         head->read_var2 = NULL;
1700                         head->read_step = 9;
1701                 case 9:
1702                         head->read_eof = true;
1703                         break;
1704                 default:
1705                         return -EINVAL;
1706                 }
1707         }
1708         return 0;
1709 }
1710
1711 /* path to policy loader */
1712 static const char *tomoyo_loader = "/sbin/tomoyo-init";
1713
1714 /**
1715  * tomoyo_policy_loader_exists - Check whether /sbin/tomoyo-init exists.
1716  *
1717  * Returns true if /sbin/tomoyo-init exists, false otherwise.
1718  */
1719 static bool tomoyo_policy_loader_exists(void)
1720 {
1721         /*
1722          * Don't activate MAC if the policy loader doesn't exist.
1723          * If the initrd includes /sbin/init but real-root-dev has not
1724          * mounted on / yet, activating MAC will block the system since
1725          * policies are not loaded yet.
1726          * Thus, let do_execve() call this function everytime.
1727          */
1728         struct nameidata nd;
1729
1730         if (path_lookup(tomoyo_loader, LOOKUP_FOLLOW, &nd)) {
1731                 printk(KERN_INFO "Not activating Mandatory Access Control now "
1732                        "since %s doesn't exist.\n", tomoyo_loader);
1733                 return false;
1734         }
1735         path_put(&nd.path);
1736         return true;
1737 }
1738
1739 /**
1740  * tomoyo_load_policy - Run external policy loader to load policy.
1741  *
1742  * @filename: The program about to start.
1743  *
1744  * This function checks whether @filename is /sbin/init , and if so
1745  * invoke /sbin/tomoyo-init and wait for the termination of /sbin/tomoyo-init
1746  * and then continues invocation of /sbin/init.
1747  * /sbin/tomoyo-init reads policy files in /etc/tomoyo/ directory and
1748  * writes to /sys/kernel/security/tomoyo/ interfaces.
1749  *
1750  * Returns nothing.
1751  */
1752 void tomoyo_load_policy(const char *filename)
1753 {
1754         char *argv[2];
1755         char *envp[3];
1756
1757         if (tomoyo_policy_loaded)
1758                 return;
1759         /*
1760          * Check filename is /sbin/init or /sbin/tomoyo-start.
1761          * /sbin/tomoyo-start is a dummy filename in case where /sbin/init can't
1762          * be passed.
1763          * You can create /sbin/tomoyo-start by
1764          * "ln -s /bin/true /sbin/tomoyo-start".
1765          */
1766         if (strcmp(filename, "/sbin/init") &&
1767             strcmp(filename, "/sbin/tomoyo-start"))
1768                 return;
1769         if (!tomoyo_policy_loader_exists())
1770                 return;
1771
1772         printk(KERN_INFO "Calling %s to load policy. Please wait.\n",
1773                tomoyo_loader);
1774         argv[0] = (char *) tomoyo_loader;
1775         argv[1] = NULL;
1776         envp[0] = "HOME=/";
1777         envp[1] = "PATH=/sbin:/bin:/usr/sbin:/usr/bin";
1778         envp[2] = NULL;
1779         call_usermodehelper(argv[0], argv, envp, 1);
1780
1781         printk(KERN_INFO "TOMOYO: 2.2.0-pre   2009/02/01\n");
1782         printk(KERN_INFO "Mandatory Access Control activated.\n");
1783         tomoyo_policy_loaded = true;
1784         { /* Check all profiles currently assigned to domains are defined. */
1785                 struct tomoyo_domain_info *domain;
1786                 down_read(&tomoyo_domain_list_lock);
1787                 list_for_each_entry(domain, &tomoyo_domain_list, list) {
1788                         const u8 profile = domain->profile;
1789                         if (tomoyo_profile_ptr[profile])
1790                                 continue;
1791                         panic("Profile %u (used by '%s') not defined.\n",
1792                               profile, domain->domainname->name);
1793                 }
1794                 up_read(&tomoyo_domain_list_lock);
1795         }
1796 }
1797
1798 /**
1799  * tomoyo_read_version: Get version.
1800  *
1801  * @head: Pointer to "struct tomoyo_io_buffer".
1802  *
1803  * Returns version information.
1804  */
1805 static int tomoyo_read_version(struct tomoyo_io_buffer *head)
1806 {
1807         if (!head->read_eof) {
1808                 tomoyo_io_printf(head, "2.2.0-pre");
1809                 head->read_eof = true;
1810         }
1811         return 0;
1812 }
1813
1814 /**
1815  * tomoyo_read_self_domain - Get the current process's domainname.
1816  *
1817  * @head: Pointer to "struct tomoyo_io_buffer".
1818  *
1819  * Returns the current process's domainname.
1820  */
1821 static int tomoyo_read_self_domain(struct tomoyo_io_buffer *head)
1822 {
1823         if (!head->read_eof) {
1824                 /*
1825                  * tomoyo_domain()->domainname != NULL
1826                  * because every process belongs to a domain and
1827                  * the domain's name cannot be NULL.
1828                  */
1829                 tomoyo_io_printf(head, "%s", tomoyo_domain()->domainname->name);
1830                 head->read_eof = true;
1831         }
1832         return 0;
1833 }
1834
1835 /**
1836  * tomoyo_open_control - open() for /sys/kernel/security/tomoyo/ interface.
1837  *
1838  * @type: Type of interface.
1839  * @file: Pointer to "struct file".
1840  *
1841  * Associates policy handler and returns 0 on success, -ENOMEM otherwise.
1842  */
1843 static int tomoyo_open_control(const u8 type, struct file *file)
1844 {
1845         struct tomoyo_io_buffer *head = tomoyo_alloc(sizeof(*head));
1846
1847         if (!head)
1848                 return -ENOMEM;
1849         mutex_init(&head->io_sem);
1850         switch (type) {
1851         case TOMOYO_DOMAINPOLICY:
1852                 /* /sys/kernel/security/tomoyo/domain_policy */
1853                 head->write = tomoyo_write_domain_policy;
1854                 head->read = tomoyo_read_domain_policy;
1855                 break;
1856         case TOMOYO_EXCEPTIONPOLICY:
1857                 /* /sys/kernel/security/tomoyo/exception_policy */
1858                 head->write = tomoyo_write_exception_policy;
1859                 head->read = tomoyo_read_exception_policy;
1860                 break;
1861         case TOMOYO_SELFDOMAIN:
1862                 /* /sys/kernel/security/tomoyo/self_domain */
1863                 head->read = tomoyo_read_self_domain;
1864                 break;
1865         case TOMOYO_DOMAIN_STATUS:
1866                 /* /sys/kernel/security/tomoyo/.domain_status */
1867                 head->write = tomoyo_write_domain_profile;
1868                 head->read = tomoyo_read_domain_profile;
1869                 break;
1870         case TOMOYO_PROCESS_STATUS:
1871                 /* /sys/kernel/security/tomoyo/.process_status */
1872                 head->write = tomoyo_write_pid;
1873                 head->read = tomoyo_read_pid;
1874                 break;
1875         case TOMOYO_VERSION:
1876                 /* /sys/kernel/security/tomoyo/version */
1877                 head->read = tomoyo_read_version;
1878                 head->readbuf_size = 128;
1879                 break;
1880         case TOMOYO_MEMINFO:
1881                 /* /sys/kernel/security/tomoyo/meminfo */
1882                 head->write = tomoyo_write_memory_quota;
1883                 head->read = tomoyo_read_memory_counter;
1884                 head->readbuf_size = 512;
1885                 break;
1886         case TOMOYO_PROFILE:
1887                 /* /sys/kernel/security/tomoyo/profile */
1888                 head->write = tomoyo_write_profile;
1889                 head->read = tomoyo_read_profile;
1890                 break;
1891         case TOMOYO_MANAGER:
1892                 /* /sys/kernel/security/tomoyo/manager */
1893                 head->write = tomoyo_write_manager_policy;
1894                 head->read = tomoyo_read_manager_policy;
1895                 break;
1896         }
1897         if (!(file->f_mode & FMODE_READ)) {
1898                 /*
1899                  * No need to allocate read_buf since it is not opened
1900                  * for reading.
1901                  */
1902                 head->read = NULL;
1903         } else {
1904                 if (!head->readbuf_size)
1905                         head->readbuf_size = 4096 * 2;
1906                 head->read_buf = tomoyo_alloc(head->readbuf_size);
1907                 if (!head->read_buf) {
1908                         tomoyo_free(head);
1909                         return -ENOMEM;
1910                 }
1911         }
1912         if (!(file->f_mode & FMODE_WRITE)) {
1913                 /*
1914                  * No need to allocate write_buf since it is not opened
1915                  * for writing.
1916                  */
1917                 head->write = NULL;
1918         } else if (head->write) {
1919                 head->writebuf_size = 4096 * 2;
1920                 head->write_buf = tomoyo_alloc(head->writebuf_size);
1921                 if (!head->write_buf) {
1922                         tomoyo_free(head->read_buf);
1923                         tomoyo_free(head);
1924                         return -ENOMEM;
1925                 }
1926         }
1927         file->private_data = head;
1928         /*
1929          * Call the handler now if the file is
1930          * /sys/kernel/security/tomoyo/self_domain
1931          * so that the user can use
1932          * cat < /sys/kernel/security/tomoyo/self_domain"
1933          * to know the current process's domainname.
1934          */
1935         if (type == TOMOYO_SELFDOMAIN)
1936                 tomoyo_read_control(file, NULL, 0);
1937         return 0;
1938 }
1939
1940 /**
1941  * tomoyo_read_control - read() for /sys/kernel/security/tomoyo/ interface.
1942  *
1943  * @file:       Pointer to "struct file".
1944  * @buffer:     Poiner to buffer to write to.
1945  * @buffer_len: Size of @buffer.
1946  *
1947  * Returns bytes read on success, negative value otherwise.
1948  */
1949 static int tomoyo_read_control(struct file *file, char __user *buffer,
1950                                const int buffer_len)
1951 {
1952         int len = 0;
1953         struct tomoyo_io_buffer *head = file->private_data;
1954         char *cp;
1955
1956         if (!head->read)
1957                 return -ENOSYS;
1958         if (mutex_lock_interruptible(&head->io_sem))
1959                 return -EINTR;
1960         /* Call the policy handler. */
1961         len = head->read(head);
1962         if (len < 0)
1963                 goto out;
1964         /* Write to buffer. */
1965         len = head->read_avail;
1966         if (len > buffer_len)
1967                 len = buffer_len;
1968         if (!len)
1969                 goto out;
1970         /* head->read_buf changes by some functions. */
1971         cp = head->read_buf;
1972         if (copy_to_user(buffer, cp, len)) {
1973                 len = -EFAULT;
1974                 goto out;
1975         }
1976         head->read_avail -= len;
1977         memmove(cp, cp + len, head->read_avail);
1978  out:
1979         mutex_unlock(&head->io_sem);
1980         return len;
1981 }
1982
1983 /**
1984  * tomoyo_write_control - write() for /sys/kernel/security/tomoyo/ interface.
1985  *
1986  * @file:       Pointer to "struct file".
1987  * @buffer:     Pointer to buffer to read from.
1988  * @buffer_len: Size of @buffer.
1989  *
1990  * Returns @buffer_len on success, negative value otherwise.
1991  */
1992 static int tomoyo_write_control(struct file *file, const char __user *buffer,
1993                                 const int buffer_len)
1994 {
1995         struct tomoyo_io_buffer *head = file->private_data;
1996         int error = buffer_len;
1997         int avail_len = buffer_len;
1998         char *cp0 = head->write_buf;
1999
2000         if (!head->write)
2001                 return -ENOSYS;
2002         if (!access_ok(VERIFY_READ, buffer, buffer_len))
2003                 return -EFAULT;
2004         /* Don't allow updating policies by non manager programs. */
2005         if (head->write != tomoyo_write_pid &&
2006             head->write != tomoyo_write_domain_policy &&
2007             !tomoyo_is_policy_manager())
2008                 return -EPERM;
2009         if (mutex_lock_interruptible(&head->io_sem))
2010                 return -EINTR;
2011         /* Read a line and dispatch it to the policy handler. */
2012         while (avail_len > 0) {
2013                 char c;
2014                 if (head->write_avail >= head->writebuf_size - 1) {
2015                         error = -ENOMEM;
2016                         break;
2017                 } else if (get_user(c, buffer)) {
2018                         error = -EFAULT;
2019                         break;
2020                 }
2021                 buffer++;
2022                 avail_len--;
2023                 cp0[head->write_avail++] = c;
2024                 if (c != '\n')
2025                         continue;
2026                 cp0[head->write_avail - 1] = '\0';
2027                 head->write_avail = 0;
2028                 tomoyo_normalize_line(cp0);
2029                 head->write(head);
2030         }
2031         mutex_unlock(&head->io_sem);
2032         return error;
2033 }
2034
2035 /**
2036  * tomoyo_close_control - close() for /sys/kernel/security/tomoyo/ interface.
2037  *
2038  * @file: Pointer to "struct file".
2039  *
2040  * Releases memory and returns 0.
2041  */
2042 static int tomoyo_close_control(struct file *file)
2043 {
2044         struct tomoyo_io_buffer *head = file->private_data;
2045
2046         /* Release memory used for policy I/O. */
2047         tomoyo_free(head->read_buf);
2048         head->read_buf = NULL;
2049         tomoyo_free(head->write_buf);
2050         head->write_buf = NULL;
2051         tomoyo_free(head);
2052         head = NULL;
2053         file->private_data = NULL;
2054         return 0;
2055 }
2056
2057 /**
2058  * tomoyo_alloc_acl_element - Allocate permanent memory for ACL entry.
2059  *
2060  * @acl_type:  Type of ACL entry.
2061  *
2062  * Returns pointer to the ACL entry on success, NULL otherwise.
2063  */
2064 void *tomoyo_alloc_acl_element(const u8 acl_type)
2065 {
2066         int len;
2067         struct tomoyo_acl_info *ptr;
2068
2069         switch (acl_type) {
2070         case TOMOYO_TYPE_SINGLE_PATH_ACL:
2071                 len = sizeof(struct tomoyo_single_path_acl_record);
2072                 break;
2073         case TOMOYO_TYPE_DOUBLE_PATH_ACL:
2074                 len = sizeof(struct tomoyo_double_path_acl_record);
2075                 break;
2076         default:
2077                 return NULL;
2078         }
2079         ptr = tomoyo_alloc_element(len);
2080         if (!ptr)
2081                 return NULL;
2082         ptr->type = acl_type;
2083         return ptr;
2084 }
2085
2086 /**
2087  * tomoyo_open - open() for /sys/kernel/security/tomoyo/ interface.
2088  *
2089  * @inode: Pointer to "struct inode".
2090  * @file:  Pointer to "struct file".
2091  *
2092  * Returns 0 on success, negative value otherwise.
2093  */
2094 static int tomoyo_open(struct inode *inode, struct file *file)
2095 {
2096         const int key = ((u8 *) file->f_path.dentry->d_inode->i_private)
2097                 - ((u8 *) NULL);
2098         return tomoyo_open_control(key, file);
2099 }
2100
2101 /**
2102  * tomoyo_release - close() for /sys/kernel/security/tomoyo/ interface.
2103  *
2104  * @inode: Pointer to "struct inode".
2105  * @file:  Pointer to "struct file".
2106  *
2107  * Returns 0 on success, negative value otherwise.
2108  */
2109 static int tomoyo_release(struct inode *inode, struct file *file)
2110 {
2111         return tomoyo_close_control(file);
2112 }
2113
2114 /**
2115  * tomoyo_read - read() for /sys/kernel/security/tomoyo/ interface.
2116  *
2117  * @file:  Pointer to "struct file".
2118  * @buf:   Pointer to buffer.
2119  * @count: Size of @buf.
2120  * @ppos:  Unused.
2121  *
2122  * Returns bytes read on success, negative value otherwise.
2123  */
2124 static ssize_t tomoyo_read(struct file *file, char __user *buf, size_t count,
2125                            loff_t *ppos)
2126 {
2127         return tomoyo_read_control(file, buf, count);
2128 }
2129
2130 /**
2131  * tomoyo_write - write() for /sys/kernel/security/tomoyo/ interface.
2132  *
2133  * @file:  Pointer to "struct file".
2134  * @buf:   Pointer to buffer.
2135  * @count: Size of @buf.
2136  * @ppos:  Unused.
2137  *
2138  * Returns @count on success, negative value otherwise.
2139  */
2140 static ssize_t tomoyo_write(struct file *file, const char __user *buf,
2141                             size_t count, loff_t *ppos)
2142 {
2143         return tomoyo_write_control(file, buf, count);
2144 }
2145
2146 /* Operations for /sys/kernel/security/tomoyo/ interface. */
2147 static const struct file_operations tomoyo_operations = {
2148         .open    = tomoyo_open,
2149         .release = tomoyo_release,
2150         .read    = tomoyo_read,
2151         .write   = tomoyo_write,
2152 };
2153
2154 /**
2155  * tomoyo_create_entry - Create interface files under /sys/kernel/security/tomoyo/ directory.
2156  *
2157  * @name:   The name of the interface file.
2158  * @mode:   The permission of the interface file.
2159  * @parent: The parent directory.
2160  * @key:    Type of interface.
2161  *
2162  * Returns nothing.
2163  */
2164 static void __init tomoyo_create_entry(const char *name, const mode_t mode,
2165                                        struct dentry *parent, const u8 key)
2166 {
2167         securityfs_create_file(name, mode, parent, ((u8 *) NULL) + key,
2168                                &tomoyo_operations);
2169 }
2170
2171 /**
2172  * tomoyo_initerface_init - Initialize /sys/kernel/security/tomoyo/ interface.
2173  *
2174  * Returns 0.
2175  */
2176 static int __init tomoyo_initerface_init(void)
2177 {
2178         struct dentry *tomoyo_dir;
2179
2180         /* Don't create securityfs entries unless registered. */
2181         if (current_cred()->security != &tomoyo_kernel_domain)
2182                 return 0;
2183
2184         tomoyo_dir = securityfs_create_dir("tomoyo", NULL);
2185         tomoyo_create_entry("domain_policy",    0600, tomoyo_dir,
2186                             TOMOYO_DOMAINPOLICY);
2187         tomoyo_create_entry("exception_policy", 0600, tomoyo_dir,
2188                             TOMOYO_EXCEPTIONPOLICY);
2189         tomoyo_create_entry("self_domain",      0400, tomoyo_dir,
2190                             TOMOYO_SELFDOMAIN);
2191         tomoyo_create_entry(".domain_status",   0600, tomoyo_dir,
2192                             TOMOYO_DOMAIN_STATUS);
2193         tomoyo_create_entry(".process_status",  0600, tomoyo_dir,
2194                             TOMOYO_PROCESS_STATUS);
2195         tomoyo_create_entry("meminfo",          0600, tomoyo_dir,
2196                             TOMOYO_MEMINFO);
2197         tomoyo_create_entry("profile",          0600, tomoyo_dir,
2198                             TOMOYO_PROFILE);
2199         tomoyo_create_entry("manager",          0600, tomoyo_dir,
2200                             TOMOYO_MANAGER);
2201         tomoyo_create_entry("version",          0400, tomoyo_dir,
2202                             TOMOYO_VERSION);
2203         return 0;
2204 }
2205
2206 fs_initcall(tomoyo_initerface_init);