ima_main.c 33.2 KB
Newer Older
1
// SPDX-License-Identifier: GPL-2.0-only
2
/*
3 4
 * Integrity Measurement Architecture
 *
5 6 7 8 9 10 11 12 13
 * Copyright (C) 2005,2006,2007,2008 IBM Corporation
 *
 * Authors:
 * Reiner Sailer <sailer@watson.ibm.com>
 * Serge Hallyn <serue@us.ibm.com>
 * Kylene Hall <kylene@us.ibm.com>
 * Mimi Zohar <zohar@us.ibm.com>
 *
 * File: ima_main.c
14
 *	implements the IMA hooks: ima_bprm_check, ima_file_mmap,
15
 *	and ima_file_check.
16
 */
17

18
#include <linux/module.h>
19 20
#include <linux/file.h>
#include <linux/binfmts.h>
21
#include <linux/kernel_read_file.h>
22 23
#include <linux/mount.h>
#include <linux/mman.h>
24
#include <linux/slab.h>
M
Mimi Zohar 已提交
25
#include <linux/xattr.h>
26
#include <linux/ima.h>
27
#include <linux/iversion.h>
28
#include <linux/fs.h>
29 30

#include "ima.h"
31
#include "ima_digest_list.h"
32

33 34 35 36 37
struct ima_file_data {
	struct ima_namespace *ima_ns;
	bool is_readcount;
};

38
int ima_hash_algo = HASH_ALGO_SHA1;
39 40 41

/* Actions (measure/appraisal) for which digest lists can be used */
int ima_digest_list_actions;
42 43 44 45
/* PCR used for digest list measurements */
int ima_digest_list_pcr = -1;
/* Flag to include standard measurement if digest list PCR is specified */
bool ima_plus_standard_pcr;
46

47
static int hash_setup_done;
48

49 50 51
DECLARE_RWSEM(ima_ns_list_lock);
LIST_HEAD(ima_ns_list);

52 53 54 55
static struct notifier_block ima_lsm_policy_notifier = {
	.notifier_call = ima_lsm_policy_change,
};

56 57
static int __init hash_setup(char *str)
{
58 59 60 61 62 63 64
	struct ima_template_desc *template_desc = ima_template_desc_current();
	int i;

	if (hash_setup_done)
		return 1;

	if (strcmp(template_desc->name, IMA_TEMPLATE_IMA_NAME) == 0) {
65
		if (strncmp(str, "sha1", 4) == 0) {
66
			ima_hash_algo = HASH_ALGO_SHA1;
67
		} else if (strncmp(str, "md5", 3) == 0) {
68
			ima_hash_algo = HASH_ALGO_MD5;
69 70 71
		} else {
			pr_err("invalid hash algorithm \"%s\" for template \"%s\"",
				str, IMA_TEMPLATE_IMA_NAME);
72
			return 1;
73
		}
74 75 76
		goto out;
	}

Y
Yisheng Xie 已提交
77
	i = match_string(hash_algo_name, HASH_ALGO__LAST, str);
78 79
	if (i < 0) {
		pr_err("invalid hash algorithm \"%s\"", str);
80
		return 1;
81
	}
Y
Yisheng Xie 已提交
82 83

	ima_hash_algo = i;
84 85
out:
	hash_setup_done = 1;
86 87 88 89
	return 1;
}
__setup("ima_hash=", hash_setup);

90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110
/* Prevent mmap'ing a file execute that is already mmap'ed write */
static int mmap_violation_check(enum ima_hooks func, struct file *file,
				char **pathbuf, const char **pathname,
				char *filename)
{
	struct inode *inode;
	int rc = 0;

	if ((func == MMAP_CHECK) && mapping_writably_mapped(file->f_mapping)) {
		rc = -ETXTBSY;
		inode = file_inode(file);

		if (!*pathbuf)	/* ima_rdwr_violation possibly pre-fetched */
			*pathname = ima_d_path(&file->f_path, pathbuf,
					       filename);
		integrity_audit_msg(AUDIT_INTEGRITY_DATA, inode, *pathname,
				    "mmap_file", "mmapped_writers", rc, 0);
	}
	return rc;
}

M
Mimi Zohar 已提交
111
/*
112
 * ima_rdwr_violation_check
M
Mimi Zohar 已提交
113
 *
114
 * Only invalidate the PCR for measured files:
115
 *	- Opening a file for write when already open for read,
M
Mimi Zohar 已提交
116 117
 *	  results in a time of measure, time of use (ToMToU) error.
 *	- Opening a file for read when already open for write,
118
 *	  could result in a file measurement error.
M
Mimi Zohar 已提交
119 120
 *
 */
121 122
static void ima_rdwr_violation_check(struct file *file,
				     struct integrity_iint_cache *iint,
123
				     int must_measure,
124
				     char **pathbuf,
125
				     const char **pathname,
126 127
				     char *filename,
				     struct ima_namespace *ima_ns)
M
Mimi Zohar 已提交
128
{
129
	struct inode *inode = file_inode(file);
M
Mimi Zohar 已提交
130
	fmode_t mode = file->f_mode;
131
	bool send_tomtou = false, send_writers = false;
132

M
Mimi Zohar 已提交
133
	if (mode & FMODE_WRITE) {
134
		if (atomic_read(&inode->i_readcount) && IS_IMA(inode)) {
135
			if (!iint)
136 137
				iint = integrity_iint_rb_find(ima_ns->iint_tree,
							      inode);
138
			/* IMA_MEASURE is set from reader side */
139 140
			if (iint && atomic_read(&iint->readcount) &&
			    test_bit(IMA_MUST_MEASURE, &iint->atomic_flags))
141 142
				send_tomtou = true;
		}
143
	} else {
144 145
		if (must_measure)
			set_bit(IMA_MUST_MEASURE, &iint->atomic_flags);
N
Nikolay Borisov 已提交
146
		if (inode_is_open_for_write(inode) && must_measure)
147
			send_writers = true;
M
Mimi Zohar 已提交
148
	}
149

150 151 152
	if (!send_tomtou && !send_writers)
		return;

153
	*pathname = ima_d_path(&file->f_path, pathbuf, filename);
154

155
	if (send_tomtou)
156
		ima_add_violation(file, *pathname, iint,
157
				  "invalid_pcr", "ToMToU", ima_ns);
158
	if (send_writers)
159
		ima_add_violation(file, *pathname, iint,
160
				  "invalid_pcr", "open_writers", ima_ns);
M
Mimi Zohar 已提交
161 162
}

