Thomas Gleixner | b886d83 | 2019-06-01 10:08:55 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2008 IBM Corporation |
| 4 | * |
| 5 | * Authors: |
| 6 | * Mimi Zohar <zohar@us.ibm.com> |
| 7 | * |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 8 | * File: integrity_iint.c |
| 9 | * - implements the integrity hooks: integrity_inode_alloc, |
| 10 | * integrity_inode_free |
| 11 | * - cache integrity information associated with an inode |
| 12 | * using a rbtree tree. |
| 13 | */ |
| 14 | #include <linux/slab.h> |
Paul Gortmaker | 876979c | 2018-12-09 15:36:29 -0500 | [diff] [blame] | 15 | #include <linux/init.h> |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 16 | #include <linux/spinlock.h> |
| 17 | #include <linux/rbtree.h> |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 18 | #include <linux/file.h> |
| 19 | #include <linux/uaccess.h> |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 20 | #include <linux/security.h> |
Kees Cook | 5b89c1b | 2018-10-10 17:18:21 -0700 | [diff] [blame] | 21 | #include <linux/lsm_hooks.h> |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 22 | #include "integrity.h" |
| 23 | |
| 24 | static struct rb_root integrity_iint_tree = RB_ROOT; |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 25 | static DEFINE_RWLOCK(integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 26 | static struct kmem_cache *iint_cache __read_mostly; |
| 27 | |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 28 | struct dentry *integrity_dir; |
| 29 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 30 | /* |
| 31 | * __integrity_iint_find - return the iint associated with an inode |
| 32 | */ |
| 33 | static struct integrity_iint_cache *__integrity_iint_find(struct inode *inode) |
| 34 | { |
| 35 | struct integrity_iint_cache *iint; |
| 36 | struct rb_node *n = integrity_iint_tree.rb_node; |
| 37 | |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 38 | while (n) { |
| 39 | iint = rb_entry(n, struct integrity_iint_cache, rb_node); |
| 40 | |
| 41 | if (inode < iint->inode) |
| 42 | n = n->rb_left; |
| 43 | else if (inode > iint->inode) |
| 44 | n = n->rb_right; |
| 45 | else |
Tianjia Zhang | e7acd18 | 2023-06-01 14:42:44 +0800 | [diff] [blame] | 46 | return iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 47 | } |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 48 | |
Tianjia Zhang | e7acd18 | 2023-06-01 14:42:44 +0800 | [diff] [blame] | 49 | return NULL; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 50 | } |
| 51 | |
| 52 | /* |
| 53 | * integrity_iint_find - return the iint associated with an inode |
| 54 | */ |
| 55 | struct integrity_iint_cache *integrity_iint_find(struct inode *inode) |
| 56 | { |
| 57 | struct integrity_iint_cache *iint; |
| 58 | |
| 59 | if (!IS_IMA(inode)) |
| 60 | return NULL; |
| 61 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 62 | read_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 63 | iint = __integrity_iint_find(inode); |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 64 | read_unlock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 65 | |
| 66 | return iint; |
| 67 | } |
| 68 | |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 69 | #define IMA_MAX_NESTING (FILESYSTEM_MAX_STACK_DEPTH+1) |
| 70 | |
| 71 | /* |
| 72 | * It is not clear that IMA should be nested at all, but as long is it measures |
| 73 | * files both on overlayfs and on underlying fs, we need to annotate the iint |
| 74 | * mutex to avoid lockdep false positives related to IMA + overlayfs. |
| 75 | * See ovl_lockdep_annotate_inode_mutex_key() for more details. |
| 76 | */ |
| 77 | static inline void iint_lockdep_annotate(struct integrity_iint_cache *iint, |
| 78 | struct inode *inode) |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 79 | { |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 80 | #ifdef CONFIG_LOCKDEP |
| 81 | static struct lock_class_key iint_mutex_key[IMA_MAX_NESTING]; |
| 82 | |
| 83 | int depth = inode->i_sb->s_stack_depth; |
| 84 | |
| 85 | if (WARN_ON_ONCE(depth < 0 || depth >= IMA_MAX_NESTING)) |
| 86 | depth = 0; |
| 87 | |
| 88 | lockdep_set_class(&iint->mutex, &iint_mutex_key[depth]); |
| 89 | #endif |
| 90 | } |
| 91 | |
| 92 | static void iint_init_always(struct integrity_iint_cache *iint, |
| 93 | struct inode *inode) |
| 94 | { |
Dmitry Kasatkin | a35c3fb | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 95 | iint->ima_hash = NULL; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 96 | iint->version = 0; |
| 97 | iint->flags = 0UL; |
Mimi Zohar | e259807 | 2018-01-23 10:00:41 -0500 | [diff] [blame] | 98 | iint->atomic_flags = 0UL; |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 99 | iint->ima_file_status = INTEGRITY_UNKNOWN; |
| 100 | iint->ima_mmap_status = INTEGRITY_UNKNOWN; |
| 101 | iint->ima_bprm_status = INTEGRITY_UNKNOWN; |
Mimi Zohar | c6af8ef | 2015-11-19 12:39:22 -0500 | [diff] [blame] | 102 | iint->ima_read_status = INTEGRITY_UNKNOWN; |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 103 | iint->ima_creds_status = INTEGRITY_UNKNOWN; |
Dmitry Kasatkin | fb788d8 | 2011-08-15 15:30:11 +0300 | [diff] [blame] | 104 | iint->evm_status = INTEGRITY_UNKNOWN; |
Eric Richter | 96d450b | 2016-06-01 13:14:00 -0500 | [diff] [blame] | 105 | iint->measured_pcrs = 0; |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 106 | mutex_init(&iint->mutex); |
| 107 | iint_lockdep_annotate(iint, inode); |
| 108 | } |
| 109 | |
| 110 | static void iint_free(struct integrity_iint_cache *iint) |
| 111 | { |
| 112 | kfree(iint->ima_hash); |
| 113 | mutex_destroy(&iint->mutex); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 114 | kmem_cache_free(iint_cache, iint); |
| 115 | } |
| 116 | |
| 117 | /** |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 118 | * integrity_inode_get - find or allocate an iint associated with an inode |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 119 | * @inode: pointer to the inode |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 120 | * @return: allocated iint |
| 121 | * |
| 122 | * Caller must lock i_mutex |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 123 | */ |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 124 | struct integrity_iint_cache *integrity_inode_get(struct inode *inode) |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 125 | { |
| 126 | struct rb_node **p; |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 127 | struct rb_node *node, *parent = NULL; |
| 128 | struct integrity_iint_cache *iint, *test_iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 129 | |
Mimi Zohar | 92063f3 | 2021-03-19 11:17:23 -0400 | [diff] [blame] | 130 | /* |
| 131 | * The integrity's "iint_cache" is initialized at security_init(), |
| 132 | * unless it is not included in the ordered list of LSMs enabled |
| 133 | * on the boot command line. |
| 134 | */ |
| 135 | if (!iint_cache) |
| 136 | panic("%s: lsm=integrity required.\n", __func__); |
| 137 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 138 | iint = integrity_iint_find(inode); |
| 139 | if (iint) |
| 140 | return iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 141 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 142 | iint = kmem_cache_alloc(iint_cache, GFP_NOFS); |
| 143 | if (!iint) |
| 144 | return NULL; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 145 | |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 146 | iint_init_always(iint, inode); |
| 147 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 148 | write_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 149 | |
| 150 | p = &integrity_iint_tree.rb_node; |
| 151 | while (*p) { |
| 152 | parent = *p; |
| 153 | test_iint = rb_entry(parent, struct integrity_iint_cache, |
| 154 | rb_node); |
Tianjia Zhang | e7acd18 | 2023-06-01 14:42:44 +0800 | [diff] [blame] | 155 | if (inode < test_iint->inode) { |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 156 | p = &(*p)->rb_left; |
Tianjia Zhang | e7acd18 | 2023-06-01 14:42:44 +0800 | [diff] [blame] | 157 | } else if (inode > test_iint->inode) { |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 158 | p = &(*p)->rb_right; |
Tianjia Zhang | e7acd18 | 2023-06-01 14:42:44 +0800 | [diff] [blame] | 159 | } else { |
| 160 | write_unlock(&integrity_iint_lock); |
| 161 | kmem_cache_free(iint_cache, iint); |
| 162 | return test_iint; |
| 163 | } |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 164 | } |
| 165 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 166 | iint->inode = inode; |
| 167 | node = &iint->rb_node; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 168 | inode->i_flags |= S_IMA; |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 169 | rb_link_node(node, parent, p); |
| 170 | rb_insert_color(node, &integrity_iint_tree); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 171 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 172 | write_unlock(&integrity_iint_lock); |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 173 | return iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 174 | } |
| 175 | |
| 176 | /** |
| 177 | * integrity_inode_free - called on security_inode_free |
| 178 | * @inode: pointer to the inode |
| 179 | * |
| 180 | * Free the integrity information(iint) associated with an inode. |
| 181 | */ |
| 182 | void integrity_inode_free(struct inode *inode) |
| 183 | { |
| 184 | struct integrity_iint_cache *iint; |
| 185 | |
| 186 | if (!IS_IMA(inode)) |
| 187 | return; |
| 188 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 189 | write_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 190 | iint = __integrity_iint_find(inode); |
| 191 | rb_erase(&iint->rb_node, &integrity_iint_tree); |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 192 | write_unlock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 193 | |
| 194 | iint_free(iint); |
| 195 | } |
| 196 | |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 197 | static void iint_init_once(void *foo) |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 198 | { |
Jiele Zhao | 282c0a4 | 2021-04-07 01:44:38 +0000 | [diff] [blame] | 199 | struct integrity_iint_cache *iint = (struct integrity_iint_cache *) foo; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 200 | |
Dmitry Kasatkin | 2bb930a | 2014-03-04 18:04:20 +0200 | [diff] [blame] | 201 | memset(iint, 0, sizeof(*iint)); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 202 | } |
| 203 | |
| 204 | static int __init integrity_iintcache_init(void) |
| 205 | { |
| 206 | iint_cache = |
| 207 | kmem_cache_create("iint_cache", sizeof(struct integrity_iint_cache), |
Amir Goldstein | 4584a42 | 2023-10-05 14:15:58 +0300 | [diff] [blame] | 208 | 0, SLAB_PANIC, iint_init_once); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 209 | return 0; |
| 210 | } |
Kees Cook | 3d6e5f6 | 2018-10-10 17:18:23 -0700 | [diff] [blame] | 211 | DEFINE_LSM(integrity) = { |
Kees Cook | 07aed2f | 2018-10-10 17:18:24 -0700 | [diff] [blame] | 212 | .name = "integrity", |
Kees Cook | 3d6e5f6 | 2018-10-10 17:18:23 -0700 | [diff] [blame] | 213 | .init = integrity_iintcache_init, |
| 214 | }; |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 215 | |
| 216 | |
| 217 | /* |
| 218 | * integrity_kernel_read - read data from the file |
| 219 | * |
| 220 | * This is a function for reading file content instead of kernel_read(). |
| 221 | * It does not perform locking checks to ensure it cannot be blocked. |
| 222 | * It does not perform security checks because it is irrelevant for IMA. |
| 223 | * |
| 224 | */ |
| 225 | int integrity_kernel_read(struct file *file, loff_t offset, |
Thiago Jung Bauermann | bb543e3 | 2017-06-07 22:49:10 -0300 | [diff] [blame] | 226 | void *addr, unsigned long count) |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 227 | { |
Christoph Hellwig | a1f9b1c | 2020-05-08 08:54:27 +0200 | [diff] [blame] | 228 | return __kernel_read(file, addr, count, &offset); |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 229 | } |
| 230 | |
| 231 | /* |
Dmitry Kasatkin | c9cd2ce | 2014-11-05 17:01:15 +0200 | [diff] [blame] | 232 | * integrity_load_keys - load integrity keys hook |
| 233 | * |
| 234 | * Hooks is called from init/main.c:kernel_init_freeable() |
| 235 | * when rootfs is ready |
| 236 | */ |
| 237 | void __init integrity_load_keys(void) |
| 238 | { |
| 239 | ima_load_x509(); |
Roberto Sassu | aa2ead7 | 2021-05-14 17:27:43 +0200 | [diff] [blame] | 240 | |
| 241 | if (!IS_ENABLED(CONFIG_IMA_LOAD_X509)) |
| 242 | evm_load_x509(); |
Dmitry Kasatkin | c9cd2ce | 2014-11-05 17:01:15 +0200 | [diff] [blame] | 243 | } |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 244 | |
| 245 | static int __init integrity_fs_init(void) |
| 246 | { |
| 247 | integrity_dir = securityfs_create_dir("integrity", NULL); |
| 248 | if (IS_ERR(integrity_dir)) { |
Sudeep Holla | ac2409a | 2018-06-05 11:25:45 +0100 | [diff] [blame] | 249 | int ret = PTR_ERR(integrity_dir); |
| 250 | |
| 251 | if (ret != -ENODEV) |
| 252 | pr_err("Unable to create integrity sysfs dir: %d\n", |
| 253 | ret); |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 254 | integrity_dir = NULL; |
Sudeep Holla | ac2409a | 2018-06-05 11:25:45 +0100 | [diff] [blame] | 255 | return ret; |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 256 | } |
| 257 | |
| 258 | return 0; |
| 259 | } |
| 260 | |
| 261 | late_initcall(integrity_fs_init) |