diff options
| author | James Morris <jmorris@namei.org> | 2009-02-05 19:01:45 -0500 |
|---|---|---|
| committer | James Morris <jmorris@namei.org> | 2009-02-05 19:01:45 -0500 |
| commit | cb5629b10d64a8006622ce3a52bc887d91057d69 (patch) | |
| tree | 7c06d8f30783115e3384721046258ce615b129c5 /kernel/auditfilter.c | |
| parent | 8920d5ad6ba74ae8ab020e90cc4d976980e68701 (diff) | |
| parent | f01d1d546abb2f4028b5299092f529eefb01253a (diff) | |
Merge branch 'master' into next
Conflicts:
fs/namei.c
Manually merged per:
diff --cc fs/namei.c
index 734f2b5,bbc15c2..0000000
--- a/fs/namei.c
+++ b/fs/namei.c
@@@ -860,9 -848,8 +849,10 @@@ static int __link_path_walk(const char
nd->flags |= LOOKUP_CONTINUE;
err = exec_permission_lite(inode);
if (err == -EAGAIN)
- err = vfs_permission(nd, MAY_EXEC);
+ err = inode_permission(nd->path.dentry->d_inode,
+ MAY_EXEC);
+ if (!err)
+ err = ima_path_check(&nd->path, MAY_EXEC);
if (err)
break;
@@@ -1525,14 -1506,9 +1509,14 @@@ int may_open(struct path *path, int acc
flag &= ~O_TRUNC;
}
- error = vfs_permission(nd, acc_mode);
+ error = inode_permission(inode, acc_mode);
if (error)
return error;
+
- error = ima_path_check(&nd->path,
++ error = ima_path_check(path,
+ acc_mode & (MAY_READ | MAY_WRITE | MAY_EXEC));
+ if (error)
+ return error;
/*
* An append-only file must be opened in append mode for writing.
*/
Signed-off-by: James Morris <jmorris@namei.org>
Diffstat (limited to 'kernel/auditfilter.c')
| -rw-r--r-- | kernel/auditfilter.c | 325 |
1 files changed, 163 insertions, 162 deletions
diff --git a/kernel/auditfilter.c b/kernel/auditfilter.c index 9fd85a4640a0..fbf24d121d97 100644 --- a/kernel/auditfilter.c +++ b/kernel/auditfilter.c | |||
| @@ -86,6 +86,14 @@ struct list_head audit_filter_list[AUDIT_NR_FILTERS] = { | |||
| 86 | #error Fix audit_filter_list initialiser | 86 | #error Fix audit_filter_list initialiser |
| 87 | #endif | 87 | #endif |
| 88 | }; | 88 | }; |
| 89 | static struct list_head audit_rules_list[AUDIT_NR_FILTERS] = { | ||
| 90 | LIST_HEAD_INIT(audit_rules_list[0]), | ||
| 91 | LIST_HEAD_INIT(audit_rules_list[1]), | ||
| 92 | LIST_HEAD_INIT(audit_rules_list[2]), | ||
| 93 | LIST_HEAD_INIT(audit_rules_list[3]), | ||
| 94 | LIST_HEAD_INIT(audit_rules_list[4]), | ||
| 95 | LIST_HEAD_INIT(audit_rules_list[5]), | ||
| 96 | }; | ||
| 89 | 97 | ||
| 90 | DEFINE_MUTEX(audit_filter_mutex); | 98 | DEFINE_MUTEX(audit_filter_mutex); |
| 91 | 99 | ||
| @@ -244,7 +252,8 @@ static inline int audit_to_inode(struct audit_krule *krule, | |||
| 244 | struct audit_field *f) | 252 | struct audit_field *f) |
| 245 | { | 253 | { |
| 246 | if (krule->listnr != AUDIT_FILTER_EXIT || | 254 | if (krule->listnr != AUDIT_FILTER_EXIT || |
| 247 | krule->watch || krule->inode_f || krule->tree) | 255 | krule->watch || krule->inode_f || krule->tree || |
| 256 | (f->op != Audit_equal && f->op != Audit_not_equal)) | ||
| 248 | return -EINVAL; | 257 | return -EINVAL; |
| 249 | 258 | ||
| 250 | krule->inode_f = f; | 259 | krule->inode_f = f; |
| @@ -262,7 +271,7 @@ static int audit_to_watch(struct audit_krule *krule, char *path, int len, | |||
| 262 | 271 | ||
| 263 | if (path[0] != '/' || path[len-1] == '/' || | 272 | if (path[0] != '/' || path[len-1] == '/' || |
| 264 | krule->listnr != AUDIT_FILTER_EXIT || | 273 | krule->listnr != AUDIT_FILTER_EXIT || |
| 265 | op & ~AUDIT_EQUAL || | 274 | op != Audit_equal || |
| 266 | krule->inode_f || krule->watch || krule->tree) | 275 | krule->inode_f || krule->watch || krule->tree) |
| 267 | return -EINVAL; | 276 | return -EINVAL; |
| 268 | 277 | ||
| @@ -412,12 +421,32 @@ exit_err: | |||
| 412 | return ERR_PTR(err); | 421 | return ERR_PTR(err); |
| 413 | } | 422 | } |
| 414 | 423 | ||
| 424 | static u32 audit_ops[] = | ||
| 425 | { | ||
| 426 | [Audit_equal] = AUDIT_EQUAL, | ||
| 427 | [Audit_not_equal] = AUDIT_NOT_EQUAL, | ||
| 428 | [Audit_bitmask] = AUDIT_BIT_MASK, | ||
| 429 | [Audit_bittest] = AUDIT_BIT_TEST, | ||
| 430 | [Audit_lt] = AUDIT_LESS_THAN, | ||
| 431 | [Audit_gt] = AUDIT_GREATER_THAN, | ||
| 432 | [Audit_le] = AUDIT_LESS_THAN_OR_EQUAL, | ||
| 433 | [Audit_ge] = AUDIT_GREATER_THAN_OR_EQUAL, | ||
| 434 | }; | ||
| 435 | |||
| 436 | static u32 audit_to_op(u32 op) | ||
| 437 | { | ||
| 438 | u32 n; | ||
| 439 | for (n = Audit_equal; n < Audit_bad && audit_ops[n] != op; n++) | ||
| 440 | ; | ||
| 441 | return n; | ||
| 442 | } | ||
| 443 | |||
| 444 | |||
| 415 | /* Translate struct audit_rule to kernel's rule respresentation. | 445 | /* Translate struct audit_rule to kernel's rule respresentation. |
| 416 | * Exists for backward compatibility with userspace. */ | 446 | * Exists for backward compatibility with userspace. */ |
| 417 | static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) | 447 | static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) |
| 418 | { | 448 | { |
| 419 | struct audit_entry *entry; | 449 | struct audit_entry *entry; |
| 420 | struct audit_field *ino_f; | ||
| 421 | int err = 0; | 450 | int err = 0; |
| 422 | int i; | 451 | int i; |
| 423 | 452 | ||
| @@ -427,12 +456,28 @@ static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) | |||
| 427 | 456 | ||
| 428 | for (i = 0; i < rule->field_count; i++) { | 457 | for (i = 0; i < rule->field_count; i++) { |
| 429 | struct audit_field *f = &entry->rule.fields[i]; | 458 | struct audit_field *f = &entry->rule.fields[i]; |
| 459 | u32 n; | ||
| 460 | |||
| 461 | n = rule->fields[i] & (AUDIT_NEGATE|AUDIT_OPERATORS); | ||
| 462 | |||
| 463 | /* Support for legacy operators where | ||
| 464 | * AUDIT_NEGATE bit signifies != and otherwise assumes == */ | ||
| 465 | if (n & AUDIT_NEGATE) | ||
| 466 | f->op = Audit_not_equal; | ||
| 467 | else if (!n) | ||
| 468 | f->op = Audit_equal; | ||
| 469 | else | ||
| 470 | f->op = audit_to_op(n); | ||
| 471 | |||
| 472 | entry->rule.vers_ops = (n & AUDIT_OPERATORS) ? 2 : 1; | ||
| 430 | 473 | ||
| 431 | f->op = rule->fields[i] & (AUDIT_NEGATE|AUDIT_OPERATORS); | ||
| 432 | f->type = rule->fields[i] & ~(AUDIT_NEGATE|AUDIT_OPERATORS); | 474 | f->type = rule->fields[i] & ~(AUDIT_NEGATE|AUDIT_OPERATORS); |
| 433 | f->val = rule->values[i]; | 475 | f->val = rule->values[i]; |
| 434 | 476 | ||
| 435 | err = -EINVAL; | 477 | err = -EINVAL; |
| 478 | if (f->op == Audit_bad) | ||
| 479 | goto exit_free; | ||
| 480 | |||
| 436 | switch(f->type) { | 481 | switch(f->type) { |
| 437 | default: | 482 | default: |
| 438 | goto exit_free; | 483 | goto exit_free; |
| @@ -454,11 +499,8 @@ static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) | |||
| 454 | case AUDIT_EXIT: | 499 | case AUDIT_EXIT: |
| 455 | case AUDIT_SUCCESS: | 500 | case AUDIT_SUCCESS: |
| 456 | /* bit ops are only useful on syscall args */ | 501 | /* bit ops are only useful on syscall args */ |
| 457 | if (f->op == AUDIT_BIT_MASK || | 502 | if (f->op == Audit_bitmask || f->op == Audit_bittest) |
| 458 | f->op == AUDIT_BIT_TEST) { | ||
| 459 | err = -EINVAL; | ||
| 460 | goto exit_free; | 503 | goto exit_free; |
| 461 | } | ||
| 462 | break; | 504 | break; |
| 463 | case AUDIT_ARG0: | 505 | case AUDIT_ARG0: |
| 464 | case AUDIT_ARG1: | 506 | case AUDIT_ARG1: |
| @@ -467,11 +509,8 @@ static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) | |||
| 467 | break; | 509 | break; |
| 468 | /* arch is only allowed to be = or != */ | 510 | /* arch is only allowed to be = or != */ |
| 469 | case AUDIT_ARCH: | 511 | case AUDIT_ARCH: |
| 470 | if ((f->op != AUDIT_NOT_EQUAL) && (f->op != AUDIT_EQUAL) | 512 | if (f->op != Audit_not_equal && f->op != Audit_equal) |
| 471 | && (f->op != AUDIT_NEGATE) && (f->op)) { | ||
| 472 | err = -EINVAL; | ||
| 473 | goto exit_free; | 513 | goto exit_free; |
| 474 | } | ||
| 475 | entry->rule.arch_f = f; | 514 | entry->rule.arch_f = f; |
| 476 | break; | 515 | break; |
| 477 | case AUDIT_PERM: | 516 | case AUDIT_PERM: |
| @@ -488,33 +527,10 @@ static struct audit_entry *audit_rule_to_entry(struct audit_rule *rule) | |||
| 488 | goto exit_free; | 527 | goto exit_free; |
| 489 | break; | 528 | break; |
| 490 | } | 529 | } |
| 491 | |||
| 492 | entry->rule.vers_ops = (f->op & AUDIT_OPERATORS) ? 2 : 1; | ||
| 493 | |||
| 494 | /* Support for legacy operators where | ||
| 495 | * AUDIT_NEGATE bit signifies != and otherwise assumes == */ | ||
| 496 | if (f->op & AUDIT_NEGATE) | ||
| 497 | f->op = AUDIT_NOT_EQUAL; | ||
| 498 | else if (!f->op) | ||
| 499 | f->op = AUDIT_EQUAL; | ||
| 500 | else if (f->op == AUDIT_OPERATORS) { | ||
| 501 | err = -EINVAL; | ||
| 502 | goto exit_free; | ||
| 503 | } | ||
| 504 | } | 530 | } |
| 505 | 531 | ||
| 506 | ino_f = entry->rule.inode_f; | 532 | if (entry->rule.inode_f && entry->rule.inode_f->op == Audit_not_equal) |
| 507 | if (ino_f) { | 533 | entry->rule.inode_f = NULL; |
| 508 | switch(ino_f->op) { | ||
| 509 | case AUDIT_NOT_EQUAL: | ||
| 510 | entry->rule.inode_f = NULL; | ||
| 511 | case AUDIT_EQUAL: | ||
| 512 | break; | ||
| 513 | default: | ||
| 514 | err = -EINVAL; | ||
| 515 | goto exit_free; | ||
| 516 | } | ||
| 517 | } | ||
| 518 | 534 | ||
| 519 | exit_nofree: | 535 | exit_nofree: |
| 520 | return entry; | 536 | return entry; |
| @@ -530,7 +546,6 @@ static struct audit_entry *audit_data_to_entry(struct audit_rule_data *data, | |||
| 530 | { | 546 | { |
| 531 | int err = 0; | 547 | int err = 0; |
| 532 | struct audit_entry *entry; | 548 | struct audit_entry *entry; |
| 533 | struct audit_field *ino_f; | ||
| 534 | void *bufp; | 549 | void *bufp; |
| 535 | size_t remain = datasz - sizeof(struct audit_rule_data); | 550 | size_t remain = datasz - sizeof(struct audit_rule_data); |
| 536 | int i; | 551 | int i; |
| @@ -546,11 +561,11 @@ static struct audit_entry *audit_data_to_entry(struct audit_rule_data *data, | |||
| 546 | struct audit_field *f = &entry->rule.fields[i]; | 561 | struct audit_field *f = &entry->rule.fields[i]; |
| 547 | 562 | ||
| 548 | err = -EINVAL; | 563 | err = -EINVAL; |
| 549 | if (!(data->fieldflags[i] & AUDIT_OPERATORS) || | 564 | |
| 550 | data->fieldflags[i] & ~AUDIT_OPERATORS) | 565 | f->op = audit_to_op(data->fieldflags[i]); |
| 566 | if (f->op == Audit_bad) | ||
| 551 | goto exit_free; | 567 | goto exit_free; |
| 552 | 568 | ||
| 553 | f->op = data->fieldflags[i] & AUDIT_OPERATORS; | ||
| 554 | f->type = data->fields[i]; | 569 | f->type = data->fields[i]; |
| 555 | f->val = data->values[i]; | 570 | f->val = data->values[i]; |
| 556 | f->lsm_str = NULL; | 571 | f->lsm_str = NULL; |
| @@ -662,18 +677,8 @@ static struct audit_entry *audit_data_to_entry(struct audit_rule_data *data, | |||
| 662 | } | 677 | } |
| 663 | } | 678 | } |
| 664 | 679 | ||
| 665 | ino_f = entry->rule.inode_f; | 680 | if (entry->rule.inode_f && entry->rule.inode_f->op == Audit_not_equal) |
| 666 | if (ino_f) { | 681 | entry->rule.inode_f = NULL; |
| 667 | switch(ino_f->op) { | ||
| 668 | case AUDIT_NOT_EQUAL: | ||
| 669 | entry->rule.inode_f = NULL; | ||
| 670 | case AUDIT_EQUAL: | ||
| 671 | break; | ||
| 672 | default: | ||
| 673 | err = -EINVAL; | ||
| 674 | goto exit_free; | ||
| 675 | } | ||
| 676 | } | ||
| 677 | 682 | ||
| 678 | exit_nofree: | 683 | exit_nofree: |
| 679 | return entry; | 684 | return entry; |
| @@ -713,10 +718,10 @@ static struct audit_rule *audit_krule_to_rule(struct audit_krule *krule) | |||
| 713 | rule->fields[i] = krule->fields[i].type; | 718 | rule->fields[i] = krule->fields[i].type; |
| 714 | 719 | ||
| 715 | if (krule->vers_ops == 1) { | 720 | if (krule->vers_ops == 1) { |
| 716 | if (krule->fields[i].op & AUDIT_NOT_EQUAL) | 721 | if (krule->fields[i].op == Audit_not_equal) |
| 717 | rule->fields[i] |= AUDIT_NEGATE; | 722 | rule->fields[i] |= AUDIT_NEGATE; |
| 718 | } else { | 723 | } else { |
| 719 | rule->fields[i] |= krule->fields[i].op; | 724 | rule->fields[i] |= audit_ops[krule->fields[i].op]; |
| 720 | } | 725 | } |
| 721 | } | 726 | } |
| 722 | for (i = 0; i < AUDIT_BITMASK_SIZE; i++) rule->mask[i] = krule->mask[i]; | 727 | for (i = 0; i < AUDIT_BITMASK_SIZE; i++) rule->mask[i] = krule->mask[i]; |
| @@ -744,7 +749,7 @@ static struct audit_rule_data *audit_krule_to_data(struct audit_krule *krule) | |||
| 744 | struct audit_field *f = &krule->fields[i]; | 749 | struct audit_field *f = &krule->fields[i]; |
| 745 | 750 | ||
| 746 | data->fields[i] = f->type; | 751 | data->fields[i] = f->type; |
| 747 | data->fieldflags[i] = f->op; | 752 | data->fieldflags[i] = audit_ops[f->op]; |
| 748 | switch(f->type) { | 753 | switch(f->type) { |
| 749 | case AUDIT_SUBJ_USER: | 754 | case AUDIT_SUBJ_USER: |
| 750 | case AUDIT_SUBJ_ROLE: | 755 | case AUDIT_SUBJ_ROLE: |
| @@ -919,6 +924,7 @@ static struct audit_entry *audit_dupe_rule(struct audit_krule *old, | |||
| 919 | new->action = old->action; | 924 | new->action = old->action; |
| 920 | for (i = 0; i < AUDIT_BITMASK_SIZE; i++) | 925 | for (i = 0; i < AUDIT_BITMASK_SIZE; i++) |
| 921 | new->mask[i] = old->mask[i]; | 926 | new->mask[i] = old->mask[i]; |
| 927 | new->prio = old->prio; | ||
| 922 | new->buflen = old->buflen; | 928 | new->buflen = old->buflen; |
| 923 | new->inode_f = old->inode_f; | 929 | new->inode_f = old->inode_f; |
| 924 | new->watch = NULL; | 930 | new->watch = NULL; |
| @@ -987,9 +993,8 @@ static void audit_update_watch(struct audit_parent *parent, | |||
| 987 | 993 | ||
| 988 | /* If the update involves invalidating rules, do the inode-based | 994 | /* If the update involves invalidating rules, do the inode-based |
| 989 | * filtering now, so we don't omit records. */ | 995 | * filtering now, so we don't omit records. */ |
| 990 | if (invalidating && current->audit_context && | 996 | if (invalidating && current->audit_context) |
| 991 | audit_filter_inodes(current, current->audit_context) == AUDIT_RECORD_CONTEXT) | 997 | audit_filter_inodes(current, current->audit_context); |
| 992 | audit_set_auditable(current->audit_context); | ||
| 993 | 998 | ||
| 994 | nwatch = audit_dupe_watch(owatch); | 999 | nwatch = audit_dupe_watch(owatch); |
| 995 | if (IS_ERR(nwatch)) { | 1000 | if (IS_ERR(nwatch)) { |
| @@ -1007,12 +1012,15 @@ static void audit_update_watch(struct audit_parent *parent, | |||
| 1007 | list_del_rcu(&oentry->list); | 1012 | list_del_rcu(&oentry->list); |
| 1008 | 1013 | ||
| 1009 | nentry = audit_dupe_rule(&oentry->rule, nwatch); | 1014 | nentry = audit_dupe_rule(&oentry->rule, nwatch); |
| 1010 | if (IS_ERR(nentry)) | 1015 | if (IS_ERR(nentry)) { |
| 1016 | list_del(&oentry->rule.list); | ||
| 1011 | audit_panic("error updating watch, removing"); | 1017 | audit_panic("error updating watch, removing"); |
| 1012 | else { | 1018 | } else { |
| 1013 | int h = audit_hash_ino((u32)ino); | 1019 | int h = audit_hash_ino((u32)ino); |
| 1014 | list_add(&nentry->rule.rlist, &nwatch->rules); | 1020 | list_add(&nentry->rule.rlist, &nwatch->rules); |
| 1015 | list_add_rcu(&nentry->list, &audit_inode_hash[h]); | 1021 | list_add_rcu(&nentry->list, &audit_inode_hash[h]); |
| 1022 | list_replace(&oentry->rule.list, | ||
| 1023 | &nentry->rule.list); | ||
| 1016 | } | 1024 | } |
| 1017 | 1025 | ||
| 1018 | call_rcu(&oentry->rcu, audit_free_rule_rcu); | 1026 | call_rcu(&oentry->rcu, audit_free_rule_rcu); |
| @@ -1077,6 +1085,7 @@ static void audit_remove_parent_watches(struct audit_parent *parent) | |||
| 1077 | audit_log_end(ab); | 1085 | audit_log_end(ab); |
| 1078 | } | 1086 | } |
| 1079 | list_del(&r->rlist); | 1087 | list_del(&r->rlist); |
| 1088 | list_del(&r->list); | ||
| 1080 | list_del_rcu(&e->list); | 1089 | list_del_rcu(&e->list); |
| 1081 | call_rcu(&e->rcu, audit_free_rule_rcu); | 1090 | call_rcu(&e->rcu, audit_free_rule_rcu); |
| 1082 | } | 1091 | } |
| @@ -1102,12 +1111,16 @@ static void audit_inotify_unregister(struct list_head *in_list) | |||
| 1102 | /* Find an existing audit rule. | 1111 | /* Find an existing audit rule. |
| 1103 | * Caller must hold audit_filter_mutex to prevent stale rule data. */ | 1112 | * Caller must hold audit_filter_mutex to prevent stale rule data. */ |
| 1104 | static struct audit_entry *audit_find_rule(struct audit_entry *entry, | 1113 | static struct audit_entry *audit_find_rule(struct audit_entry *entry, |
| 1105 | struct list_head *list) | 1114 | struct list_head **p) |
| 1106 | { | 1115 | { |
| 1107 | struct audit_entry *e, *found = NULL; | 1116 | struct audit_entry *e, *found = NULL; |
| 1117 | struct list_head *list; | ||
| 1108 | int h; | 1118 | int h; |
| 1109 | 1119 | ||
| 1110 | if (entry->rule.watch) { | 1120 | if (entry->rule.inode_f) { |
| 1121 | h = audit_hash_ino(entry->rule.inode_f->val); | ||
| 1122 | *p = list = &audit_inode_hash[h]; | ||
| 1123 | } else if (entry->rule.watch) { | ||
| 1111 | /* we don't know the inode number, so must walk entire hash */ | 1124 | /* we don't know the inode number, so must walk entire hash */ |
| 1112 | for (h = 0; h < AUDIT_INODE_BUCKETS; h++) { | 1125 | for (h = 0; h < AUDIT_INODE_BUCKETS; h++) { |
| 1113 | list = &audit_inode_hash[h]; | 1126 | list = &audit_inode_hash[h]; |
| @@ -1118,6 +1131,8 @@ static struct audit_entry *audit_find_rule(struct audit_entry *entry, | |||
| 1118 | } | 1131 | } |
| 1119 | } | 1132 | } |
| 1120 | goto out; | 1133 | goto out; |
| 1134 | } else { | ||
| 1135 | *p = list = &audit_filter_list[entry->rule.listnr]; | ||
| 1121 | } | 1136 | } |
| 1122 | 1137 | ||
| 1123 | list_for_each_entry(e, list, list) | 1138 | list_for_each_entry(e, list, list) |
| @@ -1258,15 +1273,17 @@ static int audit_add_watch(struct audit_krule *krule, struct nameidata *ndp, | |||
| 1258 | return ret; | 1273 | return ret; |
| 1259 | } | 1274 | } |
| 1260 | 1275 | ||
| 1276 | static u64 prio_low = ~0ULL/2; | ||
| 1277 | static u64 prio_high = ~0ULL/2 - 1; | ||
| 1278 | |||
| 1261 | /* Add rule to given filterlist if not a duplicate. */ | 1279 | /* Add rule to given filterlist if not a duplicate. */ |
| 1262 | static inline int audit_add_rule(struct audit_entry *entry, | 1280 | static inline int audit_add_rule(struct audit_entry *entry) |
| 1263 | struct list_head *list) | ||
| 1264 | { | 1281 | { |
| 1265 | struct audit_entry *e; | 1282 | struct audit_entry *e; |
| 1266 | struct audit_field *inode_f = entry->rule.inode_f; | ||
| 1267 | struct audit_watch *watch = entry->rule.watch; | 1283 | struct audit_watch *watch = entry->rule.watch; |
| 1268 | struct audit_tree *tree = entry->rule.tree; | 1284 | struct audit_tree *tree = entry->rule.tree; |
| 1269 | struct nameidata *ndp = NULL, *ndw = NULL; | 1285 | struct nameidata *ndp = NULL, *ndw = NULL; |
| 1286 | struct list_head *list; | ||
| 1270 | int h, err; | 1287 | int h, err; |
| 1271 | #ifdef CONFIG_AUDITSYSCALL | 1288 | #ifdef CONFIG_AUDITSYSCALL |
| 1272 | int dont_count = 0; | 1289 | int dont_count = 0; |
| @@ -1277,13 +1294,8 @@ static inline int audit_add_rule(struct audit_entry *entry, | |||
| 1277 | dont_count = 1; | 1294 | dont_count = 1; |
| 1278 | #endif | 1295 | #endif |
| 1279 | 1296 | ||
| 1280 | if (inode_f) { | ||
| 1281 | h = audit_hash_ino(inode_f->val); | ||
| 1282 | list = &audit_inode_hash[h]; | ||
| 1283 | } | ||
| 1284 | |||
| 1285 | mutex_lock(&audit_filter_mutex); | 1297 | mutex_lock(&audit_filter_mutex); |
| 1286 | e = audit_find_rule(entry, list); | 1298 | e = audit_find_rule(entry, &list); |
| 1287 | mutex_unlock(&audit_filter_mutex); | 1299 | mutex_unlock(&audit_filter_mutex); |
| 1288 | if (e) { | 1300 | if (e) { |
| 1289 | err = -EEXIST; | 1301 | err = -EEXIST; |
| @@ -1319,10 +1331,22 @@ static inline int audit_add_rule(struct audit_entry *entry, | |||
| 1319 | } | 1331 | } |
| 1320 | } | 1332 | } |
| 1321 | 1333 | ||
| 1334 | entry->rule.prio = ~0ULL; | ||
| 1335 | if (entry->rule.listnr == AUDIT_FILTER_EXIT) { | ||
| 1336 | if (entry->rule.flags & AUDIT_FILTER_PREPEND) | ||
| 1337 | entry->rule.prio = ++prio_high; | ||
| 1338 | else | ||
| 1339 | entry->rule.prio = --prio_low; | ||
| 1340 | } | ||
| 1341 | |||
| 1322 | if (entry->rule.flags & AUDIT_FILTER_PREPEND) { | 1342 | if (entry->rule.flags & AUDIT_FILTER_PREPEND) { |
| 1343 | list_add(&entry->rule.list, | ||
| 1344 | &audit_rules_list[entry->rule.listnr]); | ||
| 1323 | list_add_rcu(&entry->list, list); | 1345 | list_add_rcu(&entry->list, list); |
| 1324 | entry->rule.flags &= ~AUDIT_FILTER_PREPEND; | 1346 | entry->rule.flags &= ~AUDIT_FILTER_PREPEND; |
| 1325 | } else { | 1347 | } else { |
| 1348 | list_add_tail(&entry->rule.list, | ||
| 1349 | &audit_rules_list[entry->rule.listnr]); | ||
| 1326 | list_add_tail_rcu(&entry->list, list); | 1350 | list_add_tail_rcu(&entry->list, list); |
| 1327 | } | 1351 | } |
| 1328 | #ifdef CONFIG_AUDITSYSCALL | 1352 | #ifdef CONFIG_AUDITSYSCALL |
| @@ -1345,15 +1369,14 @@ error: | |||
| 1345 | } | 1369 | } |
| 1346 | 1370 | ||
| 1347 | /* Remove an existing rule from filterlist. */ | 1371 | /* Remove an existing rule from filterlist. */ |
| 1348 | static inline int audit_del_rule(struct audit_entry *entry, | 1372 | static inline int audit_del_rule(struct audit_entry *entry) |
| 1349 | struct list_head *list) | ||
| 1350 | { | 1373 | { |
| 1351 | struct audit_entry *e; | 1374 | struct audit_entry *e; |
| 1352 | struct audit_field *inode_f = entry->rule.inode_f; | ||
| 1353 | struct audit_watch *watch, *tmp_watch = entry->rule.watch; | 1375 | struct audit_watch *watch, *tmp_watch = entry->rule.watch; |
| 1354 | struct audit_tree *tree = entry->rule.tree; | 1376 | struct audit_tree *tree = entry->rule.tree; |
| 1377 | struct list_head *list; | ||
| 1355 | LIST_HEAD(inotify_list); | 1378 | LIST_HEAD(inotify_list); |
| 1356 | int h, ret = 0; | 1379 | int ret = 0; |
| 1357 | #ifdef CONFIG_AUDITSYSCALL | 1380 | #ifdef CONFIG_AUDITSYSCALL |
| 1358 | int dont_count = 0; | 1381 | int dont_count = 0; |
| 1359 | 1382 | ||
| @@ -1363,13 +1386,8 @@ static inline int audit_del_rule(struct audit_entry *entry, | |||
| 1363 | dont_count = 1; | 1386 | dont_count = 1; |
| 1364 | #endif | 1387 | #endif |
| 1365 | 1388 | ||
| 1366 | if (inode_f) { | ||
| 1367 | h = audit_hash_ino(inode_f->val); | ||
| 1368 | list = &audit_inode_hash[h]; | ||
| 1369 | } | ||
| 1370 | |||
| 1371 | mutex_lock(&audit_filter_mutex); | 1389 | mutex_lock(&audit_filter_mutex); |
| 1372 | e = audit_find_rule(entry, list); | 1390 | e = audit_find_rule(entry, &list); |
| 1373 | if (!e) { | 1391 | if (!e) { |
| 1374 | mutex_unlock(&audit_filter_mutex); | 1392 | mutex_unlock(&audit_filter_mutex); |
| 1375 | ret = -ENOENT; | 1393 | ret = -ENOENT; |
| @@ -1404,6 +1422,7 @@ static inline int audit_del_rule(struct audit_entry *entry, | |||
| 1404 | audit_remove_tree_rule(&e->rule); | 1422 | audit_remove_tree_rule(&e->rule); |
| 1405 | 1423 | ||
| 1406 | list_del_rcu(&e->list); | 1424 | list_del_rcu(&e->list); |
| 1425 | list_del(&e->rule.list); | ||
| 1407 | call_rcu(&e->rcu, audit_free_rule_rcu); | 1426 | call_rcu(&e->rcu, audit_free_rule_rcu); |
| 1408 | 1427 | ||
| 1409 | #ifdef CONFIG_AUDITSYSCALL | 1428 | #ifdef CONFIG_AUDITSYSCALL |
| @@ -1432,30 +1451,16 @@ out: | |||
| 1432 | static void audit_list(int pid, int seq, struct sk_buff_head *q) | 1451 | static void audit_list(int pid, int seq, struct sk_buff_head *q) |
| 1433 | { | 1452 | { |
| 1434 | struct sk_buff *skb; | 1453 | struct sk_buff *skb; |
| 1435 | struct audit_entry *entry; | 1454 | struct audit_krule *r; |
| 1436 | int i; | 1455 | int i; |
| 1437 | 1456 | ||
| 1438 | /* This is a blocking read, so use audit_filter_mutex instead of rcu | 1457 | /* This is a blocking read, so use audit_filter_mutex instead of rcu |
| 1439 | * iterator to sync with list writers. */ | 1458 | * iterator to sync with list writers. */ |
| 1440 | for (i=0; i<AUDIT_NR_FILTERS; i++) { | 1459 | for (i=0; i<AUDIT_NR_FILTERS; i++) { |
| 1441 | list_for_each_entry(entry, &audit_filter_list[i], list) { | 1460 | list_for_each_entry(r, &audit_rules_list[i], list) { |
| 1442 | struct audit_rule *rule; | ||
| 1443 | |||
| 1444 | rule = audit_krule_to_rule(&entry->rule); | ||
| 1445 | if (unlikely(!rule)) | ||
| 1446 | break; | ||
| 1447 | skb = audit_make_reply(pid, seq, AUDIT_LIST, 0, 1, | ||
| 1448 | rule, sizeof(*rule)); | ||
| 1449 | if (skb) | ||
| 1450 | skb_queue_tail(q, skb); | ||
| 1451 | kfree(rule); | ||
| 1452 | } | ||
| 1453 | } | ||
| 1454 | for (i = 0; i < AUDIT_INODE_BUCKETS; i++) { | ||
| 1455 | list_for_each_entry(entry, &audit_inode_hash[i], list) { | ||
| 1456 | struct audit_rule *rule; | 1461 | struct audit_rule *rule; |
| 1457 | 1462 | ||
| 1458 | rule = audit_krule_to_rule(&entry->rule); | 1463 | rule = audit_krule_to_rule(r); |
| 1459 | if (unlikely(!rule)) | 1464 | if (unlikely(!rule)) |
| 1460 | break; | 1465 | break; |
| 1461 | skb = audit_make_reply(pid, seq, AUDIT_LIST, 0, 1, | 1466 | skb = audit_make_reply(pid, seq, AUDIT_LIST, 0, 1, |
| @@ -1474,30 +1479,16 @@ static void audit_list(int pid, int seq, struct sk_buff_head *q) | |||
| 1474 | static void audit_list_rules(int pid, int seq, struct sk_buff_head *q) | 1479 | static void audit_list_rules(int pid, int seq, struct sk_buff_head *q) |
| 1475 | { | 1480 | { |
| 1476 | struct sk_buff *skb; | 1481 | struct sk_buff *skb; |
| 1477 | struct audit_entry *e; | 1482 | struct audit_krule *r; |
| 1478 | int i; | 1483 | int i; |
| 1479 | 1484 | ||
| 1480 | /* This is a blocking read, so use audit_filter_mutex instead of rcu | 1485 | /* This is a blocking read, so use audit_filter_mutex instead of rcu |
| 1481 | * iterator to sync with list writers. */ | 1486 | * iterator to sync with list writers. */ |
| 1482 | for (i=0; i<AUDIT_NR_FILTERS; i++) { | 1487 | for (i=0; i<AUDIT_NR_FILTERS; i++) { |
| 1483 | list_for_each_entry(e, &audit_filter_list[i], list) { | 1488 | list_for_each_entry(r, &audit_rules_list[i], list) { |
| 1484 | struct audit_rule_data *data; | ||
| 1485 | |||
| 1486 | data = audit_krule_to_data(&e->rule); | ||
| 1487 | if (unlikely(!data)) | ||
| 1488 | break; | ||
| 1489 | skb = audit_make_reply(pid, seq, AUDIT_LIST_RULES, 0, 1, | ||
| 1490 | data, sizeof(*data) + data->buflen); | ||
| 1491 | if (skb) | ||
| 1492 | skb_queue_tail(q, skb); | ||
| 1493 | kfree(data); | ||
| 1494 | } | ||
| 1495 | } | ||
| 1496 | for (i=0; i< AUDIT_INODE_BUCKETS; i++) { | ||
| 1497 | list_for_each_entry(e, &audit_inode_hash[i], list) { | ||
| 1498 | struct audit_rule_data *data; | 1489 | struct audit_rule_data *data; |
| 1499 | 1490 | ||
| 1500 | data = audit_krule_to_data(&e->rule); | 1491 | data = audit_krule_to_data(r); |
| 1501 | if (unlikely(!data)) | 1492 | if (unlikely(!data)) |
| 1502 | break; | 1493 | break; |
| 1503 | skb = audit_make_reply(pid, seq, AUDIT_LIST_RULES, 0, 1, | 1494 | skb = audit_make_reply(pid, seq, AUDIT_LIST_RULES, 0, 1, |
| @@ -1603,8 +1594,7 @@ int audit_receive_filter(int type, int pid, int uid, int seq, void *data, | |||
| 1603 | if (IS_ERR(entry)) | 1594 | if (IS_ERR(entry)) |
| 1604 | return PTR_ERR(entry); | 1595 | return PTR_ERR(entry); |
| 1605 | 1596 | ||
| 1606 | err = audit_add_rule(entry, | 1597 | err = audit_add_rule(entry); |
| 1607 | &audit_filter_list[entry->rule.listnr]); | ||
| 1608 | audit_log_rule_change(loginuid, sessionid, sid, "add", | 1598 | audit_log_rule_change(loginuid, sessionid, sid, "add", |
| 1609 | &entry->rule, !err); | 1599 | &entry->rule, !err); |
| 1610 | 1600 | ||
| @@ -1620,8 +1610,7 @@ int audit_receive_filter(int type, int pid, int uid, int seq, void *data, | |||
| 1620 | if (IS_ERR(entry)) | 1610 | if (IS_ERR(entry)) |
| 1621 | return PTR_ERR(entry); | 1611 | return PTR_ERR(entry); |
| 1622 | 1612 | ||
| 1623 | err = audit_del_rule(entry, | 1613 | err = audit_del_rule(entry); |
| 1624 | &audit_filter_list[entry->rule.listnr]); | ||
| 1625 | audit_log_rule_change(loginuid, sessionid, sid, "remove", | 1614 | audit_log_rule_change(loginuid, sessionid, sid, "remove", |
| 1626 | &entry->rule, !err); | 1615 | &entry->rule, !err); |
| 1627 | 1616 | ||
| @@ -1634,28 +1623,29 @@ int audit_receive_filter(int type, int pid, int uid, int seq, void *data, | |||
| 1634 | return err; | 1623 | return err; |
| 1635 | } | 1624 | } |
| 1636 | 1625 | ||
| 1637 | int audit_comparator(const u32 left, const u32 op, const u32 right) | 1626 | int audit_comparator(u32 left, u32 op, u32 right) |
| 1638 | { | 1627 | { |
| 1639 | switch (op) { | 1628 | switch (op) { |
| 1640 | case AUDIT_EQUAL: | 1629 | case Audit_equal: |
| 1641 | return (left == right); | 1630 | return (left == right); |
| 1642 | case AUDIT_NOT_EQUAL: | 1631 | case Audit_not_equal: |
| 1643 | return (left != right); | 1632 | return (left != right); |
| 1644 | case AUDIT_LESS_THAN: | 1633 | case Audit_lt: |
| 1645 | return (left < right); | 1634 | return (left < right); |
| 1646 | case AUDIT_LESS_THAN_OR_EQUAL: | 1635 | case Audit_le: |
| 1647 | return (left <= right); | 1636 | return (left <= right); |
| 1648 | case AUDIT_GREATER_THAN: | 1637 | case Audit_gt: |
| 1649 | return (left > right); | 1638 | return (left > right); |
| 1650 | case AUDIT_GREATER_THAN_OR_EQUAL: | 1639 | case Audit_ge: |
| 1651 | return (left >= right); | 1640 | return (left >= right); |
| 1652 | case AUDIT_BIT_MASK: | 1641 | case Audit_bitmask: |
| 1653 | return (left & right); | 1642 | return (left & right); |
| 1654 | case AUDIT_BIT_TEST: | 1643 | case Audit_bittest: |
| 1655 | return ((left & right) == right); | 1644 | return ((left & right) == right); |
| 1645 | default: | ||
| 1646 | BUG(); | ||
| 1647 | return 0; | ||
| 1656 | } | 1648 | } |
| 1657 | BUG(); | ||
| 1658 | return 0; | ||
| 1659 | } | 1649 | } |
| 1660 | 1650 | ||
| 1661 | /* Compare given dentry name with last component in given path, | 1651 | /* Compare given dentry name with last component in given path, |
| @@ -1778,6 +1768,43 @@ unlock_and_return: | |||
| 1778 | return result; | 1768 | return result; |
| 1779 | } | 1769 | } |
| 1780 | 1770 | ||
| 1771 | static int update_lsm_rule(struct audit_krule *r) | ||
| 1772 | { | ||
| 1773 | struct audit_entry *entry = container_of(r, struct audit_entry, rule); | ||
| 1774 | struct audit_entry *nentry; | ||
| 1775 | struct audit_watch *watch; | ||
| 1776 | struct audit_tree *tree; | ||
| 1777 | int err = 0; | ||
| 1778 | |||
| 1779 | if (!security_audit_rule_known(r)) | ||
| 1780 | return 0; | ||
| 1781 | |||
| 1782 | watch = r->watch; | ||
| 1783 | tree = r->tree; | ||
| 1784 | nentry = audit_dupe_rule(r, watch); | ||
| 1785 | if (IS_ERR(nentry)) { | ||
| 1786 | /* save the first error encountered for the | ||
| 1787 | * return value */ | ||
| 1788 | err = PTR_ERR(nentry); | ||
| 1789 | audit_panic("error updating LSM filters"); | ||
| 1790 | if (watch) | ||
| 1791 | list_del(&r->rlist); | ||
| 1792 | list_del_rcu(&entry->list); | ||
| 1793 | list_del(&r->list); | ||
| 1794 | } else { | ||
| 1795 | if (watch) { | ||
| 1796 | list_add(&nentry->rule.rlist, &watch->rules); | ||
| 1797 | list_del(&r->rlist); | ||
| 1798 | } else if (tree) | ||
| 1799 | list_replace_init(&r->rlist, &nentry->rule.rlist); | ||
| 1800 | list_replace_rcu(&entry->list, &nentry->list); | ||
| 1801 | list_replace(&r->list, &nentry->rule.list); | ||
| 1802 | } | ||
| 1803 | call_rcu(&entry->rcu, audit_free_rule_rcu); | ||
| 1804 | |||
| 1805 | return err; | ||
| 1806 | } | ||
| 1807 | |||
| 1781 | /* This function will re-initialize the lsm_rule field of all applicable rules. | 1808 | /* This function will re-initialize the lsm_rule field of all applicable rules. |
| 1782 | * It will traverse the filter lists serarching for rules that contain LSM | 1809 | * It will traverse the filter lists serarching for rules that contain LSM |
| 1783 | * specific filter fields. When such a rule is found, it is copied, the | 1810 | * specific filter fields. When such a rule is found, it is copied, the |
| @@ -1785,45 +1812,19 @@ unlock_and_return: | |||
| 1785 | * updated rule. */ | 1812 | * updated rule. */ |
| 1786 | int audit_update_lsm_rules(void) | 1813 | int audit_update_lsm_rules(void) |
| 1787 | { | 1814 | { |
| 1788 | struct audit_entry *entry, *n, *nentry; | 1815 | struct audit_krule *r, *n; |
| 1789 | struct audit_watch *watch; | ||
| 1790 | struct audit_tree *tree; | ||
| 1791 | int i, err = 0; | 1816 | int i, err = 0; |
| 1792 | 1817 | ||
| 1793 | /* audit_filter_mutex synchronizes the writers */ | 1818 | /* audit_filter_mutex synchronizes the writers */ |
| 1794 | mutex_lock(&audit_filter_mutex); | 1819 | mutex_lock(&audit_filter_mutex); |
| 1795 | 1820 | ||
| 1796 | for (i = 0; i < AUDIT_NR_FILTERS; i++) { | 1821 | for (i = 0; i < AUDIT_NR_FILTERS; i++) { |
| 1797 | list_for_each_entry_safe(entry, n, &audit_filter_list[i], list) { | 1822 | list_for_each_entry_safe(r, n, &audit_rules_list[i], list) { |
| 1798 | if (!security_audit_rule_known(&entry->rule)) | 1823 | int res = update_lsm_rule(r); |
| 1799 | continue; | 1824 | if (!err) |
| 1800 | 1825 | err = res; | |
| 1801 | watch = entry->rule.watch; | ||
| 1802 | tree = entry->rule.tree; | ||
| 1803 | nentry = audit_dupe_rule(&entry->rule, watch); | ||
| 1804 | if (IS_ERR(nentry)) { | ||
| 1805 | /* save the first error encountered for the | ||
| 1806 | * return value */ | ||
| 1807 | if (!err) | ||
| 1808 | err = PTR_ERR(nentry); | ||
| 1809 | audit_panic("error updating LSM filters"); | ||
| 1810 | if (watch) | ||
| 1811 | list_del(&entry->rule.rlist); | ||
| 1812 | list_del_rcu(&entry->list); | ||
| 1813 | } else { | ||
| 1814 | if (watch) { | ||
| 1815 | list_add(&nentry->rule.rlist, | ||
| 1816 | &watch->rules); | ||
| 1817 | list_del(&entry->rule.rlist); | ||
| 1818 | } else if (tree) | ||
| 1819 | list_replace_init(&entry->rule.rlist, | ||
| 1820 | &nentry->rule.rlist); | ||
| 1821 | list_replace_rcu(&entry->list, &nentry->list); | ||
| 1822 | } | ||
| 1823 | call_rcu(&entry->rcu, audit_free_rule_rcu); | ||
| 1824 | } | 1826 | } |
| 1825 | } | 1827 | } |
| 1826 | |||
| 1827 | mutex_unlock(&audit_filter_mutex); | 1828 | mutex_unlock(&audit_filter_mutex); |
| 1828 | 1829 | ||
| 1829 | return err; | 1830 | return err; |