163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179
static enum hash_algo ima_get_hash_algo(struct evm_ima_xattr_data *xattr_value,
					int xattr_len)
{
	struct signature_v2_hdr *sig;
	enum hash_algo ret;

	if (!xattr_value || xattr_len < 2)
		/* return default hash algo */
		return ima_hash_algo;

	switch (xattr_value->type) {
	case EVM_IMA_XATTR_DIGSIG:
		sig = (typeof(sig))xattr_value;
		if (sig->version != 2 || xattr_len < sizeof(*sig))
			return ima_hash_algo;
		return sig->hash_algo;
		break;
180 181
	case EVM_IMA_XATTR_DIGEST_LIST:
		fallthrough;
182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216
	case IMA_XATTR_DIGEST_NG:
		/* first byte contains algorithm id */
		ret = xattr_value->data[0];
		if (ret < HASH_ALGO__LAST)
			return ret;
		break;
	case IMA_XATTR_DIGEST:
		/* this is for backward compatibility */
		if (xattr_len == 21) {
			unsigned int zero = 0;
			if (!memcmp(&xattr_value->data[16], &zero, 4))
				return HASH_ALGO_MD5;
			else
				return HASH_ALGO_SHA1;
		} else if (xattr_len == 17)
			return HASH_ALGO_MD5;
		break;
	}

	/* return default hash algo */
	return ima_hash_algo;
}

static int ima_read_xattr(struct dentry *dentry,
			  struct evm_ima_xattr_data **xattr_value)
{
	ssize_t ret;

	ret = vfs_getxattr_alloc(dentry, XATTR_NAME_IMA, (char **)xattr_value,
				 0, GFP_NOFS);
	if (ret == -EOPNOTSUPP)
		ret = 0;
	return ret;
}

217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242
static void ima_check_active_ns(struct ima_namespace *current_ima_ns,
				struct inode *inode)
{
	struct ima_namespace *ima_ns;
	struct integrity_iint_cache *iint;

	down_read(&ima_ns_list_lock);
	list_for_each_entry(ima_ns, &ima_ns_list, list) {
		if (atomic_read(&ima_ns->inactive))
			continue;
		if ((ima_ns == current_ima_ns) ||
		    !ima_ns->policy_data->ima_policy_flag)
			continue;

		iint = integrity_iint_rb_find(ima_ns->iint_tree, inode);
		if (!iint)
			continue;

		mutex_lock(&iint->mutex);
		iint->flags &= ~IMA_DONE_MASK;
		iint->measured_pcrs = 0;
		mutex_unlock(&iint->mutex);
	}
	up_read(&ima_ns_list_lock);
}

243
static void ima_check_last_writer(struct integrity_iint_cache *iint,
M
Mimi Zohar 已提交
244
				  struct inode *inode, struct file *file)
E
Eric Paris 已提交
245
{
A
Al Viro 已提交
246
	fmode_t mode = file->f_mode;
247
	bool update;
248
	struct ima_file_data *f_data = (struct ima_file_data *)file->f_ima;
E
Eric Paris 已提交
249

M
Mimi Zohar 已提交
250 251 252
	if (!(mode & FMODE_WRITE))
		return;

253
	mutex_lock(&iint->mutex);
254
	if (atomic_read(&inode->i_writecount) == 1) {
255 256
		update = test_and_clear_bit(IMA_UPDATE_XATTR,
					    &iint->atomic_flags);
257
		if (!IS_I_VERSION(inode) ||
258
		    !inode_eq_iversion(inode, iint->version) ||
259 260
		    (iint->flags & IMA_NEW_FILE)) {
			iint->flags &= ~(IMA_DONE_MASK | IMA_NEW_FILE);
261
			iint->measured_pcrs = 0;
262

263
			ima_check_active_ns(f_data->ima_ns, inode);
264

265
			if (update)
266 267
				ima_update_xattr(iint, file);
		}
M
Mimi Zohar 已提交
268
	}
269
	mutex_unlock(&iint->mutex);
E
Eric Paris 已提交
270 271
}

272 273 274 275 276 277 278 279 280 281 282 283
/**
 * ima_file_alloc - called on __alloc_file()
 * @file: pointer to file structure being created
 *
 * Bind IMA namespace to the file descriptor. This is necessary, because
 * __fput can be called after exit_task_namespaces() in do_exit().
 * In that case nsproxy is already NULL and ima ns has to be found
 * differently in ima_file_free(). If process joins different ima ns, files
 * opened in the old ns will point to that (old) ns.
 */
int ima_file_alloc(struct file *file)
{
284 285
	struct ima_file_data *f_data;

286 287 288 289 290 291 292
	/* It is possible that ima_file_alloc() is called after
	 * exit_task_namespaces(), when IMA does the last writer check from
	 * __fput(). In that case it's not necessary to store the namespace
	 * information */
	if (!current->nsproxy)
		return 0;

293 294 295 296 297 298 299 300 301 302
	f_data = kmalloc(sizeof(struct ima_file_data), GFP_KERNEL);
	if (!f_data)
		return -ENOMEM;

	f_data->ima_ns = get_current_ns();
	f_data->is_readcount = false;
	get_ima_ns(f_data->ima_ns);

	file->f_ima = f_data;

303 304 305
	return 0;
}

306 307 308 309
/**
 * ima_file_free - called on __fput()
 * @file: pointer to file structure being freed
 *
310
 * Flag files that changed, based on i_version
311 312 313
 */
