xref: /openbmc/linux/security/integrity/ima/ima_appraise.c (revision d79d72e02485c00b886179538dc8deaffa3be507)
12fe5d6deSMimi Zohar /*
22fe5d6deSMimi Zohar  * Copyright (C) 2011 IBM Corporation
32fe5d6deSMimi Zohar  *
42fe5d6deSMimi Zohar  * Author:
52fe5d6deSMimi Zohar  * Mimi Zohar <zohar@us.ibm.com>
62fe5d6deSMimi Zohar  *
72fe5d6deSMimi Zohar  * This program is free software; you can redistribute it and/or modify
82fe5d6deSMimi Zohar  * it under the terms of the GNU General Public License as published by
92fe5d6deSMimi Zohar  * the Free Software Foundation, version 2 of the License.
102fe5d6deSMimi Zohar  */
112fe5d6deSMimi Zohar #include <linux/module.h>
122fe5d6deSMimi Zohar #include <linux/file.h>
132fe5d6deSMimi Zohar #include <linux/fs.h>
142fe5d6deSMimi Zohar #include <linux/xattr.h>
152fe5d6deSMimi Zohar #include <linux/magic.h>
162fe5d6deSMimi Zohar #include <linux/ima.h>
172fe5d6deSMimi Zohar #include <linux/evm.h>
182fe5d6deSMimi Zohar 
192fe5d6deSMimi Zohar #include "ima.h"
202fe5d6deSMimi Zohar 
212fe5d6deSMimi Zohar static int __init default_appraise_setup(char *str)
222fe5d6deSMimi Zohar {
232fe5d6deSMimi Zohar 	if (strncmp(str, "off", 3) == 0)
242fe5d6deSMimi Zohar 		ima_appraise = 0;
252fe5d6deSMimi Zohar 	else if (strncmp(str, "fix", 3) == 0)
262fe5d6deSMimi Zohar 		ima_appraise = IMA_APPRAISE_FIX;
272fe5d6deSMimi Zohar 	return 1;
282fe5d6deSMimi Zohar }
292fe5d6deSMimi Zohar 
302fe5d6deSMimi Zohar __setup("ima_appraise=", default_appraise_setup);
312fe5d6deSMimi Zohar 
322fe5d6deSMimi Zohar /*
332fe5d6deSMimi Zohar  * ima_must_appraise - set appraise flag
342fe5d6deSMimi Zohar  *
352fe5d6deSMimi Zohar  * Return 1 to appraise
362fe5d6deSMimi Zohar  */
37d26e1936SDmitry Kasatkin int ima_must_appraise(struct inode *inode, int mask, enum ima_hooks func)
382fe5d6deSMimi Zohar {
3907f6a794SMimi Zohar 	if (!ima_appraise)
402fe5d6deSMimi Zohar 		return 0;
4107f6a794SMimi Zohar 
4207f6a794SMimi Zohar 	return ima_match_policy(inode, func, mask, IMA_APPRAISE);
432fe5d6deSMimi Zohar }
442fe5d6deSMimi Zohar 
45def3e8b9SDmitry Kasatkin static int ima_fix_xattr(struct dentry *dentry,
462fe5d6deSMimi Zohar 			  struct integrity_iint_cache *iint)
472fe5d6deSMimi Zohar {
485a44b412SMimi Zohar 	iint->ima_xattr.type = IMA_XATTR_DIGEST;
49def3e8b9SDmitry Kasatkin 	return __vfs_setxattr_noperm(dentry, XATTR_NAME_IMA,
50def3e8b9SDmitry Kasatkin 				     (u8 *)&iint->ima_xattr,
51def3e8b9SDmitry Kasatkin 				      sizeof(iint->ima_xattr), 0);
522fe5d6deSMimi Zohar }
532fe5d6deSMimi Zohar 
54*d79d72e0SMimi Zohar /* Return specific func appraised cached result */
55*d79d72e0SMimi Zohar enum integrity_status ima_get_cache_status(struct integrity_iint_cache *iint,
56*d79d72e0SMimi Zohar 					   int func)
57*d79d72e0SMimi Zohar {
58*d79d72e0SMimi Zohar 	switch(func) {
59*d79d72e0SMimi Zohar 	case MMAP_CHECK:
60*d79d72e0SMimi Zohar 		return iint->ima_mmap_status;
61*d79d72e0SMimi Zohar 	case BPRM_CHECK:
62*d79d72e0SMimi Zohar 		return iint->ima_bprm_status;
63*d79d72e0SMimi Zohar 	case MODULE_CHECK:
64*d79d72e0SMimi Zohar 		return iint->ima_module_status;
65*d79d72e0SMimi Zohar 	case FILE_CHECK:
66*d79d72e0SMimi Zohar 	default:
67*d79d72e0SMimi Zohar 		return iint->ima_file_status;
68*d79d72e0SMimi Zohar 	}
69*d79d72e0SMimi Zohar }
70*d79d72e0SMimi Zohar 
71*d79d72e0SMimi Zohar static void ima_set_cache_status(struct integrity_iint_cache *iint,
72*d79d72e0SMimi Zohar 				 int func, enum integrity_status status)
73*d79d72e0SMimi Zohar {
74*d79d72e0SMimi Zohar 	switch(func) {
75*d79d72e0SMimi Zohar 	case MMAP_CHECK:
76*d79d72e0SMimi Zohar 		iint->ima_mmap_status = status;
77*d79d72e0SMimi Zohar 		break;
78*d79d72e0SMimi Zohar 	case BPRM_CHECK:
79*d79d72e0SMimi Zohar 		iint->ima_bprm_status = status;
80*d79d72e0SMimi Zohar 		break;
81*d79d72e0SMimi Zohar 	case MODULE_CHECK:
82*d79d72e0SMimi Zohar 		iint->ima_module_status = status;
83*d79d72e0SMimi Zohar 		break;
84*d79d72e0SMimi Zohar 	case FILE_CHECK:
85*d79d72e0SMimi Zohar 	default:
86*d79d72e0SMimi Zohar 		iint->ima_file_status = status;
87*d79d72e0SMimi Zohar 		break;
88*d79d72e0SMimi Zohar 	}
89*d79d72e0SMimi Zohar }
90*d79d72e0SMimi Zohar 
91*d79d72e0SMimi Zohar static void ima_cache_flags(struct integrity_iint_cache *iint, int func)
92*d79d72e0SMimi Zohar {
93*d79d72e0SMimi Zohar 	switch(func) {
94*d79d72e0SMimi Zohar 	case MMAP_CHECK:
95*d79d72e0SMimi Zohar 		iint->flags |= (IMA_MMAP_APPRAISED | IMA_APPRAISED);
96*d79d72e0SMimi Zohar 		break;
97*d79d72e0SMimi Zohar 	case BPRM_CHECK:
98*d79d72e0SMimi Zohar 		iint->flags |= (IMA_BPRM_APPRAISED | IMA_APPRAISED);
99*d79d72e0SMimi Zohar 		break;
100*d79d72e0SMimi Zohar 	case MODULE_CHECK:
101*d79d72e0SMimi Zohar 		iint->flags |= (IMA_MODULE_APPRAISED | IMA_APPRAISED);
102*d79d72e0SMimi Zohar 		break;
103*d79d72e0SMimi Zohar 	case FILE_CHECK:
104*d79d72e0SMimi Zohar 	default:
105*d79d72e0SMimi Zohar 		iint->flags |= (IMA_FILE_APPRAISED | IMA_APPRAISED);
106*d79d72e0SMimi Zohar 		break;
107*d79d72e0SMimi Zohar 	}
108*d79d72e0SMimi Zohar }
109*d79d72e0SMimi Zohar 
1102fe5d6deSMimi Zohar /*
1112fe5d6deSMimi Zohar  * ima_appraise_measurement - appraise file measurement
1122fe5d6deSMimi Zohar  *
1132fe5d6deSMimi Zohar  * Call evm_verifyxattr() to verify the integrity of 'security.ima'.
1142fe5d6deSMimi Zohar  * Assuming success, compare the xattr hash with the collected measurement.
1152fe5d6deSMimi Zohar  *
1162fe5d6deSMimi Zohar  * Return 0 on success, error code otherwise
1172fe5d6deSMimi Zohar  */
118*d79d72e0SMimi Zohar int ima_appraise_measurement(int func, struct integrity_iint_cache *iint,
1192fe5d6deSMimi Zohar 			     struct file *file, const unsigned char *filename)
1202fe5d6deSMimi Zohar {
1212fe5d6deSMimi Zohar 	struct dentry *dentry = file->f_dentry;
1222fe5d6deSMimi Zohar 	struct inode *inode = dentry->d_inode;
1238606404fSDmitry Kasatkin 	struct evm_ima_xattr_data *xattr_value = NULL;
1242fe5d6deSMimi Zohar 	enum integrity_status status = INTEGRITY_UNKNOWN;
1252fe5d6deSMimi Zohar 	const char *op = "appraise_data";
1262fe5d6deSMimi Zohar 	char *cause = "unknown";
1272fe5d6deSMimi Zohar 	int rc;
1282fe5d6deSMimi Zohar 
1292fe5d6deSMimi Zohar 	if (!ima_appraise)
1302fe5d6deSMimi Zohar 		return 0;
1312fe5d6deSMimi Zohar 	if (!inode->i_op->getxattr)
1322fe5d6deSMimi Zohar 		return INTEGRITY_UNKNOWN;
1332fe5d6deSMimi Zohar 
1348606404fSDmitry Kasatkin 	rc = vfs_getxattr_alloc(dentry, XATTR_NAME_IMA, (char **)&xattr_value,
1358606404fSDmitry Kasatkin 				0, GFP_NOFS);
1362fe5d6deSMimi Zohar 	if (rc <= 0) {
1372fe5d6deSMimi Zohar 		if (rc && rc != -ENODATA)
1382fe5d6deSMimi Zohar 			goto out;
1392fe5d6deSMimi Zohar 
1402fe5d6deSMimi Zohar 		cause = "missing-hash";
1412fe5d6deSMimi Zohar 		status =
1422fe5d6deSMimi Zohar 		    (inode->i_size == 0) ? INTEGRITY_PASS : INTEGRITY_NOLABEL;
1432fe5d6deSMimi Zohar 		goto out;
1442fe5d6deSMimi Zohar 	}
1452fe5d6deSMimi Zohar 
1468606404fSDmitry Kasatkin 	status = evm_verifyxattr(dentry, XATTR_NAME_IMA, xattr_value, rc, iint);
1472fe5d6deSMimi Zohar 	if ((status != INTEGRITY_PASS) && (status != INTEGRITY_UNKNOWN)) {
1482fe5d6deSMimi Zohar 		if ((status == INTEGRITY_NOLABEL)
1492fe5d6deSMimi Zohar 		    || (status == INTEGRITY_NOXATTRS))
1502fe5d6deSMimi Zohar 			cause = "missing-HMAC";
1512fe5d6deSMimi Zohar 		else if (status == INTEGRITY_FAIL)
1522fe5d6deSMimi Zohar 			cause = "invalid-HMAC";
1532fe5d6deSMimi Zohar 		goto out;
1542fe5d6deSMimi Zohar 	}
1558606404fSDmitry Kasatkin 	switch (xattr_value->type) {
1568606404fSDmitry Kasatkin 	case IMA_XATTR_DIGEST:
1570e5a247cSDmitry Kasatkin 		if (iint->flags & IMA_DIGSIG_REQUIRED) {
1580e5a247cSDmitry Kasatkin 			cause = "IMA signature required";
1590e5a247cSDmitry Kasatkin 			status = INTEGRITY_FAIL;
1600e5a247cSDmitry Kasatkin 			break;
1610e5a247cSDmitry Kasatkin 		}
1628606404fSDmitry Kasatkin 		rc = memcmp(xattr_value->digest, iint->ima_xattr.digest,
1635a44b412SMimi Zohar 			    IMA_DIGEST_SIZE);
1642fe5d6deSMimi Zohar 		if (rc) {
1652fe5d6deSMimi Zohar 			cause = "invalid-hash";
1668606404fSDmitry Kasatkin 			status = INTEGRITY_FAIL;
1678606404fSDmitry Kasatkin 			break;
1682fe5d6deSMimi Zohar 		}
1692fe5d6deSMimi Zohar 		status = INTEGRITY_PASS;
1708606404fSDmitry Kasatkin 		break;
1718606404fSDmitry Kasatkin 	case EVM_IMA_XATTR_DIGSIG:
1728606404fSDmitry Kasatkin 		iint->flags |= IMA_DIGSIG;
1738606404fSDmitry Kasatkin 		rc = integrity_digsig_verify(INTEGRITY_KEYRING_IMA,
1748606404fSDmitry Kasatkin 					     xattr_value->digest, rc - 1,
1758606404fSDmitry Kasatkin 					     iint->ima_xattr.digest,
1768606404fSDmitry Kasatkin 					     IMA_DIGEST_SIZE);
1778606404fSDmitry Kasatkin 		if (rc == -EOPNOTSUPP) {
1788606404fSDmitry Kasatkin 			status = INTEGRITY_UNKNOWN;
1798606404fSDmitry Kasatkin 		} else if (rc) {
1808606404fSDmitry Kasatkin 			cause = "invalid-signature";
1818606404fSDmitry Kasatkin 			status = INTEGRITY_FAIL;
1828606404fSDmitry Kasatkin 		} else {
1838606404fSDmitry Kasatkin 			status = INTEGRITY_PASS;
1848606404fSDmitry Kasatkin 		}
1858606404fSDmitry Kasatkin 		break;
1868606404fSDmitry Kasatkin 	default:
1878606404fSDmitry Kasatkin 		status = INTEGRITY_UNKNOWN;
1888606404fSDmitry Kasatkin 		cause = "unknown-ima-data";
1898606404fSDmitry Kasatkin 		break;
1908606404fSDmitry Kasatkin 	}
1918606404fSDmitry Kasatkin 
1922fe5d6deSMimi Zohar out:
1932fe5d6deSMimi Zohar 	if (status != INTEGRITY_PASS) {
1948606404fSDmitry Kasatkin 		if ((ima_appraise & IMA_APPRAISE_FIX) &&
1958606404fSDmitry Kasatkin 		    (!xattr_value ||
1968606404fSDmitry Kasatkin 		     xattr_value->type != EVM_IMA_XATTR_DIGSIG)) {
197def3e8b9SDmitry Kasatkin 			if (!ima_fix_xattr(dentry, iint))
1982fe5d6deSMimi Zohar 				status = INTEGRITY_PASS;
1992fe5d6deSMimi Zohar 		}
2002fe5d6deSMimi Zohar 		integrity_audit_msg(AUDIT_INTEGRITY_DATA, inode, filename,
2012fe5d6deSMimi Zohar 				    op, cause, rc, 0);
2028606404fSDmitry Kasatkin 	} else {
203*d79d72e0SMimi Zohar 		ima_cache_flags(iint, func);
2042fe5d6deSMimi Zohar 	}
205*d79d72e0SMimi Zohar 	ima_set_cache_status(iint, func, status);
2068606404fSDmitry Kasatkin 	kfree(xattr_value);
2072fe5d6deSMimi Zohar 	return status;
2082fe5d6deSMimi Zohar }
2092fe5d6deSMimi Zohar 
2102fe5d6deSMimi Zohar /*
2112fe5d6deSMimi Zohar  * ima_update_xattr - update 'security.ima' hash value
2122fe5d6deSMimi Zohar  */
2132fe5d6deSMimi Zohar void ima_update_xattr(struct integrity_iint_cache *iint, struct file *file)
2142fe5d6deSMimi Zohar {
2152fe5d6deSMimi Zohar 	struct dentry *dentry = file->f_dentry;
2162fe5d6deSMimi Zohar 	int rc = 0;
2172fe5d6deSMimi Zohar 
2188606404fSDmitry Kasatkin 	/* do not collect and update hash for digital signatures */
2198606404fSDmitry Kasatkin 	if (iint->flags & IMA_DIGSIG)
2208606404fSDmitry Kasatkin 		return;
2218606404fSDmitry Kasatkin 
2222fe5d6deSMimi Zohar 	rc = ima_collect_measurement(iint, file);
2232fe5d6deSMimi Zohar 	if (rc < 0)
2242fe5d6deSMimi Zohar 		return;
2258606404fSDmitry Kasatkin 
2262fe5d6deSMimi Zohar 	ima_fix_xattr(dentry, iint);
2272fe5d6deSMimi Zohar }
2282fe5d6deSMimi Zohar 
2292fe5d6deSMimi Zohar /**
2302fe5d6deSMimi Zohar  * ima_inode_post_setattr - reflect file metadata changes
2312fe5d6deSMimi Zohar  * @dentry: pointer to the affected dentry
2322fe5d6deSMimi Zohar  *
2332fe5d6deSMimi Zohar  * Changes to a dentry's metadata might result in needing to appraise.
2342fe5d6deSMimi Zohar  *
2352fe5d6deSMimi Zohar  * This function is called from notify_change(), which expects the caller
2362fe5d6deSMimi Zohar  * to lock the inode's i_mutex.
2372fe5d6deSMimi Zohar  */
2382fe5d6deSMimi Zohar void ima_inode_post_setattr(struct dentry *dentry)
2392fe5d6deSMimi Zohar {
2402fe5d6deSMimi Zohar 	struct inode *inode = dentry->d_inode;
2412fe5d6deSMimi Zohar 	struct integrity_iint_cache *iint;
2422fe5d6deSMimi Zohar 	int must_appraise, rc;
2432fe5d6deSMimi Zohar 
2442fe5d6deSMimi Zohar 	if (!ima_initialized || !ima_appraise || !S_ISREG(inode->i_mode)
2452fe5d6deSMimi Zohar 	    || !inode->i_op->removexattr)
2462fe5d6deSMimi Zohar 		return;
2472fe5d6deSMimi Zohar 
2482fe5d6deSMimi Zohar 	must_appraise = ima_must_appraise(inode, MAY_ACCESS, POST_SETATTR);
2492fe5d6deSMimi Zohar 	iint = integrity_iint_find(inode);
2502fe5d6deSMimi Zohar 	if (iint) {
251*d79d72e0SMimi Zohar 		iint->flags &= ~(IMA_APPRAISE | IMA_APPRAISED |
252*d79d72e0SMimi Zohar 				 IMA_APPRAISE_SUBMASK | IMA_APPRAISED_SUBMASK |
253*d79d72e0SMimi Zohar 				 IMA_ACTION_FLAGS);
2542fe5d6deSMimi Zohar 		if (must_appraise)
2552fe5d6deSMimi Zohar 			iint->flags |= IMA_APPRAISE;
2562fe5d6deSMimi Zohar 	}
2572fe5d6deSMimi Zohar 	if (!must_appraise)
2582fe5d6deSMimi Zohar 		rc = inode->i_op->removexattr(dentry, XATTR_NAME_IMA);
2592fe5d6deSMimi Zohar 	return;
2602fe5d6deSMimi Zohar }
26142c63330SMimi Zohar 
26242c63330SMimi Zohar /*
26342c63330SMimi Zohar  * ima_protect_xattr - protect 'security.ima'
26442c63330SMimi Zohar  *
26542c63330SMimi Zohar  * Ensure that not just anyone can modify or remove 'security.ima'.
26642c63330SMimi Zohar  */
26742c63330SMimi Zohar static int ima_protect_xattr(struct dentry *dentry, const char *xattr_name,
26842c63330SMimi Zohar 			     const void *xattr_value, size_t xattr_value_len)
26942c63330SMimi Zohar {
27042c63330SMimi Zohar 	if (strcmp(xattr_name, XATTR_NAME_IMA) == 0) {
27142c63330SMimi Zohar 		if (!capable(CAP_SYS_ADMIN))
27242c63330SMimi Zohar 			return -EPERM;
27342c63330SMimi Zohar 		return 1;
27442c63330SMimi Zohar 	}
27542c63330SMimi Zohar 	return 0;
27642c63330SMimi Zohar }
27742c63330SMimi Zohar 
27842c63330SMimi Zohar static void ima_reset_appraise_flags(struct inode *inode)
27942c63330SMimi Zohar {
28042c63330SMimi Zohar 	struct integrity_iint_cache *iint;
28142c63330SMimi Zohar 
28242c63330SMimi Zohar 	if (!ima_initialized || !ima_appraise || !S_ISREG(inode->i_mode))
28342c63330SMimi Zohar 		return;
28442c63330SMimi Zohar 
28542c63330SMimi Zohar 	iint = integrity_iint_find(inode);
28642c63330SMimi Zohar 	if (!iint)
28742c63330SMimi Zohar 		return;
28842c63330SMimi Zohar 
28945e2472eSDmitry Kasatkin 	iint->flags &= ~IMA_DONE_MASK;
29042c63330SMimi Zohar 	return;
29142c63330SMimi Zohar }
29242c63330SMimi Zohar 
29342c63330SMimi Zohar int ima_inode_setxattr(struct dentry *dentry, const char *xattr_name,
29442c63330SMimi Zohar 		       const void *xattr_value, size_t xattr_value_len)
29542c63330SMimi Zohar {
29642c63330SMimi Zohar 	int result;
29742c63330SMimi Zohar 
29842c63330SMimi Zohar 	result = ima_protect_xattr(dentry, xattr_name, xattr_value,
29942c63330SMimi Zohar 				   xattr_value_len);
30042c63330SMimi Zohar 	if (result == 1) {
30142c63330SMimi Zohar 		ima_reset_appraise_flags(dentry->d_inode);
30242c63330SMimi Zohar 		result = 0;
30342c63330SMimi Zohar 	}
30442c63330SMimi Zohar 	return result;
30542c63330SMimi Zohar }
30642c63330SMimi Zohar 
30742c63330SMimi Zohar int ima_inode_removexattr(struct dentry *dentry, const char *xattr_name)
30842c63330SMimi Zohar {
30942c63330SMimi Zohar 	int result;
31042c63330SMimi Zohar 
31142c63330SMimi Zohar 	result = ima_protect_xattr(dentry, xattr_name, NULL, 0);
31242c63330SMimi Zohar 	if (result == 1) {
31342c63330SMimi Zohar 		ima_reset_appraise_flags(dentry->d_inode);
31442c63330SMimi Zohar 		result = 0;
31542c63330SMimi Zohar 	}
31642c63330SMimi Zohar 	return result;
31742c63330SMimi Zohar }
318