Thomas Gleixner | b886d83c | 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 |
| 46 | break; |
| 47 | } |
| 48 | if (!n) |
| 49 | return NULL; |
| 50 | |
| 51 | return iint; |
| 52 | } |
| 53 | |
| 54 | /* |
| 55 | * integrity_iint_find - return the iint associated with an inode |
| 56 | */ |
| 57 | struct integrity_iint_cache *integrity_iint_find(struct inode *inode) |
| 58 | { |
| 59 | struct integrity_iint_cache *iint; |
| 60 | |
| 61 | if (!IS_IMA(inode)) |
| 62 | return NULL; |
| 63 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 64 | read_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 65 | iint = __integrity_iint_find(inode); |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 66 | read_unlock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 67 | |
| 68 | return iint; |
| 69 | } |
| 70 | |
| 71 | static void iint_free(struct integrity_iint_cache *iint) |
| 72 | { |
Dmitry Kasatkin | a35c3fb | 2013-04-25 10:44:04 +0300 | [diff] [blame] | 73 | kfree(iint->ima_hash); |
| 74 | iint->ima_hash = NULL; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 75 | iint->version = 0; |
| 76 | iint->flags = 0UL; |
Mimi Zohar | e259807 | 2018-01-23 10:00:41 -0500 | [diff] [blame] | 77 | iint->atomic_flags = 0UL; |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 78 | iint->ima_file_status = INTEGRITY_UNKNOWN; |
| 79 | iint->ima_mmap_status = INTEGRITY_UNKNOWN; |
| 80 | iint->ima_bprm_status = INTEGRITY_UNKNOWN; |
Mimi Zohar | c6af8ef | 2015-11-19 12:39:22 -0500 | [diff] [blame] | 81 | iint->ima_read_status = INTEGRITY_UNKNOWN; |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 82 | iint->ima_creds_status = INTEGRITY_UNKNOWN; |
Dmitry Kasatkin | fb788d8 | 2011-08-15 15:30:11 +0300 | [diff] [blame] | 83 | iint->evm_status = INTEGRITY_UNKNOWN; |
Eric Richter | 96d450b | 2016-06-01 13:14:00 -0500 | [diff] [blame] | 84 | iint->measured_pcrs = 0; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 85 | kmem_cache_free(iint_cache, iint); |
| 86 | } |
| 87 | |
| 88 | /** |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 89 | * integrity_inode_get - find or allocate an iint associated with an inode |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 90 | * @inode: pointer to the inode |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 91 | * @return: allocated iint |
| 92 | * |
| 93 | * Caller must lock i_mutex |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 94 | */ |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 95 | struct integrity_iint_cache *integrity_inode_get(struct inode *inode) |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 96 | { |
| 97 | struct rb_node **p; |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 98 | struct rb_node *node, *parent = NULL; |
| 99 | struct integrity_iint_cache *iint, *test_iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 100 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 101 | iint = integrity_iint_find(inode); |
| 102 | if (iint) |
| 103 | return iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 104 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 105 | iint = kmem_cache_alloc(iint_cache, GFP_NOFS); |
| 106 | if (!iint) |
| 107 | return NULL; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 108 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 109 | write_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 110 | |
| 111 | p = &integrity_iint_tree.rb_node; |
| 112 | while (*p) { |
| 113 | parent = *p; |
| 114 | test_iint = rb_entry(parent, struct integrity_iint_cache, |
| 115 | rb_node); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 116 | if (inode < test_iint->inode) |
| 117 | p = &(*p)->rb_left; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 118 | else |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 119 | p = &(*p)->rb_right; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 120 | } |
| 121 | |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 122 | iint->inode = inode; |
| 123 | node = &iint->rb_node; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 124 | inode->i_flags |= S_IMA; |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 125 | rb_link_node(node, parent, p); |
| 126 | rb_insert_color(node, &integrity_iint_tree); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 127 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 128 | write_unlock(&integrity_iint_lock); |
Dmitry Kasatkin | bf2276d | 2011-10-19 12:04:40 +0300 | [diff] [blame] | 129 | return iint; |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 130 | } |
| 131 | |
| 132 | /** |
| 133 | * integrity_inode_free - called on security_inode_free |
| 134 | * @inode: pointer to the inode |
| 135 | * |
| 136 | * Free the integrity information(iint) associated with an inode. |
| 137 | */ |
| 138 | void integrity_inode_free(struct inode *inode) |
| 139 | { |
| 140 | struct integrity_iint_cache *iint; |
| 141 | |
| 142 | if (!IS_IMA(inode)) |
| 143 | return; |
| 144 | |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 145 | write_lock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 146 | iint = __integrity_iint_find(inode); |
| 147 | rb_erase(&iint->rb_node, &integrity_iint_tree); |
Dmitry Kasatkin | a10bf26 | 2012-02-08 14:15:42 -0500 | [diff] [blame] | 148 | write_unlock(&integrity_iint_lock); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 149 | |
| 150 | iint_free(iint); |
| 151 | } |
| 152 | |
| 153 | static void init_once(void *foo) |
| 154 | { |
| 155 | struct integrity_iint_cache *iint = foo; |
| 156 | |
Dmitry Kasatkin | 2bb930a | 2014-03-04 18:04:20 +0200 | [diff] [blame] | 157 | memset(iint, 0, sizeof(*iint)); |
Mimi Zohar | d79d72e | 2012-12-03 17:08:11 -0500 | [diff] [blame] | 158 | iint->ima_file_status = INTEGRITY_UNKNOWN; |
| 159 | iint->ima_mmap_status = INTEGRITY_UNKNOWN; |
| 160 | iint->ima_bprm_status = INTEGRITY_UNKNOWN; |
Mimi Zohar | c6af8ef | 2015-11-19 12:39:22 -0500 | [diff] [blame] | 161 | iint->ima_read_status = INTEGRITY_UNKNOWN; |
Matthew Garrett | d906c10 | 2018-01-08 13:36:20 -0800 | [diff] [blame] | 162 | iint->ima_creds_status = INTEGRITY_UNKNOWN; |
Dmitry Kasatkin | 24e0198 | 2011-05-06 11:34:17 +0300 | [diff] [blame] | 163 | iint->evm_status = INTEGRITY_UNKNOWN; |
Dmitry Kasatkin | 0d73a55 | 2017-12-05 21:06:34 +0200 | [diff] [blame] | 164 | mutex_init(&iint->mutex); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 165 | } |
| 166 | |
| 167 | static int __init integrity_iintcache_init(void) |
| 168 | { |
| 169 | iint_cache = |
| 170 | kmem_cache_create("iint_cache", sizeof(struct integrity_iint_cache), |
| 171 | 0, SLAB_PANIC, init_once); |
Mimi Zohar | f381c27 | 2011-03-09 14:13:22 -0500 | [diff] [blame] | 172 | return 0; |
| 173 | } |
Kees Cook | 3d6e5f6 | 2018-10-10 17:18:23 -0700 | [diff] [blame] | 174 | DEFINE_LSM(integrity) = { |
Kees Cook | 07aed2f | 2018-10-10 17:18:24 -0700 | [diff] [blame] | 175 | .name = "integrity", |
Kees Cook | 3d6e5f6 | 2018-10-10 17:18:23 -0700 | [diff] [blame] | 176 | .init = integrity_iintcache_init, |
| 177 | }; |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 178 | |
| 179 | |
| 180 | /* |
| 181 | * integrity_kernel_read - read data from the file |
| 182 | * |
| 183 | * This is a function for reading file content instead of kernel_read(). |
| 184 | * It does not perform locking checks to ensure it cannot be blocked. |
| 185 | * It does not perform security checks because it is irrelevant for IMA. |
| 186 | * |
| 187 | */ |
| 188 | int integrity_kernel_read(struct file *file, loff_t offset, |
Thiago Jung Bauermann | bb543e3 | 2017-06-07 22:49:10 -0300 | [diff] [blame] | 189 | void *addr, unsigned long count) |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 190 | { |
Christoph Hellwig | a1f9b1c | 2020-05-08 08:54:27 +0200 | [diff] [blame] | 191 | return __kernel_read(file, addr, count, &offset); |
Dmitry Kasatkin | e3c4abb | 2014-11-05 17:01:12 +0200 | [diff] [blame] | 192 | } |
| 193 | |
| 194 | /* |
Dmitry Kasatkin | c9cd2ce | 2014-11-05 17:01:15 +0200 | [diff] [blame] | 195 | * integrity_load_keys - load integrity keys hook |
| 196 | * |
| 197 | * Hooks is called from init/main.c:kernel_init_freeable() |
| 198 | * when rootfs is ready |
| 199 | */ |
| 200 | void __init integrity_load_keys(void) |
| 201 | { |
| 202 | ima_load_x509(); |
Dmitry Kasatkin | 2ce523e | 2015-10-22 21:26:21 +0300 | [diff] [blame] | 203 | evm_load_x509(); |
Dmitry Kasatkin | c9cd2ce | 2014-11-05 17:01:15 +0200 | [diff] [blame] | 204 | } |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 205 | |
| 206 | static int __init integrity_fs_init(void) |
| 207 | { |
| 208 | integrity_dir = securityfs_create_dir("integrity", NULL); |
| 209 | if (IS_ERR(integrity_dir)) { |
Sudeep Holla | ac2409a | 2018-06-05 11:25:45 +0100 | [diff] [blame] | 210 | int ret = PTR_ERR(integrity_dir); |
| 211 | |
| 212 | if (ret != -ENODEV) |
| 213 | pr_err("Unable to create integrity sysfs dir: %d\n", |
| 214 | ret); |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 215 | integrity_dir = NULL; |
Sudeep Holla | ac2409a | 2018-06-05 11:25:45 +0100 | [diff] [blame] | 216 | return ret; |
Matthew Garrett | 0c343af | 2018-05-11 16:12:34 -0700 | [diff] [blame] | 217 | } |
| 218 | |
| 219 | return 0; |
| 220 | } |
| 221 | |
| 222 | late_initcall(integrity_fs_init) |