blob: 2f9b5d50424ec237ac0410836990de98ca40308d [file] [log] [blame]
Mimi Zohar3323eec2009-02-04 09:06:58 -05001/*
2 * Copyright (C) 2005,2006,2007,2008 IBM Corporation
3 *
4 * Authors:
5 * Reiner Sailer <sailer@watson.ibm.com>
6 * Serge Hallyn <serue@us.ibm.com>
7 * Kylene Hall <kylene@us.ibm.com>
8 * Mimi Zohar <zohar@us.ibm.com>
9 *
10 * This program is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU General Public License as
12 * published by the Free Software Foundation, version 2 of the
13 * License.
14 *
15 * File: ima_main.c
Eric Parise0d5bd22009-12-04 15:48:00 -050016 * implements the IMA hooks: ima_bprm_check, ima_file_mmap,
Mimi Zohar9bbb6ca2010-01-26 17:02:40 -050017 * and ima_file_check.
Mimi Zohar3323eec2009-02-04 09:06:58 -050018 */
19#include <linux/module.h>
20#include <linux/file.h>
21#include <linux/binfmts.h>
22#include <linux/mount.h>
23#include <linux/mman.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090024#include <linux/slab.h>
Mimi Zohar3323eec2009-02-04 09:06:58 -050025
26#include "ima.h"
27
28int ima_initialized;
29
30char *ima_hash = "sha1";
31static int __init hash_setup(char *str)
32{
Mimi Zohar07ff7a02009-05-05 13:13:10 -040033 if (strncmp(str, "md5", 3) == 0)
34 ima_hash = "md5";
Mimi Zohar3323eec2009-02-04 09:06:58 -050035 return 1;
36}
37__setup("ima_hash=", hash_setup);
38
Mimi Zohard1625432009-12-04 15:48:40 -050039struct ima_imbalance {
40 struct hlist_node node;
41 unsigned long fsmagic;
42};
43
44/*
45 * ima_limit_imbalance - emit one imbalance message per filesystem type
46 *
47 * Maintain list of filesystem types that do not measure files properly.
48 * Return false if unknown, true if known.
49 */
50static bool ima_limit_imbalance(struct file *file)
51{
52 static DEFINE_SPINLOCK(ima_imbalance_lock);
53 static HLIST_HEAD(ima_imbalance_list);
54
55 struct super_block *sb = file->f_dentry->d_sb;
56 struct ima_imbalance *entry;
57 struct hlist_node *node;
58 bool found = false;
59
60 rcu_read_lock();
61 hlist_for_each_entry_rcu(entry, node, &ima_imbalance_list, node) {
62 if (entry->fsmagic == sb->s_magic) {
63 found = true;
64 break;
65 }
66 }
67 rcu_read_unlock();
68 if (found)
69 goto out;
70
71 entry = kmalloc(sizeof(*entry), GFP_NOFS);
72 if (!entry)
73 goto out;
74 entry->fsmagic = sb->s_magic;
75 spin_lock(&ima_imbalance_lock);
76 /*
77 * we could have raced and something else might have added this fs
78 * to the list, but we don't really care
79 */
80 hlist_add_head_rcu(&entry->node, &ima_imbalance_list);
81 spin_unlock(&ima_imbalance_lock);
82 printk(KERN_INFO "IMA: unmeasured files on fsmagic: %lX\n",
83 entry->fsmagic);
84out:
85 return found;
86}
87
Eric Parise0d5bd22009-12-04 15:48:00 -050088/*
89 * Update the counts given an fmode_t
90 */
91static void ima_inc_counts(struct ima_iint_cache *iint, fmode_t mode)
92{
Eric Parisad16ad02010-10-25 14:41:45 -040093 assert_spin_locked(&iint->inode->i_lock);
Eric Parise0d5bd22009-12-04 15:48:00 -050094
Eric Parise0d5bd22009-12-04 15:48:00 -050095 if ((mode & (FMODE_READ | FMODE_WRITE)) == FMODE_READ)
96 iint->readcount++;
97 if (mode & FMODE_WRITE)
98 iint->writecount++;
99}
100
101/*
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500102 * ima_counts_get - increment file counts
103 *
104 * Maintain read/write counters for all files, but only
105 * invalidate the PCR for measured files:
106 * - Opening a file for write when already open for read,
107 * results in a time of measure, time of use (ToMToU) error.
108 * - Opening a file for read when already open for write,
109 * could result in a file measurement error.
110 *
111 */
112void ima_counts_get(struct file *file)
113{
114 struct dentry *dentry = file->f_path.dentry;
115 struct inode *inode = dentry->d_inode;
116 fmode_t mode = file->f_mode;
117 struct ima_iint_cache *iint;
118 int rc;
Eric Parisad16ad02010-10-25 14:41:45 -0400119 bool send_tomtou = false, send_writers = false;
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500120
Mimi Zohare9505982010-08-31 09:38:51 -0400121 if (!iint_initialized || !S_ISREG(inode->i_mode))
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500122 return;
123 iint = ima_iint_find_get(inode);
124 if (!iint)
125 return;
126 mutex_lock(&iint->mutex);
Eric Parisad16ad02010-10-25 14:41:45 -0400127 spin_lock(&inode->i_lock);
128
Mimi Zohare9505982010-08-31 09:38:51 -0400129 if (!ima_initialized)
130 goto out;
Eric Parisad16ad02010-10-25 14:41:45 -0400131
Mimi Zohar1e93d002010-01-26 17:02:41 -0500132 rc = ima_must_measure(iint, inode, MAY_READ, FILE_CHECK);
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500133 if (rc < 0)
134 goto out;
135
136 if (mode & FMODE_WRITE) {
Eric Parisad16ad02010-10-25 14:41:45 -0400137 if (iint->readcount)
138 send_tomtou = true;
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500139 goto out;
140 }
Eric Parisad16ad02010-10-25 14:41:45 -0400141
142 if (atomic_read(&inode->i_writecount) > 0)
143 send_writers = true;
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500144out:
145 ima_inc_counts(iint, file->f_mode);
Eric Parisad16ad02010-10-25 14:41:45 -0400146 spin_unlock(&inode->i_lock);
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500147 mutex_unlock(&iint->mutex);
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500148 kref_put(&iint->refcount, iint_free);
Eric Parisad16ad02010-10-25 14:41:45 -0400149
150 if (send_tomtou)
151 ima_add_violation(inode, dentry->d_name.name, "invalid_pcr",
152 "ToMToU");
153 if (send_writers)
154 ima_add_violation(inode, dentry->d_name.name, "invalid_pcr",
155 "open_writers");
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500156}
157
158/*
Eric Parise0d5bd22009-12-04 15:48:00 -0500159 * Decrement ima counts
160 */
161static void ima_dec_counts(struct ima_iint_cache *iint, struct inode *inode,
Al Viro1429b3e2009-12-16 06:38:01 -0500162 struct file *file)
Eric Parise0d5bd22009-12-04 15:48:00 -0500163{
Al Viro1429b3e2009-12-16 06:38:01 -0500164 mode_t mode = file->f_mode;
Eric Paris497f3232010-10-25 14:41:32 -0400165 bool dump = false;
166
Eric Parise0d5bd22009-12-04 15:48:00 -0500167 BUG_ON(!mutex_is_locked(&iint->mutex));
Eric Parisad16ad02010-10-25 14:41:45 -0400168 assert_spin_locked(&inode->i_lock);
Eric Parise0d5bd22009-12-04 15:48:00 -0500169
Eric Paris497f3232010-10-25 14:41:32 -0400170 if ((mode & (FMODE_READ | FMODE_WRITE)) == FMODE_READ) {
171 if (unlikely(iint->readcount == 0))
172 dump = true;
Eric Parise0d5bd22009-12-04 15:48:00 -0500173 iint->readcount--;
Eric Paris497f3232010-10-25 14:41:32 -0400174 }
Eric Parise0d5bd22009-12-04 15:48:00 -0500175 if (mode & FMODE_WRITE) {
Eric Paris497f3232010-10-25 14:41:32 -0400176 if (unlikely(iint->writecount == 0))
177 dump = true;
Eric Parise0d5bd22009-12-04 15:48:00 -0500178 iint->writecount--;
179 if (iint->writecount == 0) {
180 if (iint->version != inode->i_version)
181 iint->flags &= ~IMA_MEASURED;
182 }
183 }
184
Eric Paris497f3232010-10-25 14:41:32 -0400185 if (dump && !ima_limit_imbalance(file)) {
186 printk(KERN_INFO "%s: open/free imbalance (r:%u w:%u)\n",
Eric Parisb5751562010-10-25 14:41:26 -0400187 __func__, iint->readcount, iint->writecount);
Eric Parise0d5bd22009-12-04 15:48:00 -0500188 dump_stack();
189 }
190}
191
Mimi Zohar3323eec2009-02-04 09:06:58 -0500192/**
193 * ima_file_free - called on __fput()
194 * @file: pointer to file structure being freed
195 *
196 * Flag files that changed, based on i_version;
197 * and decrement the iint readcount/writecount.
198 */
199void ima_file_free(struct file *file)
200{
201 struct inode *inode = file->f_dentry->d_inode;
202 struct ima_iint_cache *iint;
203
Mimi Zohare9505982010-08-31 09:38:51 -0400204 if (!iint_initialized || !S_ISREG(inode->i_mode))
Mimi Zohar3323eec2009-02-04 09:06:58 -0500205 return;
206 iint = ima_iint_find_get(inode);
207 if (!iint)
208 return;
209
210 mutex_lock(&iint->mutex);
Eric Parisad16ad02010-10-25 14:41:45 -0400211 spin_lock(&inode->i_lock);
212
Al Viro1429b3e2009-12-16 06:38:01 -0500213 ima_dec_counts(iint, inode, file);
Eric Parisad16ad02010-10-25 14:41:45 -0400214
215 spin_unlock(&inode->i_lock);
Mimi Zohar3323eec2009-02-04 09:06:58 -0500216 mutex_unlock(&iint->mutex);
217 kref_put(&iint->refcount, iint_free);
218}
219
Mimi Zohar3323eec2009-02-04 09:06:58 -0500220static int process_measurement(struct file *file, const unsigned char *filename,
221 int mask, int function)
222{
223 struct inode *inode = file->f_dentry->d_inode;
224 struct ima_iint_cache *iint;
Mimi Zohare9505982010-08-31 09:38:51 -0400225 int rc = 0;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500226
227 if (!ima_initialized || !S_ISREG(inode->i_mode))
228 return 0;
Eric Paris93533842009-12-04 15:47:52 -0500229 iint = ima_iint_find_get(inode);
Mimi Zohar3323eec2009-02-04 09:06:58 -0500230 if (!iint)
231 return -ENOMEM;
232
233 mutex_lock(&iint->mutex);
234 rc = ima_must_measure(iint, inode, mask, function);
235 if (rc != 0)
236 goto out;
237
238 rc = ima_collect_measurement(iint, file);
239 if (!rc)
240 ima_store_measurement(iint, file, filename);
241out:
242 mutex_unlock(&iint->mutex);
243 kref_put(&iint->refcount, iint_free);
244 return rc;
245}
246
247/**
248 * ima_file_mmap - based on policy, collect/store measurement.
249 * @file: pointer to the file to be measured (May be NULL)
250 * @prot: contains the protection that will be applied by the kernel.
251 *
252 * Measure files being mmapped executable based on the ima_must_measure()
253 * policy decision.
254 *
255 * Return 0 on success, an error code on failure.
256 * (Based on the results of appraise_measurement().)
257 */
258int ima_file_mmap(struct file *file, unsigned long prot)
259{
260 int rc;
261
262 if (!file)
263 return 0;
264 if (prot & PROT_EXEC)
265 rc = process_measurement(file, file->f_dentry->d_name.name,
266 MAY_EXEC, FILE_MMAP);
267 return 0;
268}
269
270/**
271 * ima_bprm_check - based on policy, collect/store measurement.
272 * @bprm: contains the linux_binprm structure
273 *
274 * The OS protects against an executable file, already open for write,
275 * from being executed in deny_write_access() and an executable file,
276 * already open for execute, from being modified in get_write_access().
277 * So we can be certain that what we verify and measure here is actually
278 * what is being executed.
279 *
280 * Return 0 on success, an error code on failure.
281 * (Based on the results of appraise_measurement().)
282 */
283int ima_bprm_check(struct linux_binprm *bprm)
284{
285 int rc;
286
287 rc = process_measurement(bprm->file, bprm->filename,
288 MAY_EXEC, BPRM_CHECK);
289 return 0;
290}
291
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500292/**
293 * ima_path_check - based on policy, collect/store measurement.
294 * @file: pointer to the file to be measured
295 * @mask: contains MAY_READ, MAY_WRITE or MAY_EXECUTE
296 *
297 * Measure files based on the ima_must_measure() policy decision.
298 *
299 * Always return 0 and audit dentry_open failures.
300 * (Return code will be based upon measurement appraisal.)
301 */
Mimi Zohar9bbb6ca2010-01-26 17:02:40 -0500302int ima_file_check(struct file *file, int mask)
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500303{
304 int rc;
305
306 rc = process_measurement(file, file->f_dentry->d_name.name,
307 mask & (MAY_READ | MAY_WRITE | MAY_EXEC),
Mimi Zohar1e93d002010-01-26 17:02:41 -0500308 FILE_CHECK);
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500309 return 0;
310}
Mimi Zohar9bbb6ca2010-01-26 17:02:40 -0500311EXPORT_SYMBOL_GPL(ima_file_check);
Mimi Zohar8eb988c2010-01-20 15:35:41 -0500312
Mimi Zohar3323eec2009-02-04 09:06:58 -0500313static int __init init_ima(void)
314{
315 int error;
316
Mimi Zohar3323eec2009-02-04 09:06:58 -0500317 error = ima_init();
318 ima_initialized = 1;
319 return error;
320}
321
Mimi Zoharbab73932009-02-04 09:06:59 -0500322static void __exit cleanup_ima(void)
323{
324 ima_cleanup();
325}
326
Mimi Zohar3323eec2009-02-04 09:06:58 -0500327late_initcall(init_ima); /* Start IMA after the TPM is available */
328
329MODULE_DESCRIPTION("Integrity Measurement Architecture");
330MODULE_LICENSE("GPL");