void ima_file_free(struct file *file)
{
A
Al Viro 已提交
314
	struct inode *inode = file_inode(file);
315
	struct integrity_iint_cache *iint;
316
	struct ima_file_data *f_data = (struct ima_file_data *)file->f_ima;
317

318
	if (!f_data)
319
		return;
320

321 322 323
	if (unlikely(!(file->f_mode & FMODE_OPENED)))
		goto out;

324 325
	if (!f_data->ima_ns->policy_data->ima_policy_flag ||
	    !S_ISREG(inode->i_mode))
326 327
		goto out;

328
	iint = integrity_iint_rb_find(f_data->ima_ns->iint_tree, inode);
M
Mimi Zohar 已提交
329
	if (!iint)
330
		goto out;
331

M
Mimi Zohar 已提交
332
	ima_check_last_writer(iint, inode, file);
333 334 335

	if (f_data->is_readcount)
		iint_readcount_dec(iint);
336
out:
337 338
	put_ima_ns(f_data->ima_ns);
	kfree(f_data);
339 340
}

341 342 343
static int process_ns_measurement(struct file *file, const struct cred *cred,
				  u32 secid, char *buf, loff_t size, int mask,
				  enum ima_hooks func,
344 345
				  struct ima_namespace *ima_ns,
				  bool readcount_open)
346
{
A
Al Viro 已提交
347
	struct inode *inode = file_inode(file);
348
	struct integrity_iint_cache *iint = NULL;
349
	struct ima_template_desc *template_desc = NULL;
350
	char *pathbuf = NULL;
351
	char filename[NAME_MAX];
352
	const char *pathname = NULL;
353
	int rc = 0, action, must_appraise = 0;
354
	int pcr = CONFIG_IMA_MEASURE_PCR_IDX;
355
	struct ima_digest *found_digest;
356
	struct evm_ima_xattr_data *xattr_value = NULL;
357
	struct modsig *modsig = NULL;
358
	int xattr_len = 0;
359
	bool violation_check;
360
	enum hash_algo hash_algo;
361
	struct ima_namespace *current_ima_ns = get_current_ns();
362

363
	if (!ima_ns->policy_data->ima_policy_flag)
364
		return 0;
E
Eric Paris 已提交
365

366 367 368 369 370 371
	if (ima_ns != current_ima_ns) {
		iint = integrity_iint_rb_find(ima_ns->iint_tree, inode);
		if (!iint)
			return 0;
	}

372 373 374 375
	/* Return an IMA_MEASURE, IMA_APPRAISE, IMA_AUDIT action
	 * bitmask based on the appraise/audit/measurement policy.
	 * Included is the appraise submask.
	 */
376
	action = ima_get_action(inode, cred, secid, mask, func, &pcr,
377
				&template_desc, NULL, ima_ns);
378
	violation_check = ((func == FILE_CHECK || func == MMAP_CHECK) &&
379 380
			   (ima_ns->policy_data->ima_policy_flag &
			    IMA_MEASURE));
381
	if (!action && !violation_check)
M
Mimi Zohar 已提交
382 383 384
		return 0;

	must_appraise = action & IMA_APPRAISE;
E
Eric Paris 已提交
385

386
	/*  Is the appraise rule hook specific?  */
387
	if (action & IMA_FILE_APPRAISE)
388
		func = FILE_CHECK;
389

A
Al Viro 已提交
390
	inode_lock(inode);
M
Mimi Zohar 已提交
391

392
	if (action && !iint) {
393
		iint = integrity_inode_rb_get(ima_ns->iint_tree, inode);
394
		if (!iint)
395
			rc = -ENOMEM;
396 397
	}

398 399 400 401 402 403
	if ((ima_ns == current_ima_ns) && iint && readcount_open &&
	    ((file->f_mode & (FMODE_READ | FMODE_WRITE)) == FMODE_READ)) {
		iint_readcount_inc(iint);
		((struct ima_file_data *)file->f_ima)->is_readcount = true;
	}

404
	if (!rc && violation_check)
405
		ima_rdwr_violation_check(file, iint, action & IMA_MEASURE,
406
					 &pathbuf, &pathname, filename, ima_ns);
407 408 409 410 411 412 413

	inode_unlock(inode);

	if (rc)
		goto out;
	if (!action)
		goto out;
414 415
	if (ima_ns != current_ima_ns)
		goto out;
416 417 418 419 420 421 422 423 424

	mutex_lock(&iint->mutex);

	if (test_and_clear_bit(IMA_CHANGE_ATTR, &iint->atomic_flags))
		/* reset appraisal flags if ima_inode_post_setattr was called */
		iint->flags &= ~(IMA_APPRAISE | IMA_APPRAISED |
				 IMA_APPRAISE_SUBMASK | IMA_APPRAISED_SUBMASK |
				 IMA_ACTION_FLAGS);

425 426 427 428 429 430 431
	/*
	 * Re-evaulate the file if either the xattr has changed or the
	 * kernel has no way of detecting file change on the filesystem.
	 * (Limited to privileged mounted filesystems.)
	 */
	if (test_and_clear_bit(IMA_CHANGE_XATTR, &iint->atomic_flags) ||
	    ((inode->i_sb->s_iflags & SB_I_IMA_UNVERIFIABLE_SIGNATURE) &&
432 433
	     !(inode->i_sb->s_iflags & SB_I_UNTRUSTED_MOUNTER) &&
	     !(action & IMA_FAIL_UNVERIFIABLE_SIGS))) {
434
		iint->flags &= ~IMA_DONE_MASK;
435 436
		iint->measured_pcrs = 0;
	}
437

M
Mimi Zohar 已提交
438
	/* Determine if already appraised/measured based on bitmask
439 440 441
	 * (IMA_MEASURE, IMA_MEASURED, IMA_XXXX_APPRAISE, IMA_XXXX_APPRAISED,
	 *  IMA_AUDIT, IMA_AUDITED)
	 */
M
Mimi Zohar 已提交
442
	iint->flags |= action;
443
	action &= IMA_DO_MASK;
444 445 446 447 448
	action &= ~((iint->flags & (IMA_DONE_MASK ^ IMA_MEASURED)) >> 1);

	/* If target pcr is already measured, unset IMA_MEASURE action */
	if ((action & IMA_MEASURE) && (iint->measured_pcrs & (0x1 << pcr)))
		action ^= IMA_MEASURE;
M
Mimi Zohar 已提交
449

450 451 452 453 454 455 456 457 458 459 460 461
	/* HASH sets the digital signature and update flags, nothing else */
	if ((action & IMA_HASH) &&
	    !(test_bit(IMA_DIGSIG, &iint->atomic_flags))) {
		xattr_len = ima_read_xattr(file_dentry(file), &xattr_value);
		if ((xattr_value && xattr_len > 2) &&
		    (xattr_value->type == EVM_IMA_XATTR_DIGSIG))
			set_bit(IMA_DIGSIG, &iint->atomic_flags);
		iint->flags |= IMA_HASHED;
		action ^= IMA_HASH;
		set_bit(IMA_UPDATE_XATTR, &iint->atomic_flags);
	}

M
Mimi Zohar 已提交
462 463
	/* Nothing to do, just return existing appraised status */
	if (!action) {
464 465 466 467 468 469
		if (must_appraise) {
			rc = mmap_violation_check(func, file, &pathbuf,
						  &pathname, filename);
			if (!rc)
				rc = ima_get_cache_status(iint, func);
		}
470
		goto out_locked;
M
Mimi Zohar 已提交
471
	}
472

473
	if ((action & IMA_APPRAISE_SUBMASK) ||
474
	    strcmp(template_desc->name, IMA_TEMPLATE_IMA_NAME) != 0) {
475
		/* read 'security.ima' */
M
Miklos Szeredi 已提交
476
		xattr_len = ima_read_xattr(file_dentry(file), &xattr_value);
477

478 479 480 481 482 483 484 485 486 487 488 489
		/*
		 * Read the appended modsig if allowed by the policy, and allow
		 * an additional measurement list entry, if needed, based on the
		 * template format and whether the file was already measured.
		 */
		if (iint->flags & IMA_MODSIG_ALLOWED) {
			rc = ima_read_modsig(func, buf, size, &modsig);

			if (!rc && ima_template_has_modsig(template_desc) &&
			    iint->flags & IMA_MEASURED)
				action |= IMA_MEASURE;
		}
490 491
	}

492 493
	hash_algo = ima_get_hash_algo(xattr_value, xattr_len);

T
Thiago Jung Bauermann 已提交
494
	rc = ima_collect_measurement(iint, file, buf, size, hash_algo, modsig);
495
	if (rc != 0 && rc != -EBADF && rc != -EINVAL)
496
		goto out_locked;
497

498 499
	if (!pathbuf)	/* ima_rdwr_violation possibly pre-fetched */
		pathname = ima_d_path(&file->f_path, &pathbuf, filename);
500

501 502 503
	found_digest = ima_lookup_digest(iint->ima_hash->digest, hash_algo,
					 COMPACT_FILE);

M
Mimi Zohar 已提交
504
	if (action & IMA_MEASURE)
505
		ima_store_measurement(iint, file, pathname,
506
				      xattr_value, xattr_len, modsig, pcr,
507 508
				      template_desc,
				      ima_digest_allow(found_digest,
509 510
						       IMA_MEASURE),
				      ima_ns);
511

512
	if (rc == 0 && (action & IMA_APPRAISE_SUBMASK)) {
513
		rc = ima_check_blacklist(iint, modsig, pcr, ima_ns);
514 515 516
		if (rc != -EPERM) {
			inode_lock(inode);
			rc = ima_appraise_measurement(func, iint, file,
517 518 519 520
					      pathname, xattr_value,
					      xattr_len, modsig,
					      ima_digest_allow(found_digest,
							       IMA_APPRAISE));
521 522
			inode_unlock(inode);
		}
523 524 525
		if (!rc)
			rc = mmap_violation_check(func, file, &pathbuf,
						  &pathname, filename);
526
	}
P
Peter Moody 已提交
527
	if (action & IMA_AUDIT)
528
		ima_audit_measurement(iint, pathname);
529

530 531
	if ((file->f_flags & O_DIRECT) && (iint->flags & IMA_PERMIT_DIRECTIO))
		rc = 0;
532 533
out_locked:
	if ((mask & MAY_WRITE) && test_bit(IMA_DIGSIG, &iint->atomic_flags) &&
534
	     !(iint->flags & IMA_NEW_FILE))
535
		rc = -EACCES;
536
	mutex_unlock(&iint->mutex);
537
	kfree(xattr_value);
538
	ima_free_modsig(modsig);
539
out:
D
Dmitry Kasatkin 已提交
540 541
	if (pathbuf)
		__putname(pathbuf);
542
	if (must_appraise) {
543 544
		if (rc &&
		    (ima_ns->policy_data->ima_appraise & IMA_APPRAISE_ENFORCE))
545 546 547 548
			return -EACCES;
		if (file->f_mode & FMODE_WRITE)
			set_bit(IMA_UPDATE_XATTR, &iint->atomic_flags);
	}
549
	return 0;
550 551
}

