| 1 | #include "audit.h"
|
| 2 | #include <linux/fsnotify_backend.h>
|
| 3 | #include <linux/namei.h>
|
| 4 | #include <linux/mount.h>
|
| 5 | #include <linux/kthread.h>
|
| 6 | #include <linux/slab.h>
|
| 7 |
|
| 8 | struct audit_tree;
|
| 9 | struct audit_chunk;
|
| 10 |
|
| 11 | struct audit_tree {
|
| 12 | atomic_t count;
|
| 13 | int goner;
|
| 14 | struct audit_chunk *root;
|
| 15 | struct list_head chunks;
|
| 16 | struct list_head rules;
|
| 17 | struct list_head list;
|
| 18 | struct list_head same_root;
|
| 19 | struct rcu_head head;
|
| 20 | char pathname[];
|
| 21 | };
|
| 22 |
|
| 23 | struct audit_chunk {
|
| 24 | struct list_head hash;
|
| 25 | struct fsnotify_mark mark;
|
| 26 | struct list_head trees;
|
| 27 | int dead;
|
| 28 | int count;
|
| 29 | atomic_long_t refs;
|
| 30 | struct rcu_head head;
|
| 31 | struct node {
|
| 32 | struct list_head list;
|
| 33 | struct audit_tree *owner;
|
| 34 | unsigned index;
|
| 35 | } owners[];
|
| 36 | };
|
| 37 |
|
| 38 | static LIST_HEAD(tree_list);
|
| 39 | static LIST_HEAD(prune_list);
|
| 40 | static struct task_struct *prune_thread;
|
| 41 |
|
| 42 | |
| 43 | * One struct chunk is attached to each inode of interest.
|
| 44 | * We replace struct chunk on tagging/untagging.
|
| 45 | * Rules have pointer to struct audit_tree.
|
| 46 | * Rules have struct list_head rlist forming a list of rules over
|
| 47 | * the same tree.
|
| 48 | * References to struct chunk are collected at audit_inode{,_child}()
|
| 49 | * time and used in AUDIT_TREE rule matching.
|
| 50 | * These references are dropped at the same time we are calling
|
| 51 | * audit_free_names(), etc.
|
| 52 | *
|
| 53 | * Cyclic lists galore:
|
| 54 | * tree.chunks anchors chunk.owners[].list hash_lock
|
| 55 | * tree.rules anchors rule.rlist audit_filter_mutex
|
| 56 | * chunk.trees anchors tree.same_root hash_lock
|
| 57 | * chunk.hash is a hash with middle bits of watch.inode as
|
| 58 | * a hash function. RCU, hash_lock
|
| 59 | *
|
| 60 | * tree is refcounted; one reference for "some rules on rules_list refer to
|
| 61 | * it", one for each chunk with pointer to it.
|
| 62 | *
|
| 63 | * chunk is refcounted by embedded fsnotify_mark + .refs (non-zero refcount
|
| 64 | * of watch contributes 1 to .refs).
|
| 65 | *
|
| 66 | * node.index allows to get from node.list to containing chunk.
|
| 67 | * MSB of that sucker is stolen to mark taggings that we might have to
|
| 68 | * revert - several operations have very unpleasant cleanup logics and
|
| 69 | * that makes a difference. Some.
|
| 70 |
|
| 71 |
|
| 72 | static struct fsnotify_group *audit_tree_group;
|
| 73 |
|
| 74 | static struct audit_tree *alloc_tree(const char *s)
|
| 75 | {
|
| 76 | struct audit_tree *tree;
|
| 77 |
|
| 78 | tree = kmalloc(sizeof(struct audit_tree) + strlen(s) + 1, GFP_KERNEL);
|
| 79 | if (tree) {
|
| 80 | atomic_set(&tree->count, 1);
|
| 81 | tree->goner = 0;
|
| 82 | INIT_LIST_HEAD(&tree->chunks);
|
| 83 | INIT_LIST_HEAD(&tree->rules);
|
| 84 | INIT_LIST_HEAD(&tree->list);
|
| 85 | INIT_LIST_HEAD(&tree->same_root);
|
| 86 | tree->root = NULL;
|
| 87 | strcpy(tree->pathname, s);
|
| 88 | }
|
| 89 | return tree;
|
| 90 | }
|
| 91 |
|
| 92 | static inline void get_tree(struct audit_tree *tree)
|
| 93 | {
|
| 94 | atomic_inc(&tree->count);
|
| 95 | }
|
| 96 |
|
| 97 | static inline void put_tree(struct audit_tree *tree)
|
| 98 | {
|
| 99 | if (atomic_dec_and_test(&tree->count))
|
| 100 | kfree_rcu(tree, head);
|
| 101 | }
|
| 102 |
|
| 103 |
|
| 104 | const char *audit_tree_path(struct audit_tree *tree)
|
| 105 | {
|
| 106 | return tree->pathname;
|
| 107 | }
|
| 108 |
|
| 109 | static void free_chunk(struct audit_chunk *chunk)
|
| 110 | {
|
| 111 | int i;
|
| 112 |
|
| 113 | for (i = 0; i < chunk->count; i++) {
|
| 114 | if (chunk->owners[i].owner)
|
| 115 | put_tree(chunk->owners[i].owner);
|
| 116 | }
|
| 117 | kfree(chunk);
|
| 118 | }
|
| 119 |
|
| 120 | void audit_put_chunk(struct audit_chunk *chunk)
|
| 121 | {
|
| 122 | if (atomic_long_dec_and_test(&chunk->refs))
|
| 123 | free_chunk(chunk);
|
| 124 | }
|
| 125 |
|
| 126 | static void __put_chunk(struct rcu_head *rcu)
|
| 127 | {
|
| 128 | struct audit_chunk *chunk = container_of(rcu, struct audit_chunk, head);
|
| 129 | audit_put_chunk(chunk);
|
| 130 | }
|
| 131 |
|
| 132 | static void audit_tree_destroy_watch(struct fsnotify_mark *entry)
|
| 133 | {
|
| 134 | struct audit_chunk *chunk = container_of(entry, struct audit_chunk, mark);
|
| 135 | call_rcu(&chunk->head, __put_chunk);
|
| 136 | }
|
| 137 |
|
| 138 | static struct audit_chunk *alloc_chunk(int count)
|
| 139 | {
|
| 140 | struct audit_chunk *chunk;
|
| 141 | size_t size;
|
| 142 | int i;
|
| 143 |
|
| 144 | size = offsetof(struct audit_chunk, owners) + count * sizeof(struct node);
|
| 145 | chunk = kzalloc(size, GFP_KERNEL);
|
| 146 | if (!chunk)
|
| 147 | return NULL;
|
| 148 |
|
| 149 | INIT_LIST_HEAD(&chunk->hash);
|
| 150 | INIT_LIST_HEAD(&chunk->trees);
|
| 151 | chunk->count = count;
|
| 152 | atomic_long_set(&chunk->refs, 1);
|
| 153 | for (i = 0; i < count; i++) {
|
| 154 | INIT_LIST_HEAD(&chunk->owners[i].list);
|
| 155 | chunk->owners[i].index = i;
|
| 156 | }
|
| 157 | fsnotify_init_mark(&chunk->mark, audit_tree_destroy_watch);
|
| 158 | chunk->mark.mask = FS_IN_IGNORED;
|
| 159 | return chunk;
|
| 160 | }
|
| 161 |
|
| 162 | enum {HASH_SIZE = 128};
|
| 163 | static struct list_head chunk_hash_heads[HASH_SIZE];
|
| 164 | static __cacheline_aligned_in_smp DEFINE_SPINLOCK(hash_lock);
|
| 165 |
|
| 166 | static inline struct list_head *chunk_hash(const struct inode *inode)
|
| 167 | {
|
| 168 | unsigned long n = (unsigned long)inode / L1_CACHE_BYTES;
|
| 169 | return chunk_hash_heads + n % HASH_SIZE;
|
| 170 | }
|
| 171 |
|
| 172 |
|
| 173 | static void insert_hash(struct audit_chunk *chunk)
|
| 174 | {
|
| 175 | struct fsnotify_mark *entry = &chunk->mark;
|
| 176 | struct list_head *list;
|
| 177 |
|
| 178 | if (!entry->inode)
|
| 179 | return;
|
| 180 | list = chunk_hash(entry->inode);
|
| 181 | list_add_rcu(&chunk->hash, list);
|
| 182 | }
|
| 183 |
|
| 184 |
|
| 185 | struct audit_chunk *audit_tree_lookup(const struct inode *inode)
|
| 186 | {
|
| 187 | struct list_head *list = chunk_hash(inode);
|
| 188 | struct audit_chunk *p;
|
| 189 |
|
| 190 | list_for_each_entry_rcu(p, list, hash) {
|
| 191 |
|
| 192 | if (p->mark.inode == inode) {
|
| 193 | atomic_long_inc(&p->refs);
|
| 194 | return p;
|
| 195 | }
|
| 196 | }
|
| 197 | return NULL;
|
| 198 | }
|
| 199 |
|
| 200 | bool audit_tree_match(struct audit_chunk *chunk, struct audit_tree *tree)
|
| 201 | {
|
| 202 | int n;
|
| 203 | for (n = 0; n < chunk->count; n++)
|
| 204 | if (chunk->owners[n].owner == tree)
|
| 205 | return true;
|
| 206 | return false;
|
| 207 | }
|
| 208 |
|
| 209 |
|
| 210 |
|
| 211 | static struct audit_chunk *find_chunk(struct node *p)
|
| 212 | {
|
| 213 | int index = p->index & ~(1U<<31);
|
| 214 | p -= index;
|
| 215 | return container_of(p, struct audit_chunk, owners[0]);
|
| 216 | }
|
| 217 |
|
| 218 | static void untag_chunk(struct node *p)
|
| 219 | {
|
| 220 | struct audit_chunk *chunk = find_chunk(p);
|
| 221 | struct fsnotify_mark *entry = &chunk->mark;
|
| 222 | struct audit_chunk *new = NULL;
|
| 223 | struct audit_tree *owner;
|
| 224 | int size = chunk->count - 1;
|
| 225 | int i, j;
|
| 226 |
|
| 227 | fsnotify_get_mark(entry);
|
| 228 |
|
| 229 | spin_unlock(&hash_lock);
|
| 230 |
|
| 231 | if (size)
|
| 232 | new = alloc_chunk(size);
|
| 233 |
|
| 234 | spin_lock(&entry->lock);
|
| 235 | if (chunk->dead || !entry->inode) {
|
| 236 | spin_unlock(&entry->lock);
|
| 237 | if (new)
|
| 238 | free_chunk(new);
|
| 239 | goto out;
|
| 240 | }
|
| 241 |
|
| 242 | owner = p->owner;
|
| 243 |
|
| 244 | if (!size) {
|
| 245 | chunk->dead = 1;
|
| 246 | spin_lock(&hash_lock);
|
| 247 | list_del_init(&chunk->trees);
|
| 248 | if (owner->root == chunk)
|
| 249 | owner->root = NULL;
|
| 250 | list_del_init(&p->list);
|
| 251 | list_del_rcu(&chunk->hash);
|
| 252 | spin_unlock(&hash_lock);
|
| 253 | spin_unlock(&entry->lock);
|
| 254 | fsnotify_destroy_mark(entry, audit_tree_group);
|
| 255 | goto out;
|
| 256 | }
|
| 257 |
|
| 258 | if (!new)
|
| 259 | goto Fallback;
|
| 260 |
|
| 261 | fsnotify_duplicate_mark(&new->mark, entry);
|
| 262 | if (fsnotify_add_mark(&new->mark, new->mark.group, new->mark.inode, NULL, 1)) {
|
| 263 | fsnotify_put_mark(&new->mark);
|
| 264 | goto Fallback;
|
| 265 | }
|
| 266 |
|
| 267 | chunk->dead = 1;
|
| 268 | spin_lock(&hash_lock);
|
| 269 | list_replace_init(&chunk->trees, &new->trees);
|
| 270 | if (owner->root == chunk) {
|
| 271 | list_del_init(&owner->same_root);
|
| 272 | owner->root = NULL;
|
| 273 | }
|
| 274 |
|
| 275 | for (i = j = 0; j <= size; i++, j++) {
|
| 276 | struct audit_tree *s;
|
| 277 | if (&chunk->owners[j] == p) {
|
| 278 | list_del_init(&p->list);
|
| 279 | i--;
|
| 280 | continue;
|
| 281 | }
|
| 282 | s = chunk->owners[j].owner;
|
| 283 | new->owners[i].owner = s;
|
| 284 | new->owners[i].index = chunk->owners[j].index - j + i;
|
| 285 | if (!s)
|
| 286 | continue;
|
| 287 | get_tree(s);
|
| 288 | list_replace_init(&chunk->owners[j].list, &new->owners[i].list);
|
| 289 | }
|
| 290 |
|
| 291 | list_replace_rcu(&chunk->hash, &new->hash);
|
| 292 | list_for_each_entry(owner, &new->trees, same_root)
|
| 293 | owner->root = new;
|
| 294 | spin_unlock(&hash_lock);
|
| 295 | spin_unlock(&entry->lock);
|
| 296 | fsnotify_destroy_mark(entry, audit_tree_group);
|
| 297 | fsnotify_put_mark(&new->mark);
|
| 298 | goto out;
|
| 299 |
|
| 300 | Fallback:
|
| 301 | |
| 302 | spin_lock(&hash_lock);
|
| 303 | if (owner->root == chunk) {
|
| 304 | list_del_init(&owner->same_root);
|
| 305 | owner->root = NULL;
|
| 306 | }
|
| 307 | list_del_init(&p->list);
|
| 308 | p->owner = NULL;
|
| 309 | put_tree(owner);
|
| 310 | spin_unlock(&hash_lock);
|
| 311 | spin_unlock(&entry->lock);
|
| 312 | out:
|
| 313 | fsnotify_put_mark(entry);
|
| 314 | spin_lock(&hash_lock);
|
| 315 | }
|
| 316 |
|
| 317 | static int create_chunk(struct inode *inode, struct audit_tree *tree)
|
| 318 | {
|
| 319 | struct fsnotify_mark *entry;
|
| 320 | struct audit_chunk *chunk = alloc_chunk(1);
|
| 321 | if (!chunk)
|
| 322 | return -ENOMEM;
|
| 323 |
|
| 324 | entry = &chunk->mark;
|
| 325 | if (fsnotify_add_mark(entry, audit_tree_group, inode, NULL, 0)) {
|
| 326 | fsnotify_put_mark(entry);
|
| 327 | return -ENOSPC;
|
| 328 | }
|
| 329 |
|
| 330 | spin_lock(&entry->lock);
|
| 331 | spin_lock(&hash_lock);
|
| 332 | if (tree->goner) {
|
| 333 | spin_unlock(&hash_lock);
|
| 334 | chunk->dead = 1;
|
| 335 | spin_unlock(&entry->lock);
|
| 336 | fsnotify_destroy_mark(entry, audit_tree_group);
|
| 337 | fsnotify_put_mark(entry);
|
| 338 | return 0;
|
| 339 | }
|
| 340 | chunk->owners[0].index = (1U << 31);
|
| 341 | chunk->owners[0].owner = tree;
|
| 342 | get_tree(tree);
|
| 343 | list_add(&chunk->owners[0].list, &tree->chunks);
|
| 344 | if (!tree->root) {
|
| 345 | tree->root = chunk;
|
| 346 | list_add(&tree->same_root, &chunk->trees);
|
| 347 | }
|
| 348 | insert_hash(chunk);
|
| 349 | spin_unlock(&hash_lock);
|
| 350 | spin_unlock(&entry->lock);
|
| 351 | fsnotify_put_mark(entry);
|
| 352 | return 0;
|
| 353 | }
|
| 354 |
|
| 355 |
|
| 356 | static int tag_chunk(struct inode *inode, struct audit_tree *tree)
|
| 357 | {
|
| 358 | struct fsnotify_mark *old_entry, *chunk_entry;
|
| 359 | struct audit_tree *owner;
|
| 360 | struct audit_chunk *chunk, *old;
|
| 361 | struct node *p;
|
| 362 | int n;
|
| 363 |
|
| 364 | old_entry = fsnotify_find_inode_mark(audit_tree_group, inode);
|
| 365 | if (!old_entry)
|
| 366 | return create_chunk(inode, tree);
|
| 367 |
|
| 368 | old = container_of(old_entry, struct audit_chunk, mark);
|
| 369 |
|
| 370 |
|
| 371 | spin_lock(&hash_lock);
|
| 372 | for (n = 0; n < old->count; n++) {
|
| 373 | if (old->owners[n].owner == tree) {
|
| 374 | spin_unlock(&hash_lock);
|
| 375 | fsnotify_put_mark(old_entry);
|
| 376 | return 0;
|
| 377 | }
|
| 378 | }
|
| 379 | spin_unlock(&hash_lock);
|
| 380 |
|
| 381 | chunk = alloc_chunk(old->count + 1);
|
| 382 | if (!chunk) {
|
| 383 | fsnotify_put_mark(old_entry);
|
| 384 | return -ENOMEM;
|
| 385 | }
|
| 386 |
|
| 387 | chunk_entry = &chunk->mark;
|
| 388 |
|
| 389 | spin_lock(&old_entry->lock);
|
| 390 | if (!old_entry->inode) {
|
| 391 |
|
| 392 | spin_unlock(&old_entry->lock);
|
| 393 | fsnotify_put_mark(old_entry);
|
| 394 | free_chunk(chunk);
|
| 395 | return -ENOENT;
|
| 396 | }
|
| 397 |
|
| 398 | fsnotify_duplicate_mark(chunk_entry, old_entry);
|
| 399 | if (fsnotify_add_mark(chunk_entry, chunk_entry->group, chunk_entry->inode, NULL, 1)) {
|
| 400 | spin_unlock(&old_entry->lock);
|
| 401 | fsnotify_put_mark(chunk_entry);
|
| 402 | fsnotify_put_mark(old_entry);
|
| 403 | return -ENOSPC;
|
| 404 | }
|
| 405 |
|
| 406 |
|
| 407 | spin_lock(&chunk_entry->lock);
|
| 408 | spin_lock(&hash_lock);
|
| 409 |
|
| 410 |
|
| 411 | if (tree->goner) {
|
| 412 | spin_unlock(&hash_lock);
|
| 413 | chunk->dead = 1;
|
| 414 | spin_unlock(&chunk_entry->lock);
|
| 415 | spin_unlock(&old_entry->lock);
|
| 416 |
|
| 417 | fsnotify_destroy_mark(chunk_entry, audit_tree_group);
|
| 418 |
|
| 419 | fsnotify_put_mark(chunk_entry);
|
| 420 | fsnotify_put_mark(old_entry);
|
| 421 | return 0;
|
| 422 | }
|
| 423 | list_replace_init(&old->trees, &chunk->trees);
|
| 424 | for (n = 0, p = chunk->owners; n < old->count; n++, p++) {
|
| 425 | struct audit_tree *s = old->owners[n].owner;
|
| 426 | p->owner = s;
|
| 427 | p->index = old->owners[n].index;
|
| 428 | if (!s)
|
| 429 | continue;
|
| 430 | get_tree(s);
|
| 431 | list_replace_init(&old->owners[n].list, &p->list);
|
| 432 | }
|
| 433 | p->index = (chunk->count - 1) | (1U<<31);
|
| 434 | p->owner = tree;
|
| 435 | get_tree(tree);
|
| 436 | list_add(&p->list, &tree->chunks);
|
| 437 | list_replace_rcu(&old->hash, &chunk->hash);
|
| 438 | list_for_each_entry(owner, &chunk->trees, same_root)
|
| 439 | owner->root = chunk;
|
| 440 | old->dead = 1;
|
| 441 | if (!tree->root) {
|
| 442 | tree->root = chunk;
|
| 443 | list_add(&tree->same_root, &chunk->trees);
|
| 444 | }
|
| 445 | spin_unlock(&hash_lock);
|
| 446 | spin_unlock(&chunk_entry->lock);
|
| 447 | spin_unlock(&old_entry->lock);
|
| 448 | fsnotify_destroy_mark(old_entry, audit_tree_group);
|
| 449 | fsnotify_put_mark(chunk_entry);
|
| 450 | fsnotify_put_mark(old_entry);
|
| 451 | return 0;
|
| 452 | }
|
| 453 |
|
| 454 | static void audit_tree_log_remove_rule(struct audit_krule *rule)
|
| 455 | {
|
| 456 | struct audit_buffer *ab;
|
| 457 |
|
| 458 | ab = audit_log_start(NULL, GFP_KERNEL, AUDIT_CONFIG_CHANGE);
|
| 459 | if (unlikely(!ab))
|
| 460 | return;
|
| 461 | audit_log_format(ab, "op=");
|
| 462 | audit_log_string(ab, "remove_rule");
|
| 463 | audit_log_format(ab, " dir=");
|
| 464 | audit_log_untrustedstring(ab, rule->tree->pathname);
|
| 465 | audit_log_key(ab, rule->filterkey);
|
| 466 | audit_log_format(ab, " list=%d res=1", rule->listnr);
|
| 467 | audit_log_end(ab);
|
| 468 | }
|
| 469 |
|
| 470 | static void kill_rules(struct audit_tree *tree)
|
| 471 | {
|
| 472 | struct audit_krule *rule, *next;
|
| 473 | struct audit_entry *entry;
|
| 474 |
|
| 475 | list_for_each_entry_safe(rule, next, &tree->rules, rlist) {
|
| 476 | entry = container_of(rule, struct audit_entry, rule);
|
| 477 |
|
| 478 | list_del_init(&rule->rlist);
|
| 479 | if (rule->tree) {
|
| 480 |
|
| 481 | audit_tree_log_remove_rule(rule);
|
| 482 | if (entry->rule.exe)
|
| 483 | audit_remove_mark(entry->rule.exe);
|
| 484 | rule->tree = NULL;
|
| 485 | list_del_rcu(&entry->list);
|
| 486 | list_del(&entry->rule.list);
|
| 487 | call_rcu(&entry->rcu, audit_free_rule_rcu);
|
| 488 | }
|
| 489 | }
|
| 490 | }
|
| 491 |
|
| 492 | |
| 493 | * finish killing struct audit_tree
|
| 494 |
|
| 495 | static void prune_one(struct audit_tree *victim)
|
| 496 | {
|
| 497 | spin_lock(&hash_lock);
|
| 498 | while (!list_empty(&victim->chunks)) {
|
| 499 | struct node *p;
|
| 500 |
|
| 501 | p = list_entry(victim->chunks.next, struct node, list);
|
| 502 |
|
| 503 | untag_chunk(p);
|
| 504 | }
|
| 505 | spin_unlock(&hash_lock);
|
| 506 | put_tree(victim);
|
| 507 | }
|
| 508 |
|
| 509 |
|
| 510 |
|
| 511 | static void trim_marked(struct audit_tree *tree)
|
| 512 | {
|
| 513 | struct list_head *p, *q;
|
| 514 | spin_lock(&hash_lock);
|
| 515 | if (tree->goner) {
|
| 516 | spin_unlock(&hash_lock);
|
| 517 | return;
|
| 518 | }
|
| 519 |
|
| 520 | for (p = tree->chunks.next; p != &tree->chunks; p = q) {
|
| 521 | struct node *node = list_entry(p, struct node, list);
|
| 522 | q = p->next;
|
| 523 | if (node->index & (1U<<31)) {
|
| 524 | list_del_init(p);
|
| 525 | list_add(p, &tree->chunks);
|
| 526 | }
|
| 527 | }
|
| 528 |
|
| 529 | while (!list_empty(&tree->chunks)) {
|
| 530 | struct node *node;
|
| 531 |
|
| 532 | node = list_entry(tree->chunks.next, struct node, list);
|
| 533 |
|
| 534 |
|
| 535 | if (!(node->index & (1U<<31)))
|
| 536 | break;
|
| 537 |
|
| 538 | untag_chunk(node);
|
| 539 | }
|
| 540 | if (!tree->root && !tree->goner) {
|
| 541 | tree->goner = 1;
|
| 542 | spin_unlock(&hash_lock);
|
| 543 | mutex_lock(&audit_filter_mutex);
|
| 544 | kill_rules(tree);
|
| 545 | list_del_init(&tree->list);
|
| 546 | mutex_unlock(&audit_filter_mutex);
|
| 547 | prune_one(tree);
|
| 548 | } else {
|
| 549 | spin_unlock(&hash_lock);
|
| 550 | }
|
| 551 | }
|
| 552 |
|
| 553 | static void audit_schedule_prune(void);
|
| 554 |
|
| 555 |
|
| 556 | int audit_remove_tree_rule(struct audit_krule *rule)
|
| 557 | {
|
| 558 | struct audit_tree *tree;
|
| 559 | tree = rule->tree;
|
| 560 | if (tree) {
|
| 561 | spin_lock(&hash_lock);
|
| 562 | list_del_init(&rule->rlist);
|
| 563 | if (list_empty(&tree->rules) && !tree->goner) {
|
| 564 | tree->root = NULL;
|
| 565 | list_del_init(&tree->same_root);
|
| 566 | tree->goner = 1;
|
| 567 | list_move(&tree->list, &prune_list);
|
| 568 | rule->tree = NULL;
|
| 569 | spin_unlock(&hash_lock);
|
| 570 | audit_schedule_prune();
|
| 571 | return 1;
|
| 572 | }
|
| 573 | rule->tree = NULL;
|
| 574 | spin_unlock(&hash_lock);
|
| 575 | return 1;
|
| 576 | }
|
| 577 | return 0;
|
| 578 | }
|
| 579 |
|
| 580 | static int compare_root(struct vfsmount *mnt, void *arg)
|
| 581 | {
|
| 582 | return d_backing_inode(mnt->mnt_root) == arg;
|
| 583 | }
|
| 584 |
|
| 585 | void audit_trim_trees(void)
|
| 586 | {
|
| 587 | struct list_head cursor;
|
| 588 |
|
| 589 | mutex_lock(&audit_filter_mutex);
|
| 590 | list_add(&cursor, &tree_list);
|
| 591 | while (cursor.next != &tree_list) {
|
| 592 | struct audit_tree *tree;
|
| 593 | struct path path;
|
| 594 | struct vfsmount *root_mnt;
|
| 595 | struct node *node;
|
| 596 | int err;
|
| 597 |
|
| 598 | tree = container_of(cursor.next, struct audit_tree, list);
|
| 599 | get_tree(tree);
|
| 600 | list_del(&cursor);
|
| 601 | list_add(&cursor, &tree->list);
|
| 602 | mutex_unlock(&audit_filter_mutex);
|
| 603 |
|
| 604 | err = kern_path(tree->pathname, 0, &path);
|
| 605 | if (err)
|
| 606 | goto skip_it;
|
| 607 |
|
| 608 | root_mnt = collect_mounts(&path);
|
| 609 | path_put(&path);
|
| 610 | if (IS_ERR(root_mnt))
|
| 611 | goto skip_it;
|
| 612 |
|
| 613 | spin_lock(&hash_lock);
|
| 614 | list_for_each_entry(node, &tree->chunks, list) {
|
| 615 | struct audit_chunk *chunk = find_chunk(node);
|
| 616 |
|
| 617 | struct inode *inode = chunk->mark.inode;
|
| 618 | node->index |= 1U<<31;
|
| 619 | if (iterate_mounts(compare_root, inode, root_mnt))
|
| 620 | node->index &= ~(1U<<31);
|
| 621 | }
|
| 622 | spin_unlock(&hash_lock);
|
| 623 | trim_marked(tree);
|
| 624 | drop_collected_mounts(root_mnt);
|
| 625 | skip_it:
|
| 626 | put_tree(tree);
|
| 627 | mutex_lock(&audit_filter_mutex);
|
| 628 | }
|
| 629 | list_del(&cursor);
|
| 630 | mutex_unlock(&audit_filter_mutex);
|
| 631 | }
|
| 632 |
|
| 633 | int audit_make_tree(struct audit_krule *rule, char *pathname, u32 op)
|
| 634 | {
|
| 635 |
|
| 636 | if (pathname[0] != '/' ||
|
| 637 | rule->listnr != AUDIT_FILTER_EXIT ||
|
| 638 | op != Audit_equal ||
|
| 639 | rule->inode_f || rule->watch || rule->tree)
|
| 640 | return -EINVAL;
|
| 641 | rule->tree = alloc_tree(pathname);
|
| 642 | if (!rule->tree)
|
| 643 | return -ENOMEM;
|
| 644 | return 0;
|
| 645 | }
|
| 646 |
|
| 647 | void audit_put_tree(struct audit_tree *tree)
|
| 648 | {
|
| 649 | put_tree(tree);
|
| 650 | }
|
| 651 |
|
| 652 | static int tag_mount(struct vfsmount *mnt, void *arg)
|
| 653 | {
|
| 654 | return tag_chunk(d_backing_inode(mnt->mnt_root), arg);
|
| 655 | }
|
| 656 |
|
| 657 | |
| 658 | * That gets run when evict_chunk() ends up needing to kill audit_tree.
|
| 659 | * Runs from a separate thread.
|
| 660 |
|
| 661 | static int prune_tree_thread(void *unused)
|
| 662 | {
|
| 663 | for (;;) {
|
| 664 | if (list_empty(&prune_list)) {
|
| 665 | set_current_state(TASK_INTERRUPTIBLE);
|
| 666 | schedule();
|
| 667 | }
|
| 668 |
|
| 669 | mutex_lock(&audit_cmd_mutex);
|
| 670 | mutex_lock(&audit_filter_mutex);
|
| 671 |
|
| 672 | while (!list_empty(&prune_list)) {
|
| 673 | struct audit_tree *victim;
|
| 674 |
|
| 675 | victim = list_entry(prune_list.next,
|
| 676 | struct audit_tree, list);
|
| 677 | list_del_init(&victim->list);
|
| 678 |
|
| 679 | mutex_unlock(&audit_filter_mutex);
|
| 680 |
|
| 681 | prune_one(victim);
|
| 682 |
|
| 683 | mutex_lock(&audit_filter_mutex);
|
| 684 | }
|
| 685 |
|
| 686 | mutex_unlock(&audit_filter_mutex);
|
| 687 | mutex_unlock(&audit_cmd_mutex);
|
| 688 | }
|
| 689 | return 0;
|
| 690 | }
|
| 691 |
|
| 692 | static int audit_launch_prune(void)
|
| 693 | {
|
| 694 | if (prune_thread)
|
| 695 | return 0;
|
| 696 | prune_thread = kthread_run(prune_tree_thread, NULL,
|
| 697 | "audit_prune_tree");
|
| 698 | if (IS_ERR(prune_thread)) {
|
| 699 | pr_err("cannot start thread audit_prune_tree");
|
| 700 | prune_thread = NULL;
|
| 701 | return -ENOMEM;
|
| 702 | }
|
| 703 | return 0;
|
| 704 | }
|
| 705 |
|
| 706 |
|
| 707 | int audit_add_tree_rule(struct audit_krule *rule)
|
| 708 | {
|
| 709 | struct audit_tree *seed = rule->tree, *tree;
|
| 710 | struct path path;
|
| 711 | struct vfsmount *mnt;
|
| 712 | int err;
|
| 713 |
|
| 714 | rule->tree = NULL;
|
| 715 | list_for_each_entry(tree, &tree_list, list) {
|
| 716 | if (!strcmp(seed->pathname, tree->pathname)) {
|
| 717 | put_tree(seed);
|
| 718 | rule->tree = tree;
|
| 719 | list_add(&rule->rlist, &tree->rules);
|
| 720 | return 0;
|
| 721 | }
|
| 722 | }
|
| 723 | tree = seed;
|
| 724 | list_add(&tree->list, &tree_list);
|
| 725 | list_add(&rule->rlist, &tree->rules);
|
| 726 |
|
| 727 | mutex_unlock(&audit_filter_mutex);
|
| 728 |
|
| 729 | if (unlikely(!prune_thread)) {
|
| 730 | err = audit_launch_prune();
|
| 731 | if (err)
|
| 732 | goto Err;
|
| 733 | }
|
| 734 |
|
| 735 | err = kern_path(tree->pathname, 0, &path);
|
| 736 | if (err)
|
| 737 | goto Err;
|
| 738 | mnt = collect_mounts(&path);
|
| 739 | path_put(&path);
|
| 740 | if (IS_ERR(mnt)) {
|
| 741 | err = PTR_ERR(mnt);
|
| 742 | goto Err;
|
| 743 | }
|
| 744 |
|
| 745 | get_tree(tree);
|
| 746 | err = iterate_mounts(tag_mount, tree, mnt);
|
| 747 | drop_collected_mounts(mnt);
|
| 748 |
|
| 749 | if (!err) {
|
| 750 | struct node *node;
|
| 751 | spin_lock(&hash_lock);
|
| 752 | list_for_each_entry(node, &tree->chunks, list)
|
| 753 | node->index &= ~(1U<<31);
|
| 754 | spin_unlock(&hash_lock);
|
| 755 | } else {
|
| 756 | trim_marked(tree);
|
| 757 | goto Err;
|
| 758 | }
|
| 759 |
|
| 760 | mutex_lock(&audit_filter_mutex);
|
| 761 | if (list_empty(&rule->rlist)) {
|
| 762 | put_tree(tree);
|
| 763 | return -ENOENT;
|
| 764 | }
|
| 765 | rule->tree = tree;
|
| 766 | put_tree(tree);
|
| 767 |
|
| 768 | return 0;
|
| 769 | Err:
|
| 770 | mutex_lock(&audit_filter_mutex);
|
| 771 | list_del_init(&tree->list);
|
| 772 | list_del_init(&tree->rules);
|
| 773 | put_tree(tree);
|
| 774 | return err;
|
| 775 | }
|
| 776 |
|
| 777 | int audit_tag_tree(char *old, char *new)
|
| 778 | {
|
| 779 | struct list_head cursor, barrier;
|
| 780 | int failed = 0;
|
| 781 | struct path path1, path2;
|
| 782 | struct vfsmount *tagged;
|
| 783 | int err;
|
| 784 |
|
| 785 | err = kern_path(new, 0, &path2);
|
| 786 | if (err)
|
| 787 | return err;
|
| 788 | tagged = collect_mounts(&path2);
|
| 789 | path_put(&path2);
|
| 790 | if (IS_ERR(tagged))
|
| 791 | return PTR_ERR(tagged);
|
| 792 |
|
| 793 | err = kern_path(old, 0, &path1);
|
| 794 | if (err) {
|
| 795 | drop_collected_mounts(tagged);
|
| 796 | return err;
|
| 797 | }
|
| 798 |
|
| 799 | mutex_lock(&audit_filter_mutex);
|
| 800 | list_add(&barrier, &tree_list);
|
| 801 | list_add(&cursor, &barrier);
|
| 802 |
|
| 803 | while (cursor.next != &tree_list) {
|
| 804 | struct audit_tree *tree;
|
| 805 | int good_one = 0;
|
| 806 |
|
| 807 | tree = container_of(cursor.next, struct audit_tree, list);
|
| 808 | get_tree(tree);
|
| 809 | list_del(&cursor);
|
| 810 | list_add(&cursor, &tree->list);
|
| 811 | mutex_unlock(&audit_filter_mutex);
|
| 812 |
|
| 813 | err = kern_path(tree->pathname, 0, &path2);
|
| 814 | if (!err) {
|
| 815 | good_one = path_is_under(&path1, &path2);
|
| 816 | path_put(&path2);
|
| 817 | }
|
| 818 |
|
| 819 | if (!good_one) {
|
| 820 | put_tree(tree);
|
| 821 | mutex_lock(&audit_filter_mutex);
|
| 822 | continue;
|
| 823 | }
|
| 824 |
|
| 825 | failed = iterate_mounts(tag_mount, tree, tagged);
|
| 826 | if (failed) {
|
| 827 | put_tree(tree);
|
| 828 | mutex_lock(&audit_filter_mutex);
|
| 829 | break;
|
| 830 | }
|
| 831 |
|
| 832 | mutex_lock(&audit_filter_mutex);
|
| 833 | spin_lock(&hash_lock);
|
| 834 | if (!tree->goner) {
|
| 835 | list_del(&tree->list);
|
| 836 | list_add(&tree->list, &tree_list);
|
| 837 | }
|
| 838 | spin_unlock(&hash_lock);
|
| 839 | put_tree(tree);
|
| 840 | }
|
| 841 |
|
| 842 | while (barrier.prev != &tree_list) {
|
| 843 | struct audit_tree *tree;
|
| 844 |
|
| 845 | tree = container_of(barrier.prev, struct audit_tree, list);
|
| 846 | get_tree(tree);
|
| 847 | list_del(&tree->list);
|
| 848 | list_add(&tree->list, &barrier);
|
| 849 | mutex_unlock(&audit_filter_mutex);
|
| 850 |
|
| 851 | if (!failed) {
|
| 852 | struct node *node;
|
| 853 | spin_lock(&hash_lock);
|
| 854 | list_for_each_entry(node, &tree->chunks, list)
|
| 855 | node->index &= ~(1U<<31);
|
| 856 | spin_unlock(&hash_lock);
|
| 857 | } else {
|
| 858 | trim_marked(tree);
|
| 859 | }
|
| 860 |
|
| 861 | put_tree(tree);
|
| 862 | mutex_lock(&audit_filter_mutex);
|
| 863 | }
|
| 864 | list_del(&barrier);
|
| 865 | list_del(&cursor);
|
| 866 | mutex_unlock(&audit_filter_mutex);
|
| 867 | path_put(&path1);
|
| 868 | drop_collected_mounts(tagged);
|
| 869 | return failed;
|
| 870 | }
|
| 871 |
|
| 872 |
|
| 873 | static void audit_schedule_prune(void)
|
| 874 | {
|
| 875 | wake_up_process(prune_thread);
|
| 876 | }
|
| 877 |
|
| 878 | |
| 879 | * ... and that one is done if evict_chunk() decides to delay until the end
|
| 880 | * of syscall. Runs synchronously.
|
| 881 |
|
| 882 | void audit_kill_trees(struct list_head *list)
|
| 883 | {
|
| 884 | mutex_lock(&audit_cmd_mutex);
|
| 885 | mutex_lock(&audit_filter_mutex);
|
| 886 |
|
| 887 | while (!list_empty(list)) {
|
| 888 | struct audit_tree *victim;
|
| 889 |
|
| 890 | victim = list_entry(list->next, struct audit_tree, list);
|
| 891 | kill_rules(victim);
|
| 892 | list_del_init(&victim->list);
|
| 893 |
|
| 894 | mutex_unlock(&audit_filter_mutex);
|
| 895 |
|
| 896 | prune_one(victim);
|
| 897 |
|
| 898 | mutex_lock(&audit_filter_mutex);
|
| 899 | }
|
| 900 |
|
| 901 | mutex_unlock(&audit_filter_mutex);
|
| 902 | mutex_unlock(&audit_cmd_mutex);
|
| 903 | }
|
| 904 |
|
| 905 | |
| 906 | * Here comes the stuff asynchronous to auditctl operations
|
| 907 |
|
| 908 |
|
| 909 | static void evict_chunk(struct audit_chunk *chunk)
|
| 910 | {
|
| 911 | struct audit_tree *owner;
|
| 912 | struct list_head *postponed = audit_killed_trees();
|
| 913 | int need_prune = 0;
|
| 914 | int n;
|
| 915 |
|
| 916 | if (chunk->dead)
|
| 917 | return;
|
| 918 |
|
| 919 | chunk->dead = 1;
|
| 920 | mutex_lock(&audit_filter_mutex);
|
| 921 | spin_lock(&hash_lock);
|
| 922 | while (!list_empty(&chunk->trees)) {
|
| 923 | owner = list_entry(chunk->trees.next,
|
| 924 | struct audit_tree, same_root);
|
| 925 | owner->goner = 1;
|
| 926 | owner->root = NULL;
|
| 927 | list_del_init(&owner->same_root);
|
| 928 | spin_unlock(&hash_lock);
|
| 929 | if (!postponed) {
|
| 930 | kill_rules(owner);
|
| 931 | list_move(&owner->list, &prune_list);
|
| 932 | need_prune = 1;
|
| 933 | } else {
|
| 934 | list_move(&owner->list, postponed);
|
| 935 | }
|
| 936 | spin_lock(&hash_lock);
|
| 937 | }
|
| 938 | list_del_rcu(&chunk->hash);
|
| 939 | for (n = 0; n < chunk->count; n++)
|
| 940 | list_del_init(&chunk->owners[n].list);
|
| 941 | spin_unlock(&hash_lock);
|
| 942 | mutex_unlock(&audit_filter_mutex);
|
| 943 | if (need_prune)
|
| 944 | audit_schedule_prune();
|
| 945 | }
|
| 946 |
|
| 947 | static int audit_tree_handle_event(struct fsnotify_group *group,
|
| 948 | struct inode *to_tell,
|
| 949 | struct fsnotify_mark *inode_mark,
|
| 950 | struct fsnotify_mark *vfsmount_mark,
|
| 951 | u32 mask, void *data, int data_type,
|
| 952 | const unsigned char *file_name, u32 cookie)
|
| 953 | {
|
| 954 | return 0;
|
| 955 | }
|
| 956 |
|
| 957 | static void audit_tree_freeing_mark(struct fsnotify_mark *entry, struct fsnotify_group *group)
|
| 958 | {
|
| 959 | struct audit_chunk *chunk = container_of(entry, struct audit_chunk, mark);
|
| 960 |
|
| 961 | evict_chunk(chunk);
|
| 962 |
|
| 963 | |
| 964 | * We are guaranteed to have at least one reference to the mark from
|
| 965 | * either the inode or the caller of fsnotify_destroy_mark().
|
| 966 |
|
| 967 | BUG_ON(atomic_read(&entry->refcnt) < 1);
|
| 968 | }
|
| 969 |
|
| 970 | static const struct fsnotify_ops audit_tree_ops = {
|
| 971 | .handle_event = audit_tree_handle_event,
|
| 972 | .freeing_mark = audit_tree_freeing_mark,
|
| 973 | };
|
| 974 |
|
| 975 | static int __init audit_tree_init(void)
|
| 976 | {
|
| 977 | int i;
|
| 978 |
|
| 979 | audit_tree_group = fsnotify_alloc_group(&audit_tree_ops);
|
| 980 | if (IS_ERR(audit_tree_group))
|
| 981 | audit_panic("cannot initialize fsnotify group for rectree watches");
|
| 982 |
|
| 983 | for (i = 0; i < HASH_SIZE; i++)
|
| 984 | INIT_LIST_HEAD(&chunk_hash_heads[i]);
|
| 985 |
|
| 986 | return 0;
|
| 987 | }
|
| 988 | __initcall(audit_tree_init);
|