xref: /openbmc/linux/security/landlock/ruleset.c (revision 4f2c0a4acffbec01079c28f839422e64ddeff004)
1ae271c1bSMickaël Salaün // SPDX-License-Identifier: GPL-2.0-only
2ae271c1bSMickaël Salaün /*
3ae271c1bSMickaël Salaün  * Landlock LSM - Ruleset management
4ae271c1bSMickaël Salaün  *
5ae271c1bSMickaël Salaün  * Copyright © 2016-2020 Mickaël Salaün <mic@digikod.net>
6ae271c1bSMickaël Salaün  * Copyright © 2018-2020 ANSSI
7ae271c1bSMickaël Salaün  */
8ae271c1bSMickaël Salaün 
9ae271c1bSMickaël Salaün #include <linux/bits.h>
10ae271c1bSMickaël Salaün #include <linux/bug.h>
11ae271c1bSMickaël Salaün #include <linux/compiler_types.h>
12ae271c1bSMickaël Salaün #include <linux/err.h>
13ae271c1bSMickaël Salaün #include <linux/errno.h>
14ae271c1bSMickaël Salaün #include <linux/kernel.h>
15ae271c1bSMickaël Salaün #include <linux/lockdep.h>
16ae271c1bSMickaël Salaün #include <linux/overflow.h>
17ae271c1bSMickaël Salaün #include <linux/rbtree.h>
18ae271c1bSMickaël Salaün #include <linux/refcount.h>
19ae271c1bSMickaël Salaün #include <linux/slab.h>
20ae271c1bSMickaël Salaün #include <linux/spinlock.h>
21ae271c1bSMickaël Salaün #include <linux/workqueue.h>
22ae271c1bSMickaël Salaün 
23ae271c1bSMickaël Salaün #include "limits.h"
24ae271c1bSMickaël Salaün #include "object.h"
25ae271c1bSMickaël Salaün #include "ruleset.h"
26ae271c1bSMickaël Salaün 
create_ruleset(const u32 num_layers)27ae271c1bSMickaël Salaün static struct landlock_ruleset *create_ruleset(const u32 num_layers)
28ae271c1bSMickaël Salaün {
29ae271c1bSMickaël Salaün 	struct landlock_ruleset *new_ruleset;
30ae271c1bSMickaël Salaün 
3106a1c40aSMickaël Salaün 	new_ruleset =
3206a1c40aSMickaël Salaün 		kzalloc(struct_size(new_ruleset, fs_access_masks, num_layers),
3306a1c40aSMickaël Salaün 			GFP_KERNEL_ACCOUNT);
34ae271c1bSMickaël Salaün 	if (!new_ruleset)
35ae271c1bSMickaël Salaün 		return ERR_PTR(-ENOMEM);
36ae271c1bSMickaël Salaün 	refcount_set(&new_ruleset->usage, 1);
37ae271c1bSMickaël Salaün 	mutex_init(&new_ruleset->lock);
38ae271c1bSMickaël Salaün 	new_ruleset->root = RB_ROOT;
39ae271c1bSMickaël Salaün 	new_ruleset->num_layers = num_layers;
40ae271c1bSMickaël Salaün 	/*
41ae271c1bSMickaël Salaün 	 * hierarchy = NULL
42ae271c1bSMickaël Salaün 	 * num_rules = 0
43ae271c1bSMickaël Salaün 	 * fs_access_masks[] = 0
44ae271c1bSMickaël Salaün 	 */
45ae271c1bSMickaël Salaün 	return new_ruleset;
46ae271c1bSMickaël Salaün }
47ae271c1bSMickaël Salaün 
48*5f2ff33eSMickaël Salaün struct landlock_ruleset *
landlock_create_ruleset(const access_mask_t fs_access_mask)49*5f2ff33eSMickaël Salaün landlock_create_ruleset(const access_mask_t fs_access_mask)
50ae271c1bSMickaël Salaün {
51ae271c1bSMickaël Salaün 	struct landlock_ruleset *new_ruleset;
52ae271c1bSMickaël Salaün 
53ae271c1bSMickaël Salaün 	/* Informs about useless ruleset. */
54ae271c1bSMickaël Salaün 	if (!fs_access_mask)
55ae271c1bSMickaël Salaün 		return ERR_PTR(-ENOMSG);
56ae271c1bSMickaël Salaün 	new_ruleset = create_ruleset(1);
57ae271c1bSMickaël Salaün 	if (!IS_ERR(new_ruleset))
58ae271c1bSMickaël Salaün 		new_ruleset->fs_access_masks[0] = fs_access_mask;
59ae271c1bSMickaël Salaün 	return new_ruleset;
60ae271c1bSMickaël Salaün }
61ae271c1bSMickaël Salaün 
build_check_rule(void)62ae271c1bSMickaël Salaün static void build_check_rule(void)
63ae271c1bSMickaël Salaün {
64ae271c1bSMickaël Salaün 	const struct landlock_rule rule = {
65ae271c1bSMickaël Salaün 		.num_layers = ~0,
66ae271c1bSMickaël Salaün 	};
67ae271c1bSMickaël Salaün 
68ae271c1bSMickaël Salaün 	BUILD_BUG_ON(rule.num_layers < LANDLOCK_MAX_NUM_LAYERS);
69ae271c1bSMickaël Salaün }
70ae271c1bSMickaël Salaün 
7106a1c40aSMickaël Salaün static struct landlock_rule *
create_rule(struct landlock_object * const object,const struct landlock_layer (* const layers)[],const u32 num_layers,const struct landlock_layer * const new_layer)7206a1c40aSMickaël Salaün create_rule(struct landlock_object *const object,
7306a1c40aSMickaël Salaün 	    const struct landlock_layer (*const layers)[], const u32 num_layers,
74ae271c1bSMickaël Salaün 	    const struct landlock_layer *const new_layer)
75ae271c1bSMickaël Salaün {
76ae271c1bSMickaël Salaün 	struct landlock_rule *new_rule;
77ae271c1bSMickaël Salaün 	u32 new_num_layers;
78ae271c1bSMickaël Salaün 
79ae271c1bSMickaël Salaün 	build_check_rule();
80ae271c1bSMickaël Salaün 	if (new_layer) {
81ae271c1bSMickaël Salaün 		/* Should already be checked by landlock_merge_ruleset(). */
82ae271c1bSMickaël Salaün 		if (WARN_ON_ONCE(num_layers >= LANDLOCK_MAX_NUM_LAYERS))
83ae271c1bSMickaël Salaün 			return ERR_PTR(-E2BIG);
84ae271c1bSMickaël Salaün 		new_num_layers = num_layers + 1;
85ae271c1bSMickaël Salaün 	} else {
86ae271c1bSMickaël Salaün 		new_num_layers = num_layers;
87ae271c1bSMickaël Salaün 	}
88ae271c1bSMickaël Salaün 	new_rule = kzalloc(struct_size(new_rule, layers, new_num_layers),
89ae271c1bSMickaël Salaün 			   GFP_KERNEL_ACCOUNT);
90ae271c1bSMickaël Salaün 	if (!new_rule)
91ae271c1bSMickaël Salaün 		return ERR_PTR(-ENOMEM);
92ae271c1bSMickaël Salaün 	RB_CLEAR_NODE(&new_rule->node);
93ae271c1bSMickaël Salaün 	landlock_get_object(object);
94ae271c1bSMickaël Salaün 	new_rule->object = object;
95ae271c1bSMickaël Salaün 	new_rule->num_layers = new_num_layers;
96ae271c1bSMickaël Salaün 	/* Copies the original layer stack. */
97ae271c1bSMickaël Salaün 	memcpy(new_rule->layers, layers,
98ae271c1bSMickaël Salaün 	       flex_array_size(new_rule, layers, num_layers));
99ae271c1bSMickaël Salaün 	if (new_layer)
100ae271c1bSMickaël Salaün 		/* Adds a copy of @new_layer on the layer stack. */
101ae271c1bSMickaël Salaün 		new_rule->layers[new_rule->num_layers - 1] = *new_layer;
102ae271c1bSMickaël Salaün 	return new_rule;
103ae271c1bSMickaël Salaün }
104ae271c1bSMickaël Salaün 
free_rule(struct landlock_rule * const rule)105ae271c1bSMickaël Salaün static void free_rule(struct landlock_rule *const rule)
106ae271c1bSMickaël Salaün {
107ae271c1bSMickaël Salaün 	might_sleep();
108ae271c1bSMickaël Salaün 	if (!rule)
109ae271c1bSMickaël Salaün 		return;
110ae271c1bSMickaël Salaün 	landlock_put_object(rule->object);
111ae271c1bSMickaël Salaün 	kfree(rule);
112ae271c1bSMickaël Salaün }
113ae271c1bSMickaël Salaün 
build_check_ruleset(void)114ae271c1bSMickaël Salaün static void build_check_ruleset(void)
115ae271c1bSMickaël Salaün {
116ae271c1bSMickaël Salaün 	const struct landlock_ruleset ruleset = {
117ae271c1bSMickaël Salaün 		.num_rules = ~0,
118ae271c1bSMickaël Salaün 		.num_layers = ~0,
119ae271c1bSMickaël Salaün 	};
120cb2c7d1aSMickaël Salaün 	typeof(ruleset.fs_access_masks[0]) fs_access_mask = ~0;
121ae271c1bSMickaël Salaün 
122ae271c1bSMickaël Salaün 	BUILD_BUG_ON(ruleset.num_rules < LANDLOCK_MAX_NUM_RULES);
123ae271c1bSMickaël Salaün 	BUILD_BUG_ON(ruleset.num_layers < LANDLOCK_MAX_NUM_LAYERS);
124cb2c7d1aSMickaël Salaün 	BUILD_BUG_ON(fs_access_mask < LANDLOCK_MASK_ACCESS_FS);
125ae271c1bSMickaël Salaün }
126ae271c1bSMickaël Salaün 
127ae271c1bSMickaël Salaün /**
128ae271c1bSMickaël Salaün  * insert_rule - Create and insert a rule in a ruleset
129ae271c1bSMickaël Salaün  *
130ae271c1bSMickaël Salaün  * @ruleset: The ruleset to be updated.
131ae271c1bSMickaël Salaün  * @object: The object to build the new rule with.  The underlying kernel
132ae271c1bSMickaël Salaün  *          object must be held by the caller.
133ae271c1bSMickaël Salaün  * @layers: One or multiple layers to be copied into the new rule.
134ae271c1bSMickaël Salaün  * @num_layers: The number of @layers entries.
135ae271c1bSMickaël Salaün  *
136ae271c1bSMickaël Salaün  * When user space requests to add a new rule to a ruleset, @layers only
137ae271c1bSMickaël Salaün  * contains one entry and this entry is not assigned to any level.  In this
138ae271c1bSMickaël Salaün  * case, the new rule will extend @ruleset, similarly to a boolean OR between
139ae271c1bSMickaël Salaün  * access rights.
140ae271c1bSMickaël Salaün  *
141ae271c1bSMickaël Salaün  * When merging a ruleset in a domain, or copying a domain, @layers will be
142ae271c1bSMickaël Salaün  * added to @ruleset as new constraints, similarly to a boolean AND between
143ae271c1bSMickaël Salaün  * access rights.
144ae271c1bSMickaël Salaün  */
insert_rule(struct landlock_ruleset * const ruleset,struct landlock_object * const object,const struct landlock_layer (* const layers)[],size_t num_layers)145ae271c1bSMickaël Salaün static int insert_rule(struct landlock_ruleset *const ruleset,
146ae271c1bSMickaël Salaün 		       struct landlock_object *const object,
147ae271c1bSMickaël Salaün 		       const struct landlock_layer (*const layers)[],
148ae271c1bSMickaël Salaün 		       size_t num_layers)
149ae271c1bSMickaël Salaün {
150ae271c1bSMickaël Salaün 	struct rb_node **walker_node;
151ae271c1bSMickaël Salaün 	struct rb_node *parent_node = NULL;
152ae271c1bSMickaël Salaün 	struct landlock_rule *new_rule;
153ae271c1bSMickaël Salaün 
154ae271c1bSMickaël Salaün 	might_sleep();
155ae271c1bSMickaël Salaün 	lockdep_assert_held(&ruleset->lock);
156ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(!object || !layers))
157ae271c1bSMickaël Salaün 		return -ENOENT;
158ae271c1bSMickaël Salaün 	walker_node = &(ruleset->root.rb_node);
159ae271c1bSMickaël Salaün 	while (*walker_node) {
16006a1c40aSMickaël Salaün 		struct landlock_rule *const this =
16106a1c40aSMickaël Salaün 			rb_entry(*walker_node, struct landlock_rule, node);
162ae271c1bSMickaël Salaün 
163ae271c1bSMickaël Salaün 		if (this->object != object) {
164ae271c1bSMickaël Salaün 			parent_node = *walker_node;
165ae271c1bSMickaël Salaün 			if (this->object < object)
166ae271c1bSMickaël Salaün 				walker_node = &((*walker_node)->rb_right);
167ae271c1bSMickaël Salaün 			else
168ae271c1bSMickaël Salaün 				walker_node = &((*walker_node)->rb_left);
169ae271c1bSMickaël Salaün 			continue;
170ae271c1bSMickaël Salaün 		}
171ae271c1bSMickaël Salaün 
172ae271c1bSMickaël Salaün 		/* Only a single-level layer should match an existing rule. */
173ae271c1bSMickaël Salaün 		if (WARN_ON_ONCE(num_layers != 1))
174ae271c1bSMickaël Salaün 			return -EINVAL;
175ae271c1bSMickaël Salaün 
176ae271c1bSMickaël Salaün 		/* If there is a matching rule, updates it. */
177ae271c1bSMickaël Salaün 		if ((*layers)[0].level == 0) {
178ae271c1bSMickaël Salaün 			/*
179ae271c1bSMickaël Salaün 			 * Extends access rights when the request comes from
180ae271c1bSMickaël Salaün 			 * landlock_add_rule(2), i.e. @ruleset is not a domain.
181ae271c1bSMickaël Salaün 			 */
182ae271c1bSMickaël Salaün 			if (WARN_ON_ONCE(this->num_layers != 1))
183ae271c1bSMickaël Salaün 				return -EINVAL;
184ae271c1bSMickaël Salaün 			if (WARN_ON_ONCE(this->layers[0].level != 0))
185ae271c1bSMickaël Salaün 				return -EINVAL;
186ae271c1bSMickaël Salaün 			this->layers[0].access |= (*layers)[0].access;
187ae271c1bSMickaël Salaün 			return 0;
188ae271c1bSMickaël Salaün 		}
189ae271c1bSMickaël Salaün 
190ae271c1bSMickaël Salaün 		if (WARN_ON_ONCE(this->layers[0].level == 0))
191ae271c1bSMickaël Salaün 			return -EINVAL;
192ae271c1bSMickaël Salaün 
193ae271c1bSMickaël Salaün 		/*
194ae271c1bSMickaël Salaün 		 * Intersects access rights when it is a merge between a
195ae271c1bSMickaël Salaün 		 * ruleset and a domain.
196ae271c1bSMickaël Salaün 		 */
197ae271c1bSMickaël Salaün 		new_rule = create_rule(object, &this->layers, this->num_layers,
198ae271c1bSMickaël Salaün 				       &(*layers)[0]);
199ae271c1bSMickaël Salaün 		if (IS_ERR(new_rule))
200ae271c1bSMickaël Salaün 			return PTR_ERR(new_rule);
201ae271c1bSMickaël Salaün 		rb_replace_node(&this->node, &new_rule->node, &ruleset->root);
202ae271c1bSMickaël Salaün 		free_rule(this);
203ae271c1bSMickaël Salaün 		return 0;
204ae271c1bSMickaël Salaün 	}
205ae271c1bSMickaël Salaün 
206ae271c1bSMickaël Salaün 	/* There is no match for @object. */
207ae271c1bSMickaël Salaün 	build_check_ruleset();
208ae271c1bSMickaël Salaün 	if (ruleset->num_rules >= LANDLOCK_MAX_NUM_RULES)
209ae271c1bSMickaël Salaün 		return -E2BIG;
210ae271c1bSMickaël Salaün 	new_rule = create_rule(object, layers, num_layers, NULL);
211ae271c1bSMickaël Salaün 	if (IS_ERR(new_rule))
212ae271c1bSMickaël Salaün 		return PTR_ERR(new_rule);
213ae271c1bSMickaël Salaün 	rb_link_node(&new_rule->node, parent_node, walker_node);
214ae271c1bSMickaël Salaün 	rb_insert_color(&new_rule->node, &ruleset->root);
215ae271c1bSMickaël Salaün 	ruleset->num_rules++;
216ae271c1bSMickaël Salaün 	return 0;
217ae271c1bSMickaël Salaün }
218ae271c1bSMickaël Salaün 
build_check_layer(void)219ae271c1bSMickaël Salaün static void build_check_layer(void)
220ae271c1bSMickaël Salaün {
221ae271c1bSMickaël Salaün 	const struct landlock_layer layer = {
222ae271c1bSMickaël Salaün 		.level = ~0,
223cb2c7d1aSMickaël Salaün 		.access = ~0,
224ae271c1bSMickaël Salaün 	};
225ae271c1bSMickaël Salaün 
226ae271c1bSMickaël Salaün 	BUILD_BUG_ON(layer.level < LANDLOCK_MAX_NUM_LAYERS);
227cb2c7d1aSMickaël Salaün 	BUILD_BUG_ON(layer.access < LANDLOCK_MASK_ACCESS_FS);
228ae271c1bSMickaël Salaün }
229ae271c1bSMickaël Salaün 
230ae271c1bSMickaël Salaün /* @ruleset must be locked by the caller. */
landlock_insert_rule(struct landlock_ruleset * const ruleset,struct landlock_object * const object,const access_mask_t access)231ae271c1bSMickaël Salaün int landlock_insert_rule(struct landlock_ruleset *const ruleset,
232*5f2ff33eSMickaël Salaün 			 struct landlock_object *const object,
233*5f2ff33eSMickaël Salaün 			 const access_mask_t access)
234ae271c1bSMickaël Salaün {
235ae271c1bSMickaël Salaün 	struct landlock_layer layers[] = { {
236ae271c1bSMickaël Salaün 		.access = access,
237ae271c1bSMickaël Salaün 		/* When @level is zero, insert_rule() extends @ruleset. */
238ae271c1bSMickaël Salaün 		.level = 0,
239ae271c1bSMickaël Salaün 	} };
240ae271c1bSMickaël Salaün 
241ae271c1bSMickaël Salaün 	build_check_layer();
242ae271c1bSMickaël Salaün 	return insert_rule(ruleset, object, &layers, ARRAY_SIZE(layers));
243ae271c1bSMickaël Salaün }
244ae271c1bSMickaël Salaün 
get_hierarchy(struct landlock_hierarchy * const hierarchy)245ae271c1bSMickaël Salaün static inline void get_hierarchy(struct landlock_hierarchy *const hierarchy)
246ae271c1bSMickaël Salaün {
247ae271c1bSMickaël Salaün 	if (hierarchy)
248ae271c1bSMickaël Salaün 		refcount_inc(&hierarchy->usage);
249ae271c1bSMickaël Salaün }
250ae271c1bSMickaël Salaün 
put_hierarchy(struct landlock_hierarchy * hierarchy)251ae271c1bSMickaël Salaün static void put_hierarchy(struct landlock_hierarchy *hierarchy)
252ae271c1bSMickaël Salaün {
253ae271c1bSMickaël Salaün 	while (hierarchy && refcount_dec_and_test(&hierarchy->usage)) {
254ae271c1bSMickaël Salaün 		const struct landlock_hierarchy *const freeme = hierarchy;
255ae271c1bSMickaël Salaün 
256ae271c1bSMickaël Salaün 		hierarchy = hierarchy->parent;
257ae271c1bSMickaël Salaün 		kfree(freeme);
258ae271c1bSMickaël Salaün 	}
259ae271c1bSMickaël Salaün }
260ae271c1bSMickaël Salaün 
merge_ruleset(struct landlock_ruleset * const dst,struct landlock_ruleset * const src)261ae271c1bSMickaël Salaün static int merge_ruleset(struct landlock_ruleset *const dst,
262ae271c1bSMickaël Salaün 			 struct landlock_ruleset *const src)
263ae271c1bSMickaël Salaün {
264ae271c1bSMickaël Salaün 	struct landlock_rule *walker_rule, *next_rule;
265ae271c1bSMickaël Salaün 	int err = 0;
266ae271c1bSMickaël Salaün 
267ae271c1bSMickaël Salaün 	might_sleep();
268ae271c1bSMickaël Salaün 	/* Should already be checked by landlock_merge_ruleset() */
269ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(!src))
270ae271c1bSMickaël Salaün 		return 0;
271ae271c1bSMickaël Salaün 	/* Only merge into a domain. */
272ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(!dst || !dst->hierarchy))
273ae271c1bSMickaël Salaün 		return -EINVAL;
274ae271c1bSMickaël Salaün 
275ae271c1bSMickaël Salaün 	/* Locks @dst first because we are its only owner. */
276ae271c1bSMickaël Salaün 	mutex_lock(&dst->lock);
277ae271c1bSMickaël Salaün 	mutex_lock_nested(&src->lock, SINGLE_DEPTH_NESTING);
278ae271c1bSMickaël Salaün 
279ae271c1bSMickaël Salaün 	/* Stacks the new layer. */
280ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(src->num_layers != 1 || dst->num_layers < 1)) {
281ae271c1bSMickaël Salaün 		err = -EINVAL;
282ae271c1bSMickaël Salaün 		goto out_unlock;
283ae271c1bSMickaël Salaün 	}
284ae271c1bSMickaël Salaün 	dst->fs_access_masks[dst->num_layers - 1] = src->fs_access_masks[0];
285ae271c1bSMickaël Salaün 
286ae271c1bSMickaël Salaün 	/* Merges the @src tree. */
28706a1c40aSMickaël Salaün 	rbtree_postorder_for_each_entry_safe(walker_rule, next_rule, &src->root,
28806a1c40aSMickaël Salaün 					     node) {
289ae271c1bSMickaël Salaün 		struct landlock_layer layers[] = { {
290ae271c1bSMickaël Salaün 			.level = dst->num_layers,
291ae271c1bSMickaël Salaün 		} };
292ae271c1bSMickaël Salaün 
293ae271c1bSMickaël Salaün 		if (WARN_ON_ONCE(walker_rule->num_layers != 1)) {
294ae271c1bSMickaël Salaün 			err = -EINVAL;
295ae271c1bSMickaël Salaün 			goto out_unlock;
296ae271c1bSMickaël Salaün 		}
297ae271c1bSMickaël Salaün 		if (WARN_ON_ONCE(walker_rule->layers[0].level != 0)) {
298ae271c1bSMickaël Salaün 			err = -EINVAL;
299ae271c1bSMickaël Salaün 			goto out_unlock;
300ae271c1bSMickaël Salaün 		}
301ae271c1bSMickaël Salaün 		layers[0].access = walker_rule->layers[0].access;
302ae271c1bSMickaël Salaün 		err = insert_rule(dst, walker_rule->object, &layers,
303ae271c1bSMickaël Salaün 				  ARRAY_SIZE(layers));
304ae271c1bSMickaël Salaün 		if (err)
305ae271c1bSMickaël Salaün 			goto out_unlock;
306ae271c1bSMickaël Salaün 	}
307ae271c1bSMickaël Salaün 
308ae271c1bSMickaël Salaün out_unlock:
309ae271c1bSMickaël Salaün 	mutex_unlock(&src->lock);
310ae271c1bSMickaël Salaün 	mutex_unlock(&dst->lock);
311ae271c1bSMickaël Salaün 	return err;
312ae271c1bSMickaël Salaün }
313ae271c1bSMickaël Salaün 
inherit_ruleset(struct landlock_ruleset * const parent,struct landlock_ruleset * const child)314ae271c1bSMickaël Salaün static int inherit_ruleset(struct landlock_ruleset *const parent,
315ae271c1bSMickaël Salaün 			   struct landlock_ruleset *const child)
316ae271c1bSMickaël Salaün {
317ae271c1bSMickaël Salaün 	struct landlock_rule *walker_rule, *next_rule;
318ae271c1bSMickaël Salaün 	int err = 0;
319ae271c1bSMickaël Salaün 
320ae271c1bSMickaël Salaün 	might_sleep();
321ae271c1bSMickaël Salaün 	if (!parent)
322ae271c1bSMickaël Salaün 		return 0;
323ae271c1bSMickaël Salaün 
324ae271c1bSMickaël Salaün 	/* Locks @child first because we are its only owner. */
325ae271c1bSMickaël Salaün 	mutex_lock(&child->lock);
326ae271c1bSMickaël Salaün 	mutex_lock_nested(&parent->lock, SINGLE_DEPTH_NESTING);
327ae271c1bSMickaël Salaün 
328ae271c1bSMickaël Salaün 	/* Copies the @parent tree. */
329ae271c1bSMickaël Salaün 	rbtree_postorder_for_each_entry_safe(walker_rule, next_rule,
330ae271c1bSMickaël Salaün 					     &parent->root, node) {
331ae271c1bSMickaël Salaün 		err = insert_rule(child, walker_rule->object,
33206a1c40aSMickaël Salaün 				  &walker_rule->layers,
33306a1c40aSMickaël Salaün 				  walker_rule->num_layers);
334ae271c1bSMickaël Salaün 		if (err)
335ae271c1bSMickaël Salaün 			goto out_unlock;
336ae271c1bSMickaël Salaün 	}
337ae271c1bSMickaël Salaün 
338ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(child->num_layers <= parent->num_layers)) {
339ae271c1bSMickaël Salaün 		err = -EINVAL;
340ae271c1bSMickaël Salaün 		goto out_unlock;
341ae271c1bSMickaël Salaün 	}
342ae271c1bSMickaël Salaün 	/* Copies the parent layer stack and leaves a space for the new layer. */
343ae271c1bSMickaël Salaün 	memcpy(child->fs_access_masks, parent->fs_access_masks,
344ae271c1bSMickaël Salaün 	       flex_array_size(parent, fs_access_masks, parent->num_layers));
345ae271c1bSMickaël Salaün 
346ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(!parent->hierarchy)) {
347ae271c1bSMickaël Salaün 		err = -EINVAL;
348ae271c1bSMickaël Salaün 		goto out_unlock;
349ae271c1bSMickaël Salaün 	}
350ae271c1bSMickaël Salaün 	get_hierarchy(parent->hierarchy);
351ae271c1bSMickaël Salaün 	child->hierarchy->parent = parent->hierarchy;
352ae271c1bSMickaël Salaün 
353ae271c1bSMickaël Salaün out_unlock:
354ae271c1bSMickaël Salaün 	mutex_unlock(&parent->lock);
355ae271c1bSMickaël Salaün 	mutex_unlock(&child->lock);
356ae271c1bSMickaël Salaün 	return err;
357ae271c1bSMickaël Salaün }
358ae271c1bSMickaël Salaün 
free_ruleset(struct landlock_ruleset * const ruleset)359ae271c1bSMickaël Salaün static void free_ruleset(struct landlock_ruleset *const ruleset)
360ae271c1bSMickaël Salaün {
361ae271c1bSMickaël Salaün 	struct landlock_rule *freeme, *next;
362ae271c1bSMickaël Salaün 
363ae271c1bSMickaël Salaün 	might_sleep();
36406a1c40aSMickaël Salaün 	rbtree_postorder_for_each_entry_safe(freeme, next, &ruleset->root, node)
365ae271c1bSMickaël Salaün 		free_rule(freeme);
366ae271c1bSMickaël Salaün 	put_hierarchy(ruleset->hierarchy);
367ae271c1bSMickaël Salaün 	kfree(ruleset);
368ae271c1bSMickaël Salaün }
369ae271c1bSMickaël Salaün 
landlock_put_ruleset(struct landlock_ruleset * const ruleset)370ae271c1bSMickaël Salaün void landlock_put_ruleset(struct landlock_ruleset *const ruleset)
371ae271c1bSMickaël Salaün {
372ae271c1bSMickaël Salaün 	might_sleep();
373ae271c1bSMickaël Salaün 	if (ruleset && refcount_dec_and_test(&ruleset->usage))
374ae271c1bSMickaël Salaün 		free_ruleset(ruleset);
375ae271c1bSMickaël Salaün }
376ae271c1bSMickaël Salaün 
free_ruleset_work(struct work_struct * const work)377ae271c1bSMickaël Salaün static void free_ruleset_work(struct work_struct *const work)
378ae271c1bSMickaël Salaün {
379ae271c1bSMickaël Salaün 	struct landlock_ruleset *ruleset;
380ae271c1bSMickaël Salaün 
381ae271c1bSMickaël Salaün 	ruleset = container_of(work, struct landlock_ruleset, work_free);
382ae271c1bSMickaël Salaün 	free_ruleset(ruleset);
383ae271c1bSMickaël Salaün }
384ae271c1bSMickaël Salaün 
landlock_put_ruleset_deferred(struct landlock_ruleset * const ruleset)385ae271c1bSMickaël Salaün void landlock_put_ruleset_deferred(struct landlock_ruleset *const ruleset)
386ae271c1bSMickaël Salaün {
387ae271c1bSMickaël Salaün 	if (ruleset && refcount_dec_and_test(&ruleset->usage)) {
388ae271c1bSMickaël Salaün 		INIT_WORK(&ruleset->work_free, free_ruleset_work);
389ae271c1bSMickaël Salaün 		schedule_work(&ruleset->work_free);
390ae271c1bSMickaël Salaün 	}
391ae271c1bSMickaël Salaün }
392ae271c1bSMickaël Salaün 
393ae271c1bSMickaël Salaün /**
394ae271c1bSMickaël Salaün  * landlock_merge_ruleset - Merge a ruleset with a domain
395ae271c1bSMickaël Salaün  *
396ae271c1bSMickaël Salaün  * @parent: Parent domain.
397ae271c1bSMickaël Salaün  * @ruleset: New ruleset to be merged.
398ae271c1bSMickaël Salaün  *
399ae271c1bSMickaël Salaün  * Returns the intersection of @parent and @ruleset, or returns @parent if
400ae271c1bSMickaël Salaün  * @ruleset is empty, or returns a duplicate of @ruleset if @parent is empty.
401ae271c1bSMickaël Salaün  */
40206a1c40aSMickaël Salaün struct landlock_ruleset *
landlock_merge_ruleset(struct landlock_ruleset * const parent,struct landlock_ruleset * const ruleset)40306a1c40aSMickaël Salaün landlock_merge_ruleset(struct landlock_ruleset *const parent,
404ae271c1bSMickaël Salaün 		       struct landlock_ruleset *const ruleset)
405ae271c1bSMickaël Salaün {
406ae271c1bSMickaël Salaün 	struct landlock_ruleset *new_dom;
407ae271c1bSMickaël Salaün 	u32 num_layers;
408ae271c1bSMickaël Salaün 	int err;
409ae271c1bSMickaël Salaün 
410ae271c1bSMickaël Salaün 	might_sleep();
411ae271c1bSMickaël Salaün 	if (WARN_ON_ONCE(!ruleset || parent == ruleset))
412ae271c1bSMickaël Salaün 		return ERR_PTR(-EINVAL);
413ae271c1bSMickaël Salaün 
414ae271c1bSMickaël Salaün 	if (parent) {
415ae271c1bSMickaël Salaün 		if (parent->num_layers >= LANDLOCK_MAX_NUM_LAYERS)
416ae271c1bSMickaël Salaün 			return ERR_PTR(-E2BIG);
417ae271c1bSMickaël Salaün 		num_layers = parent->num_layers + 1;
418ae271c1bSMickaël Salaün 	} else {
419ae271c1bSMickaël Salaün 		num_layers = 1;
420ae271c1bSMickaël Salaün 	}
421ae271c1bSMickaël Salaün 
422ae271c1bSMickaël Salaün 	/* Creates a new domain... */
423ae271c1bSMickaël Salaün 	new_dom = create_ruleset(num_layers);
424ae271c1bSMickaël Salaün 	if (IS_ERR(new_dom))
425ae271c1bSMickaël Salaün 		return new_dom;
42606a1c40aSMickaël Salaün 	new_dom->hierarchy =
42706a1c40aSMickaël Salaün 		kzalloc(sizeof(*new_dom->hierarchy), GFP_KERNEL_ACCOUNT);
428ae271c1bSMickaël Salaün 	if (!new_dom->hierarchy) {
429ae271c1bSMickaël Salaün 		err = -ENOMEM;
430ae271c1bSMickaël Salaün 		goto out_put_dom;
431ae271c1bSMickaël Salaün 	}
432ae271c1bSMickaël Salaün 	refcount_set(&new_dom->hierarchy->usage, 1);
433ae271c1bSMickaël Salaün 
434ae271c1bSMickaël Salaün 	/* ...as a child of @parent... */
435ae271c1bSMickaël Salaün 	err = inherit_ruleset(parent, new_dom);
436ae271c1bSMickaël Salaün 	if (err)
437ae271c1bSMickaël Salaün 		goto out_put_dom;
438ae271c1bSMickaël Salaün 
439ae271c1bSMickaël Salaün 	/* ...and including @ruleset. */
440ae271c1bSMickaël Salaün 	err = merge_ruleset(new_dom, ruleset);
441ae271c1bSMickaël Salaün 	if (err)
442ae271c1bSMickaël Salaün 		goto out_put_dom;
443ae271c1bSMickaël Salaün 
444ae271c1bSMickaël Salaün 	return new_dom;
445ae271c1bSMickaël Salaün 
446ae271c1bSMickaël Salaün out_put_dom:
447ae271c1bSMickaël Salaün 	landlock_put_ruleset(new_dom);
448ae271c1bSMickaël Salaün 	return ERR_PTR(err);
449ae271c1bSMickaël Salaün }
450ae271c1bSMickaël Salaün 
451ae271c1bSMickaël Salaün /*
452ae271c1bSMickaël Salaün  * The returned access has the same lifetime as @ruleset.
453ae271c1bSMickaël Salaün  */
45406a1c40aSMickaël Salaün const struct landlock_rule *
landlock_find_rule(const struct landlock_ruleset * const ruleset,const struct landlock_object * const object)45506a1c40aSMickaël Salaün landlock_find_rule(const struct landlock_ruleset *const ruleset,
456ae271c1bSMickaël Salaün 		   const struct landlock_object *const object)
457ae271c1bSMickaël Salaün {
458ae271c1bSMickaël Salaün 	const struct rb_node *node;
459ae271c1bSMickaël Salaün 
460ae271c1bSMickaël Salaün 	if (!object)
461ae271c1bSMickaël Salaün 		return NULL;
462ae271c1bSMickaël Salaün 	node = ruleset->root.rb_node;
463ae271c1bSMickaël Salaün 	while (node) {
46406a1c40aSMickaël Salaün 		struct landlock_rule *this =
46506a1c40aSMickaël Salaün 			rb_entry(node, struct landlock_rule, node);
466ae271c1bSMickaël Salaün 
467ae271c1bSMickaël Salaün 		if (this->object == object)
468ae271c1bSMickaël Salaün 			return this;
469ae271c1bSMickaël Salaün 		if (this->object < object)
470ae271c1bSMickaël Salaün 			node = node->rb_right;
471ae271c1bSMickaël Salaün 		else
472ae271c1bSMickaël Salaün 			node = node->rb_left;
473ae271c1bSMickaël Salaün 	}
474ae271c1bSMickaël Salaün 	return NULL;
475ae271c1bSMickaël Salaün }
476