552 553
static int process_measurement(struct file *file, const struct cred *cred,
			       u32 secid, char *buf, loff_t size, int mask,
554
			       enum ima_hooks func, bool readcount_open)
555 556 557 558 559 560 561 562 563 564 565 566 567 568
{
	int ret;
	struct ima_namespace *ima_ns;
	struct inode *inode = file_inode(file);

	if (!S_ISREG(inode->i_mode))
		return 0;

	down_read(&ima_ns_list_lock);
	list_for_each_entry(ima_ns, &ima_ns_list, list) {
		if (atomic_read(&ima_ns->inactive))
			continue;

		ret = process_ns_measurement(file, cred, secid, buf, size, mask,
569
					     func, ima_ns, readcount_open);
570 571 572 573 574 575 576 577
		if (ret != 0)
			break;
	}
	up_read(&ima_ns_list_lock);

	return ret;
}

578 579 580 581 582 583 584 585
/**
 * ima_file_mmap - based on policy, collect/store measurement.
 * @file: pointer to the file to be measured (May be NULL)
 * @prot: contains the protection that will be applied by the kernel.
 *
 * Measure files being mmapped executable based on the ima_must_measure()
 * policy decision.
 *
586 587
 * On success return 0.  On integrity appraisal error, assuming the file
 * is in policy and IMA-appraisal is in enforcing mode, return -EACCES.
588 589 590
 */
