blob: 0ddc41389a9caac1099f0260636d26d9362413fc [file] [log] [blame]
Mimi Zohar3323eec2009-02-04 09:06:58 -05001/*
2 * Copyright (C) 2008 IBM Corporation
3 * Author: Mimi Zohar <zohar@us.ibm.com>
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License as published by
7 * the Free Software Foundation, version 2 of the License.
8 *
9 * ima_policy.c
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +020010 * - initialize default measure policy rules
Mimi Zohar3323eec2009-02-04 09:06:58 -050011 *
12 */
13#include <linux/module.h>
14#include <linux/list.h>
Mimi Zoharcf222212016-01-14 17:57:47 -050015#include <linux/fs.h>
Mimi Zohar3323eec2009-02-04 09:06:58 -050016#include <linux/security.h>
17#include <linux/magic.h>
Mimi Zohar4af46622009-02-04 09:07:00 -050018#include <linux/parser.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090019#include <linux/slab.h>
Petko Manolov38d859f2015-12-02 17:47:54 +020020#include <linux/rculist.h>
Dmitry Kasatkin85865c12012-09-03 23:23:13 +030021#include <linux/genhd.h>
Petko Manolov80eae202015-12-02 17:47:56 +020022#include <linux/seq_file.h>
Mimi Zohar3323eec2009-02-04 09:06:58 -050023
24#include "ima.h"
25
26/* flags definitions */
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +020027#define IMA_FUNC 0x0001
28#define IMA_MASK 0x0002
Mimi Zohar3323eec2009-02-04 09:06:58 -050029#define IMA_FSMAGIC 0x0004
30#define IMA_UID 0x0008
Mimi Zohar07f6a792011-03-09 22:25:48 -050031#define IMA_FOWNER 0x0010
Dmitry Kasatkin85865c12012-09-03 23:23:13 +030032#define IMA_FSUUID 0x0020
Mimi Zohar4351c292014-11-05 07:53:55 -050033#define IMA_INMASK 0x0040
Mimi Zohar139069e2014-11-05 07:48:36 -050034#define IMA_EUID 0x0080
Eric Richter02606432016-06-01 13:14:01 -050035#define IMA_PCR 0x0100
Mimi Zohar3323eec2009-02-04 09:06:58 -050036
Dmitry Kasatkin45e24722012-09-12 20:51:32 +030037#define UNKNOWN 0
38#define MEASURE 0x0001 /* same as IMA_MEASURE */
39#define DONT_MEASURE 0x0002
40#define APPRAISE 0x0004 /* same as IMA_APPRAISE */
41#define DONT_APPRAISE 0x0008
Peter Moodye7c568e2012-06-14 10:04:36 -070042#define AUDIT 0x0040
Mimi Zohar4af46622009-02-04 09:07:00 -050043
Eric Richter02606432016-06-01 13:14:01 -050044#define INVALID_PCR(a) (((a) < 0) || \
45 (a) >= (FIELD_SIZEOF(struct integrity_iint_cache, measured_pcrs) * 8))
46
Roberto Sassua7560242014-09-12 19:35:54 +020047int ima_policy_flag;
Mimi Zohar6ad6afa2015-12-07 14:35:47 -050048static int temp_ima_appraise;
Roberto Sassua7560242014-09-12 19:35:54 +020049
Mimi Zohar4af46622009-02-04 09:07:00 -050050#define MAX_LSM_RULES 6
51enum lsm_rule_types { LSM_OBJ_USER, LSM_OBJ_ROLE, LSM_OBJ_TYPE,
52 LSM_SUBJ_USER, LSM_SUBJ_ROLE, LSM_SUBJ_TYPE
53};
Mimi Zohar3323eec2009-02-04 09:06:58 -050054
Mimi Zohar24fd03c2015-06-11 20:48:33 -040055enum policy_types { ORIGINAL_TCB = 1, DEFAULT_TCB };
56
Mimi Zohar07f6a792011-03-09 22:25:48 -050057struct ima_rule_entry {
Mimi Zohar3323eec2009-02-04 09:06:58 -050058 struct list_head list;
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -050059 int action;
Mimi Zohar3323eec2009-02-04 09:06:58 -050060 unsigned int flags;
61 enum ima_hooks func;
62 int mask;
63 unsigned long fsmagic;
Dmitry Kasatkin85865c12012-09-03 23:23:13 +030064 u8 fsuuid[16];
Eric W. Biederman8b94eea2012-05-25 18:24:12 -060065 kuid_t uid;
Linus Torvalds882653222012-10-02 21:38:48 -070066 kuid_t fowner;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +030067 bool (*uid_op)(kuid_t, kuid_t); /* Handlers for operators */
68 bool (*fowner_op)(kuid_t, kuid_t); /* uid_eq(), uid_gt(), uid_lt() */
Eric Richter02606432016-06-01 13:14:01 -050069 int pcr;
Mimi Zohar4af46622009-02-04 09:07:00 -050070 struct {
71 void *rule; /* LSM file metadata specific */
Mimi Zohar7163a992013-01-03 14:19:09 -050072 void *args_p; /* audit value */
Mimi Zohar4af46622009-02-04 09:07:00 -050073 int type; /* audit type */
74 } lsm[MAX_LSM_RULES];
Mimi Zohar3323eec2009-02-04 09:06:58 -050075};
76
Eric Paris5789ba32009-05-21 15:47:06 -040077/*
78 * Without LSM specific knowledge, the default policy can only be
Mimi Zohar07f6a792011-03-09 22:25:48 -050079 * written in terms of .action, .func, .mask, .fsmagic, .uid, and .fowner
Mimi Zohar4af46622009-02-04 09:07:00 -050080 */
Eric Paris5789ba32009-05-21 15:47:06 -040081
82/*
83 * The minimum rule set to allow for full TCB coverage. Measures all files
84 * opened or mmap for exec and everything read by root. Dangerous because
85 * normal users can easily run the machine out of memory simply building
86 * and running executables.
87 */
James Morrisbad44172017-02-13 16:34:35 +110088static struct ima_rule_entry dont_measure_rules[] __ro_after_init = {
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +020089 {.action = DONT_MEASURE, .fsmagic = PROC_SUPER_MAGIC, .flags = IMA_FSMAGIC},
90 {.action = DONT_MEASURE, .fsmagic = SYSFS_MAGIC, .flags = IMA_FSMAGIC},
91 {.action = DONT_MEASURE, .fsmagic = DEBUGFS_MAGIC, .flags = IMA_FSMAGIC},
92 {.action = DONT_MEASURE, .fsmagic = TMPFS_MAGIC, .flags = IMA_FSMAGIC},
93 {.action = DONT_MEASURE, .fsmagic = DEVPTS_SUPER_MAGIC, .flags = IMA_FSMAGIC},
94 {.action = DONT_MEASURE, .fsmagic = BINFMTFS_MAGIC, .flags = IMA_FSMAGIC},
95 {.action = DONT_MEASURE, .fsmagic = SECURITYFS_MAGIC, .flags = IMA_FSMAGIC},
96 {.action = DONT_MEASURE, .fsmagic = SELINUX_MAGIC, .flags = IMA_FSMAGIC},
Roberto Sassu6438de92015-04-11 17:13:06 +020097 {.action = DONT_MEASURE, .fsmagic = CGROUP_SUPER_MAGIC,
98 .flags = IMA_FSMAGIC},
Mimi Zohar24fd03c2015-06-11 20:48:33 -040099 {.action = DONT_MEASURE, .fsmagic = NSFS_MAGIC, .flags = IMA_FSMAGIC}
100};
101
James Morrisbad44172017-02-13 16:34:35 +1100102static struct ima_rule_entry original_measurement_rules[] __ro_after_init = {
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200103 {.action = MEASURE, .func = MMAP_CHECK, .mask = MAY_EXEC,
Mimi Zohar3323eec2009-02-04 09:06:58 -0500104 .flags = IMA_FUNC | IMA_MASK},
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200105 {.action = MEASURE, .func = BPRM_CHECK, .mask = MAY_EXEC,
Mimi Zohar3323eec2009-02-04 09:06:58 -0500106 .flags = IMA_FUNC | IMA_MASK},
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400107 {.action = MEASURE, .func = FILE_CHECK, .mask = MAY_READ,
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300108 .uid = GLOBAL_ROOT_UID, .uid_op = &uid_eq,
109 .flags = IMA_FUNC | IMA_MASK | IMA_UID},
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400110 {.action = MEASURE, .func = MODULE_CHECK, .flags = IMA_FUNC},
111 {.action = MEASURE, .func = FIRMWARE_CHECK, .flags = IMA_FUNC},
112};
113
James Morrisbad44172017-02-13 16:34:35 +1100114static struct ima_rule_entry default_measurement_rules[] __ro_after_init = {
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400115 {.action = MEASURE, .func = MMAP_CHECK, .mask = MAY_EXEC,
116 .flags = IMA_FUNC | IMA_MASK},
117 {.action = MEASURE, .func = BPRM_CHECK, .mask = MAY_EXEC,
118 .flags = IMA_FUNC | IMA_MASK},
119 {.action = MEASURE, .func = FILE_CHECK, .mask = MAY_READ,
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300120 .uid = GLOBAL_ROOT_UID, .uid_op = &uid_eq,
121 .flags = IMA_FUNC | IMA_INMASK | IMA_EUID},
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400122 {.action = MEASURE, .func = FILE_CHECK, .mask = MAY_READ,
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300123 .uid = GLOBAL_ROOT_UID, .uid_op = &uid_eq,
124 .flags = IMA_FUNC | IMA_INMASK | IMA_UID},
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200125 {.action = MEASURE, .func = MODULE_CHECK, .flags = IMA_FUNC},
Mimi Zohar5a9196d2014-07-22 10:39:48 -0400126 {.action = MEASURE, .func = FIRMWARE_CHECK, .flags = IMA_FUNC},
Mimi Zohar19f8a842016-01-15 10:17:12 -0500127 {.action = MEASURE, .func = POLICY_CHECK, .flags = IMA_FUNC},
Mimi Zohar3323eec2009-02-04 09:06:58 -0500128};
129
James Morrisbad44172017-02-13 16:34:35 +1100130static struct ima_rule_entry default_appraise_rules[] __ro_after_init = {
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200131 {.action = DONT_APPRAISE, .fsmagic = PROC_SUPER_MAGIC, .flags = IMA_FSMAGIC},
132 {.action = DONT_APPRAISE, .fsmagic = SYSFS_MAGIC, .flags = IMA_FSMAGIC},
133 {.action = DONT_APPRAISE, .fsmagic = DEBUGFS_MAGIC, .flags = IMA_FSMAGIC},
134 {.action = DONT_APPRAISE, .fsmagic = TMPFS_MAGIC, .flags = IMA_FSMAGIC},
135 {.action = DONT_APPRAISE, .fsmagic = RAMFS_MAGIC, .flags = IMA_FSMAGIC},
136 {.action = DONT_APPRAISE, .fsmagic = DEVPTS_SUPER_MAGIC, .flags = IMA_FSMAGIC},
137 {.action = DONT_APPRAISE, .fsmagic = BINFMTFS_MAGIC, .flags = IMA_FSMAGIC},
138 {.action = DONT_APPRAISE, .fsmagic = SECURITYFS_MAGIC, .flags = IMA_FSMAGIC},
139 {.action = DONT_APPRAISE, .fsmagic = SELINUX_MAGIC, .flags = IMA_FSMAGIC},
Mimi Zoharcd025f72015-04-21 16:54:24 -0400140 {.action = DONT_APPRAISE, .fsmagic = NSFS_MAGIC, .flags = IMA_FSMAGIC},
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200141 {.action = DONT_APPRAISE, .fsmagic = CGROUP_SUPER_MAGIC, .flags = IMA_FSMAGIC},
Mimi Zohar95ee08f2015-12-07 15:08:01 -0500142#ifdef CONFIG_IMA_WRITE_POLICY
143 {.action = APPRAISE, .func = POLICY_CHECK,
144 .flags = IMA_FUNC | IMA_DIGSIG_REQUIRED},
145#endif
Dmitry Kasatkinc57782c2014-11-05 17:01:16 +0200146#ifndef CONFIG_IMA_APPRAISE_SIGNED_INIT
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300147 {.action = APPRAISE, .fowner = GLOBAL_ROOT_UID, .fowner_op = &uid_eq,
148 .flags = IMA_FOWNER},
Dmitry Kasatkinc57782c2014-11-05 17:01:16 +0200149#else
150 /* force signature */
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300151 {.action = APPRAISE, .fowner = GLOBAL_ROOT_UID, .fowner_op = &uid_eq,
Dmitry Kasatkinc57782c2014-11-05 17:01:16 +0200152 .flags = IMA_FOWNER | IMA_DIGSIG_REQUIRED},
153#endif
Mimi Zohar07f6a792011-03-09 22:25:48 -0500154};
Mimi Zohar3323eec2009-02-04 09:06:58 -0500155
Mimi Zohar07f6a792011-03-09 22:25:48 -0500156static LIST_HEAD(ima_default_rules);
157static LIST_HEAD(ima_policy_rules);
Petko Manolov38d859f2015-12-02 17:47:54 +0200158static LIST_HEAD(ima_temp_rules);
Mimi Zohar07f6a792011-03-09 22:25:48 -0500159static struct list_head *ima_rules;
160
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400161static int ima_policy __initdata;
Petko Manolov38d859f2015-12-02 17:47:54 +0200162
Mimi Zohar07f6a792011-03-09 22:25:48 -0500163static int __init default_measure_policy_setup(char *str)
Eric Paris5789ba32009-05-21 15:47:06 -0400164{
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400165 if (ima_policy)
166 return 1;
167
168 ima_policy = ORIGINAL_TCB;
Eric Paris5789ba32009-05-21 15:47:06 -0400169 return 1;
170}
Mimi Zohar07f6a792011-03-09 22:25:48 -0500171__setup("ima_tcb", default_measure_policy_setup);
172
Mimi Zohar33ce9542017-04-24 12:04:09 -0400173static bool ima_use_appraise_tcb __initdata;
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400174static int __init policy_setup(char *str)
175{
Mimi Zohar33ce9542017-04-24 12:04:09 -0400176 char *p;
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400177
Mimi Zohar33ce9542017-04-24 12:04:09 -0400178 while ((p = strsep(&str, " |\n")) != NULL) {
179 if (*p == ' ')
180 continue;
181 if ((strcmp(p, "tcb") == 0) && !ima_policy)
182 ima_policy = DEFAULT_TCB;
183 else if (strcmp(p, "appraise_tcb") == 0)
184 ima_use_appraise_tcb = 1;
185 }
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400186
187 return 1;
188}
189__setup("ima_policy=", policy_setup);
190
Mimi Zohar07f6a792011-03-09 22:25:48 -0500191static int __init default_appraise_policy_setup(char *str)
192{
193 ima_use_appraise_tcb = 1;
194 return 1;
195}
196__setup("ima_appraise_tcb", default_appraise_policy_setup);
Eric Paris5789ba32009-05-21 15:47:06 -0400197
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200198/*
Petko Manolov38d859f2015-12-02 17:47:54 +0200199 * The LSM policy can be reloaded, leaving the IMA LSM based rules referring
200 * to the old, stale LSM policy. Update the IMA LSM based rules to reflect
201 * the reloaded LSM policy. We assume the rules still exist; and BUG_ON() if
202 * they don't.
Mimi Zohar7163a992013-01-03 14:19:09 -0500203 */
204static void ima_lsm_update_rules(void)
205{
Petko Manolov38d859f2015-12-02 17:47:54 +0200206 struct ima_rule_entry *entry;
Mimi Zohar7163a992013-01-03 14:19:09 -0500207 int result;
208 int i;
209
Petko Manolov38d859f2015-12-02 17:47:54 +0200210 list_for_each_entry(entry, &ima_policy_rules, list) {
Mimi Zohar7163a992013-01-03 14:19:09 -0500211 for (i = 0; i < MAX_LSM_RULES; i++) {
212 if (!entry->lsm[i].rule)
213 continue;
214 result = security_filter_rule_init(entry->lsm[i].type,
215 Audit_equal,
216 entry->lsm[i].args_p,
217 &entry->lsm[i].rule);
218 BUG_ON(!entry->lsm[i].rule);
219 }
220 }
Mimi Zohar7163a992013-01-03 14:19:09 -0500221}
222
Mimi Zohar3323eec2009-02-04 09:06:58 -0500223/**
224 * ima_match_rules - determine whether an inode matches the measure rule.
225 * @rule: a pointer to a rule
226 * @inode: a pointer to an inode
227 * @func: LIM hook identifier
228 * @mask: requested action (MAY_READ | MAY_WRITE | MAY_APPEND | MAY_EXEC)
229 *
230 * Returns true on rule match, false on failure.
231 */
Mimi Zohar4ad87a32016-01-14 20:59:14 -0500232static bool ima_match_rules(struct ima_rule_entry *rule, struct inode *inode,
233 enum ima_hooks func, int mask)
Mimi Zohar3323eec2009-02-04 09:06:58 -0500234{
235 struct task_struct *tsk = current;
Mimi Zohar3db59dd2012-01-17 22:11:28 -0500236 const struct cred *cred = current_cred();
Mimi Zohar4af46622009-02-04 09:07:00 -0500237 int i;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500238
Dmitry Kasatkin09b11482013-11-13 23:42:39 +0200239 if ((rule->flags & IMA_FUNC) &&
240 (rule->func != func && func != POST_SETATTR))
Mimi Zohar3323eec2009-02-04 09:06:58 -0500241 return false;
Dmitry Kasatkin09b11482013-11-13 23:42:39 +0200242 if ((rule->flags & IMA_MASK) &&
243 (rule->mask != mask && func != POST_SETATTR))
Mimi Zohar3323eec2009-02-04 09:06:58 -0500244 return false;
Mimi Zohar4351c292014-11-05 07:53:55 -0500245 if ((rule->flags & IMA_INMASK) &&
246 (!(rule->mask & mask) && func != POST_SETATTR))
247 return false;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500248 if ((rule->flags & IMA_FSMAGIC)
249 && rule->fsmagic != inode->i_sb->s_magic)
250 return false;
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300251 if ((rule->flags & IMA_FSUUID) &&
Mimi Zohar446d64e2013-02-24 23:42:37 -0500252 memcmp(rule->fsuuid, inode->i_sb->s_uuid, sizeof(rule->fsuuid)))
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300253 return false;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300254 if ((rule->flags & IMA_UID) && !rule->uid_op(cred->uid, rule->uid))
Mimi Zohar3323eec2009-02-04 09:06:58 -0500255 return false;
Mimi Zohar139069e2014-11-05 07:48:36 -0500256 if (rule->flags & IMA_EUID) {
257 if (has_capability_noaudit(current, CAP_SETUID)) {
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300258 if (!rule->uid_op(cred->euid, rule->uid)
259 && !rule->uid_op(cred->suid, rule->uid)
260 && !rule->uid_op(cred->uid, rule->uid))
Mimi Zohar139069e2014-11-05 07:48:36 -0500261 return false;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300262 } else if (!rule->uid_op(cred->euid, rule->uid))
Mimi Zohar139069e2014-11-05 07:48:36 -0500263 return false;
264 }
265
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300266 if ((rule->flags & IMA_FOWNER) &&
267 !rule->fowner_op(inode->i_uid, rule->fowner))
Mimi Zohar07f6a792011-03-09 22:25:48 -0500268 return false;
Mimi Zohar4af46622009-02-04 09:07:00 -0500269 for (i = 0; i < MAX_LSM_RULES; i++) {
Mimi Zohar53fc0e22009-05-05 13:12:48 -0400270 int rc = 0;
Mimi Zohar4af46622009-02-04 09:07:00 -0500271 u32 osid, sid;
Mimi Zohar7163a992013-01-03 14:19:09 -0500272 int retried = 0;
Mimi Zohar4af46622009-02-04 09:07:00 -0500273
274 if (!rule->lsm[i].rule)
275 continue;
Mimi Zohar7163a992013-01-03 14:19:09 -0500276retry:
Mimi Zohar4af46622009-02-04 09:07:00 -0500277 switch (i) {
278 case LSM_OBJ_USER:
279 case LSM_OBJ_ROLE:
280 case LSM_OBJ_TYPE:
281 security_inode_getsecid(inode, &osid);
282 rc = security_filter_rule_match(osid,
283 rule->lsm[i].type,
Mimi Zohar53fc0e22009-05-05 13:12:48 -0400284 Audit_equal,
Mimi Zohar4af46622009-02-04 09:07:00 -0500285 rule->lsm[i].rule,
286 NULL);
287 break;
288 case LSM_SUBJ_USER:
289 case LSM_SUBJ_ROLE:
290 case LSM_SUBJ_TYPE:
291 security_task_getsecid(tsk, &sid);
292 rc = security_filter_rule_match(sid,
293 rule->lsm[i].type,
Mimi Zohar53fc0e22009-05-05 13:12:48 -0400294 Audit_equal,
Mimi Zohar4af46622009-02-04 09:07:00 -0500295 rule->lsm[i].rule,
296 NULL);
297 default:
298 break;
299 }
Mimi Zohar7163a992013-01-03 14:19:09 -0500300 if ((rc < 0) && (!retried)) {
301 retried = 1;
302 ima_lsm_update_rules();
303 goto retry;
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200304 }
Mimi Zohar4af46622009-02-04 09:07:00 -0500305 if (!rc)
306 return false;
307 }
Mimi Zohar3323eec2009-02-04 09:06:58 -0500308 return true;
309}
310
Mimi Zohard79d72e2012-12-03 17:08:11 -0500311/*
312 * In addition to knowing that we need to appraise the file in general,
Mimi Zohar5a73fcf2012-12-05 15:14:38 -0500313 * we need to differentiate between calling hooks, for hook specific rules.
Mimi Zohard79d72e2012-12-03 17:08:11 -0500314 */
Mimi Zohar4ad87a32016-01-14 20:59:14 -0500315static int get_subaction(struct ima_rule_entry *rule, enum ima_hooks func)
Mimi Zohard79d72e2012-12-03 17:08:11 -0500316{
Mimi Zohar5a73fcf2012-12-05 15:14:38 -0500317 if (!(rule->flags & IMA_FUNC))
318 return IMA_FILE_APPRAISE;
319
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200320 switch (func) {
Mimi Zohard79d72e2012-12-03 17:08:11 -0500321 case MMAP_CHECK:
322 return IMA_MMAP_APPRAISE;
323 case BPRM_CHECK:
324 return IMA_BPRM_APPRAISE;
Mimi Zohard79d72e2012-12-03 17:08:11 -0500325 case FILE_CHECK:
Mimi Zoharc6af8ef2015-11-19 12:39:22 -0500326 case POST_SETATTR:
Mimi Zohard79d72e2012-12-03 17:08:11 -0500327 return IMA_FILE_APPRAISE;
Mimi Zoharc6af8ef2015-11-19 12:39:22 -0500328 case MODULE_CHECK ... MAX_CHECK - 1:
329 default:
330 return IMA_READ_APPRAISE;
Mimi Zohard79d72e2012-12-03 17:08:11 -0500331 }
332}
333
Mimi Zohar3323eec2009-02-04 09:06:58 -0500334/**
335 * ima_match_policy - decision based on LSM and other conditions
336 * @inode: pointer to an inode for which the policy decision is being made
337 * @func: IMA hook identifier
338 * @mask: requested action (MAY_READ | MAY_WRITE | MAY_APPEND | MAY_EXEC)
Eric Richter725de7f2016-06-01 13:14:02 -0500339 * @pcr: set the pcr to extend
Mimi Zohar3323eec2009-02-04 09:06:58 -0500340 *
341 * Measure decision based on func/mask/fsmagic and LSM(subj/obj/type)
342 * conditions.
343 *
Petko Manolov38d859f2015-12-02 17:47:54 +0200344 * Since the IMA policy may be updated multiple times we need to lock the
345 * list when walking it. Reads are many orders of magnitude more numerous
346 * than writes so ima_match_policy() is classical RCU candidate.
Mimi Zohar3323eec2009-02-04 09:06:58 -0500347 */
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -0500348int ima_match_policy(struct inode *inode, enum ima_hooks func, int mask,
Eric Richter725de7f2016-06-01 13:14:02 -0500349 int flags, int *pcr)
Mimi Zohar3323eec2009-02-04 09:06:58 -0500350{
Mimi Zohar07f6a792011-03-09 22:25:48 -0500351 struct ima_rule_entry *entry;
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -0500352 int action = 0, actmask = flags | (flags << 1);
Mimi Zohar3323eec2009-02-04 09:06:58 -0500353
Petko Manolov38d859f2015-12-02 17:47:54 +0200354 rcu_read_lock();
355 list_for_each_entry_rcu(entry, ima_rules, list) {
Mimi Zohar3323eec2009-02-04 09:06:58 -0500356
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -0500357 if (!(entry->action & actmask))
358 continue;
359
360 if (!ima_match_rules(entry, inode, func, mask))
361 continue;
362
Dmitry Kasatkin0e5a2472012-06-08 13:58:49 +0300363 action |= entry->flags & IMA_ACTION_FLAGS;
364
Dmitry Kasatkin45e24722012-09-12 20:51:32 +0300365 action |= entry->action & IMA_DO_MASK;
Mimi Zohard79d72e2012-12-03 17:08:11 -0500366 if (entry->action & IMA_APPRAISE)
Mimi Zohar5a73fcf2012-12-05 15:14:38 -0500367 action |= get_subaction(entry, func);
Mimi Zohard79d72e2012-12-03 17:08:11 -0500368
Dmitry Kasatkin45e24722012-09-12 20:51:32 +0300369 if (entry->action & IMA_DO_MASK)
370 actmask &= ~(entry->action | entry->action << 1);
371 else
372 actmask &= ~(entry->action | entry->action >> 1);
373
Eric Richter725de7f2016-06-01 13:14:02 -0500374 if ((pcr) && (entry->flags & IMA_PCR))
375 *pcr = entry->pcr;
376
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -0500377 if (!actmask)
378 break;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500379 }
Petko Manolov38d859f2015-12-02 17:47:54 +0200380 rcu_read_unlock();
Mimi Zohar2fe5d6d2012-02-13 10:15:05 -0500381
382 return action;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500383}
384
Roberto Sassua7560242014-09-12 19:35:54 +0200385/*
386 * Initialize the ima_policy_flag variable based on the currently
387 * loaded policy. Based on this flag, the decision to short circuit
388 * out of a function or not call the function in the first place
389 * can be made earlier.
390 */
391void ima_update_policy_flag(void)
392{
393 struct ima_rule_entry *entry;
394
Roberto Sassua7560242014-09-12 19:35:54 +0200395 list_for_each_entry(entry, ima_rules, list) {
396 if (entry->action & IMA_DO_MASK)
397 ima_policy_flag |= entry->action;
398 }
399
Mimi Zohar6ad6afa2015-12-07 14:35:47 -0500400 ima_appraise |= temp_ima_appraise;
Roberto Sassua7560242014-09-12 19:35:54 +0200401 if (!ima_appraise)
402 ima_policy_flag &= ~IMA_APPRAISE;
403}
404
Mimi Zohar3323eec2009-02-04 09:06:58 -0500405/**
406 * ima_init_policy - initialize the default measure rules.
407 *
Mimi Zohar07f6a792011-03-09 22:25:48 -0500408 * ima_rules points to either the ima_default_rules or the
409 * the new ima_policy_rules.
Mimi Zohar3323eec2009-02-04 09:06:58 -0500410 */
Eric Paris932995f2009-05-21 15:43:32 -0400411void __init ima_init_policy(void)
Mimi Zohar3323eec2009-02-04 09:06:58 -0500412{
Mimi Zohar07f6a792011-03-09 22:25:48 -0500413 int i, measure_entries, appraise_entries;
Mimi Zohar3323eec2009-02-04 09:06:58 -0500414
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400415 /* if !ima_policy set entries = 0 so we load NO default rules */
416 measure_entries = ima_policy ? ARRAY_SIZE(dont_measure_rules) : 0;
Mimi Zohar07f6a792011-03-09 22:25:48 -0500417 appraise_entries = ima_use_appraise_tcb ?
418 ARRAY_SIZE(default_appraise_rules) : 0;
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200419
Dan Carpenter55778572015-04-07 12:22:11 +0300420 for (i = 0; i < measure_entries; i++)
Mimi Zohar24fd03c2015-06-11 20:48:33 -0400421 list_add_tail(&dont_measure_rules[i].list, &ima_default_rules);
422
423 switch (ima_policy) {
424 case ORIGINAL_TCB:
425 for (i = 0; i < ARRAY_SIZE(original_measurement_rules); i++)
426 list_add_tail(&original_measurement_rules[i].list,
427 &ima_default_rules);
428 break;
429 case DEFAULT_TCB:
430 for (i = 0; i < ARRAY_SIZE(default_measurement_rules); i++)
431 list_add_tail(&default_measurement_rules[i].list,
432 &ima_default_rules);
433 default:
434 break;
435 }
Eric Paris5789ba32009-05-21 15:47:06 -0400436
Dan Carpenter55778572015-04-07 12:22:11 +0300437 for (i = 0; i < appraise_entries; i++) {
438 list_add_tail(&default_appraise_rules[i].list,
439 &ima_default_rules);
Mimi Zohar95ee08f2015-12-07 15:08:01 -0500440 if (default_appraise_rules[i].func == POLICY_CHECK)
441 temp_ima_appraise |= IMA_APPRAISE_POLICY;
Mimi Zohar07f6a792011-03-09 22:25:48 -0500442 }
443
444 ima_rules = &ima_default_rules;
Mimi Zohar95ee08f2015-12-07 15:08:01 -0500445 ima_update_policy_flag();
Mimi Zohar3323eec2009-02-04 09:06:58 -0500446}
Mimi Zohar4af46622009-02-04 09:07:00 -0500447
Sasha Levin01127212015-12-22 08:51:23 -0500448/* Make sure we have a valid policy, at least containing some rules. */
Colin Ian Kingc75d8e92016-01-20 11:13:46 +0000449int ima_check_policy(void)
Sasha Levin01127212015-12-22 08:51:23 -0500450{
451 if (list_empty(&ima_temp_rules))
452 return -EINVAL;
453 return 0;
454}
455
Mimi Zohar4af46622009-02-04 09:07:00 -0500456/**
457 * ima_update_policy - update default_rules with new measure rules
458 *
459 * Called on file .release to update the default rules with a complete new
Petko Manolov38d859f2015-12-02 17:47:54 +0200460 * policy. What we do here is to splice ima_policy_rules and ima_temp_rules so
461 * they make a queue. The policy may be updated multiple times and this is the
462 * RCU updater.
463 *
464 * Policy rules are never deleted so ima_policy_flag gets zeroed only once when
465 * we switch from the default policy to user defined.
Mimi Zohar4af46622009-02-04 09:07:00 -0500466 */
467void ima_update_policy(void)
468{
Petko Manolov38d859f2015-12-02 17:47:54 +0200469 struct list_head *first, *last, *policy;
470
471 /* append current policy with the new rules */
472 first = (&ima_temp_rules)->next;
473 last = (&ima_temp_rules)->prev;
474 policy = &ima_policy_rules;
475
476 synchronize_rcu();
477
478 last->next = policy;
479 rcu_assign_pointer(list_next_rcu(policy->prev), first);
480 first->prev = policy->prev;
481 policy->prev = last;
482
483 /* prepare for the next policy rules addition */
484 INIT_LIST_HEAD(&ima_temp_rules);
485
486 if (ima_rules != policy) {
487 ima_policy_flag = 0;
488 ima_rules = policy;
489 }
Dmitry Kasatkin0716abb2014-10-03 14:40:21 +0300490 ima_update_policy_flag();
Mimi Zohar4af46622009-02-04 09:07:00 -0500491}
492
493enum {
494 Opt_err = -1,
495 Opt_measure = 1, Opt_dont_measure,
Mimi Zohar07f6a792011-03-09 22:25:48 -0500496 Opt_appraise, Opt_dont_appraise,
Peter Moodye7c568e2012-06-14 10:04:36 -0700497 Opt_audit,
Mimi Zohar4af46622009-02-04 09:07:00 -0500498 Opt_obj_user, Opt_obj_role, Opt_obj_type,
499 Opt_subj_user, Opt_subj_role, Opt_subj_type,
Mimi Zohar139069e2014-11-05 07:48:36 -0500500 Opt_func, Opt_mask, Opt_fsmagic,
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300501 Opt_fsuuid, Opt_uid_eq, Opt_euid_eq, Opt_fowner_eq,
502 Opt_uid_gt, Opt_euid_gt, Opt_fowner_gt,
503 Opt_uid_lt, Opt_euid_lt, Opt_fowner_lt,
Eric Richter02606432016-06-01 13:14:01 -0500504 Opt_appraise_type, Opt_permit_directio,
505 Opt_pcr
Mimi Zohar4af46622009-02-04 09:07:00 -0500506};
507
508static match_table_t policy_tokens = {
509 {Opt_measure, "measure"},
510 {Opt_dont_measure, "dont_measure"},
Mimi Zohar07f6a792011-03-09 22:25:48 -0500511 {Opt_appraise, "appraise"},
512 {Opt_dont_appraise, "dont_appraise"},
Peter Moodye7c568e2012-06-14 10:04:36 -0700513 {Opt_audit, "audit"},
Mimi Zohar4af46622009-02-04 09:07:00 -0500514 {Opt_obj_user, "obj_user=%s"},
515 {Opt_obj_role, "obj_role=%s"},
516 {Opt_obj_type, "obj_type=%s"},
517 {Opt_subj_user, "subj_user=%s"},
518 {Opt_subj_role, "subj_role=%s"},
519 {Opt_subj_type, "subj_type=%s"},
520 {Opt_func, "func=%s"},
521 {Opt_mask, "mask=%s"},
522 {Opt_fsmagic, "fsmagic=%s"},
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300523 {Opt_fsuuid, "fsuuid=%s"},
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300524 {Opt_uid_eq, "uid=%s"},
525 {Opt_euid_eq, "euid=%s"},
526 {Opt_fowner_eq, "fowner=%s"},
527 {Opt_uid_gt, "uid>%s"},
528 {Opt_euid_gt, "euid>%s"},
529 {Opt_fowner_gt, "fowner>%s"},
530 {Opt_uid_lt, "uid<%s"},
531 {Opt_euid_lt, "euid<%s"},
532 {Opt_fowner_lt, "fowner<%s"},
Dmitry Kasatkin0e5a2472012-06-08 13:58:49 +0300533 {Opt_appraise_type, "appraise_type=%s"},
Mimi Zoharf9b2a732014-05-12 09:28:11 -0400534 {Opt_permit_directio, "permit_directio"},
Eric Richter02606432016-06-01 13:14:01 -0500535 {Opt_pcr, "pcr=%s"},
Mimi Zohar4af46622009-02-04 09:07:00 -0500536 {Opt_err, NULL}
537};
538
Mimi Zohar07f6a792011-03-09 22:25:48 -0500539static int ima_lsm_rule_init(struct ima_rule_entry *entry,
Mimi Zohar7163a992013-01-03 14:19:09 -0500540 substring_t *args, int lsm_rule, int audit_type)
Mimi Zohar4af46622009-02-04 09:07:00 -0500541{
542 int result;
543
Eric Paris7b62e162010-04-20 10:21:01 -0400544 if (entry->lsm[lsm_rule].rule)
545 return -EINVAL;
546
Mimi Zohar7163a992013-01-03 14:19:09 -0500547 entry->lsm[lsm_rule].args_p = match_strdup(args);
548 if (!entry->lsm[lsm_rule].args_p)
549 return -ENOMEM;
550
Mimi Zohar4af46622009-02-04 09:07:00 -0500551 entry->lsm[lsm_rule].type = audit_type;
552 result = security_filter_rule_init(entry->lsm[lsm_rule].type,
Mimi Zohar7163a992013-01-03 14:19:09 -0500553 Audit_equal,
554 entry->lsm[lsm_rule].args_p,
Mimi Zohar4af46622009-02-04 09:07:00 -0500555 &entry->lsm[lsm_rule].rule);
Mimi Zohar7163a992013-01-03 14:19:09 -0500556 if (!entry->lsm[lsm_rule].rule) {
557 kfree(entry->lsm[lsm_rule].args_p);
Mimi Zohar867c2022011-01-03 14:59:10 -0800558 return -EINVAL;
Mimi Zohar7163a992013-01-03 14:19:09 -0500559 }
560
Mimi Zohar4af46622009-02-04 09:07:00 -0500561 return result;
562}
563
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300564static void ima_log_string_op(struct audit_buffer *ab, char *key, char *value,
565 bool (*rule_operator)(kuid_t, kuid_t))
Eric Paris2f1506c2010-04-20 10:21:30 -0400566{
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300567 if (rule_operator == &uid_gt)
568 audit_log_format(ab, "%s>", key);
569 else if (rule_operator == &uid_lt)
570 audit_log_format(ab, "%s<", key);
571 else
572 audit_log_format(ab, "%s=", key);
Eric Paris2f1506c2010-04-20 10:21:30 -0400573 audit_log_untrustedstring(ab, value);
574 audit_log_format(ab, " ");
575}
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300576static void ima_log_string(struct audit_buffer *ab, char *key, char *value)
577{
578 ima_log_string_op(ab, key, value, NULL);
579}
Eric Paris2f1506c2010-04-20 10:21:30 -0400580
Mimi Zohar07f6a792011-03-09 22:25:48 -0500581static int ima_parse_rule(char *rule, struct ima_rule_entry *entry)
Mimi Zohar4af46622009-02-04 09:07:00 -0500582{
583 struct audit_buffer *ab;
Mimi Zohar4351c292014-11-05 07:53:55 -0500584 char *from;
Mimi Zohar4af46622009-02-04 09:07:00 -0500585 char *p;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300586 bool uid_token;
Mimi Zohar4af46622009-02-04 09:07:00 -0500587 int result = 0;
588
Mimi Zohar523979a2009-02-11 11:12:28 -0500589 ab = audit_log_start(NULL, GFP_KERNEL, AUDIT_INTEGRITY_RULE);
Mimi Zohar4af46622009-02-04 09:07:00 -0500590
Eric W. Biederman8b94eea2012-05-25 18:24:12 -0600591 entry->uid = INVALID_UID;
Linus Torvalds882653222012-10-02 21:38:48 -0700592 entry->fowner = INVALID_UID;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300593 entry->uid_op = &uid_eq;
594 entry->fowner_op = &uid_eq;
Eric Parisb9035b12010-04-20 10:21:07 -0400595 entry->action = UNKNOWN;
Eric Paris28ef4002010-04-20 10:21:18 -0400596 while ((p = strsep(&rule, " \t")) != NULL) {
Mimi Zohar4af46622009-02-04 09:07:00 -0500597 substring_t args[MAX_OPT_ARGS];
598 int token;
599 unsigned long lnum;
600
601 if (result < 0)
602 break;
Eric Paris28ef4002010-04-20 10:21:18 -0400603 if ((*p == '\0') || (*p == ' ') || (*p == '\t'))
604 continue;
Mimi Zohar4af46622009-02-04 09:07:00 -0500605 token = match_token(p, policy_tokens, args);
606 switch (token) {
607 case Opt_measure:
Eric Paris2f1506c2010-04-20 10:21:30 -0400608 ima_log_string(ab, "action", "measure");
Eric Paris7b62e162010-04-20 10:21:01 -0400609
610 if (entry->action != UNKNOWN)
611 result = -EINVAL;
612
Mimi Zohar4af46622009-02-04 09:07:00 -0500613 entry->action = MEASURE;
614 break;
615 case Opt_dont_measure:
Eric Paris2f1506c2010-04-20 10:21:30 -0400616 ima_log_string(ab, "action", "dont_measure");
Eric Paris7b62e162010-04-20 10:21:01 -0400617
618 if (entry->action != UNKNOWN)
619 result = -EINVAL;
620
Mimi Zohar4af46622009-02-04 09:07:00 -0500621 entry->action = DONT_MEASURE;
622 break;
Mimi Zohar07f6a792011-03-09 22:25:48 -0500623 case Opt_appraise:
624 ima_log_string(ab, "action", "appraise");
625
626 if (entry->action != UNKNOWN)
627 result = -EINVAL;
628
629 entry->action = APPRAISE;
630 break;
631 case Opt_dont_appraise:
632 ima_log_string(ab, "action", "dont_appraise");
633
634 if (entry->action != UNKNOWN)
635 result = -EINVAL;
636
637 entry->action = DONT_APPRAISE;
638 break;
Peter Moodye7c568e2012-06-14 10:04:36 -0700639 case Opt_audit:
640 ima_log_string(ab, "action", "audit");
641
642 if (entry->action != UNKNOWN)
643 result = -EINVAL;
644
645 entry->action = AUDIT;
646 break;
Mimi Zohar4af46622009-02-04 09:07:00 -0500647 case Opt_func:
Eric Paris2f1506c2010-04-20 10:21:30 -0400648 ima_log_string(ab, "func", args[0].from);
Eric Paris7b62e162010-04-20 10:21:01 -0400649
650 if (entry->func)
Mimi Zohar07f6a792011-03-09 22:25:48 -0500651 result = -EINVAL;
Eric Paris7b62e162010-04-20 10:21:01 -0400652
Mimi Zohar1e93d002010-01-26 17:02:41 -0500653 if (strcmp(args[0].from, "FILE_CHECK") == 0)
654 entry->func = FILE_CHECK;
655 /* PATH_CHECK is for backwards compat */
656 else if (strcmp(args[0].from, "PATH_CHECK") == 0)
657 entry->func = FILE_CHECK;
Mimi Zoharfdf90722012-10-16 12:40:08 +1030658 else if (strcmp(args[0].from, "MODULE_CHECK") == 0)
659 entry->func = MODULE_CHECK;
Mimi Zohar5a9196d2014-07-22 10:39:48 -0400660 else if (strcmp(args[0].from, "FIRMWARE_CHECK") == 0)
661 entry->func = FIRMWARE_CHECK;
Mimi Zohar16cac492012-12-13 11:15:04 -0500662 else if ((strcmp(args[0].from, "FILE_MMAP") == 0)
663 || (strcmp(args[0].from, "MMAP_CHECK") == 0))
664 entry->func = MMAP_CHECK;
Mimi Zohar4af46622009-02-04 09:07:00 -0500665 else if (strcmp(args[0].from, "BPRM_CHECK") == 0)
666 entry->func = BPRM_CHECK;
Mimi Zohard9ddf072016-01-14 20:59:14 -0500667 else if (strcmp(args[0].from, "KEXEC_KERNEL_CHECK") ==
668 0)
669 entry->func = KEXEC_KERNEL_CHECK;
670 else if (strcmp(args[0].from, "KEXEC_INITRAMFS_CHECK")
671 == 0)
672 entry->func = KEXEC_INITRAMFS_CHECK;
Mimi Zohar19f8a842016-01-15 10:17:12 -0500673 else if (strcmp(args[0].from, "POLICY_CHECK") == 0)
674 entry->func = POLICY_CHECK;
Mimi Zohar4af46622009-02-04 09:07:00 -0500675 else
676 result = -EINVAL;
677 if (!result)
678 entry->flags |= IMA_FUNC;
679 break;
680 case Opt_mask:
Eric Paris2f1506c2010-04-20 10:21:30 -0400681 ima_log_string(ab, "mask", args[0].from);
Eric Paris7b62e162010-04-20 10:21:01 -0400682
683 if (entry->mask)
684 result = -EINVAL;
685
Mimi Zohar4351c292014-11-05 07:53:55 -0500686 from = args[0].from;
687 if (*from == '^')
688 from++;
689
690 if ((strcmp(from, "MAY_EXEC")) == 0)
Mimi Zohar4af46622009-02-04 09:07:00 -0500691 entry->mask = MAY_EXEC;
Mimi Zohar4351c292014-11-05 07:53:55 -0500692 else if (strcmp(from, "MAY_WRITE") == 0)
Mimi Zohar4af46622009-02-04 09:07:00 -0500693 entry->mask = MAY_WRITE;
Mimi Zohar4351c292014-11-05 07:53:55 -0500694 else if (strcmp(from, "MAY_READ") == 0)
Mimi Zohar4af46622009-02-04 09:07:00 -0500695 entry->mask = MAY_READ;
Mimi Zohar4351c292014-11-05 07:53:55 -0500696 else if (strcmp(from, "MAY_APPEND") == 0)
Mimi Zohar4af46622009-02-04 09:07:00 -0500697 entry->mask = MAY_APPEND;
698 else
699 result = -EINVAL;
700 if (!result)
Mimi Zohar4351c292014-11-05 07:53:55 -0500701 entry->flags |= (*args[0].from == '^')
702 ? IMA_INMASK : IMA_MASK;
Mimi Zohar4af46622009-02-04 09:07:00 -0500703 break;
704 case Opt_fsmagic:
Eric Paris2f1506c2010-04-20 10:21:30 -0400705 ima_log_string(ab, "fsmagic", args[0].from);
Eric Paris7b62e162010-04-20 10:21:01 -0400706
707 if (entry->fsmagic) {
708 result = -EINVAL;
709 break;
710 }
711
Dmitry Kasatkin2bb930a2014-03-04 18:04:20 +0200712 result = kstrtoul(args[0].from, 16, &entry->fsmagic);
Mimi Zohar4af46622009-02-04 09:07:00 -0500713 if (!result)
714 entry->flags |= IMA_FSMAGIC;
715 break;
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300716 case Opt_fsuuid:
717 ima_log_string(ab, "fsuuid", args[0].from);
718
719 if (memchr_inv(entry->fsuuid, 0x00,
Mimi Zohar446d64e2013-02-24 23:42:37 -0500720 sizeof(entry->fsuuid))) {
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300721 result = -EINVAL;
722 break;
723 }
724
Mimi Zohar446d64e2013-02-24 23:42:37 -0500725 result = blk_part_pack_uuid(args[0].from,
726 entry->fsuuid);
727 if (!result)
728 entry->flags |= IMA_FSUUID;
Dmitry Kasatkin85865c12012-09-03 23:23:13 +0300729 break;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300730 case Opt_uid_gt:
731 case Opt_euid_gt:
732 entry->uid_op = &uid_gt;
733 case Opt_uid_lt:
734 case Opt_euid_lt:
735 if ((token == Opt_uid_lt) || (token == Opt_euid_lt))
736 entry->uid_op = &uid_lt;
737 case Opt_uid_eq:
738 case Opt_euid_eq:
739 uid_token = (token == Opt_uid_eq) ||
740 (token == Opt_uid_gt) ||
741 (token == Opt_uid_lt);
742
743 ima_log_string_op(ab, uid_token ? "uid" : "euid",
744 args[0].from, entry->uid_op);
Eric Paris7b62e162010-04-20 10:21:01 -0400745
Eric W. Biederman8b94eea2012-05-25 18:24:12 -0600746 if (uid_valid(entry->uid)) {
Eric Paris7b62e162010-04-20 10:21:01 -0400747 result = -EINVAL;
748 break;
749 }
750
Jingoo Han29707b22014-02-05 15:13:14 +0900751 result = kstrtoul(args[0].from, 10, &lnum);
Mimi Zohar4af46622009-02-04 09:07:00 -0500752 if (!result) {
Mimi Zohar139069e2014-11-05 07:48:36 -0500753 entry->uid = make_kuid(current_user_ns(),
754 (uid_t) lnum);
755 if (!uid_valid(entry->uid) ||
756 (uid_t)lnum != lnum)
Mimi Zohar4af46622009-02-04 09:07:00 -0500757 result = -EINVAL;
758 else
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300759 entry->flags |= uid_token
Mimi Zohar139069e2014-11-05 07:48:36 -0500760 ? IMA_UID : IMA_EUID;
Mimi Zohar4af46622009-02-04 09:07:00 -0500761 }
762 break;
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +0300763 case Opt_fowner_gt:
764 entry->fowner_op = &uid_gt;
765 case Opt_fowner_lt:
766 if (token == Opt_fowner_lt)
767 entry->fowner_op = &uid_lt;
768 case Opt_fowner_eq:
769 ima_log_string_op(ab, "fowner", args[0].from,
770 entry->fowner_op);
Mimi Zohar07f6a792011-03-09 22:25:48 -0500771
Linus Torvalds882653222012-10-02 21:38:48 -0700772 if (uid_valid(entry->fowner)) {
Mimi Zohar07f6a792011-03-09 22:25:48 -0500773 result = -EINVAL;
774 break;
775 }
776
Jingoo Han29707b22014-02-05 15:13:14 +0900777 result = kstrtoul(args[0].from, 10, &lnum);
Mimi Zohar07f6a792011-03-09 22:25:48 -0500778 if (!result) {
Linus Torvalds882653222012-10-02 21:38:48 -0700779 entry->fowner = make_kuid(current_user_ns(), (uid_t)lnum);
780 if (!uid_valid(entry->fowner) || (((uid_t)lnum) != lnum))
Mimi Zohar07f6a792011-03-09 22:25:48 -0500781 result = -EINVAL;
782 else
783 entry->flags |= IMA_FOWNER;
784 }
785 break;
Mimi Zohar4af46622009-02-04 09:07:00 -0500786 case Opt_obj_user:
Eric Paris2f1506c2010-04-20 10:21:30 -0400787 ima_log_string(ab, "obj_user", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500788 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500789 LSM_OBJ_USER,
790 AUDIT_OBJ_USER);
791 break;
792 case Opt_obj_role:
Eric Paris2f1506c2010-04-20 10:21:30 -0400793 ima_log_string(ab, "obj_role", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500794 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500795 LSM_OBJ_ROLE,
796 AUDIT_OBJ_ROLE);
797 break;
798 case Opt_obj_type:
Eric Paris2f1506c2010-04-20 10:21:30 -0400799 ima_log_string(ab, "obj_type", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500800 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500801 LSM_OBJ_TYPE,
802 AUDIT_OBJ_TYPE);
803 break;
804 case Opt_subj_user:
Eric Paris2f1506c2010-04-20 10:21:30 -0400805 ima_log_string(ab, "subj_user", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500806 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500807 LSM_SUBJ_USER,
808 AUDIT_SUBJ_USER);
809 break;
810 case Opt_subj_role:
Eric Paris2f1506c2010-04-20 10:21:30 -0400811 ima_log_string(ab, "subj_role", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500812 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500813 LSM_SUBJ_ROLE,
814 AUDIT_SUBJ_ROLE);
815 break;
816 case Opt_subj_type:
Eric Paris2f1506c2010-04-20 10:21:30 -0400817 ima_log_string(ab, "subj_type", args[0].from);
Mimi Zohar7163a992013-01-03 14:19:09 -0500818 result = ima_lsm_rule_init(entry, args,
Mimi Zohar4af46622009-02-04 09:07:00 -0500819 LSM_SUBJ_TYPE,
820 AUDIT_SUBJ_TYPE);
821 break;
Dmitry Kasatkin0e5a2472012-06-08 13:58:49 +0300822 case Opt_appraise_type:
823 if (entry->action != APPRAISE) {
824 result = -EINVAL;
825 break;
826 }
827
828 ima_log_string(ab, "appraise_type", args[0].from);
829 if ((strcmp(args[0].from, "imasig")) == 0)
830 entry->flags |= IMA_DIGSIG_REQUIRED;
831 else
832 result = -EINVAL;
833 break;
Mimi Zoharf9b2a732014-05-12 09:28:11 -0400834 case Opt_permit_directio:
835 entry->flags |= IMA_PERMIT_DIRECTIO;
836 break;
Eric Richter02606432016-06-01 13:14:01 -0500837 case Opt_pcr:
838 if (entry->action != MEASURE) {
839 result = -EINVAL;
840 break;
841 }
842 ima_log_string(ab, "pcr", args[0].from);
843
844 result = kstrtoint(args[0].from, 10, &entry->pcr);
845 if (result || INVALID_PCR(entry->pcr))
846 result = -EINVAL;
847 else
848 entry->flags |= IMA_PCR;
849
850 break;
Mimi Zohar4af46622009-02-04 09:07:00 -0500851 case Opt_err:
Eric Paris2f1506c2010-04-20 10:21:30 -0400852 ima_log_string(ab, "UNKNOWN", p);
Eric Parise9d393b2010-04-20 10:21:13 -0400853 result = -EINVAL;
Mimi Zohar4af46622009-02-04 09:07:00 -0500854 break;
855 }
856 }
Eric Paris7b62e162010-04-20 10:21:01 -0400857 if (!result && (entry->action == UNKNOWN))
Mimi Zohar4af46622009-02-04 09:07:00 -0500858 result = -EINVAL;
Mimi Zohara7f2a362012-12-21 08:34:21 -0500859 else if (entry->func == MODULE_CHECK)
Mimi Zohar6ad6afa2015-12-07 14:35:47 -0500860 temp_ima_appraise |= IMA_APPRAISE_MODULES;
Mimi Zohar5a9196d2014-07-22 10:39:48 -0400861 else if (entry->func == FIRMWARE_CHECK)
Mimi Zohar6ad6afa2015-12-07 14:35:47 -0500862 temp_ima_appraise |= IMA_APPRAISE_FIRMWARE;
Mimi Zohar19f8a842016-01-15 10:17:12 -0500863 else if (entry->func == POLICY_CHECK)
864 temp_ima_appraise |= IMA_APPRAISE_POLICY;
Eric Parisb0d5de42012-02-14 17:11:07 -0500865 audit_log_format(ab, "res=%d", !result);
Mimi Zohar4af46622009-02-04 09:07:00 -0500866 audit_log_end(ab);
867 return result;
868}
869
870/**
Mimi Zohar07f6a792011-03-09 22:25:48 -0500871 * ima_parse_add_rule - add a rule to ima_policy_rules
Mimi Zohar4af46622009-02-04 09:07:00 -0500872 * @rule - ima measurement policy rule
873 *
Petko Manolov38d859f2015-12-02 17:47:54 +0200874 * Avoid locking by allowing just one writer at a time in ima_write_policy()
Eric Paris6ccd0452010-04-20 10:20:54 -0400875 * Returns the length of the rule parsed, an error code on failure
Mimi Zohar4af46622009-02-04 09:07:00 -0500876 */
Eric Paris6ccd0452010-04-20 10:20:54 -0400877ssize_t ima_parse_add_rule(char *rule)
Mimi Zohar4af46622009-02-04 09:07:00 -0500878{
Mimi Zohar52a13282013-12-11 14:44:04 -0500879 static const char op[] = "update_policy";
Eric Paris6ccd0452010-04-20 10:20:54 -0400880 char *p;
Mimi Zohar07f6a792011-03-09 22:25:48 -0500881 struct ima_rule_entry *entry;
Eric Paris6ccd0452010-04-20 10:20:54 -0400882 ssize_t result, len;
Mimi Zohar4af46622009-02-04 09:07:00 -0500883 int audit_info = 0;
884
Dmitry Kasatkin272a6e92014-10-03 14:40:19 +0300885 p = strsep(&rule, "\n");
886 len = strlen(p) + 1;
Dmitry Kasatkin71787842014-10-03 14:40:20 +0300887 p += strspn(p, " \t");
Dmitry Kasatkin272a6e92014-10-03 14:40:19 +0300888
Dmitry Kasatkin71787842014-10-03 14:40:20 +0300889 if (*p == '#' || *p == '\0')
Dmitry Kasatkin272a6e92014-10-03 14:40:19 +0300890 return len;
891
Mimi Zohar4af46622009-02-04 09:07:00 -0500892 entry = kzalloc(sizeof(*entry), GFP_KERNEL);
893 if (!entry) {
894 integrity_audit_msg(AUDIT_INTEGRITY_STATUS, NULL,
895 NULL, op, "-ENOMEM", -ENOMEM, audit_info);
896 return -ENOMEM;
897 }
898
899 INIT_LIST_HEAD(&entry->list);
900
Eric Paris6ccd0452010-04-20 10:20:54 -0400901 result = ima_parse_rule(p, entry);
Eric Paris7233e3e2010-04-20 10:21:24 -0400902 if (result) {
Mimi Zohar4af46622009-02-04 09:07:00 -0500903 kfree(entry);
Mimi Zohar523979a2009-02-11 11:12:28 -0500904 integrity_audit_msg(AUDIT_INTEGRITY_STATUS, NULL,
Richard Guy Briggs7e9001f2014-06-16 15:52:07 -0400905 NULL, op, "invalid-policy", result,
Mimi Zohar523979a2009-02-11 11:12:28 -0500906 audit_info);
Eric Paris7233e3e2010-04-20 10:21:24 -0400907 return result;
Mimi Zohar523979a2009-02-11 11:12:28 -0500908 }
Eric Paris7233e3e2010-04-20 10:21:24 -0400909
Petko Manolov38d859f2015-12-02 17:47:54 +0200910 list_add_tail(&entry->list, &ima_temp_rules);
Eric Paris7233e3e2010-04-20 10:21:24 -0400911
912 return len;
Mimi Zohar4af46622009-02-04 09:07:00 -0500913}
914
Petko Manolov38d859f2015-12-02 17:47:54 +0200915/**
916 * ima_delete_rules() called to cleanup invalid in-flight policy.
917 * We don't need locking as we operate on the temp list, which is
918 * different from the active one. There is also only one user of
919 * ima_delete_rules() at a time.
920 */
James Morris64c61d82009-02-05 09:28:26 +1100921void ima_delete_rules(void)
Mimi Zohar4af46622009-02-04 09:07:00 -0500922{
Mimi Zohar07f6a792011-03-09 22:25:48 -0500923 struct ima_rule_entry *entry, *tmp;
Mimi Zohar7163a992013-01-03 14:19:09 -0500924 int i;
Mimi Zohar4af46622009-02-04 09:07:00 -0500925
Mimi Zohar6ad6afa2015-12-07 14:35:47 -0500926 temp_ima_appraise = 0;
Petko Manolov38d859f2015-12-02 17:47:54 +0200927 list_for_each_entry_safe(entry, tmp, &ima_temp_rules, list) {
Mimi Zohar7163a992013-01-03 14:19:09 -0500928 for (i = 0; i < MAX_LSM_RULES; i++)
929 kfree(entry->lsm[i].args_p);
930
Mimi Zohar4af46622009-02-04 09:07:00 -0500931 list_del(&entry->list);
932 kfree(entry);
933 }
Mimi Zohar4af46622009-02-04 09:07:00 -0500934}
Petko Manolov80eae202015-12-02 17:47:56 +0200935
936#ifdef CONFIG_IMA_READ_POLICY
937enum {
938 mask_exec = 0, mask_write, mask_read, mask_append
939};
940
941static char *mask_tokens[] = {
942 "MAY_EXEC",
943 "MAY_WRITE",
944 "MAY_READ",
945 "MAY_APPEND"
946};
947
948enum {
949 func_file = 0, func_mmap, func_bprm,
Mimi Zohard9ddf072016-01-14 20:59:14 -0500950 func_module, func_firmware, func_post,
Mimi Zohar19f8a842016-01-15 10:17:12 -0500951 func_kexec_kernel, func_kexec_initramfs,
952 func_policy
Petko Manolov80eae202015-12-02 17:47:56 +0200953};
954
955static char *func_tokens[] = {
956 "FILE_CHECK",
957 "MMAP_CHECK",
958 "BPRM_CHECK",
959 "MODULE_CHECK",
960 "FIRMWARE_CHECK",
Mimi Zoharcf90ea92016-04-19 17:42:43 -0400961 "POST_SETATTR",
Mimi Zohard9ddf072016-01-14 20:59:14 -0500962 "KEXEC_KERNEL_CHECK",
963 "KEXEC_INITRAMFS_CHECK",
Mimi Zoharcf90ea92016-04-19 17:42:43 -0400964 "POLICY_CHECK"
Petko Manolov80eae202015-12-02 17:47:56 +0200965};
966
967void *ima_policy_start(struct seq_file *m, loff_t *pos)
968{
969 loff_t l = *pos;
970 struct ima_rule_entry *entry;
971
972 rcu_read_lock();
973 list_for_each_entry_rcu(entry, ima_rules, list) {
974 if (!l--) {
975 rcu_read_unlock();
976 return entry;
977 }
978 }
979 rcu_read_unlock();
980 return NULL;
981}
982
983void *ima_policy_next(struct seq_file *m, void *v, loff_t *pos)
984{
985 struct ima_rule_entry *entry = v;
986
987 rcu_read_lock();
988 entry = list_entry_rcu(entry->list.next, struct ima_rule_entry, list);
989 rcu_read_unlock();
990 (*pos)++;
991
992 return (&entry->list == ima_rules) ? NULL : entry;
993}
994
995void ima_policy_stop(struct seq_file *m, void *v)
996{
997}
998
999#define pt(token) policy_tokens[token + Opt_err].pattern
1000#define mt(token) mask_tokens[token]
1001#define ft(token) func_tokens[token]
1002
Mimi Zoharb5269ab2016-01-28 13:10:36 -05001003/*
1004 * policy_func_show - display the ima_hooks policy rule
1005 */
1006static void policy_func_show(struct seq_file *m, enum ima_hooks func)
1007{
1008 char tbuf[64] = {0,};
1009
1010 switch (func) {
1011 case FILE_CHECK:
1012 seq_printf(m, pt(Opt_func), ft(func_file));
1013 break;
1014 case MMAP_CHECK:
1015 seq_printf(m, pt(Opt_func), ft(func_mmap));
1016 break;
1017 case BPRM_CHECK:
1018 seq_printf(m, pt(Opt_func), ft(func_bprm));
1019 break;
1020 case MODULE_CHECK:
1021 seq_printf(m, pt(Opt_func), ft(func_module));
1022 break;
1023 case FIRMWARE_CHECK:
1024 seq_printf(m, pt(Opt_func), ft(func_firmware));
1025 break;
1026 case POST_SETATTR:
1027 seq_printf(m, pt(Opt_func), ft(func_post));
1028 break;
Mimi Zohard9ddf072016-01-14 20:59:14 -05001029 case KEXEC_KERNEL_CHECK:
1030 seq_printf(m, pt(Opt_func), ft(func_kexec_kernel));
1031 break;
1032 case KEXEC_INITRAMFS_CHECK:
1033 seq_printf(m, pt(Opt_func), ft(func_kexec_initramfs));
1034 break;
Mimi Zohar19f8a842016-01-15 10:17:12 -05001035 case POLICY_CHECK:
1036 seq_printf(m, pt(Opt_func), ft(func_policy));
1037 break;
Mimi Zoharb5269ab2016-01-28 13:10:36 -05001038 default:
1039 snprintf(tbuf, sizeof(tbuf), "%d", func);
1040 seq_printf(m, pt(Opt_func), tbuf);
1041 break;
1042 }
1043 seq_puts(m, " ");
1044}
1045
Petko Manolov80eae202015-12-02 17:47:56 +02001046int ima_policy_show(struct seq_file *m, void *v)
1047{
1048 struct ima_rule_entry *entry = v;
Andy Shevchenkob8b57272016-05-20 17:00:57 -07001049 int i;
Petko Manolov80eae202015-12-02 17:47:56 +02001050 char tbuf[64] = {0,};
1051
1052 rcu_read_lock();
1053
1054 if (entry->action & MEASURE)
1055 seq_puts(m, pt(Opt_measure));
1056 if (entry->action & DONT_MEASURE)
1057 seq_puts(m, pt(Opt_dont_measure));
1058 if (entry->action & APPRAISE)
1059 seq_puts(m, pt(Opt_appraise));
1060 if (entry->action & DONT_APPRAISE)
1061 seq_puts(m, pt(Opt_dont_appraise));
1062 if (entry->action & AUDIT)
1063 seq_puts(m, pt(Opt_audit));
1064
1065 seq_puts(m, " ");
1066
Mimi Zoharb5269ab2016-01-28 13:10:36 -05001067 if (entry->flags & IMA_FUNC)
1068 policy_func_show(m, entry->func);
Petko Manolov80eae202015-12-02 17:47:56 +02001069
1070 if (entry->flags & IMA_MASK) {
1071 if (entry->mask & MAY_EXEC)
1072 seq_printf(m, pt(Opt_mask), mt(mask_exec));
1073 if (entry->mask & MAY_WRITE)
1074 seq_printf(m, pt(Opt_mask), mt(mask_write));
1075 if (entry->mask & MAY_READ)
1076 seq_printf(m, pt(Opt_mask), mt(mask_read));
1077 if (entry->mask & MAY_APPEND)
1078 seq_printf(m, pt(Opt_mask), mt(mask_append));
1079 seq_puts(m, " ");
1080 }
1081
1082 if (entry->flags & IMA_FSMAGIC) {
1083 snprintf(tbuf, sizeof(tbuf), "0x%lx", entry->fsmagic);
1084 seq_printf(m, pt(Opt_fsmagic), tbuf);
1085 seq_puts(m, " ");
1086 }
1087
Eric Richter02606432016-06-01 13:14:01 -05001088 if (entry->flags & IMA_PCR) {
1089 snprintf(tbuf, sizeof(tbuf), "%d", entry->pcr);
1090 seq_printf(m, pt(Opt_pcr), tbuf);
1091 seq_puts(m, " ");
1092 }
1093
Petko Manolov80eae202015-12-02 17:47:56 +02001094 if (entry->flags & IMA_FSUUID) {
Andy Shevchenkob8b57272016-05-20 17:00:57 -07001095 seq_printf(m, "fsuuid=%pU", entry->fsuuid);
Petko Manolov80eae202015-12-02 17:47:56 +02001096 seq_puts(m, " ");
1097 }
1098
1099 if (entry->flags & IMA_UID) {
1100 snprintf(tbuf, sizeof(tbuf), "%d", __kuid_val(entry->uid));
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +03001101 if (entry->uid_op == &uid_gt)
1102 seq_printf(m, pt(Opt_uid_gt), tbuf);
1103 else if (entry->uid_op == &uid_lt)
1104 seq_printf(m, pt(Opt_uid_lt), tbuf);
1105 else
1106 seq_printf(m, pt(Opt_uid_eq), tbuf);
Petko Manolov80eae202015-12-02 17:47:56 +02001107 seq_puts(m, " ");
1108 }
1109
1110 if (entry->flags & IMA_EUID) {
1111 snprintf(tbuf, sizeof(tbuf), "%d", __kuid_val(entry->uid));
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +03001112 if (entry->uid_op == &uid_gt)
1113 seq_printf(m, pt(Opt_euid_gt), tbuf);
1114 else if (entry->uid_op == &uid_lt)
1115 seq_printf(m, pt(Opt_euid_lt), tbuf);
1116 else
1117 seq_printf(m, pt(Opt_euid_eq), tbuf);
Petko Manolov80eae202015-12-02 17:47:56 +02001118 seq_puts(m, " ");
1119 }
1120
1121 if (entry->flags & IMA_FOWNER) {
1122 snprintf(tbuf, sizeof(tbuf), "%d", __kuid_val(entry->fowner));
Mikhail Kurinnoi3dd0c8d2017-01-27 19:23:01 +03001123 if (entry->fowner_op == &uid_gt)
1124 seq_printf(m, pt(Opt_fowner_gt), tbuf);
1125 else if (entry->fowner_op == &uid_lt)
1126 seq_printf(m, pt(Opt_fowner_lt), tbuf);
1127 else
1128 seq_printf(m, pt(Opt_fowner_eq), tbuf);
Petko Manolov80eae202015-12-02 17:47:56 +02001129 seq_puts(m, " ");
1130 }
1131
1132 for (i = 0; i < MAX_LSM_RULES; i++) {
1133 if (entry->lsm[i].rule) {
1134 switch (i) {
1135 case LSM_OBJ_USER:
1136 seq_printf(m, pt(Opt_obj_user),
1137 (char *)entry->lsm[i].args_p);
1138 break;
1139 case LSM_OBJ_ROLE:
1140 seq_printf(m, pt(Opt_obj_role),
1141 (char *)entry->lsm[i].args_p);
1142 break;
1143 case LSM_OBJ_TYPE:
1144 seq_printf(m, pt(Opt_obj_type),
1145 (char *)entry->lsm[i].args_p);
1146 break;
1147 case LSM_SUBJ_USER:
1148 seq_printf(m, pt(Opt_subj_user),
1149 (char *)entry->lsm[i].args_p);
1150 break;
1151 case LSM_SUBJ_ROLE:
1152 seq_printf(m, pt(Opt_subj_role),
1153 (char *)entry->lsm[i].args_p);
1154 break;
1155 case LSM_SUBJ_TYPE:
1156 seq_printf(m, pt(Opt_subj_type),
1157 (char *)entry->lsm[i].args_p);
1158 break;
1159 }
1160 }
1161 }
1162 if (entry->flags & IMA_DIGSIG_REQUIRED)
1163 seq_puts(m, "appraise_type=imasig ");
1164 if (entry->flags & IMA_PERMIT_DIRECTIO)
1165 seq_puts(m, "permit_directio ");
1166 rcu_read_unlock();
1167 seq_puts(m, "\n");
1168 return 0;
1169}
1170#endif /* CONFIG_IMA_READ_POLICY */