162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only
262306a36Sopenharmony_ci/*
362306a36Sopenharmony_ci * Landlock LSM - Ruleset management
462306a36Sopenharmony_ci *
562306a36Sopenharmony_ci * Copyright © 2016-2020 Mickaël Salaün <mic@digikod.net>
662306a36Sopenharmony_ci * Copyright © 2018-2020 ANSSI
762306a36Sopenharmony_ci */
862306a36Sopenharmony_ci
962306a36Sopenharmony_ci#include <linux/bits.h>
1062306a36Sopenharmony_ci#include <linux/bug.h>
1162306a36Sopenharmony_ci#include <linux/compiler_types.h>
1262306a36Sopenharmony_ci#include <linux/err.h>
1362306a36Sopenharmony_ci#include <linux/errno.h>
1462306a36Sopenharmony_ci#include <linux/kernel.h>
1562306a36Sopenharmony_ci#include <linux/lockdep.h>
1662306a36Sopenharmony_ci#include <linux/overflow.h>
1762306a36Sopenharmony_ci#include <linux/rbtree.h>
1862306a36Sopenharmony_ci#include <linux/refcount.h>
1962306a36Sopenharmony_ci#include <linux/slab.h>
2062306a36Sopenharmony_ci#include <linux/spinlock.h>
2162306a36Sopenharmony_ci#include <linux/workqueue.h>
2262306a36Sopenharmony_ci
2362306a36Sopenharmony_ci#include "limits.h"
2462306a36Sopenharmony_ci#include "object.h"
2562306a36Sopenharmony_ci#include "ruleset.h"
2662306a36Sopenharmony_ci
2762306a36Sopenharmony_cistatic struct landlock_ruleset *create_ruleset(const u32 num_layers)
2862306a36Sopenharmony_ci{
2962306a36Sopenharmony_ci	struct landlock_ruleset *new_ruleset;
3062306a36Sopenharmony_ci
3162306a36Sopenharmony_ci	new_ruleset =
3262306a36Sopenharmony_ci		kzalloc(struct_size(new_ruleset, fs_access_masks, num_layers),
3362306a36Sopenharmony_ci			GFP_KERNEL_ACCOUNT);
3462306a36Sopenharmony_ci	if (!new_ruleset)
3562306a36Sopenharmony_ci		return ERR_PTR(-ENOMEM);
3662306a36Sopenharmony_ci	refcount_set(&new_ruleset->usage, 1);
3762306a36Sopenharmony_ci	mutex_init(&new_ruleset->lock);
3862306a36Sopenharmony_ci	new_ruleset->root = RB_ROOT;
3962306a36Sopenharmony_ci	new_ruleset->num_layers = num_layers;
4062306a36Sopenharmony_ci	/*
4162306a36Sopenharmony_ci	 * hierarchy = NULL
4262306a36Sopenharmony_ci	 * num_rules = 0
4362306a36Sopenharmony_ci	 * fs_access_masks[] = 0
4462306a36Sopenharmony_ci	 */
4562306a36Sopenharmony_ci	return new_ruleset;
4662306a36Sopenharmony_ci}
4762306a36Sopenharmony_ci
4862306a36Sopenharmony_cistruct landlock_ruleset *
4962306a36Sopenharmony_cilandlock_create_ruleset(const access_mask_t fs_access_mask)
5062306a36Sopenharmony_ci{
5162306a36Sopenharmony_ci	struct landlock_ruleset *new_ruleset;
5262306a36Sopenharmony_ci
5362306a36Sopenharmony_ci	/* Informs about useless ruleset. */
5462306a36Sopenharmony_ci	if (!fs_access_mask)
5562306a36Sopenharmony_ci		return ERR_PTR(-ENOMSG);
5662306a36Sopenharmony_ci	new_ruleset = create_ruleset(1);
5762306a36Sopenharmony_ci	if (!IS_ERR(new_ruleset))
5862306a36Sopenharmony_ci		new_ruleset->fs_access_masks[0] = fs_access_mask;
5962306a36Sopenharmony_ci	return new_ruleset;
6062306a36Sopenharmony_ci}
6162306a36Sopenharmony_ci
6262306a36Sopenharmony_cistatic void build_check_rule(void)
6362306a36Sopenharmony_ci{
6462306a36Sopenharmony_ci	const struct landlock_rule rule = {
6562306a36Sopenharmony_ci		.num_layers = ~0,
6662306a36Sopenharmony_ci	};
6762306a36Sopenharmony_ci
6862306a36Sopenharmony_ci	BUILD_BUG_ON(rule.num_layers < LANDLOCK_MAX_NUM_LAYERS);
6962306a36Sopenharmony_ci}
7062306a36Sopenharmony_ci
7162306a36Sopenharmony_cistatic struct landlock_rule *
7262306a36Sopenharmony_cicreate_rule(struct landlock_object *const object,
7362306a36Sopenharmony_ci	    const struct landlock_layer (*const layers)[], const u32 num_layers,
7462306a36Sopenharmony_ci	    const struct landlock_layer *const new_layer)
7562306a36Sopenharmony_ci{
7662306a36Sopenharmony_ci	struct landlock_rule *new_rule;
7762306a36Sopenharmony_ci	u32 new_num_layers;
7862306a36Sopenharmony_ci
7962306a36Sopenharmony_ci	build_check_rule();
8062306a36Sopenharmony_ci	if (new_layer) {
8162306a36Sopenharmony_ci		/* Should already be checked by landlock_merge_ruleset(). */
8262306a36Sopenharmony_ci		if (WARN_ON_ONCE(num_layers >= LANDLOCK_MAX_NUM_LAYERS))
8362306a36Sopenharmony_ci			return ERR_PTR(-E2BIG);
8462306a36Sopenharmony_ci		new_num_layers = num_layers + 1;
8562306a36Sopenharmony_ci	} else {
8662306a36Sopenharmony_ci		new_num_layers = num_layers;
8762306a36Sopenharmony_ci	}
8862306a36Sopenharmony_ci	new_rule = kzalloc(struct_size(new_rule, layers, new_num_layers),
8962306a36Sopenharmony_ci			   GFP_KERNEL_ACCOUNT);
9062306a36Sopenharmony_ci	if (!new_rule)
9162306a36Sopenharmony_ci		return ERR_PTR(-ENOMEM);
9262306a36Sopenharmony_ci	RB_CLEAR_NODE(&new_rule->node);
9362306a36Sopenharmony_ci	landlock_get_object(object);
9462306a36Sopenharmony_ci	new_rule->object = object;
9562306a36Sopenharmony_ci	new_rule->num_layers = new_num_layers;
9662306a36Sopenharmony_ci	/* Copies the original layer stack. */
9762306a36Sopenharmony_ci	memcpy(new_rule->layers, layers,
9862306a36Sopenharmony_ci	       flex_array_size(new_rule, layers, num_layers));
9962306a36Sopenharmony_ci	if (new_layer)
10062306a36Sopenharmony_ci		/* Adds a copy of @new_layer on the layer stack. */
10162306a36Sopenharmony_ci		new_rule->layers[new_rule->num_layers - 1] = *new_layer;
10262306a36Sopenharmony_ci	return new_rule;
10362306a36Sopenharmony_ci}
10462306a36Sopenharmony_ci
10562306a36Sopenharmony_cistatic void free_rule(struct landlock_rule *const rule)
10662306a36Sopenharmony_ci{
10762306a36Sopenharmony_ci	might_sleep();
10862306a36Sopenharmony_ci	if (!rule)
10962306a36Sopenharmony_ci		return;
11062306a36Sopenharmony_ci	landlock_put_object(rule->object);
11162306a36Sopenharmony_ci	kfree(rule);
11262306a36Sopenharmony_ci}
11362306a36Sopenharmony_ci
11462306a36Sopenharmony_cistatic void build_check_ruleset(void)
11562306a36Sopenharmony_ci{
11662306a36Sopenharmony_ci	const struct landlock_ruleset ruleset = {
11762306a36Sopenharmony_ci		.num_rules = ~0,
11862306a36Sopenharmony_ci		.num_layers = ~0,
11962306a36Sopenharmony_ci	};
12062306a36Sopenharmony_ci	typeof(ruleset.fs_access_masks[0]) fs_access_mask = ~0;
12162306a36Sopenharmony_ci
12262306a36Sopenharmony_ci	BUILD_BUG_ON(ruleset.num_rules < LANDLOCK_MAX_NUM_RULES);
12362306a36Sopenharmony_ci	BUILD_BUG_ON(ruleset.num_layers < LANDLOCK_MAX_NUM_LAYERS);
12462306a36Sopenharmony_ci	BUILD_BUG_ON(fs_access_mask < LANDLOCK_MASK_ACCESS_FS);
12562306a36Sopenharmony_ci}
12662306a36Sopenharmony_ci
12762306a36Sopenharmony_ci/**
12862306a36Sopenharmony_ci * insert_rule - Create and insert a rule in a ruleset
12962306a36Sopenharmony_ci *
13062306a36Sopenharmony_ci * @ruleset: The ruleset to be updated.
13162306a36Sopenharmony_ci * @object: The object to build the new rule with.  The underlying kernel
13262306a36Sopenharmony_ci *          object must be held by the caller.
13362306a36Sopenharmony_ci * @layers: One or multiple layers to be copied into the new rule.
13462306a36Sopenharmony_ci * @num_layers: The number of @layers entries.
13562306a36Sopenharmony_ci *
13662306a36Sopenharmony_ci * When user space requests to add a new rule to a ruleset, @layers only
13762306a36Sopenharmony_ci * contains one entry and this entry is not assigned to any level.  In this
13862306a36Sopenharmony_ci * case, the new rule will extend @ruleset, similarly to a boolean OR between
13962306a36Sopenharmony_ci * access rights.
14062306a36Sopenharmony_ci *
14162306a36Sopenharmony_ci * When merging a ruleset in a domain, or copying a domain, @layers will be
14262306a36Sopenharmony_ci * added to @ruleset as new constraints, similarly to a boolean AND between
14362306a36Sopenharmony_ci * access rights.
14462306a36Sopenharmony_ci */
14562306a36Sopenharmony_cistatic int insert_rule(struct landlock_ruleset *const ruleset,
14662306a36Sopenharmony_ci		       struct landlock_object *const object,
14762306a36Sopenharmony_ci		       const struct landlock_layer (*const layers)[],
14862306a36Sopenharmony_ci		       size_t num_layers)
14962306a36Sopenharmony_ci{
15062306a36Sopenharmony_ci	struct rb_node **walker_node;
15162306a36Sopenharmony_ci	struct rb_node *parent_node = NULL;
15262306a36Sopenharmony_ci	struct landlock_rule *new_rule;
15362306a36Sopenharmony_ci
15462306a36Sopenharmony_ci	might_sleep();
15562306a36Sopenharmony_ci	lockdep_assert_held(&ruleset->lock);
15662306a36Sopenharmony_ci	if (WARN_ON_ONCE(!object || !layers))
15762306a36Sopenharmony_ci		return -ENOENT;
15862306a36Sopenharmony_ci	walker_node = &(ruleset->root.rb_node);
15962306a36Sopenharmony_ci	while (*walker_node) {
16062306a36Sopenharmony_ci		struct landlock_rule *const this =
16162306a36Sopenharmony_ci			rb_entry(*walker_node, struct landlock_rule, node);
16262306a36Sopenharmony_ci
16362306a36Sopenharmony_ci		if (this->object != object) {
16462306a36Sopenharmony_ci			parent_node = *walker_node;
16562306a36Sopenharmony_ci			if (this->object < object)
16662306a36Sopenharmony_ci				walker_node = &((*walker_node)->rb_right);
16762306a36Sopenharmony_ci			else
16862306a36Sopenharmony_ci				walker_node = &((*walker_node)->rb_left);
16962306a36Sopenharmony_ci			continue;
17062306a36Sopenharmony_ci		}
17162306a36Sopenharmony_ci
17262306a36Sopenharmony_ci		/* Only a single-level layer should match an existing rule. */
17362306a36Sopenharmony_ci		if (WARN_ON_ONCE(num_layers != 1))
17462306a36Sopenharmony_ci			return -EINVAL;
17562306a36Sopenharmony_ci
17662306a36Sopenharmony_ci		/* If there is a matching rule, updates it. */
17762306a36Sopenharmony_ci		if ((*layers)[0].level == 0) {
17862306a36Sopenharmony_ci			/*
17962306a36Sopenharmony_ci			 * Extends access rights when the request comes from
18062306a36Sopenharmony_ci			 * landlock_add_rule(2), i.e. @ruleset is not a domain.
18162306a36Sopenharmony_ci			 */
18262306a36Sopenharmony_ci			if (WARN_ON_ONCE(this->num_layers != 1))
18362306a36Sopenharmony_ci				return -EINVAL;
18462306a36Sopenharmony_ci			if (WARN_ON_ONCE(this->layers[0].level != 0))
18562306a36Sopenharmony_ci				return -EINVAL;
18662306a36Sopenharmony_ci			this->layers[0].access |= (*layers)[0].access;
18762306a36Sopenharmony_ci			return 0;
18862306a36Sopenharmony_ci		}
18962306a36Sopenharmony_ci
19062306a36Sopenharmony_ci		if (WARN_ON_ONCE(this->layers[0].level == 0))
19162306a36Sopenharmony_ci			return -EINVAL;
19262306a36Sopenharmony_ci
19362306a36Sopenharmony_ci		/*
19462306a36Sopenharmony_ci		 * Intersects access rights when it is a merge between a
19562306a36Sopenharmony_ci		 * ruleset and a domain.
19662306a36Sopenharmony_ci		 */
19762306a36Sopenharmony_ci		new_rule = create_rule(object, &this->layers, this->num_layers,
19862306a36Sopenharmony_ci				       &(*layers)[0]);
19962306a36Sopenharmony_ci		if (IS_ERR(new_rule))
20062306a36Sopenharmony_ci			return PTR_ERR(new_rule);
20162306a36Sopenharmony_ci		rb_replace_node(&this->node, &new_rule->node, &ruleset->root);
20262306a36Sopenharmony_ci		free_rule(this);
20362306a36Sopenharmony_ci		return 0;
20462306a36Sopenharmony_ci	}
20562306a36Sopenharmony_ci
20662306a36Sopenharmony_ci	/* There is no match for @object. */
20762306a36Sopenharmony_ci	build_check_ruleset();
20862306a36Sopenharmony_ci	if (ruleset->num_rules >= LANDLOCK_MAX_NUM_RULES)
20962306a36Sopenharmony_ci		return -E2BIG;
21062306a36Sopenharmony_ci	new_rule = create_rule(object, layers, num_layers, NULL);
21162306a36Sopenharmony_ci	if (IS_ERR(new_rule))
21262306a36Sopenharmony_ci		return PTR_ERR(new_rule);
21362306a36Sopenharmony_ci	rb_link_node(&new_rule->node, parent_node, walker_node);
21462306a36Sopenharmony_ci	rb_insert_color(&new_rule->node, &ruleset->root);
21562306a36Sopenharmony_ci	ruleset->num_rules++;
21662306a36Sopenharmony_ci	return 0;
21762306a36Sopenharmony_ci}
21862306a36Sopenharmony_ci
21962306a36Sopenharmony_cistatic void build_check_layer(void)
22062306a36Sopenharmony_ci{
22162306a36Sopenharmony_ci	const struct landlock_layer layer = {
22262306a36Sopenharmony_ci		.level = ~0,
22362306a36Sopenharmony_ci		.access = ~0,
22462306a36Sopenharmony_ci	};
22562306a36Sopenharmony_ci
22662306a36Sopenharmony_ci	BUILD_BUG_ON(layer.level < LANDLOCK_MAX_NUM_LAYERS);
22762306a36Sopenharmony_ci	BUILD_BUG_ON(layer.access < LANDLOCK_MASK_ACCESS_FS);
22862306a36Sopenharmony_ci}
22962306a36Sopenharmony_ci
23062306a36Sopenharmony_ci/* @ruleset must be locked by the caller. */
23162306a36Sopenharmony_ciint landlock_insert_rule(struct landlock_ruleset *const ruleset,
23262306a36Sopenharmony_ci			 struct landlock_object *const object,
23362306a36Sopenharmony_ci			 const access_mask_t access)
23462306a36Sopenharmony_ci{
23562306a36Sopenharmony_ci	struct landlock_layer layers[] = { {
23662306a36Sopenharmony_ci		.access = access,
23762306a36Sopenharmony_ci		/* When @level is zero, insert_rule() extends @ruleset. */
23862306a36Sopenharmony_ci		.level = 0,
23962306a36Sopenharmony_ci	} };
24062306a36Sopenharmony_ci
24162306a36Sopenharmony_ci	build_check_layer();
24262306a36Sopenharmony_ci	return insert_rule(ruleset, object, &layers, ARRAY_SIZE(layers));
24362306a36Sopenharmony_ci}
24462306a36Sopenharmony_ci
24562306a36Sopenharmony_cistatic inline void get_hierarchy(struct landlock_hierarchy *const hierarchy)
24662306a36Sopenharmony_ci{
24762306a36Sopenharmony_ci	if (hierarchy)
24862306a36Sopenharmony_ci		refcount_inc(&hierarchy->usage);
24962306a36Sopenharmony_ci}
25062306a36Sopenharmony_ci
25162306a36Sopenharmony_cistatic void put_hierarchy(struct landlock_hierarchy *hierarchy)
25262306a36Sopenharmony_ci{
25362306a36Sopenharmony_ci	while (hierarchy && refcount_dec_and_test(&hierarchy->usage)) {
25462306a36Sopenharmony_ci		const struct landlock_hierarchy *const freeme = hierarchy;
25562306a36Sopenharmony_ci
25662306a36Sopenharmony_ci		hierarchy = hierarchy->parent;
25762306a36Sopenharmony_ci		kfree(freeme);
25862306a36Sopenharmony_ci	}
25962306a36Sopenharmony_ci}
26062306a36Sopenharmony_ci
26162306a36Sopenharmony_cistatic int merge_ruleset(struct landlock_ruleset *const dst,
26262306a36Sopenharmony_ci			 struct landlock_ruleset *const src)
26362306a36Sopenharmony_ci{
26462306a36Sopenharmony_ci	struct landlock_rule *walker_rule, *next_rule;
26562306a36Sopenharmony_ci	int err = 0;
26662306a36Sopenharmony_ci
26762306a36Sopenharmony_ci	might_sleep();
26862306a36Sopenharmony_ci	/* Should already be checked by landlock_merge_ruleset() */
26962306a36Sopenharmony_ci	if (WARN_ON_ONCE(!src))
27062306a36Sopenharmony_ci		return 0;
27162306a36Sopenharmony_ci	/* Only merge into a domain. */
27262306a36Sopenharmony_ci	if (WARN_ON_ONCE(!dst || !dst->hierarchy))
27362306a36Sopenharmony_ci		return -EINVAL;
27462306a36Sopenharmony_ci
27562306a36Sopenharmony_ci	/* Locks @dst first because we are its only owner. */
27662306a36Sopenharmony_ci	mutex_lock(&dst->lock);
27762306a36Sopenharmony_ci	mutex_lock_nested(&src->lock, SINGLE_DEPTH_NESTING);
27862306a36Sopenharmony_ci
27962306a36Sopenharmony_ci	/* Stacks the new layer. */
28062306a36Sopenharmony_ci	if (WARN_ON_ONCE(src->num_layers != 1 || dst->num_layers < 1)) {
28162306a36Sopenharmony_ci		err = -EINVAL;
28262306a36Sopenharmony_ci		goto out_unlock;
28362306a36Sopenharmony_ci	}
28462306a36Sopenharmony_ci	dst->fs_access_masks[dst->num_layers - 1] = src->fs_access_masks[0];
28562306a36Sopenharmony_ci
28662306a36Sopenharmony_ci	/* Merges the @src tree. */
28762306a36Sopenharmony_ci	rbtree_postorder_for_each_entry_safe(walker_rule, next_rule, &src->root,
28862306a36Sopenharmony_ci					     node) {
28962306a36Sopenharmony_ci		struct landlock_layer layers[] = { {
29062306a36Sopenharmony_ci			.level = dst->num_layers,
29162306a36Sopenharmony_ci		} };
29262306a36Sopenharmony_ci
29362306a36Sopenharmony_ci		if (WARN_ON_ONCE(walker_rule->num_layers != 1)) {
29462306a36Sopenharmony_ci			err = -EINVAL;
29562306a36Sopenharmony_ci			goto out_unlock;
29662306a36Sopenharmony_ci		}
29762306a36Sopenharmony_ci		if (WARN_ON_ONCE(walker_rule->layers[0].level != 0)) {
29862306a36Sopenharmony_ci			err = -EINVAL;
29962306a36Sopenharmony_ci			goto out_unlock;
30062306a36Sopenharmony_ci		}
30162306a36Sopenharmony_ci		layers[0].access = walker_rule->layers[0].access;
30262306a36Sopenharmony_ci		err = insert_rule(dst, walker_rule->object, &layers,
30362306a36Sopenharmony_ci				  ARRAY_SIZE(layers));
30462306a36Sopenharmony_ci		if (err)
30562306a36Sopenharmony_ci			goto out_unlock;
30662306a36Sopenharmony_ci	}
30762306a36Sopenharmony_ci
30862306a36Sopenharmony_ciout_unlock:
30962306a36Sopenharmony_ci	mutex_unlock(&src->lock);
31062306a36Sopenharmony_ci	mutex_unlock(&dst->lock);
31162306a36Sopenharmony_ci	return err;
31262306a36Sopenharmony_ci}
31362306a36Sopenharmony_ci
31462306a36Sopenharmony_cistatic int inherit_ruleset(struct landlock_ruleset *const parent,
31562306a36Sopenharmony_ci			   struct landlock_ruleset *const child)
31662306a36Sopenharmony_ci{
31762306a36Sopenharmony_ci	struct landlock_rule *walker_rule, *next_rule;
31862306a36Sopenharmony_ci	int err = 0;
31962306a36Sopenharmony_ci
32062306a36Sopenharmony_ci	might_sleep();
32162306a36Sopenharmony_ci	if (!parent)
32262306a36Sopenharmony_ci		return 0;
32362306a36Sopenharmony_ci
32462306a36Sopenharmony_ci	/* Locks @child first because we are its only owner. */
32562306a36Sopenharmony_ci	mutex_lock(&child->lock);
32662306a36Sopenharmony_ci	mutex_lock_nested(&parent->lock, SINGLE_DEPTH_NESTING);
32762306a36Sopenharmony_ci
32862306a36Sopenharmony_ci	/* Copies the @parent tree. */
32962306a36Sopenharmony_ci	rbtree_postorder_for_each_entry_safe(walker_rule, next_rule,
33062306a36Sopenharmony_ci					     &parent->root, node) {
33162306a36Sopenharmony_ci		err = insert_rule(child, walker_rule->object,
33262306a36Sopenharmony_ci				  &walker_rule->layers,
33362306a36Sopenharmony_ci				  walker_rule->num_layers);
33462306a36Sopenharmony_ci		if (err)
33562306a36Sopenharmony_ci			goto out_unlock;
33662306a36Sopenharmony_ci	}
33762306a36Sopenharmony_ci
33862306a36Sopenharmony_ci	if (WARN_ON_ONCE(child->num_layers <= parent->num_layers)) {
33962306a36Sopenharmony_ci		err = -EINVAL;
34062306a36Sopenharmony_ci		goto out_unlock;
34162306a36Sopenharmony_ci	}
34262306a36Sopenharmony_ci	/* Copies the parent layer stack and leaves a space for the new layer. */
34362306a36Sopenharmony_ci	memcpy(child->fs_access_masks, parent->fs_access_masks,
34462306a36Sopenharmony_ci	       flex_array_size(parent, fs_access_masks, parent->num_layers));
34562306a36Sopenharmony_ci
34662306a36Sopenharmony_ci	if (WARN_ON_ONCE(!parent->hierarchy)) {
34762306a36Sopenharmony_ci		err = -EINVAL;
34862306a36Sopenharmony_ci		goto out_unlock;
34962306a36Sopenharmony_ci	}
35062306a36Sopenharmony_ci	get_hierarchy(parent->hierarchy);
35162306a36Sopenharmony_ci	child->hierarchy->parent = parent->hierarchy;
35262306a36Sopenharmony_ci
35362306a36Sopenharmony_ciout_unlock:
35462306a36Sopenharmony_ci	mutex_unlock(&parent->lock);
35562306a36Sopenharmony_ci	mutex_unlock(&child->lock);
35662306a36Sopenharmony_ci	return err;
35762306a36Sopenharmony_ci}
35862306a36Sopenharmony_ci
35962306a36Sopenharmony_cistatic void free_ruleset(struct landlock_ruleset *const ruleset)
36062306a36Sopenharmony_ci{
36162306a36Sopenharmony_ci	struct landlock_rule *freeme, *next;
36262306a36Sopenharmony_ci
36362306a36Sopenharmony_ci	might_sleep();
36462306a36Sopenharmony_ci	rbtree_postorder_for_each_entry_safe(freeme, next, &ruleset->root, node)
36562306a36Sopenharmony_ci		free_rule(freeme);
36662306a36Sopenharmony_ci	put_hierarchy(ruleset->hierarchy);
36762306a36Sopenharmony_ci	kfree(ruleset);
36862306a36Sopenharmony_ci}
36962306a36Sopenharmony_ci
37062306a36Sopenharmony_civoid landlock_put_ruleset(struct landlock_ruleset *const ruleset)
37162306a36Sopenharmony_ci{
37262306a36Sopenharmony_ci	might_sleep();
37362306a36Sopenharmony_ci	if (ruleset && refcount_dec_and_test(&ruleset->usage))
37462306a36Sopenharmony_ci		free_ruleset(ruleset);
37562306a36Sopenharmony_ci}
37662306a36Sopenharmony_ci
37762306a36Sopenharmony_cistatic void free_ruleset_work(struct work_struct *const work)
37862306a36Sopenharmony_ci{
37962306a36Sopenharmony_ci	struct landlock_ruleset *ruleset;
38062306a36Sopenharmony_ci
38162306a36Sopenharmony_ci	ruleset = container_of(work, struct landlock_ruleset, work_free);
38262306a36Sopenharmony_ci	free_ruleset(ruleset);
38362306a36Sopenharmony_ci}
38462306a36Sopenharmony_ci
38562306a36Sopenharmony_civoid landlock_put_ruleset_deferred(struct landlock_ruleset *const ruleset)
38662306a36Sopenharmony_ci{
38762306a36Sopenharmony_ci	if (ruleset && refcount_dec_and_test(&ruleset->usage)) {
38862306a36Sopenharmony_ci		INIT_WORK(&ruleset->work_free, free_ruleset_work);
38962306a36Sopenharmony_ci		schedule_work(&ruleset->work_free);
39062306a36Sopenharmony_ci	}
39162306a36Sopenharmony_ci}
39262306a36Sopenharmony_ci
39362306a36Sopenharmony_ci/**
39462306a36Sopenharmony_ci * landlock_merge_ruleset - Merge a ruleset with a domain
39562306a36Sopenharmony_ci *
39662306a36Sopenharmony_ci * @parent: Parent domain.
39762306a36Sopenharmony_ci * @ruleset: New ruleset to be merged.
39862306a36Sopenharmony_ci *
39962306a36Sopenharmony_ci * Returns the intersection of @parent and @ruleset, or returns @parent if
40062306a36Sopenharmony_ci * @ruleset is empty, or returns a duplicate of @ruleset if @parent is empty.
40162306a36Sopenharmony_ci */
40262306a36Sopenharmony_cistruct landlock_ruleset *
40362306a36Sopenharmony_cilandlock_merge_ruleset(struct landlock_ruleset *const parent,
40462306a36Sopenharmony_ci		       struct landlock_ruleset *const ruleset)
40562306a36Sopenharmony_ci{
40662306a36Sopenharmony_ci	struct landlock_ruleset *new_dom;
40762306a36Sopenharmony_ci	u32 num_layers;
40862306a36Sopenharmony_ci	int err;
40962306a36Sopenharmony_ci
41062306a36Sopenharmony_ci	might_sleep();
41162306a36Sopenharmony_ci	if (WARN_ON_ONCE(!ruleset || parent == ruleset))
41262306a36Sopenharmony_ci		return ERR_PTR(-EINVAL);
41362306a36Sopenharmony_ci
41462306a36Sopenharmony_ci	if (parent) {
41562306a36Sopenharmony_ci		if (parent->num_layers >= LANDLOCK_MAX_NUM_LAYERS)
41662306a36Sopenharmony_ci			return ERR_PTR(-E2BIG);
41762306a36Sopenharmony_ci		num_layers = parent->num_layers + 1;
41862306a36Sopenharmony_ci	} else {
41962306a36Sopenharmony_ci		num_layers = 1;
42062306a36Sopenharmony_ci	}
42162306a36Sopenharmony_ci
42262306a36Sopenharmony_ci	/* Creates a new domain... */
42362306a36Sopenharmony_ci	new_dom = create_ruleset(num_layers);
42462306a36Sopenharmony_ci	if (IS_ERR(new_dom))
42562306a36Sopenharmony_ci		return new_dom;
42662306a36Sopenharmony_ci	new_dom->hierarchy =
42762306a36Sopenharmony_ci		kzalloc(sizeof(*new_dom->hierarchy), GFP_KERNEL_ACCOUNT);
42862306a36Sopenharmony_ci	if (!new_dom->hierarchy) {
42962306a36Sopenharmony_ci		err = -ENOMEM;
43062306a36Sopenharmony_ci		goto out_put_dom;
43162306a36Sopenharmony_ci	}
43262306a36Sopenharmony_ci	refcount_set(&new_dom->hierarchy->usage, 1);
43362306a36Sopenharmony_ci
43462306a36Sopenharmony_ci	/* ...as a child of @parent... */
43562306a36Sopenharmony_ci	err = inherit_ruleset(parent, new_dom);
43662306a36Sopenharmony_ci	if (err)
43762306a36Sopenharmony_ci		goto out_put_dom;
43862306a36Sopenharmony_ci
43962306a36Sopenharmony_ci	/* ...and including @ruleset. */
44062306a36Sopenharmony_ci	err = merge_ruleset(new_dom, ruleset);
44162306a36Sopenharmony_ci	if (err)
44262306a36Sopenharmony_ci		goto out_put_dom;
44362306a36Sopenharmony_ci
44462306a36Sopenharmony_ci	return new_dom;
44562306a36Sopenharmony_ci
44662306a36Sopenharmony_ciout_put_dom:
44762306a36Sopenharmony_ci	landlock_put_ruleset(new_dom);
44862306a36Sopenharmony_ci	return ERR_PTR(err);
44962306a36Sopenharmony_ci}
45062306a36Sopenharmony_ci
45162306a36Sopenharmony_ci/*
45262306a36Sopenharmony_ci * The returned access has the same lifetime as @ruleset.
45362306a36Sopenharmony_ci */
45462306a36Sopenharmony_ciconst struct landlock_rule *
45562306a36Sopenharmony_cilandlock_find_rule(const struct landlock_ruleset *const ruleset,
45662306a36Sopenharmony_ci		   const struct landlock_object *const object)
45762306a36Sopenharmony_ci{
45862306a36Sopenharmony_ci	const struct rb_node *node;
45962306a36Sopenharmony_ci
46062306a36Sopenharmony_ci	if (!object)
46162306a36Sopenharmony_ci		return NULL;
46262306a36Sopenharmony_ci	node = ruleset->root.rb_node;
46362306a36Sopenharmony_ci	while (node) {
46462306a36Sopenharmony_ci		struct landlock_rule *this =
46562306a36Sopenharmony_ci			rb_entry(node, struct landlock_rule, node);
46662306a36Sopenharmony_ci
46762306a36Sopenharmony_ci		if (this->object == object)
46862306a36Sopenharmony_ci			return this;
46962306a36Sopenharmony_ci		if (this->object < object)
47062306a36Sopenharmony_ci			node = node->rb_right;
47162306a36Sopenharmony_ci		else
47262306a36Sopenharmony_ci			node = node->rb_left;
47362306a36Sopenharmony_ci	}
47462306a36Sopenharmony_ci	return NULL;
47562306a36Sopenharmony_ci}
476