int ima_file_mmap(struct file *file, unsigned long prot)
{
591 592 593 594 595
	u32 secid;

	if (file && (prot & PROT_EXEC)) {
		security_task_getsecid(current, &secid);
		return process_measurement(file, current_cred(), secid, NULL,
596
					   0, MAY_EXEC, MMAP_CHECK, true);
597 598
	}

599
	return 0;
600 601
}

602 603 604 605 606 607 608 609 610 611 612 613 614 615
/**
 * ima_file_mprotect - based on policy, limit mprotect change
 * @prot: contains the protection that will be applied by the kernel.
 *
 * Files can be mmap'ed read/write and later changed to execute to circumvent
 * IMA's mmap appraisal policy rules.  Due to locking issues (mmap semaphore
 * would be taken before i_mutex), files can not be measured or appraised at
 * this point.  Eliminate this integrity gap by denying the mprotect
 * PROT_EXECUTE change, if an mmap appraise policy rule exists.
 *
 * On mprotect change success, return 0.  On failure, return -EACESS.
 */
int ima_file_mprotect(struct vm_area_struct *vma, unsigned long prot)
{
616
	struct ima_namespace *ima_ns = get_current_ns();
617 618 619 620 621 622 623 624 625 626 627 628
	struct ima_template_desc *template;
	struct file *file = vma->vm_file;
	char filename[NAME_MAX];
	char *pathbuf = NULL;
	const char *pathname = NULL;
	struct inode *inode;
	int result = 0;
	int action;
	u32 secid;
	int pcr;

	/* Is mprotect making an mmap'ed file executable? */
629 630 631
	if (!(ima_ns->policy_data->ima_policy_flag & IMA_APPRAISE) ||
	    !vma->vm_file || !(prot & PROT_EXEC) ||
	    (vma->vm_flags & VM_EXEC))
632 633 634 635 636
		return 0;

	security_task_getsecid(current, &secid);
	inode = file_inode(vma->vm_file);
	action = ima_get_action(inode, current_cred(), secid, MAY_EXEC,
637
				MMAP_CHECK, &pcr, &template, 0, ima_ns);
638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655

	/* Is the mmap'ed file in policy? */
	if (!(action & (IMA_MEASURE | IMA_APPRAISE_SUBMASK)))
		return 0;

	if (action & IMA_APPRAISE_SUBMASK)
		result = -EPERM;

	file = vma->vm_file;
	pathname = ima_d_path(&file->f_path, &pathbuf, filename);
	integrity_audit_msg(AUDIT_INTEGRITY_DATA, inode, pathname,
			    "collect_data", "failed-mprotect", result, 0);
	if (pathbuf)
		__putname(pathbuf);

	return result;
}

656 657 658 659 660 661 662 663 664 665
/**
 * ima_bprm_check - based on policy, collect/store measurement.
 * @bprm: contains the linux_binprm structure
 *
 * The OS protects against an executable file, already open for write,
 * from being executed in deny_write_access() and an executable file,
 * already open for execute, from being modified in get_write_access().
 * So we can be certain that what we verify and measure here is actually
 * what is being executed.
 *
666 667
 * On success return 0.  On integrity appraisal error, assuming the file
 * is in policy and IMA-appraisal is in enforcing mode, return -EACCES.
668 669 670
 */
int ima_bprm_check(struct linux_binprm *bprm)
{
671 672 673 674 675
	int ret;
	u32 secid;

	security_task_getsecid(current, &secid);
	ret = process_measurement(bprm->file, current_cred(), secid, NULL, 0,
676
				  MAY_EXEC, BPRM_CHECK, false);
677 678 679 680 681
	if (ret)
		return ret;

	security_cred_getsecid(bprm->cred, &secid);
	return process_measurement(bprm->file, bprm->cred, secid, NULL, 0,
682
				   MAY_EXEC, CREDS_CHECK, false);
683 684
}

M
Mimi Zohar 已提交
685 686 687
/**
 * ima_path_check - based on policy, collect/store measurement.
 * @file: pointer to the file to be measured
L
Lans Zhang 已提交
688
 * @mask: contains MAY_READ, MAY_WRITE, MAY_EXEC or MAY_APPEND
M
Mimi Zohar 已提交
689 690 691
 *
 * Measure files based on the ima_must_measure() policy decision.
 *
692 693
 * On success return 0.  On integrity appraisal error, assuming the file
 * is in policy and IMA-appraisal is in enforcing mode, return -EACCES.
M
Mimi Zohar 已提交
694
 */
695
int ima_file_check(struct file *file, int mask)
M
Mimi Zohar 已提交
696
{
697
	u32 secid;
698
	int rc;
699 700

	security_task_getsecid(current, &secid);
701 702
	rc = process_measurement(file, current_cred(), secid, NULL, 0,
				 mask & (MAY_READ | MAY_WRITE | MAY_EXEC |
703
					 MAY_APPEND), FILE_CHECK, true);
704 705 706
	if (ima_current_is_parser() && !rc)
		ima_check_measured_appraised(file);
	return rc;
M
Mimi Zohar 已提交
707
}
708
EXPORT_SYMBOL_GPL(ima_file_check);
M
Mimi Zohar 已提交
709

710 711
/**
 * ima_file_hash - return the stored measurement if a file has been hashed and
712
 * is in the iint cache of the current IMA namespace.
713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729
 * @file: pointer to the file
 * @buf: buffer in which to store the hash
 * @buf_size: length of the buffer
 *
 * On success, return the hash algorithm (as defined in the enum hash_algo).
 * If buf is not NULL, this function also outputs the hash into buf.
 * If the hash is larger than buf_size, then only buf_size bytes will be copied.
 * It generally just makes sense to pass a buffer capable of holding the largest
 * possible hash: IMA_MAX_DIGEST_SIZE.
 * The file hash returned is based on the entire file, including the appended
 * signature.
 *
 * If IMA is disabled or if no measurement is available, return -EOPNOTSUPP.
 * If the parameters are incorrect, return -EINVAL.
 */
