blob: 72324afcffef5c831b88ce9d00acafa4a6cdbe72 [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Al Viro74c3cbe2007-07-22 08:04:18 -04002#include "audit.h"
Eric Paris28a3a7e2009-12-17 20:12:05 -05003#include <linux/fsnotify_backend.h>
Al Viro74c3cbe2007-07-22 08:04:18 -04004#include <linux/namei.h>
5#include <linux/mount.h>
Al Viro916d7572009-06-24 00:02:38 -04006#include <linux/kthread.h>
Elena Reshetova9d2378f2017-05-02 10:16:04 -04007#include <linux/refcount.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09008#include <linux/slab.h>
Al Viro74c3cbe2007-07-22 08:04:18 -04009
10struct audit_tree;
11struct audit_chunk;
12
13struct audit_tree {
Elena Reshetova9d2378f2017-05-02 10:16:04 -040014 refcount_t count;
Al Viro74c3cbe2007-07-22 08:04:18 -040015 int goner;
16 struct audit_chunk *root;
17 struct list_head chunks;
18 struct list_head rules;
19 struct list_head list;
20 struct list_head same_root;
21 struct rcu_head head;
22 char pathname[];
23};
24
25struct audit_chunk {
26 struct list_head hash;
Jan Kara8d20d6e2018-11-12 09:54:48 -050027 unsigned long key;
Jan Kara5f516132018-11-12 09:54:49 -050028 struct fsnotify_mark *mark;
Al Viro74c3cbe2007-07-22 08:04:18 -040029 struct list_head trees; /* with root here */
Al Viro74c3cbe2007-07-22 08:04:18 -040030 int count;
Al Viro8f7b0ba2008-11-15 01:15:43 +000031 atomic_long_t refs;
Al Viro74c3cbe2007-07-22 08:04:18 -040032 struct rcu_head head;
Christophe Leroy57d43742021-09-03 15:48:22 +000033 struct audit_node {
Al Viro74c3cbe2007-07-22 08:04:18 -040034 struct list_head list;
35 struct audit_tree *owner;
36 unsigned index; /* index; upper bit indicates 'will prune' */
37 } owners[];
38};
39
Jan Kara5f516132018-11-12 09:54:49 -050040struct audit_tree_mark {
41 struct fsnotify_mark mark;
42 struct audit_chunk *chunk;
43};
44
Al Viro74c3cbe2007-07-22 08:04:18 -040045static LIST_HEAD(tree_list);
46static LIST_HEAD(prune_list);
Imre Palikf1aaf262015-02-23 15:37:59 -050047static struct task_struct *prune_thread;
Al Viro74c3cbe2007-07-22 08:04:18 -040048
49/*
Jan Kara83d23bc2018-11-12 09:55:16 -050050 * One struct chunk is attached to each inode of interest through
51 * audit_tree_mark (fsnotify mark). We replace struct chunk on tagging /
52 * untagging, the mark is stable as long as there is chunk attached. The
53 * association between mark and chunk is protected by hash_lock and
54 * audit_tree_group->mark_mutex. Thus as long as we hold
55 * audit_tree_group->mark_mutex and check that the mark is alive by
56 * FSNOTIFY_MARK_FLAG_ATTACHED flag check, we are sure the mark points to
57 * the current chunk.
58 *
Al Viro74c3cbe2007-07-22 08:04:18 -040059 * Rules have pointer to struct audit_tree.
60 * Rules have struct list_head rlist forming a list of rules over
61 * the same tree.
62 * References to struct chunk are collected at audit_inode{,_child}()
63 * time and used in AUDIT_TREE rule matching.
64 * These references are dropped at the same time we are calling
65 * audit_free_names(), etc.
66 *
67 * Cyclic lists galore:
68 * tree.chunks anchors chunk.owners[].list hash_lock
69 * tree.rules anchors rule.rlist audit_filter_mutex
70 * chunk.trees anchors tree.same_root hash_lock
71 * chunk.hash is a hash with middle bits of watch.inode as
72 * a hash function. RCU, hash_lock
73 *
74 * tree is refcounted; one reference for "some rules on rules_list refer to
75 * it", one for each chunk with pointer to it.
76 *
Jan Kara83d23bc2018-11-12 09:55:16 -050077 * chunk is refcounted by embedded .refs. Mark associated with the chunk holds
78 * one chunk reference. This reference is dropped either when a mark is going
79 * to be freed (corresponding inode goes away) or when chunk attached to the
80 * mark gets replaced. This reference must be dropped using
81 * audit_mark_put_chunk() to make sure the reference is dropped only after RCU
82 * grace period as it protects RCU readers of the hash table.
Al Viro74c3cbe2007-07-22 08:04:18 -040083 *
84 * node.index allows to get from node.list to containing chunk.
85 * MSB of that sucker is stolen to mark taggings that we might have to
86 * revert - several operations have very unpleasant cleanup logics and
87 * that makes a difference. Some.
88 */
89
Eric Paris28a3a7e2009-12-17 20:12:05 -050090static struct fsnotify_group *audit_tree_group;
Jan Kara5f516132018-11-12 09:54:49 -050091static struct kmem_cache *audit_tree_mark_cachep __read_mostly;
Al Viro74c3cbe2007-07-22 08:04:18 -040092
93static struct audit_tree *alloc_tree(const char *s)
94{
95 struct audit_tree *tree;
96
97 tree = kmalloc(sizeof(struct audit_tree) + strlen(s) + 1, GFP_KERNEL);
98 if (tree) {
Elena Reshetova9d2378f2017-05-02 10:16:04 -040099 refcount_set(&tree->count, 1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400100 tree->goner = 0;
101 INIT_LIST_HEAD(&tree->chunks);
102 INIT_LIST_HEAD(&tree->rules);
103 INIT_LIST_HEAD(&tree->list);
104 INIT_LIST_HEAD(&tree->same_root);
105 tree->root = NULL;
106 strcpy(tree->pathname, s);
107 }
108 return tree;
109}
110
111static inline void get_tree(struct audit_tree *tree)
112{
Elena Reshetova9d2378f2017-05-02 10:16:04 -0400113 refcount_inc(&tree->count);
Al Viro74c3cbe2007-07-22 08:04:18 -0400114}
115
Al Viro74c3cbe2007-07-22 08:04:18 -0400116static inline void put_tree(struct audit_tree *tree)
117{
Elena Reshetova9d2378f2017-05-02 10:16:04 -0400118 if (refcount_dec_and_test(&tree->count))
Lai Jiangshan3b097c42011-03-15 18:03:53 +0800119 kfree_rcu(tree, head);
Al Viro74c3cbe2007-07-22 08:04:18 -0400120}
121
122/* to avoid bringing the entire thing in audit.h */
123const char *audit_tree_path(struct audit_tree *tree)
124{
125 return tree->pathname;
126}
127
Al Viro8f7b0ba2008-11-15 01:15:43 +0000128static void free_chunk(struct audit_chunk *chunk)
Al Viro74c3cbe2007-07-22 08:04:18 -0400129{
Al Viro74c3cbe2007-07-22 08:04:18 -0400130 int i;
131
132 for (i = 0; i < chunk->count; i++) {
133 if (chunk->owners[i].owner)
134 put_tree(chunk->owners[i].owner);
135 }
136 kfree(chunk);
137}
138
Al Viro74c3cbe2007-07-22 08:04:18 -0400139void audit_put_chunk(struct audit_chunk *chunk)
140{
Al Viro8f7b0ba2008-11-15 01:15:43 +0000141 if (atomic_long_dec_and_test(&chunk->refs))
142 free_chunk(chunk);
143}
144
145static void __put_chunk(struct rcu_head *rcu)
146{
147 struct audit_chunk *chunk = container_of(rcu, struct audit_chunk, head);
148 audit_put_chunk(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400149}
150
Jan Karaa8375712018-11-12 09:54:49 -0500151/*
152 * Drop reference to the chunk that was held by the mark. This is the reference
153 * that gets dropped after we've removed the chunk from the hash table and we
154 * use it to make sure chunk cannot be freed before RCU grace period expires.
155 */
156static void audit_mark_put_chunk(struct audit_chunk *chunk)
157{
158 call_rcu(&chunk->head, __put_chunk);
159}
160
Jan Karaf905c2f2018-11-12 09:55:16 -0500161static inline struct audit_tree_mark *audit_mark(struct fsnotify_mark *mark)
Jan Kara5f516132018-11-12 09:54:49 -0500162{
Jan Karaf905c2f2018-11-12 09:55:16 -0500163 return container_of(mark, struct audit_tree_mark, mark);
Jan Kara5f516132018-11-12 09:54:49 -0500164}
165
166static struct audit_chunk *mark_chunk(struct fsnotify_mark *mark)
167{
168 return audit_mark(mark)->chunk;
169}
170
Jan Karaf905c2f2018-11-12 09:55:16 -0500171static void audit_tree_destroy_watch(struct fsnotify_mark *mark)
Eric Paris28a3a7e2009-12-17 20:12:05 -0500172{
Jan Karaf905c2f2018-11-12 09:55:16 -0500173 kmem_cache_free(audit_tree_mark_cachep, audit_mark(mark));
Jan Kara5f516132018-11-12 09:54:49 -0500174}
175
176static struct fsnotify_mark *alloc_mark(void)
177{
178 struct audit_tree_mark *amark;
179
180 amark = kmem_cache_zalloc(audit_tree_mark_cachep, GFP_KERNEL);
181 if (!amark)
182 return NULL;
183 fsnotify_init_mark(&amark->mark, audit_tree_group);
184 amark->mark.mask = FS_IN_IGNORED;
185 return &amark->mark;
Eric Paris28a3a7e2009-12-17 20:12:05 -0500186}
187
188static struct audit_chunk *alloc_chunk(int count)
189{
190 struct audit_chunk *chunk;
Eric Paris28a3a7e2009-12-17 20:12:05 -0500191 int i;
192
Gustavo A. R. Silvabbccc112020-05-24 15:52:38 -0500193 chunk = kzalloc(struct_size(chunk, owners, count), GFP_KERNEL);
Eric Paris28a3a7e2009-12-17 20:12:05 -0500194 if (!chunk)
195 return NULL;
196
197 INIT_LIST_HEAD(&chunk->hash);
198 INIT_LIST_HEAD(&chunk->trees);
199 chunk->count = count;
200 atomic_long_set(&chunk->refs, 1);
201 for (i = 0; i < count; i++) {
202 INIT_LIST_HEAD(&chunk->owners[i].list);
203 chunk->owners[i].index = i;
204 }
Eric Paris28a3a7e2009-12-17 20:12:05 -0500205 return chunk;
206}
207
Al Viro74c3cbe2007-07-22 08:04:18 -0400208enum {HASH_SIZE = 128};
209static struct list_head chunk_hash_heads[HASH_SIZE];
210static __cacheline_aligned_in_smp DEFINE_SPINLOCK(hash_lock);
211
Jan Karaf410ff62016-12-16 10:13:37 +0100212/* Function to return search key in our hash from inode. */
213static unsigned long inode_to_key(const struct inode *inode)
Al Viro74c3cbe2007-07-22 08:04:18 -0400214{
Amir Goldstein36f10f52018-06-23 17:54:49 +0300215 /* Use address pointed to by connector->obj as the key */
216 return (unsigned long)&inode->i_fsnotify_marks;
Jan Karaf410ff62016-12-16 10:13:37 +0100217}
218
Jan Karaf410ff62016-12-16 10:13:37 +0100219static inline struct list_head *chunk_hash(unsigned long key)
220{
221 unsigned long n = key / L1_CACHE_BYTES;
Al Viro74c3cbe2007-07-22 08:04:18 -0400222 return chunk_hash_heads + n % HASH_SIZE;
223}
224
Jan Karaf905c2f2018-11-12 09:55:16 -0500225/* hash_lock & mark->group->mark_mutex is held by caller */
Al Viro74c3cbe2007-07-22 08:04:18 -0400226static void insert_hash(struct audit_chunk *chunk)
227{
Eric Paris28a3a7e2009-12-17 20:12:05 -0500228 struct list_head *list;
229
Jan Kara1635e572018-11-12 09:54:48 -0500230 /*
231 * Make sure chunk is fully initialized before making it visible in the
232 * hash. Pairs with a data dependency barrier in READ_ONCE() in
233 * audit_tree_lookup().
234 */
235 smp_wmb();
Jan Kara8d20d6e2018-11-12 09:54:48 -0500236 WARN_ON_ONCE(!chunk->key);
237 list = chunk_hash(chunk->key);
Al Viro74c3cbe2007-07-22 08:04:18 -0400238 list_add_rcu(&chunk->hash, list);
239}
240
241/* called under rcu_read_lock */
242struct audit_chunk *audit_tree_lookup(const struct inode *inode)
243{
Jan Karaf410ff62016-12-16 10:13:37 +0100244 unsigned long key = inode_to_key(inode);
245 struct list_head *list = chunk_hash(key);
Paul E. McKenney6793a052008-05-14 17:10:12 -0700246 struct audit_chunk *p;
Al Viro74c3cbe2007-07-22 08:04:18 -0400247
Paul E. McKenney6793a052008-05-14 17:10:12 -0700248 list_for_each_entry_rcu(p, list, hash) {
Jan Kara1635e572018-11-12 09:54:48 -0500249 /*
250 * We use a data dependency barrier in READ_ONCE() to make sure
251 * the chunk we see is fully initialized.
252 */
253 if (READ_ONCE(p->key) == key) {
Al Viro8f7b0ba2008-11-15 01:15:43 +0000254 atomic_long_inc(&p->refs);
Al Viro74c3cbe2007-07-22 08:04:18 -0400255 return p;
256 }
257 }
258 return NULL;
259}
260
Yaowei Bai6f1b5d72015-11-04 08:23:51 -0500261bool audit_tree_match(struct audit_chunk *chunk, struct audit_tree *tree)
Al Viro74c3cbe2007-07-22 08:04:18 -0400262{
263 int n;
264 for (n = 0; n < chunk->count; n++)
265 if (chunk->owners[n].owner == tree)
Yaowei Bai6f1b5d72015-11-04 08:23:51 -0500266 return true;
267 return false;
Al Viro74c3cbe2007-07-22 08:04:18 -0400268}
269
270/* tagging and untagging inodes with trees */
271
Christophe Leroy57d43742021-09-03 15:48:22 +0000272static struct audit_chunk *find_chunk(struct audit_node *p)
Al Viro74c3cbe2007-07-22 08:04:18 -0400273{
Al Viro8f7b0ba2008-11-15 01:15:43 +0000274 int index = p->index & ~(1U<<31);
275 p -= index;
276 return container_of(p, struct audit_chunk, owners[0]);
277}
278
Jan Karaf905c2f2018-11-12 09:55:16 -0500279static void replace_mark_chunk(struct fsnotify_mark *mark,
Jan Kara83d23bc2018-11-12 09:55:16 -0500280 struct audit_chunk *chunk)
281{
282 struct audit_chunk *old;
283
284 assert_spin_locked(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -0500285 old = mark_chunk(mark);
286 audit_mark(mark)->chunk = chunk;
Jan Kara83d23bc2018-11-12 09:55:16 -0500287 if (chunk)
Jan Karaf905c2f2018-11-12 09:55:16 -0500288 chunk->mark = mark;
Jan Kara83d23bc2018-11-12 09:55:16 -0500289 if (old)
290 old->mark = NULL;
291}
292
Jan Karac22fcde2018-11-12 09:54:49 -0500293static void replace_chunk(struct audit_chunk *new, struct audit_chunk *old)
Jan Karad31b3262018-11-12 09:54:48 -0500294{
295 struct audit_tree *owner;
296 int i, j;
297
298 new->key = old->key;
299 list_splice_init(&old->trees, &new->trees);
300 list_for_each_entry(owner, &new->trees, same_root)
301 owner->root = new;
302 for (i = j = 0; j < old->count; i++, j++) {
Jan Karac22fcde2018-11-12 09:54:49 -0500303 if (!old->owners[j].owner) {
Jan Karad31b3262018-11-12 09:54:48 -0500304 i--;
305 continue;
306 }
307 owner = old->owners[j].owner;
308 new->owners[i].owner = owner;
309 new->owners[i].index = old->owners[j].index - j + i;
310 if (!owner) /* result of earlier fallback */
311 continue;
312 get_tree(owner);
313 list_replace_init(&old->owners[j].list, &new->owners[i].list);
314 }
Jan Kara83d23bc2018-11-12 09:55:16 -0500315 replace_mark_chunk(old->mark, new);
Jan Karad31b3262018-11-12 09:54:48 -0500316 /*
317 * Make sure chunk is fully initialized before making it visible in the
318 * hash. Pairs with a data dependency barrier in READ_ONCE() in
319 * audit_tree_lookup().
320 */
321 smp_wmb();
322 list_replace_rcu(&old->hash, &new->hash);
323}
324
Christophe Leroy57d43742021-09-03 15:48:22 +0000325static void remove_chunk_node(struct audit_chunk *chunk, struct audit_node *p)
Jan Kara49a4ee72018-11-12 09:54:49 -0500326{
327 struct audit_tree *owner = p->owner;
328
329 if (owner->root == chunk) {
330 list_del_init(&owner->same_root);
331 owner->root = NULL;
332 }
333 list_del_init(&p->list);
334 p->owner = NULL;
335 put_tree(owner);
336}
337
Jan Karac22fcde2018-11-12 09:54:49 -0500338static int chunk_count_trees(struct audit_chunk *chunk)
339{
340 int i;
341 int ret = 0;
342
343 for (i = 0; i < chunk->count; i++)
344 if (chunk->owners[i].owner)
345 ret++;
346 return ret;
347}
348
Jan Karaf905c2f2018-11-12 09:55:16 -0500349static void untag_chunk(struct audit_chunk *chunk, struct fsnotify_mark *mark)
Al Viro8f7b0ba2008-11-15 01:15:43 +0000350{
Jan Kara8432c702018-11-12 09:54:56 -0500351 struct audit_chunk *new;
Jan Karac22fcde2018-11-12 09:54:49 -0500352 int size;
Al Viro74c3cbe2007-07-22 08:04:18 -0400353
Jan Kara8432c702018-11-12 09:54:56 -0500354 mutex_lock(&audit_tree_group->mark_mutex);
Jan Kara6b3f05d2016-12-21 12:15:30 +0100355 /*
Jan Kara83d23bc2018-11-12 09:55:16 -0500356 * mark_mutex stabilizes chunk attached to the mark so we can check
357 * whether it didn't change while we've dropped hash_lock.
Jan Kara6b3f05d2016-12-21 12:15:30 +0100358 */
Jan Karaf905c2f2018-11-12 09:55:16 -0500359 if (!(mark->flags & FSNOTIFY_MARK_FLAG_ATTACHED) ||
360 mark_chunk(mark) != chunk)
Jan Kara8432c702018-11-12 09:54:56 -0500361 goto out_mutex;
Al Viro74c3cbe2007-07-22 08:04:18 -0400362
Jan Karac22fcde2018-11-12 09:54:49 -0500363 size = chunk_count_trees(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400364 if (!size) {
Al Viro74c3cbe2007-07-22 08:04:18 -0400365 spin_lock(&hash_lock);
366 list_del_init(&chunk->trees);
Al Viro74c3cbe2007-07-22 08:04:18 -0400367 list_del_rcu(&chunk->hash);
Jan Karaf905c2f2018-11-12 09:55:16 -0500368 replace_mark_chunk(mark, NULL);
Al Viro74c3cbe2007-07-22 08:04:18 -0400369 spin_unlock(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -0500370 fsnotify_detach_mark(mark);
Jan Kara8432c702018-11-12 09:54:56 -0500371 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Kara83d23bc2018-11-12 09:55:16 -0500372 audit_mark_put_chunk(chunk);
Jan Karaf905c2f2018-11-12 09:55:16 -0500373 fsnotify_free_mark(mark);
Jan Kara8432c702018-11-12 09:54:56 -0500374 return;
Al Viro74c3cbe2007-07-22 08:04:18 -0400375 }
376
Jan Karac22fcde2018-11-12 09:54:49 -0500377 new = alloc_chunk(size);
Al Viro74c3cbe2007-07-22 08:04:18 -0400378 if (!new)
Jan Kara49a4ee72018-11-12 09:54:49 -0500379 goto out_mutex;
Al Virof7a998a2010-10-30 02:18:32 -0400380
Al Viro74c3cbe2007-07-22 08:04:18 -0400381 spin_lock(&hash_lock);
Jan Kara1635e572018-11-12 09:54:48 -0500382 /*
Jan Karad31b3262018-11-12 09:54:48 -0500383 * This has to go last when updating chunk as once replace_chunk() is
384 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500385 */
Jan Karac22fcde2018-11-12 09:54:49 -0500386 replace_chunk(new, chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400387 spin_unlock(&hash_lock);
Jan Kara8432c702018-11-12 09:54:56 -0500388 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Kara83d23bc2018-11-12 09:55:16 -0500389 audit_mark_put_chunk(chunk);
Jan Kara8432c702018-11-12 09:54:56 -0500390 return;
Al Viro74c3cbe2007-07-22 08:04:18 -0400391
Jan Kara49a4ee72018-11-12 09:54:49 -0500392out_mutex:
Jan Kara8432c702018-11-12 09:54:56 -0500393 mutex_unlock(&audit_tree_group->mark_mutex);
Al Viro74c3cbe2007-07-22 08:04:18 -0400394}
395
Jan Karaa5789b02018-11-12 09:54:48 -0500396/* Call with group->mark_mutex held, releases it */
Al Viro74c3cbe2007-07-22 08:04:18 -0400397static int create_chunk(struct inode *inode, struct audit_tree *tree)
398{
Jan Karaf905c2f2018-11-12 09:55:16 -0500399 struct fsnotify_mark *mark;
Al Viro74c3cbe2007-07-22 08:04:18 -0400400 struct audit_chunk *chunk = alloc_chunk(1);
Jan Karaa5789b02018-11-12 09:54:48 -0500401
402 if (!chunk) {
403 mutex_unlock(&audit_tree_group->mark_mutex);
Al Viro74c3cbe2007-07-22 08:04:18 -0400404 return -ENOMEM;
Jan Karaa5789b02018-11-12 09:54:48 -0500405 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400406
Jan Karaf905c2f2018-11-12 09:55:16 -0500407 mark = alloc_mark();
408 if (!mark) {
Jan Kara83d23bc2018-11-12 09:55:16 -0500409 mutex_unlock(&audit_tree_group->mark_mutex);
410 kfree(chunk);
411 return -ENOMEM;
412 }
413
Jan Karaf905c2f2018-11-12 09:55:16 -0500414 if (fsnotify_add_inode_mark_locked(mark, inode, 0)) {
Jan Karaa5789b02018-11-12 09:54:48 -0500415 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500416 fsnotify_put_mark(mark);
Jan Kara83d23bc2018-11-12 09:55:16 -0500417 kfree(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400418 return -ENOSPC;
419 }
420
Al Viro74c3cbe2007-07-22 08:04:18 -0400421 spin_lock(&hash_lock);
422 if (tree->goner) {
423 spin_unlock(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -0500424 fsnotify_detach_mark(mark);
Jan Karaa5789b02018-11-12 09:54:48 -0500425 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500426 fsnotify_free_mark(mark);
427 fsnotify_put_mark(mark);
Jan Kara83d23bc2018-11-12 09:55:16 -0500428 kfree(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400429 return 0;
430 }
Jan Karaf905c2f2018-11-12 09:55:16 -0500431 replace_mark_chunk(mark, chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400432 chunk->owners[0].index = (1U << 31);
433 chunk->owners[0].owner = tree;
434 get_tree(tree);
435 list_add(&chunk->owners[0].list, &tree->chunks);
436 if (!tree->root) {
437 tree->root = chunk;
438 list_add(&tree->same_root, &chunk->trees);
439 }
Jan Kara8d20d6e2018-11-12 09:54:48 -0500440 chunk->key = inode_to_key(inode);
Jan Kara1635e572018-11-12 09:54:48 -0500441 /*
442 * Inserting into the hash table has to go last as once we do that RCU
443 * readers can see the chunk.
444 */
Al Viro74c3cbe2007-07-22 08:04:18 -0400445 insert_hash(chunk);
446 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500447 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Kara83d23bc2018-11-12 09:55:16 -0500448 /*
449 * Drop our initial reference. When mark we point to is getting freed,
450 * we get notification through ->freeing_mark callback and cleanup
451 * chunk pointing to this mark.
452 */
Jan Karaf905c2f2018-11-12 09:55:16 -0500453 fsnotify_put_mark(mark);
Al Viro74c3cbe2007-07-22 08:04:18 -0400454 return 0;
455}
456
457/* the first tagged inode becomes root of tree */
458static int tag_chunk(struct inode *inode, struct audit_tree *tree)
459{
Jan Karaf905c2f2018-11-12 09:55:16 -0500460 struct fsnotify_mark *mark;
Al Viro74c3cbe2007-07-22 08:04:18 -0400461 struct audit_chunk *chunk, *old;
Christophe Leroy57d43742021-09-03 15:48:22 +0000462 struct audit_node *p;
Al Viro74c3cbe2007-07-22 08:04:18 -0400463 int n;
464
Jan Karaa5789b02018-11-12 09:54:48 -0500465 mutex_lock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500466 mark = fsnotify_find_mark(&inode->i_fsnotify_marks, audit_tree_group);
467 if (!mark)
Al Viro74c3cbe2007-07-22 08:04:18 -0400468 return create_chunk(inode, tree);
469
Jan Kara83d23bc2018-11-12 09:55:16 -0500470 /*
471 * Found mark is guaranteed to be attached and mark_mutex protects mark
472 * from getting detached and thus it makes sure there is chunk attached
473 * to the mark.
474 */
Al Viro74c3cbe2007-07-22 08:04:18 -0400475 /* are we already there? */
476 spin_lock(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -0500477 old = mark_chunk(mark);
Al Viro74c3cbe2007-07-22 08:04:18 -0400478 for (n = 0; n < old->count; n++) {
479 if (old->owners[n].owner == tree) {
480 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500481 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500482 fsnotify_put_mark(mark);
Al Viro74c3cbe2007-07-22 08:04:18 -0400483 return 0;
484 }
485 }
486 spin_unlock(&hash_lock);
487
488 chunk = alloc_chunk(old->count + 1);
Al Virob4c30aa2009-12-19 16:03:30 +0000489 if (!chunk) {
Jan Karaa5789b02018-11-12 09:54:48 -0500490 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500491 fsnotify_put_mark(mark);
Al Viro74c3cbe2007-07-22 08:04:18 -0400492 return -ENOMEM;
Al Virob4c30aa2009-12-19 16:03:30 +0000493 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400494
Al Viro74c3cbe2007-07-22 08:04:18 -0400495 spin_lock(&hash_lock);
496 if (tree->goner) {
497 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500498 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500499 fsnotify_put_mark(mark);
Jan Kara83d23bc2018-11-12 09:55:16 -0500500 kfree(chunk);
Al Viro74c3cbe2007-07-22 08:04:18 -0400501 return 0;
502 }
Jan Karad31b3262018-11-12 09:54:48 -0500503 p = &chunk->owners[chunk->count - 1];
Al Viro74c3cbe2007-07-22 08:04:18 -0400504 p->index = (chunk->count - 1) | (1U<<31);
505 p->owner = tree;
506 get_tree(tree);
507 list_add(&p->list, &tree->chunks);
Al Viro74c3cbe2007-07-22 08:04:18 -0400508 if (!tree->root) {
509 tree->root = chunk;
510 list_add(&tree->same_root, &chunk->trees);
511 }
Jan Kara1635e572018-11-12 09:54:48 -0500512 /*
Jan Karad31b3262018-11-12 09:54:48 -0500513 * This has to go last when updating chunk as once replace_chunk() is
514 * called, new RCU readers can see the new chunk.
Jan Kara1635e572018-11-12 09:54:48 -0500515 */
Jan Karac22fcde2018-11-12 09:54:49 -0500516 replace_chunk(chunk, old);
Al Viro74c3cbe2007-07-22 08:04:18 -0400517 spin_unlock(&hash_lock);
Jan Karaa5789b02018-11-12 09:54:48 -0500518 mutex_unlock(&audit_tree_group->mark_mutex);
Jan Karaf905c2f2018-11-12 09:55:16 -0500519 fsnotify_put_mark(mark); /* pair to fsnotify_find_mark */
Jan Kara83d23bc2018-11-12 09:55:16 -0500520 audit_mark_put_chunk(old);
521
Al Viro74c3cbe2007-07-22 08:04:18 -0400522 return 0;
523}
524
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500525static void audit_tree_log_remove_rule(struct audit_context *context,
526 struct audit_krule *rule)
Kees Cook0644ec02013-01-11 14:32:07 -0800527{
528 struct audit_buffer *ab;
529
Richard Guy Briggs65a87662018-06-14 16:20:05 -0400530 if (!audit_enabled)
531 return;
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500532 ab = audit_log_start(context, GFP_KERNEL, AUDIT_CONFIG_CHANGE);
Kees Cook0644ec02013-01-11 14:32:07 -0800533 if (unlikely(!ab))
534 return;
Paul Moored0a3f182018-08-02 17:56:50 -0400535 audit_log_format(ab, "op=remove_rule dir=");
Kees Cook0644ec02013-01-11 14:32:07 -0800536 audit_log_untrustedstring(ab, rule->tree->pathname);
537 audit_log_key(ab, rule->filterkey);
538 audit_log_format(ab, " list=%d res=1", rule->listnr);
539 audit_log_end(ab);
540}
541
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500542static void kill_rules(struct audit_context *context, struct audit_tree *tree)
Al Viro74c3cbe2007-07-22 08:04:18 -0400543{
544 struct audit_krule *rule, *next;
545 struct audit_entry *entry;
Al Viro74c3cbe2007-07-22 08:04:18 -0400546
547 list_for_each_entry_safe(rule, next, &tree->rules, rlist) {
548 entry = container_of(rule, struct audit_entry, rule);
549
550 list_del_init(&rule->rlist);
551 if (rule->tree) {
552 /* not a half-baked one */
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500553 audit_tree_log_remove_rule(context, rule);
Richard Guy Briggs34d99af52015-08-05 16:29:37 -0400554 if (entry->rule.exe)
555 audit_remove_mark(entry->rule.exe);
Al Viro74c3cbe2007-07-22 08:04:18 -0400556 rule->tree = NULL;
557 list_del_rcu(&entry->list);
Al Viroe45aa212008-12-15 01:17:50 -0500558 list_del(&entry->rule.list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400559 call_rcu(&entry->rcu, audit_free_rule_rcu);
560 }
561 }
562}
563
564/*
Jan Kara8432c702018-11-12 09:54:56 -0500565 * Remove tree from chunks. If 'tagged' is set, remove tree only from tagged
566 * chunks. The function expects tagged chunks are all at the beginning of the
567 * chunks list.
Al Viro74c3cbe2007-07-22 08:04:18 -0400568 */
Jan Kara8432c702018-11-12 09:54:56 -0500569static void prune_tree_chunks(struct audit_tree *victim, bool tagged)
Al Viro74c3cbe2007-07-22 08:04:18 -0400570{
571 spin_lock(&hash_lock);
572 while (!list_empty(&victim->chunks)) {
Christophe Leroy57d43742021-09-03 15:48:22 +0000573 struct audit_node *p;
Jan Kara8432c702018-11-12 09:54:56 -0500574 struct audit_chunk *chunk;
575 struct fsnotify_mark *mark;
Al Viro74c3cbe2007-07-22 08:04:18 -0400576
Christophe Leroy57d43742021-09-03 15:48:22 +0000577 p = list_first_entry(&victim->chunks, struct audit_node, list);
Jan Kara8432c702018-11-12 09:54:56 -0500578 /* have we run out of marked? */
579 if (tagged && !(p->index & (1U<<31)))
580 break;
581 chunk = find_chunk(p);
582 mark = chunk->mark;
583 remove_chunk_node(chunk, p);
Jan Kara83d23bc2018-11-12 09:55:16 -0500584 /* Racing with audit_tree_freeing_mark()? */
585 if (!mark)
586 continue;
Jan Kara8432c702018-11-12 09:54:56 -0500587 fsnotify_get_mark(mark);
588 spin_unlock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400589
Jan Kara8432c702018-11-12 09:54:56 -0500590 untag_chunk(chunk, mark);
591 fsnotify_put_mark(mark);
592
593 spin_lock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400594 }
595 spin_unlock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400596}
597
Jan Kara8432c702018-11-12 09:54:56 -0500598/*
599 * finish killing struct audit_tree
600 */
601static void prune_one(struct audit_tree *victim)
602{
603 prune_tree_chunks(victim, false);
Richard Guy Briggs67d69e92021-08-23 22:04:09 -0400604 put_tree(victim);
Jan Kara8432c702018-11-12 09:54:56 -0500605}
606
Al Viro74c3cbe2007-07-22 08:04:18 -0400607/* trim the uncommitted chunks from tree */
608
609static void trim_marked(struct audit_tree *tree)
610{
611 struct list_head *p, *q;
612 spin_lock(&hash_lock);
613 if (tree->goner) {
614 spin_unlock(&hash_lock);
615 return;
616 }
617 /* reorder */
618 for (p = tree->chunks.next; p != &tree->chunks; p = q) {
Christophe Leroy57d43742021-09-03 15:48:22 +0000619 struct audit_node *node = list_entry(p, struct audit_node, list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400620 q = p->next;
621 if (node->index & (1U<<31)) {
622 list_del_init(p);
623 list_add(p, &tree->chunks);
624 }
625 }
Jan Kara8432c702018-11-12 09:54:56 -0500626 spin_unlock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400627
Jan Kara8432c702018-11-12 09:54:56 -0500628 prune_tree_chunks(tree, true);
Al Viro74c3cbe2007-07-22 08:04:18 -0400629
Jan Kara8432c702018-11-12 09:54:56 -0500630 spin_lock(&hash_lock);
Al Viro74c3cbe2007-07-22 08:04:18 -0400631 if (!tree->root && !tree->goner) {
632 tree->goner = 1;
633 spin_unlock(&hash_lock);
634 mutex_lock(&audit_filter_mutex);
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500635 kill_rules(audit_context(), tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400636 list_del_init(&tree->list);
637 mutex_unlock(&audit_filter_mutex);
638 prune_one(tree);
639 } else {
640 spin_unlock(&hash_lock);
641 }
642}
643
Al Viro916d7572009-06-24 00:02:38 -0400644static void audit_schedule_prune(void);
645
Al Viro74c3cbe2007-07-22 08:04:18 -0400646/* called with audit_filter_mutex */
647int audit_remove_tree_rule(struct audit_krule *rule)
648{
649 struct audit_tree *tree;
650 tree = rule->tree;
651 if (tree) {
652 spin_lock(&hash_lock);
653 list_del_init(&rule->rlist);
654 if (list_empty(&tree->rules) && !tree->goner) {
655 tree->root = NULL;
656 list_del_init(&tree->same_root);
657 tree->goner = 1;
658 list_move(&tree->list, &prune_list);
659 rule->tree = NULL;
660 spin_unlock(&hash_lock);
661 audit_schedule_prune();
662 return 1;
663 }
664 rule->tree = NULL;
665 spin_unlock(&hash_lock);
666 return 1;
667 }
668 return 0;
669}
670
Al Viro1f707132010-01-30 22:51:25 -0500671static int compare_root(struct vfsmount *mnt, void *arg)
672{
Jan Karaf410ff62016-12-16 10:13:37 +0100673 return inode_to_key(d_backing_inode(mnt->mnt_root)) ==
674 (unsigned long)arg;
Al Viro1f707132010-01-30 22:51:25 -0500675}
676
Al Viro74c3cbe2007-07-22 08:04:18 -0400677void audit_trim_trees(void)
678{
679 struct list_head cursor;
680
681 mutex_lock(&audit_filter_mutex);
682 list_add(&cursor, &tree_list);
683 while (cursor.next != &tree_list) {
684 struct audit_tree *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400685 struct path path;
Al Viro74c3cbe2007-07-22 08:04:18 -0400686 struct vfsmount *root_mnt;
Christophe Leroy57d43742021-09-03 15:48:22 +0000687 struct audit_node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400688 int err;
689
690 tree = container_of(cursor.next, struct audit_tree, list);
691 get_tree(tree);
Baokun Lidd8b865c2021-06-08 11:11:50 +0800692 list_move(&cursor, &tree->list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400693 mutex_unlock(&audit_filter_mutex);
694
Al Viro98bc9932008-08-02 01:06:21 -0400695 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400696 if (err)
697 goto skip_it;
698
Al Viro589ff872009-04-18 03:28:19 -0400699 root_mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400700 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100701 if (IS_ERR(root_mnt))
Al Viro74c3cbe2007-07-22 08:04:18 -0400702 goto skip_it;
703
Al Viro74c3cbe2007-07-22 08:04:18 -0400704 spin_lock(&hash_lock);
705 list_for_each_entry(node, &tree->chunks, list) {
Eric Paris28a3a7e2009-12-17 20:12:05 -0500706 struct audit_chunk *chunk = find_chunk(node);
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300707 /* this could be NULL if the watch is dying else where... */
Al Viro74c3cbe2007-07-22 08:04:18 -0400708 node->index |= 1U<<31;
Jan Karaf410ff62016-12-16 10:13:37 +0100709 if (iterate_mounts(compare_root,
Jan Kara8d20d6e2018-11-12 09:54:48 -0500710 (void *)(chunk->key),
Jan Karaf410ff62016-12-16 10:13:37 +0100711 root_mnt))
Al Viro1f707132010-01-30 22:51:25 -0500712 node->index &= ~(1U<<31);
Al Viro74c3cbe2007-07-22 08:04:18 -0400713 }
714 spin_unlock(&hash_lock);
715 trim_marked(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400716 drop_collected_mounts(root_mnt);
717skip_it:
Chen Gang12b2f112013-04-29 15:05:19 -0700718 put_tree(tree);
Al Viro74c3cbe2007-07-22 08:04:18 -0400719 mutex_lock(&audit_filter_mutex);
720 }
721 list_del(&cursor);
722 mutex_unlock(&audit_filter_mutex);
723}
724
Al Viro74c3cbe2007-07-22 08:04:18 -0400725int audit_make_tree(struct audit_krule *rule, char *pathname, u32 op)
726{
727
728 if (pathname[0] != '/' ||
Paul Moore67daf272021-04-18 21:54:47 -0400729 (rule->listnr != AUDIT_FILTER_EXIT &&
730 rule->listnr != AUDIT_FILTER_URING_EXIT) ||
Al Viro5af75d82008-12-16 05:59:26 -0500731 op != Audit_equal ||
Al Viro74c3cbe2007-07-22 08:04:18 -0400732 rule->inode_f || rule->watch || rule->tree)
733 return -EINVAL;
734 rule->tree = alloc_tree(pathname);
735 if (!rule->tree)
736 return -ENOMEM;
737 return 0;
738}
739
740void audit_put_tree(struct audit_tree *tree)
741{
742 put_tree(tree);
743}
744
Al Viro1f707132010-01-30 22:51:25 -0500745static int tag_mount(struct vfsmount *mnt, void *arg)
746{
David Howells3b362152015-03-17 22:26:21 +0000747 return tag_chunk(d_backing_inode(mnt->mnt_root), arg);
Al Viro1f707132010-01-30 22:51:25 -0500748}
749
Imre Palikf1aaf262015-02-23 15:37:59 -0500750/*
751 * That gets run when evict_chunk() ends up needing to kill audit_tree.
752 * Runs from a separate thread.
753 */
754static int prune_tree_thread(void *unused)
755{
756 for (;;) {
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200757 if (list_empty(&prune_list)) {
758 set_current_state(TASK_INTERRUPTIBLE);
Imre Palikf1aaf262015-02-23 15:37:59 -0500759 schedule();
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200760 }
Imre Palikf1aaf262015-02-23 15:37:59 -0500761
Paul Moorece423632018-02-20 09:52:38 -0500762 audit_ctl_lock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500763 mutex_lock(&audit_filter_mutex);
764
765 while (!list_empty(&prune_list)) {
766 struct audit_tree *victim;
767
768 victim = list_entry(prune_list.next,
769 struct audit_tree, list);
770 list_del_init(&victim->list);
771
772 mutex_unlock(&audit_filter_mutex);
773
774 prune_one(victim);
775
776 mutex_lock(&audit_filter_mutex);
777 }
778
779 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500780 audit_ctl_unlock();
Imre Palikf1aaf262015-02-23 15:37:59 -0500781 }
782 return 0;
783}
784
785static int audit_launch_prune(void)
786{
787 if (prune_thread)
788 return 0;
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200789 prune_thread = kthread_run(prune_tree_thread, NULL,
Imre Palikf1aaf262015-02-23 15:37:59 -0500790 "audit_prune_tree");
791 if (IS_ERR(prune_thread)) {
792 pr_err("cannot start thread audit_prune_tree");
793 prune_thread = NULL;
794 return -ENOMEM;
Imre Palikf1aaf262015-02-23 15:37:59 -0500795 }
Jiri Slaby0bf676d2016-03-31 10:49:28 +0200796 return 0;
Imre Palikf1aaf262015-02-23 15:37:59 -0500797}
798
Al Viro74c3cbe2007-07-22 08:04:18 -0400799/* called with audit_filter_mutex */
800int audit_add_tree_rule(struct audit_krule *rule)
801{
802 struct audit_tree *seed = rule->tree, *tree;
Al Viro98bc9932008-08-02 01:06:21 -0400803 struct path path;
Al Viro1f707132010-01-30 22:51:25 -0500804 struct vfsmount *mnt;
Al Viro74c3cbe2007-07-22 08:04:18 -0400805 int err;
806
Chen Gang736f3202013-06-12 14:05:07 -0700807 rule->tree = NULL;
Al Viro74c3cbe2007-07-22 08:04:18 -0400808 list_for_each_entry(tree, &tree_list, list) {
809 if (!strcmp(seed->pathname, tree->pathname)) {
810 put_tree(seed);
811 rule->tree = tree;
812 list_add(&rule->rlist, &tree->rules);
813 return 0;
814 }
815 }
816 tree = seed;
817 list_add(&tree->list, &tree_list);
818 list_add(&rule->rlist, &tree->rules);
819 /* do not set rule->tree yet */
820 mutex_unlock(&audit_filter_mutex);
821
Imre Palikf1aaf262015-02-23 15:37:59 -0500822 if (unlikely(!prune_thread)) {
823 err = audit_launch_prune();
824 if (err)
825 goto Err;
826 }
827
Al Viro98bc9932008-08-02 01:06:21 -0400828 err = kern_path(tree->pathname, 0, &path);
Al Viro74c3cbe2007-07-22 08:04:18 -0400829 if (err)
830 goto Err;
Al Viro589ff872009-04-18 03:28:19 -0400831 mnt = collect_mounts(&path);
Al Viro98bc9932008-08-02 01:06:21 -0400832 path_put(&path);
David Howellsbe34d1a2012-06-25 12:55:18 +0100833 if (IS_ERR(mnt)) {
834 err = PTR_ERR(mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400835 goto Err;
836 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400837
838 get_tree(tree);
Al Viro1f707132010-01-30 22:51:25 -0500839 err = iterate_mounts(tag_mount, tree, mnt);
Al Viro74c3cbe2007-07-22 08:04:18 -0400840 drop_collected_mounts(mnt);
841
842 if (!err) {
Christophe Leroy57d43742021-09-03 15:48:22 +0000843 struct audit_node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400844 spin_lock(&hash_lock);
845 list_for_each_entry(node, &tree->chunks, list)
846 node->index &= ~(1U<<31);
847 spin_unlock(&hash_lock);
848 } else {
849 trim_marked(tree);
850 goto Err;
851 }
852
853 mutex_lock(&audit_filter_mutex);
854 if (list_empty(&rule->rlist)) {
855 put_tree(tree);
856 return -ENOENT;
857 }
858 rule->tree = tree;
859 put_tree(tree);
860
861 return 0;
862Err:
863 mutex_lock(&audit_filter_mutex);
864 list_del_init(&tree->list);
865 list_del_init(&tree->rules);
866 put_tree(tree);
867 return err;
868}
869
870int audit_tag_tree(char *old, char *new)
871{
872 struct list_head cursor, barrier;
873 int failed = 0;
Al Viro2096f752010-01-30 13:16:21 -0500874 struct path path1, path2;
Al Viro74c3cbe2007-07-22 08:04:18 -0400875 struct vfsmount *tagged;
Al Viro74c3cbe2007-07-22 08:04:18 -0400876 int err;
877
Al Viro2096f752010-01-30 13:16:21 -0500878 err = kern_path(new, 0, &path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400879 if (err)
880 return err;
Al Viro2096f752010-01-30 13:16:21 -0500881 tagged = collect_mounts(&path2);
882 path_put(&path2);
David Howellsbe34d1a2012-06-25 12:55:18 +0100883 if (IS_ERR(tagged))
884 return PTR_ERR(tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400885
Al Viro2096f752010-01-30 13:16:21 -0500886 err = kern_path(old, 0, &path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400887 if (err) {
888 drop_collected_mounts(tagged);
889 return err;
890 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400891
Al Viro74c3cbe2007-07-22 08:04:18 -0400892 mutex_lock(&audit_filter_mutex);
893 list_add(&barrier, &tree_list);
894 list_add(&cursor, &barrier);
895
896 while (cursor.next != &tree_list) {
897 struct audit_tree *tree;
Al Viro2096f752010-01-30 13:16:21 -0500898 int good_one = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -0400899
900 tree = container_of(cursor.next, struct audit_tree, list);
901 get_tree(tree);
Baokun Lidd8b865c2021-06-08 11:11:50 +0800902 list_move(&cursor, &tree->list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400903 mutex_unlock(&audit_filter_mutex);
904
Al Viro2096f752010-01-30 13:16:21 -0500905 err = kern_path(tree->pathname, 0, &path2);
906 if (!err) {
907 good_one = path_is_under(&path1, &path2);
908 path_put(&path2);
Al Viro74c3cbe2007-07-22 08:04:18 -0400909 }
910
Al Viro2096f752010-01-30 13:16:21 -0500911 if (!good_one) {
Al Viro74c3cbe2007-07-22 08:04:18 -0400912 put_tree(tree);
913 mutex_lock(&audit_filter_mutex);
914 continue;
915 }
Al Viro74c3cbe2007-07-22 08:04:18 -0400916
Al Viro1f707132010-01-30 22:51:25 -0500917 failed = iterate_mounts(tag_mount, tree, tagged);
Al Viro74c3cbe2007-07-22 08:04:18 -0400918 if (failed) {
919 put_tree(tree);
920 mutex_lock(&audit_filter_mutex);
921 break;
922 }
923
924 mutex_lock(&audit_filter_mutex);
925 spin_lock(&hash_lock);
926 if (!tree->goner) {
Baokun Lidd8b865c2021-06-08 11:11:50 +0800927 list_move(&tree->list, &tree_list);
Al Viro74c3cbe2007-07-22 08:04:18 -0400928 }
929 spin_unlock(&hash_lock);
930 put_tree(tree);
931 }
932
933 while (barrier.prev != &tree_list) {
934 struct audit_tree *tree;
935
936 tree = container_of(barrier.prev, struct audit_tree, list);
937 get_tree(tree);
Baokun Lidd8b865c2021-06-08 11:11:50 +0800938 list_move(&tree->list, &barrier);
Al Viro74c3cbe2007-07-22 08:04:18 -0400939 mutex_unlock(&audit_filter_mutex);
940
941 if (!failed) {
Christophe Leroy57d43742021-09-03 15:48:22 +0000942 struct audit_node *node;
Al Viro74c3cbe2007-07-22 08:04:18 -0400943 spin_lock(&hash_lock);
944 list_for_each_entry(node, &tree->chunks, list)
945 node->index &= ~(1U<<31);
946 spin_unlock(&hash_lock);
947 } else {
948 trim_marked(tree);
949 }
950
951 put_tree(tree);
952 mutex_lock(&audit_filter_mutex);
953 }
954 list_del(&barrier);
955 list_del(&cursor);
Al Viro74c3cbe2007-07-22 08:04:18 -0400956 mutex_unlock(&audit_filter_mutex);
Al Viro2096f752010-01-30 13:16:21 -0500957 path_put(&path1);
Al Viro74c3cbe2007-07-22 08:04:18 -0400958 drop_collected_mounts(tagged);
959 return failed;
960}
961
Al Viro916d7572009-06-24 00:02:38 -0400962
963static void audit_schedule_prune(void)
964{
Imre Palikf1aaf262015-02-23 15:37:59 -0500965 wake_up_process(prune_thread);
Al Viro916d7572009-06-24 00:02:38 -0400966}
967
968/*
969 * ... and that one is done if evict_chunk() decides to delay until the end
970 * of syscall. Runs synchronously.
971 */
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500972void audit_kill_trees(struct audit_context *context)
Al Viro916d7572009-06-24 00:02:38 -0400973{
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500974 struct list_head *list = &context->killed_trees;
975
Paul Moorece423632018-02-20 09:52:38 -0500976 audit_ctl_lock();
Al Viro916d7572009-06-24 00:02:38 -0400977 mutex_lock(&audit_filter_mutex);
978
979 while (!list_empty(list)) {
980 struct audit_tree *victim;
981
982 victim = list_entry(list->next, struct audit_tree, list);
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -0500983 kill_rules(context, victim);
Al Viro916d7572009-06-24 00:02:38 -0400984 list_del_init(&victim->list);
985
986 mutex_unlock(&audit_filter_mutex);
987
988 prune_one(victim);
989
990 mutex_lock(&audit_filter_mutex);
991 }
992
993 mutex_unlock(&audit_filter_mutex);
Paul Moorece423632018-02-20 09:52:38 -0500994 audit_ctl_unlock();
Al Viro74c3cbe2007-07-22 08:04:18 -0400995}
996
997/*
998 * Here comes the stuff asynchronous to auditctl operations
999 */
1000
Al Viro74c3cbe2007-07-22 08:04:18 -04001001static void evict_chunk(struct audit_chunk *chunk)
1002{
1003 struct audit_tree *owner;
Al Viro916d7572009-06-24 00:02:38 -04001004 struct list_head *postponed = audit_killed_trees();
1005 int need_prune = 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001006 int n;
1007
Al Viro74c3cbe2007-07-22 08:04:18 -04001008 mutex_lock(&audit_filter_mutex);
1009 spin_lock(&hash_lock);
1010 while (!list_empty(&chunk->trees)) {
1011 owner = list_entry(chunk->trees.next,
1012 struct audit_tree, same_root);
1013 owner->goner = 1;
1014 owner->root = NULL;
1015 list_del_init(&owner->same_root);
1016 spin_unlock(&hash_lock);
Al Viro916d7572009-06-24 00:02:38 -04001017 if (!postponed) {
Richard Guy Briggs9e36a5d2018-12-10 17:17:50 -05001018 kill_rules(audit_context(), owner);
Al Viro916d7572009-06-24 00:02:38 -04001019 list_move(&owner->list, &prune_list);
1020 need_prune = 1;
1021 } else {
1022 list_move(&owner->list, postponed);
1023 }
Al Viro74c3cbe2007-07-22 08:04:18 -04001024 spin_lock(&hash_lock);
1025 }
1026 list_del_rcu(&chunk->hash);
1027 for (n = 0; n < chunk->count; n++)
1028 list_del_init(&chunk->owners[n].list);
1029 spin_unlock(&hash_lock);
Imre Palikf1aaf262015-02-23 15:37:59 -05001030 mutex_unlock(&audit_filter_mutex);
Al Viro916d7572009-06-24 00:02:38 -04001031 if (need_prune)
1032 audit_schedule_prune();
Al Viro74c3cbe2007-07-22 08:04:18 -04001033}
1034
Amir Goldsteinb9a1b972020-07-22 15:58:48 +03001035static int audit_tree_handle_event(struct fsnotify_mark *mark, u32 mask,
1036 struct inode *inode, struct inode *dir,
Amir Goldstein950cc0d2020-12-02 14:07:07 +02001037 const struct qstr *file_name, u32 cookie)
Al Viro74c3cbe2007-07-22 08:04:18 -04001038{
Jan Kara83c4c4b2014-01-21 15:48:15 -08001039 return 0;
Al Viro74c3cbe2007-07-22 08:04:18 -04001040}
1041
Jan Karaf905c2f2018-11-12 09:55:16 -05001042static void audit_tree_freeing_mark(struct fsnotify_mark *mark,
1043 struct fsnotify_group *group)
Al Viro74c3cbe2007-07-22 08:04:18 -04001044{
Jan Kara83d23bc2018-11-12 09:55:16 -05001045 struct audit_chunk *chunk;
Eric Paris28a3a7e2009-12-17 20:12:05 -05001046
Jan Karaf905c2f2018-11-12 09:55:16 -05001047 mutex_lock(&mark->group->mark_mutex);
Jan Kara83d23bc2018-11-12 09:55:16 -05001048 spin_lock(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -05001049 chunk = mark_chunk(mark);
1050 replace_mark_chunk(mark, NULL);
Jan Kara83d23bc2018-11-12 09:55:16 -05001051 spin_unlock(&hash_lock);
Jan Karaf905c2f2018-11-12 09:55:16 -05001052 mutex_unlock(&mark->group->mark_mutex);
Jan Kara83d23bc2018-11-12 09:55:16 -05001053 if (chunk) {
1054 evict_chunk(chunk);
1055 audit_mark_put_chunk(chunk);
1056 }
Miklos Szeredib3e86922012-08-15 12:55:22 +02001057
1058 /*
1059 * We are guaranteed to have at least one reference to the mark from
1060 * either the inode or the caller of fsnotify_destroy_mark().
1061 */
Jan Karaf905c2f2018-11-12 09:55:16 -05001062 BUG_ON(refcount_read(&mark->refcnt) < 1);
Al Viro74c3cbe2007-07-22 08:04:18 -04001063}
1064
Eric Paris28a3a7e2009-12-17 20:12:05 -05001065static const struct fsnotify_ops audit_tree_ops = {
Amir Goldsteinb9a1b972020-07-22 15:58:48 +03001066 .handle_inode_event = audit_tree_handle_event,
Eric Paris28a3a7e2009-12-17 20:12:05 -05001067 .freeing_mark = audit_tree_freeing_mark,
Jan Kara054c6362016-12-21 18:06:12 +01001068 .free_mark = audit_tree_destroy_watch,
Al Viro74c3cbe2007-07-22 08:04:18 -04001069};
1070
1071static int __init audit_tree_init(void)
1072{
1073 int i;
1074
Jan Kara5f516132018-11-12 09:54:49 -05001075 audit_tree_mark_cachep = KMEM_CACHE(audit_tree_mark, SLAB_PANIC);
1076
Eric Paris0d2e2a12009-12-17 21:24:22 -05001077 audit_tree_group = fsnotify_alloc_group(&audit_tree_ops);
Eric Paris28a3a7e2009-12-17 20:12:05 -05001078 if (IS_ERR(audit_tree_group))
1079 audit_panic("cannot initialize fsnotify group for rectree watches");
Al Viro74c3cbe2007-07-22 08:04:18 -04001080
1081 for (i = 0; i < HASH_SIZE; i++)
1082 INIT_LIST_HEAD(&chunk_hash_heads[i]);
1083
1084 return 0;
1085}
1086__initcall(audit_tree_init);