int ima_file_hash(struct file *file, char *buf, size_t buf_size)
{
730
	struct ima_namespace *ima_ns = get_current_ns();
731 732 733 734 735 736 737
	struct inode *inode;
	struct integrity_iint_cache *iint;
	int hash_algo;

	if (!file)
		return -EINVAL;

738
	if (!ima_ns->policy_data->ima_policy_flag)
739 740 741
		return -EOPNOTSUPP;

	inode = file_inode(file);
742
	iint = integrity_iint_rb_find(ima_ns->iint_tree, inode);
743 744 745 746
	if (!iint)
		return -EOPNOTSUPP;

	mutex_lock(&iint->mutex);
747 748 749 750 751 752 753 754 755 756

	/*
	 * ima_file_hash can be called when ima_collect_measurement has still
	 * not been called, we might not always have a hash.
	 */
	if (!iint->ima_hash) {
		mutex_unlock(&iint->mutex);
		return -EOPNOTSUPP;
	}

757 758 759 760 761 762 763 764 765 766 767 768 769
	if (buf) {
		size_t copied_size;

		copied_size = min_t(size_t, iint->ima_hash->length, buf_size);
		memcpy(buf, iint->ima_hash->digest, copied_size);
	}
	hash_algo = iint->ima_hash->algo;
	mutex_unlock(&iint->mutex);

	return hash_algo;
}
EXPORT_SYMBOL_GPL(ima_file_hash);

770 771 772 773 774 775 776 777 778 779
/**
 * ima_post_create_tmpfile - mark newly created tmpfile as new
 * @file : newly created tmpfile
 *
 * No measuring, appraising or auditing of newly created tmpfiles is needed.
 * Skip calling process_measurement(), but indicate which newly, created
 * tmpfiles are in policy.
 */
void ima_post_create_tmpfile(struct inode *inode)
{
780
	struct ima_namespace *ima_ns;
781 782 783
	struct integrity_iint_cache *iint;
	int must_appraise;

784 785 786 787
	down_read(&ima_ns_list_lock);
	list_for_each_entry(ima_ns, &ima_ns_list, list) {
		if (atomic_read(&ima_ns->inactive))
			continue;
788

789 790 791 792 793 794 795 796 797
		must_appraise = ima_must_appraise(inode, MAY_ACCESS,
						  FILE_CHECK, ima_ns);
		if (!must_appraise)
			continue;

		/* Nothing to do if we can't allocate memory */
		iint = integrity_inode_rb_get(ima_ns->iint_tree, inode);
		if (!iint)
			continue;
798

799 800 801 802 803
		/* needed for writing the security xattrs */
		set_bit(IMA_UPDATE_XATTR, &iint->atomic_flags);
		iint->ima_file_status = INTEGRITY_PASS;
	}
	up_read(&ima_ns_list_lock);
804 805
}

806 807 808 809 810 811 812 813 814
/**
 * ima_post_path_mknod - mark as a new inode
 * @dentry: newly created dentry
 *
 * Mark files created via the mknodat syscall as new, so that the
 * file data can be written later.
 */
void ima_post_path_mknod(struct dentry *dentry)
{
815
	struct ima_namespace *ima_ns;
816 817 818 819
	struct integrity_iint_cache *iint;
	struct inode *inode = dentry->d_inode;
	int must_appraise;

820 821 822 823
	down_read(&ima_ns_list_lock);
	list_for_each_entry(ima_ns, &ima_ns_list, list) {
		if (atomic_read(&ima_ns->inactive))
			continue;
824

825 826 827 828
		must_appraise = ima_must_appraise(inode, MAY_ACCESS,
						  FILE_CHECK, ima_ns);
		if (!must_appraise)
			continue;
829

830 831 832 833 834 835 836 837 838
		/* Nothing to do if we can't allocate memory */
		iint = integrity_inode_rb_get(ima_ns->iint_tree, inode);
		if (!iint)
			continue;

		/* needed for re-opening empty files */
		iint->flags |= IMA_NEW_FILE;
	}
	up_read(&ima_ns_list_lock);
839 840
}

841 842 843 844
/**
 * ima_read_file - pre-measure/appraise hook decision based on policy
 * @file: pointer to the file to be measured/appraised/audit
 * @read_id: caller identifier
845
 * @contents: whether a subsequent call will be made to ima_post_read_file()
846 847 848 849 850 851 852
 *
 * Permit reading a file based on policy. The policy rules are written
 * in terms of the policy identifier.  Appraising the integrity of
 * a file requires a file descriptor.
 *
 * For permission return 0, otherwise return -EACCES.
 */
853 854
int ima_read_file(struct file *file, enum kernel_read_file_id read_id,
		  bool contents)
855
{
856 857
	enum ima_hooks func;
	u32 secid;
858

859 860 861 862
	/*
	 * Do devices using pre-allocated memory run the risk of the
	 * firmware being accessible to the device prior to the completion
	 * of IMA's signature verification any more than when using two
863 864
	 * buffers? It may be desirable to include the buffer address
	 * in this API and walk all the dma_map_single() mappings to check.
865
	 */
866 867 868 869 870 871 872 873 874 875 876 877 878

	/*
	 * There will be a call made to ima_post_read_file() with
	 * a filled buffer, so we don't need to perform an extra
	 * read early here.
	 */
	if (contents)
		return 0;

	/* Read entire file for all partial reads. */
	func = read_idmap[read_id] ?: FILE_CHECK;
	security_task_getsecid(current, &secid);
	return process_measurement(file, current_cred(), secid, NULL,
879
				   0, MAY_READ, func, false);
880 881
}

882
const int read_idmap[READING_MAX_ID] = {
883 884 885 886
	[READING_FIRMWARE] = FIRMWARE_CHECK,
	[READING_MODULE] = MODULE_CHECK,
	[READING_KEXEC_IMAGE] = KEXEC_KERNEL_CHECK,
	[READING_KEXEC_INITRAMFS] = KEXEC_INITRAMFS_CHECK,
887 888
	[READING_POLICY] = POLICY_CHECK,
	[READING_DIGEST_LIST] = DIGEST_LIST_CHECK
889 890
};

891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906
/**
 * ima_post_read_file - in memory collect/appraise/audit measurement
 * @file: pointer to the file to be measured/appraised/audit
 * @buf: pointer to in memory file contents
 * @size: size of in memory file contents
 * @read_id: caller identifier
 *
 * Measure/appraise/audit in memory file based on policy.  Policy rules
 * are written in terms of a policy identifier.
 *
 * On success return 0.  On integrity appraisal error, assuming the file
 * is in policy and IMA-appraisal is in enforcing mode, return -EACCES.
 */
int ima_post_read_file(struct file *file, void *buf, loff_t size,
		       enum kernel_read_file_id read_id)
{
907
	enum ima_hooks func;
908
	u32 secid;
909
	struct ima_namespace *ima_ns = get_current_ns();
910

911 912 913 914
	/* permit signed certs */
	if (!file && read_id == READING_X509_CERTIFICATE)
		return 0;

915
	if (!file || !buf || size == 0) { /* should never happen */
916
		if (ima_ns->policy_data->ima_appraise & IMA_APPRAISE_ENFORCE)
917 918 919 920
			return -EACCES;
		return 0;
	}

921
	func = read_idmap[read_id] ?: FILE_CHECK;
922 923
	security_task_getsecid(current, &secid);
	return process_measurement(file, current_cred(), secid, buf, size,
924
				   MAY_READ, func, false);
925 926
}

927 928 929
/**
 * ima_load_data - appraise decision based on policy
 * @id: kernel load data caller identifier
930 931
 * @contents: whether the full contents will be available in a later
 *	      call to ima_post_load_data().
932 933 934 935 936 937 938
 *
 * Callers of this LSM hook can not measure, appraise, or audit the
 * data provided by userspace.  Enforce policy rules requring a file
 * signature (eg. kexec'ed kernel image).
 *
 * For permission return 0, otherwise return -EACCES.
 */
939
int ima_load_data(enum kernel_load_data_id id, bool contents)
940
{
941
	bool ima_enforce, sig_enforce;
942 943 944 945 946 947
	struct ima_namespace *ima_ns = get_current_ns();

	if (ima_ns != &init_ima_ns) {
		pr_err("Prevent data loading in IMA namespaces other than the root\n");
		return -EACCES;
	}
948

949
	ima_enforce =
950 951
		(ima_ns->policy_data->ima_appraise & IMA_APPRAISE_ENFORCE) ==
		IMA_APPRAISE_ENFORCE;
952 953 954

	switch (id) {
	case LOADING_KEXEC_IMAGE:
955
		if (IS_ENABLED(CONFIG_KEXEC_SIG)
956 957 958 959 960
		    && arch_ima_get_secureboot()) {
			pr_err("impossible to appraise a kernel image without a file descriptor; try using kexec_file_load syscall.\n");
			return -EACCES;
		}

961 962
		if (ima_enforce &&
		    (ima_ns->policy_data->ima_appraise & IMA_APPRAISE_KEXEC)) {
963 964 965
			pr_err("impossible to appraise a kernel image without a file descriptor; try using kexec_file_load syscall.\n");
			return -EACCES;	/* INTEGRITY_UNKNOWN */
		}
966 967
		break;
	case LOADING_FIRMWARE:
968 969 970
		if (ima_enforce &&
		    (ima_ns->policy_data->ima_appraise &
		     IMA_APPRAISE_FIRMWARE) && !contents) {
971 972 973
			pr_err("Prevent firmware sysfs fallback loading.\n");
			return -EACCES;	/* INTEGRITY_UNKNOWN */
		}
974 975 976 977
		break;
	case LOADING_MODULE:
		sig_enforce = is_module_sig_enforced();

978 979 980 981
		if (ima_enforce &&
		    (!sig_enforce &&
		     (ima_ns->policy_data->ima_appraise &
		      IMA_APPRAISE_MODULES))) {
982 983 984
			pr_err("impossible to appraise a module without a file descriptor. sig_enforce kernel parameter might help\n");
			return -EACCES;	/* INTEGRITY_UNKNOWN */
		}
985 986 987 988 989 990
	default:
		break;
	}
	return 0;
}

991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007
/**
 * ima_post_load_data - appraise decision based on policy
 * @buf: pointer to in memory file contents
 * @size: size of in memory file contents
 * @id: kernel load data caller identifier
 * @description: @id-specific description of contents
 *
 * Measure/appraise/audit in memory buffer based on policy.  Policy rules
 * are written in terms of a policy identifier.
 *
 * On success return 0.  On integrity appraisal error, assuming the file
 * is in policy and IMA-appraisal is in enforcing mode, return -EACCES.
 */
int ima_post_load_data(char *buf, loff_t size,
		       enum kernel_load_data_id load_id,
		       char *description)
{
1008 1009
    struct ima_namespace *ima_ns = get_current_ns();

1010
	if (load_id == LOADING_FIRMWARE) {
1011 1012 1013 1014 1015
        if (WARN_ON(ima_ns != &init_ima_ns))
            return -EACCES;

		if ((ima_ns->policy_data->ima_appraise & IMA_APPRAISE_FIRMWARE) &&
		    (ima_ns->policy_data->ima_appraise & IMA_APPRAISE_ENFORCE)) {
1016 1017 1018 1019 1020 1021
			pr_err("Prevent firmware loading_store.\n");
			return -EACCES; /* INTEGRITY_UNKNOWN */
		}
		return 0;
	}

1022 1023 1024
	return 0;
}

1025 1026
/*
 * process_buffer_measurement - Measure the buffer to ima log.
1027
 * @inode: inode associated with the object being measured (NULL for KEY_CHECK)
1028 1029 1030
 * @buf: pointer to the buffer that needs to be added to the log.
 * @size: size of buffer(in bytes).
 * @eventname: event name to be used for the buffer entry.
1031 1032
 * @func: IMA hook
 * @pcr: pcr to extend the measurement
1033
 * @keyring: keyring name to determine the action to be performed
1034
 * @ima_ns: pointer to the IMA namespace in consideration
1035 1036 1037
 *
 * Based on policy, the buffer is measured into the ima log.
 */
1038
void process_buffer_measurement(struct inode *inode, const void *buf, int size,
1039
				const char *eventname, enum ima_hooks func,
1040 1041
				int pcr, const char *keyring,
				struct ima_namespace *ima_ns)
1042 1043
{
	int ret = 0;
1044
	const char *audit_cause = "ENOMEM";
1045 1046 1047
	struct ima_template_entry *entry = NULL;
	struct integrity_iint_cache iint = {};
	struct ima_event_data event_data = {.iint = &iint,
1048 1049 1050
					    .filename = eventname,
					    .buf = buf,
					    .buf_len = size};
1051
	struct ima_template_desc *template = NULL;
1052 1053 1054 1055 1056 1057
	struct {
		struct ima_digest_data hdr;
		char digest[IMA_MAX_DIGEST_SIZE];
	} hash = {};
	int violation = 0;
	int action = 0;
1058
	u32 secid;
1059

1060
	if (!ima_ns->policy_data->ima_policy_flag)
1061 1062
		return;

1063 1064 1065 1066 1067 1068 1069 1070 1071
	/*
	 * Both LSM hooks and auxilary based buffer measurements are
	 * based on policy.  To avoid code duplication, differentiate
	 * between the LSM hooks and auxilary buffer measurements,
	 * retrieving the policy rule information only for the LSM hook
	 * buffer measurements.
	 */
	if (func) {
		security_task_getsecid(current, &secid);
1072
		action = ima_get_action(inode, current_cred(), secid, 0, func,
1073
					&pcr, &template, keyring, ima_ns);
1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092
		if (!(action & IMA_MEASURE))
			return;
	}

	if (!pcr)
		pcr = CONFIG_IMA_MEASURE_PCR_IDX;

	if (!template) {
		template = lookup_template_desc("ima-buf");
		ret = template_desc_init_fields(template->fmt,
						&(template->fields),
						&(template->num_fields));
		if (ret < 0) {
			pr_err("template %s init failed, result: %d\n",
			       (strlen(template->name) ?
				template->name : template->fmt), ret);
			return;
		}
	}
1093 1094 1095 1096 1097 1098

	iint.ima_hash = &hash.hdr;
	iint.ima_hash->algo = ima_hash_algo;
	iint.ima_hash->length = hash_digest_size[ima_hash_algo];

	ret = ima_calc_buffer_hash(buf, size, iint.ima_hash);
1099 1100
	if (ret < 0) {
		audit_cause = "hashing_error";
1101
		goto out;
1102
	}
1103

1104
	event_data.ns_id = get_ns_id(ima_ns);
1105
	ret = ima_alloc_init_template(&event_data, &entry, template);
1106 1107
	if (ret < 0) {
		audit_cause = "alloc_entry";
1108
		goto out;
1109
	}
1110

1111 1112
	ret = ima_store_template(entry, violation, NULL, buf, pcr, NULL,
				 ima_ns);
1113 1114
	if (ret < 0) {
		audit_cause = "store_entry";
1115
		ima_free_template_entry(entry);
1116
	}
1117 1118

out:
1119
	if (ret < 0)
1120 1121 1122
		integrity_audit_message(AUDIT_INTEGRITY_PCR, NULL, eventname,
					func_measure_str(func),
					audit_cause, ret, 0, ret);
1123

1124 1125 1126 1127 1128
	return;
}

/**
 * ima_kexec_cmdline - measure kexec cmdline boot args
1129
 * @kernel_fd: file descriptor of the kexec kernel being loaded
1130 1131 1132 1133 1134
 * @buf: pointer to buffer
 * @size: size of buffer
 *
 * Buffers can only be measured, not appraised.
 */
1135
void ima_kexec_cmdline(int kernel_fd, const void *buf, int size)
1136
{
1137
	struct fd f;
1138 1139 1140 1141 1142
	struct ima_namespace *ima_ns = get_current_ns();

	/* Currently allowed only from the root IMA namespace */
	if (WARN_ON(ima_ns != &init_ima_ns))
		return;
1143 1144 1145 1146 1147 1148 1149 1150 1151

	if (!buf || !size)
		return;

	f = fdget(kernel_fd);
	if (!f.file)
		return;

	process_buffer_measurement(file_inode(f.file), buf, size,
1152
				   "kexec-cmdline", KEXEC_CMDLINE, 0, NULL,
1153
				   ima_ns);
1154
	fdput(f);
1155 1156
}

1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177
void ima_inode_free(struct inode *inode)
{
	struct ima_namespace *ima_ns;

	if (!IS_IMA(inode))
		return;

	down_read(&ima_ns_list_lock);
	list_for_each_entry(ima_ns, &ima_ns_list, list) {
		if (atomic_read(&ima_ns->inactive))
			continue;
		integrity_inode_rb_free(ima_ns->iint_tree, inode);
	}
	up_read(&ima_ns_list_lock);
}

bool ima_is_root_namespace(void)
{
	return get_current_ns() == &init_ima_ns;
}

1178 1179 1180 1181
static int __init init_ima(void)
{
	int error;

1182
	ima_init_template_list();
1183
	hash_setup(CONFIG_IMA_DEFAULT_HASH);
1184
	error = ima_init();
1185 1186 1187 1188 1189 1190 1191 1192 1193 1194

	if (error && strcmp(hash_algo_name[ima_hash_algo],
			    CONFIG_IMA_DEFAULT_HASH) != 0) {
		pr_info("Allocating %s failed, going to use default hash algorithm %s\n",
			hash_algo_name[ima_hash_algo], CONFIG_IMA_DEFAULT_HASH);
		hash_setup_done = 0;
		hash_setup(CONFIG_IMA_DEFAULT_HASH);
		error = ima_init();
	}

1195 1196 1197
	if (error)
		return error;

1198 1199 1200 1201
	error = register_blocking_lsm_notifier(&ima_lsm_policy_notifier);
	if (error)
		pr_warn("Couldn't register LSM notifier, error %d\n", error);

1202
	if (!error)
1203
		ima_update_policy_flag(&init_ima_ns);
1204

1205 1206 1207 1208
	return error;
}

late_initcall(init_ima);	/* Start IMA after the TPM is available */