blob: c600f4dd1783252a1fc429379cb1cca8b9728c9b [file] [log] [blame]
John Johansen736ec7522010-07-29 14:48:02 -07001/*
2 * AppArmor security module
3 *
4 * This file contains AppArmor functions for unpacking policy loaded from
5 * userspace.
6 *
7 * Copyright (C) 1998-2008 Novell/SUSE
8 * Copyright 2009-2010 Canonical Ltd.
9 *
10 * This program is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU General Public License as
12 * published by the Free Software Foundation, version 2 of the
13 * License.
14 *
Randy Dunlapd410fa4e2011-05-19 15:59:38 -070015 * AppArmor uses a serialized binary format for loading policy. To find
Kees Cook26fccd92017-05-13 04:51:45 -070016 * policy format documentation see Documentation/admin-guide/LSM/apparmor.rst
John Johansen736ec7522010-07-29 14:48:02 -070017 * All policy is validated before it is used.
18 */
19
20#include <asm/unaligned.h>
21#include <linux/ctype.h>
22#include <linux/errno.h>
23
24#include "include/apparmor.h"
25#include "include/audit.h"
26#include "include/context.h"
John Johansenf8eb8a12013-08-14 11:27:36 -070027#include "include/crypto.h"
John Johansen736ec7522010-07-29 14:48:02 -070028#include "include/match.h"
John Johansen637f6882017-06-09 08:14:28 -070029#include "include/path.h"
John Johansen736ec7522010-07-29 14:48:02 -070030#include "include/policy.h"
31#include "include/policy_unpack.h"
John Johansen736ec7522010-07-29 14:48:02 -070032
John Johansen474d6b752017-01-16 00:42:39 -080033#define K_ABI_MASK 0x3ff
John Johansen5ebfb122017-01-16 00:42:38 -080034#define FORCE_COMPLAIN_FLAG 0x800
John Johansen474d6b752017-01-16 00:42:39 -080035#define VERSION_LT(X, Y) (((X) & K_ABI_MASK) < ((Y) & K_ABI_MASK))
36#define VERSION_GT(X, Y) (((X) & K_ABI_MASK) > ((Y) & K_ABI_MASK))
37
38#define v5 5 /* base version */
39#define v6 6 /* per entry policydb mediation check */
40#define v7 7 /* full network masking */
John Johansen5ebfb122017-01-16 00:42:38 -080041
John Johansen736ec7522010-07-29 14:48:02 -070042/*
43 * The AppArmor interface treats data as a type byte followed by the
44 * actual data. The interface has the notion of a a named entry
45 * which has a name (AA_NAME typecode followed by name string) followed by
46 * the entries typecode and data. Named types allow for optional
47 * elements and extensions to be added and tested for without breaking
48 * backwards compatibility.
49 */
50
51enum aa_code {
52 AA_U8,
53 AA_U16,
54 AA_U32,
55 AA_U64,
56 AA_NAME, /* same as string except it is items name */
57 AA_STRING,
58 AA_BLOB,
59 AA_STRUCT,
60 AA_STRUCTEND,
61 AA_LIST,
62 AA_LISTEND,
63 AA_ARRAY,
64 AA_ARRAYEND,
65};
66
67/*
68 * aa_ext is the read of the buffer containing the serialized profile. The
69 * data is copied into a kernel buffer in apparmorfs and then handed off to
70 * the unpack routines.
71 */
72struct aa_ext {
73 void *start;
74 void *end;
75 void *pos; /* pointer to current position in the buffer */
76 u32 version;
77};
78
79/* audit callback for unpack fields */
80static void audit_cb(struct audit_buffer *ab, void *va)
81{
82 struct common_audit_data *sa = va;
John Johansenef88a7a2017-01-16 00:43:02 -080083
84 if (aad(sa)->iface.ns) {
85 audit_log_format(ab, " ns=");
86 audit_log_untrustedstring(ab, aad(sa)->iface.ns);
John Johansen736ec7522010-07-29 14:48:02 -070087 }
John Johansenef88a7a2017-01-16 00:43:02 -080088 if (aad(sa)->iface.name) {
89 audit_log_format(ab, " name=");
90 audit_log_untrustedstring(ab, aad(sa)->iface.name);
91 }
92 if (aad(sa)->iface.pos)
93 audit_log_format(ab, " offset=%ld", aad(sa)->iface.pos);
John Johansen736ec7522010-07-29 14:48:02 -070094}
95
96/**
97 * audit_iface - do audit message for policy unpacking/load/replace/remove
98 * @new: profile if it has been allocated (MAYBE NULL)
John Johansen04dc7152017-01-16 00:42:56 -080099 * @ns_name: name of the ns the profile is to be loaded to (MAY BE NULL)
John Johansen736ec7522010-07-29 14:48:02 -0700100 * @name: name of the profile being manipulated (MAYBE NULL)
101 * @info: any extra info about the failure (MAYBE NULL)
John Johansenb1b4bc22012-03-10 11:25:30 -0800102 * @e: buffer position info
John Johansen736ec7522010-07-29 14:48:02 -0700103 * @error: error code
104 *
105 * Returns: %0 or error
106 */
John Johansen04dc7152017-01-16 00:42:56 -0800107static int audit_iface(struct aa_profile *new, const char *ns_name,
108 const char *name, const char *info, struct aa_ext *e,
109 int error)
John Johansen736ec7522010-07-29 14:48:02 -0700110{
John Johansen637f6882017-06-09 08:14:28 -0700111 struct aa_profile *profile = labels_profile(aa_current_raw_label());
John Johansenef88a7a2017-01-16 00:43:02 -0800112 DEFINE_AUDIT_DATA(sa, LSM_AUDIT_DATA_NONE, NULL);
John Johansenb1b4bc22012-03-10 11:25:30 -0800113 if (e)
John Johansenef88a7a2017-01-16 00:43:02 -0800114 aad(&sa)->iface.pos = e->pos - e->start;
115 aad(&sa)->iface.ns = ns_name;
116 if (new)
117 aad(&sa)->iface.name = new->base.hname;
118 else
119 aad(&sa)->iface.name = name;
120 aad(&sa)->info = info;
121 aad(&sa)->error = error;
John Johansen736ec7522010-07-29 14:48:02 -0700122
John Johansenef88a7a2017-01-16 00:43:02 -0800123 return aa_audit(AUDIT_APPARMOR_STATUS, profile, &sa, audit_cb);
John Johansen736ec7522010-07-29 14:48:02 -0700124}
125
John Johansen5d5182ca2017-05-09 00:08:41 -0700126void __aa_loaddata_update(struct aa_loaddata *data, long revision)
127{
128 AA_BUG(!data);
129 AA_BUG(!data->ns);
130 AA_BUG(!data->dents[AAFS_LOADDATA_REVISION]);
131 AA_BUG(!mutex_is_locked(&data->ns->lock));
132 AA_BUG(data->revision > revision);
133
134 data->revision = revision;
135 d_inode(data->dents[AAFS_LOADDATA_DIR])->i_mtime =
136 current_time(d_inode(data->dents[AAFS_LOADDATA_DIR]));
137 d_inode(data->dents[AAFS_LOADDATA_REVISION])->i_mtime =
138 current_time(d_inode(data->dents[AAFS_LOADDATA_REVISION]));
139}
140
141bool aa_rawdata_eq(struct aa_loaddata *l, struct aa_loaddata *r)
142{
143 if (l->size != r->size)
144 return false;
145 if (aa_g_hash_policy && memcmp(l->hash, r->hash, aa_hash_size()) != 0)
146 return false;
147 return memcmp(l->data, r->data, r->size) == 0;
148}
149
150/*
151 * need to take the ns mutex lock which is NOT safe most places that
152 * put_loaddata is called, so we have to delay freeing it
153 */
154static void do_loaddata_free(struct work_struct *work)
155{
156 struct aa_loaddata *d = container_of(work, struct aa_loaddata, work);
157 struct aa_ns *ns = aa_get_ns(d->ns);
158
159 if (ns) {
160 mutex_lock(&ns->lock);
161 __aa_fs_remove_rawdata(d);
162 mutex_unlock(&ns->lock);
163 aa_put_ns(ns);
164 }
165
166 kzfree(d->hash);
167 kfree(d->name);
168 kvfree(d);
169}
170
John Johansen5ac8c352017-01-16 00:42:55 -0800171void aa_loaddata_kref(struct kref *kref)
172{
173 struct aa_loaddata *d = container_of(kref, struct aa_loaddata, count);
174
175 if (d) {
John Johansen5d5182ca2017-05-09 00:08:41 -0700176 INIT_WORK(&d->work, do_loaddata_free);
177 schedule_work(&d->work);
John Johansen5ac8c352017-01-16 00:42:55 -0800178 }
179}
180
John Johansen5d5182ca2017-05-09 00:08:41 -0700181struct aa_loaddata *aa_loaddata_alloc(size_t size)
182{
183 struct aa_loaddata *d = kvzalloc(sizeof(*d) + size, GFP_KERNEL);
184
185 if (d == NULL)
186 return ERR_PTR(-ENOMEM);
187 kref_init(&d->count);
188 INIT_LIST_HEAD(&d->list);
189
190 return d;
191}
192
John Johansen736ec7522010-07-29 14:48:02 -0700193/* test if read will be in packed data bounds */
194static bool inbounds(struct aa_ext *e, size_t size)
195{
196 return (size <= e->end - e->pos);
197}
198
199/**
200 * aa_u16_chunck - test and do bounds checking for a u16 size based chunk
201 * @e: serialized data read head (NOT NULL)
202 * @chunk: start address for chunk of data (NOT NULL)
203 *
204 * Returns: the size of chunk found with the read head at the end of the chunk.
205 */
206static size_t unpack_u16_chunk(struct aa_ext *e, char **chunk)
207{
208 size_t size = 0;
209
210 if (!inbounds(e, sizeof(u16)))
211 return 0;
John Johansen2c17cd32017-01-16 00:43:14 -0800212 size = le16_to_cpu(get_unaligned((__le16 *) e->pos));
213 e->pos += sizeof(__le16);
John Johansen736ec7522010-07-29 14:48:02 -0700214 if (!inbounds(e, size))
215 return 0;
216 *chunk = e->pos;
217 e->pos += size;
218 return size;
219}
220
221/* unpack control byte */
222static bool unpack_X(struct aa_ext *e, enum aa_code code)
223{
224 if (!inbounds(e, 1))
225 return 0;
226 if (*(u8 *) e->pos != code)
227 return 0;
228 e->pos++;
229 return 1;
230}
231
232/**
233 * unpack_nameX - check is the next element is of type X with a name of @name
234 * @e: serialized data extent information (NOT NULL)
235 * @code: type code
236 * @name: name to match to the serialized element. (MAYBE NULL)
237 *
238 * check that the next serialized data element is of type X and has a tag
239 * name @name. If @name is specified then there must be a matching
240 * name element in the stream. If @name is NULL any name element will be
241 * skipped and only the typecode will be tested.
242 *
243 * Returns 1 on success (both type code and name tests match) and the read
244 * head is advanced past the headers
245 *
246 * Returns: 0 if either match fails, the read head does not move
247 */
248static bool unpack_nameX(struct aa_ext *e, enum aa_code code, const char *name)
249{
250 /*
251 * May need to reset pos if name or type doesn't match
252 */
253 void *pos = e->pos;
254 /*
255 * Check for presence of a tagname, and if present name size
256 * AA_NAME tag value is a u16.
257 */
258 if (unpack_X(e, AA_NAME)) {
259 char *tag = NULL;
260 size_t size = unpack_u16_chunk(e, &tag);
261 /* if a name is specified it must match. otherwise skip tag */
262 if (name && (!size || strcmp(name, tag)))
263 goto fail;
264 } else if (name) {
265 /* if a name is specified and there is no name tag fail */
266 goto fail;
267 }
268
269 /* now check if type code matches */
270 if (unpack_X(e, code))
271 return 1;
272
273fail:
274 e->pos = pos;
275 return 0;
276}
277
278static bool unpack_u32(struct aa_ext *e, u32 *data, const char *name)
279{
280 if (unpack_nameX(e, AA_U32, name)) {
281 if (!inbounds(e, sizeof(u32)))
282 return 0;
283 if (data)
John Johansen2c17cd32017-01-16 00:43:14 -0800284 *data = le32_to_cpu(get_unaligned((__le32 *) e->pos));
John Johansen736ec7522010-07-29 14:48:02 -0700285 e->pos += sizeof(u32);
286 return 1;
287 }
288 return 0;
289}
290
291static bool unpack_u64(struct aa_ext *e, u64 *data, const char *name)
292{
293 if (unpack_nameX(e, AA_U64, name)) {
294 if (!inbounds(e, sizeof(u64)))
295 return 0;
296 if (data)
John Johansen2c17cd32017-01-16 00:43:14 -0800297 *data = le64_to_cpu(get_unaligned((__le64 *) e->pos));
John Johansen736ec7522010-07-29 14:48:02 -0700298 e->pos += sizeof(u64);
299 return 1;
300 }
301 return 0;
302}
303
304static size_t unpack_array(struct aa_ext *e, const char *name)
305{
306 if (unpack_nameX(e, AA_ARRAY, name)) {
307 int size;
308 if (!inbounds(e, sizeof(u16)))
309 return 0;
John Johansen2c17cd32017-01-16 00:43:14 -0800310 size = (int)le16_to_cpu(get_unaligned((__le16 *) e->pos));
John Johansen736ec7522010-07-29 14:48:02 -0700311 e->pos += sizeof(u16);
312 return size;
313 }
314 return 0;
315}
316
317static size_t unpack_blob(struct aa_ext *e, char **blob, const char *name)
318{
319 if (unpack_nameX(e, AA_BLOB, name)) {
320 u32 size;
321 if (!inbounds(e, sizeof(u32)))
322 return 0;
John Johansen2c17cd32017-01-16 00:43:14 -0800323 size = le32_to_cpu(get_unaligned((__le32 *) e->pos));
John Johansen736ec7522010-07-29 14:48:02 -0700324 e->pos += sizeof(u32);
325 if (inbounds(e, (size_t) size)) {
326 *blob = e->pos;
327 e->pos += size;
328 return size;
329 }
330 }
331 return 0;
332}
333
334static int unpack_str(struct aa_ext *e, const char **string, const char *name)
335{
336 char *src_str;
337 size_t size = 0;
338 void *pos = e->pos;
339 *string = NULL;
340 if (unpack_nameX(e, AA_STRING, name)) {
341 size = unpack_u16_chunk(e, &src_str);
342 if (size) {
343 /* strings are null terminated, length is size - 1 */
344 if (src_str[size - 1] != 0)
345 goto fail;
346 *string = src_str;
347 }
348 }
349 return size;
350
351fail:
352 e->pos = pos;
353 return 0;
354}
355
356static int unpack_strdup(struct aa_ext *e, char **string, const char *name)
357{
358 const char *tmp;
359 void *pos = e->pos;
360 int res = unpack_str(e, &tmp, name);
361 *string = NULL;
362
363 if (!res)
364 return 0;
365
366 *string = kmemdup(tmp, res, GFP_KERNEL);
367 if (!*string) {
368 e->pos = pos;
369 return 0;
370 }
371
372 return res;
373}
374
John Johansen180a6f52013-02-18 16:09:34 -0800375#define DFA_VALID_PERM_MASK 0xffffffff
376#define DFA_VALID_PERM2_MASK 0xffffffff
377
John Johansen736ec7522010-07-29 14:48:02 -0700378/**
379 * verify_accept - verify the accept tables of a dfa
380 * @dfa: dfa to verify accept tables of (NOT NULL)
381 * @flags: flags governing dfa
382 *
383 * Returns: 1 if valid accept tables else 0 if error
384 */
385static bool verify_accept(struct aa_dfa *dfa, int flags)
386{
387 int i;
388
389 /* verify accept permissions */
390 for (i = 0; i < dfa->tables[YYTD_ID_ACCEPT]->td_lolen; i++) {
391 int mode = ACCEPT_TABLE(dfa)[i];
392
393 if (mode & ~DFA_VALID_PERM_MASK)
394 return 0;
395
396 if (ACCEPT_TABLE2(dfa)[i] & ~DFA_VALID_PERM2_MASK)
397 return 0;
398 }
399 return 1;
400}
401
402/**
403 * unpack_dfa - unpack a file rule dfa
404 * @e: serialized data extent information (NOT NULL)
405 *
406 * returns dfa or ERR_PTR or NULL if no dfa
407 */
408static struct aa_dfa *unpack_dfa(struct aa_ext *e)
409{
410 char *blob = NULL;
411 size_t size;
412 struct aa_dfa *dfa = NULL;
413
414 size = unpack_blob(e, &blob, "aadfa");
415 if (size) {
416 /*
417 * The dfa is aligned with in the blob to 8 bytes
418 * from the beginning of the stream.
John Johansendd51c8482013-07-10 21:05:43 -0700419 * alignment adjust needed by dfa unpack
John Johansen736ec7522010-07-29 14:48:02 -0700420 */
John Johansendd51c8482013-07-10 21:05:43 -0700421 size_t sz = blob - (char *) e->start -
422 ((e->pos - e->start) & 7);
John Johansen736ec7522010-07-29 14:48:02 -0700423 size_t pad = ALIGN(sz, 8) - sz;
424 int flags = TO_ACCEPT1_FLAG(YYTD_DATA32) |
John Johansenabbf8732017-01-16 00:42:37 -0800425 TO_ACCEPT2_FLAG(YYTD_DATA32) | DFA_FLAG_VERIFY_STATES;
John Johansen736ec7522010-07-29 14:48:02 -0700426 dfa = aa_dfa_unpack(blob + pad, size - pad, flags);
427
428 if (IS_ERR(dfa))
429 return dfa;
430
431 if (!verify_accept(dfa, flags))
432 goto fail;
433 }
434
435 return dfa;
436
437fail:
438 aa_put_dfa(dfa);
439 return ERR_PTR(-EPROTO);
440}
441
442/**
443 * unpack_trans_table - unpack a profile transition table
444 * @e: serialized data extent information (NOT NULL)
445 * @profile: profile to add the accept table to (NOT NULL)
446 *
Lucas De Marchi25985ed2011-03-30 22:57:33 -0300447 * Returns: 1 if table successfully unpacked
John Johansen736ec7522010-07-29 14:48:02 -0700448 */
449static bool unpack_trans_table(struct aa_ext *e, struct aa_profile *profile)
450{
451 void *pos = e->pos;
452
453 /* exec table is optional */
454 if (unpack_nameX(e, AA_STRUCT, "xtable")) {
455 int i, size;
456
457 size = unpack_array(e, NULL);
458 /* currently 4 exec bits and entries 0-3 are reserved iupcx */
459 if (size > 16 - 4)
460 goto fail;
461 profile->file.trans.table = kzalloc(sizeof(char *) * size,
462 GFP_KERNEL);
463 if (!profile->file.trans.table)
464 goto fail;
465
466 profile->file.trans.size = size;
467 for (i = 0; i < size; i++) {
468 char *str;
John Johansen5379a332017-06-09 17:29:12 -0700469 int c, j, pos, size2 = unpack_strdup(e, &str, NULL);
John Johansen736ec7522010-07-29 14:48:02 -0700470 /* unpack_strdup verifies that the last character is
471 * null termination byte.
472 */
James Morris7ee95852011-08-29 11:43:02 +1000473 if (!size2)
John Johansen736ec7522010-07-29 14:48:02 -0700474 goto fail;
475 profile->file.trans.table[i] = str;
476 /* verify that name doesn't start with space */
477 if (isspace(*str))
478 goto fail;
479
480 /* count internal # of internal \0 */
John Johansen5379a332017-06-09 17:29:12 -0700481 for (c = j = 0; j < size2 - 1; j++) {
482 if (!str[j]) {
483 pos = j;
John Johansen736ec7522010-07-29 14:48:02 -0700484 c++;
John Johansen5379a332017-06-09 17:29:12 -0700485 }
John Johansen736ec7522010-07-29 14:48:02 -0700486 }
487 if (*str == ':') {
John Johansen5379a332017-06-09 17:29:12 -0700488 /* first character after : must be valid */
489 if (!str[1])
490 goto fail;
John Johansen736ec7522010-07-29 14:48:02 -0700491 /* beginning with : requires an embedded \0,
492 * verify that exactly 1 internal \0 exists
493 * trailing \0 already verified by unpack_strdup
John Johansen5379a332017-06-09 17:29:12 -0700494 *
495 * convert \0 back to : for label_parse
John Johansen736ec7522010-07-29 14:48:02 -0700496 */
John Johansen5379a332017-06-09 17:29:12 -0700497 if (c == 1)
498 str[pos] = ':';
499 else if (c > 1)
John Johansen736ec7522010-07-29 14:48:02 -0700500 goto fail;
501 } else if (c)
502 /* fail - all other cases with embedded \0 */
503 goto fail;
504 }
505 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
506 goto fail;
507 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
508 goto fail;
509 }
510 return 1;
511
512fail:
513 aa_free_domain_entries(&profile->file.trans);
514 e->pos = pos;
515 return 0;
516}
517
518static bool unpack_rlimits(struct aa_ext *e, struct aa_profile *profile)
519{
520 void *pos = e->pos;
521
522 /* rlimits are optional */
523 if (unpack_nameX(e, AA_STRUCT, "rlimits")) {
524 int i, size;
525 u32 tmp = 0;
526 if (!unpack_u32(e, &tmp, NULL))
527 goto fail;
528 profile->rlimits.mask = tmp;
529
530 size = unpack_array(e, NULL);
531 if (size > RLIM_NLIMITS)
532 goto fail;
533 for (i = 0; i < size; i++) {
James Morris7ee95852011-08-29 11:43:02 +1000534 u64 tmp2 = 0;
John Johansen736ec7522010-07-29 14:48:02 -0700535 int a = aa_map_resource(i);
James Morris7ee95852011-08-29 11:43:02 +1000536 if (!unpack_u64(e, &tmp2, NULL))
John Johansen736ec7522010-07-29 14:48:02 -0700537 goto fail;
James Morris7ee95852011-08-29 11:43:02 +1000538 profile->rlimits.limits[a].rlim_max = tmp2;
John Johansen736ec7522010-07-29 14:48:02 -0700539 }
540 if (!unpack_nameX(e, AA_ARRAYEND, NULL))
541 goto fail;
542 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
543 goto fail;
544 }
545 return 1;
546
547fail:
548 e->pos = pos;
549 return 0;
550}
551
William Huae025be02017-01-15 16:49:28 -0800552static void *kvmemdup(const void *src, size_t len)
553{
Michal Hockoa7c3e902017-05-08 15:57:09 -0700554 void *p = kvmalloc(len, GFP_KERNEL);
William Huae025be02017-01-15 16:49:28 -0800555
556 if (p)
557 memcpy(p, src, len);
558 return p;
559}
560
561static u32 strhash(const void *data, u32 len, u32 seed)
562{
563 const char * const *key = data;
564
565 return jhash(*key, strlen(*key), seed);
566}
567
568static int datacmp(struct rhashtable_compare_arg *arg, const void *obj)
569{
570 const struct aa_data *data = obj;
571 const char * const *key = arg->key;
572
573 return strcmp(data->key, *key);
574}
575
John Johansen736ec7522010-07-29 14:48:02 -0700576/**
577 * unpack_profile - unpack a serialized profile
578 * @e: serialized data extent information (NOT NULL)
579 *
580 * NOTE: unpack profile sets audit struct if there is a failure
581 */
John Johansen04dc7152017-01-16 00:42:56 -0800582static struct aa_profile *unpack_profile(struct aa_ext *e, char **ns_name)
John Johansen736ec7522010-07-29 14:48:02 -0700583{
584 struct aa_profile *profile = NULL;
John Johansen04dc7152017-01-16 00:42:56 -0800585 const char *tmpname, *tmpns = NULL, *name = NULL;
586 size_t ns_len;
William Huae025be02017-01-15 16:49:28 -0800587 struct rhashtable_params params = { 0 };
588 char *key = NULL;
589 struct aa_data *data;
John Johansenad5ff3d2012-02-16 07:07:53 -0800590 int i, error = -EPROTO;
John Johansen736ec7522010-07-29 14:48:02 -0700591 kernel_cap_t tmpcap;
592 u32 tmp;
593
John Johansen04dc7152017-01-16 00:42:56 -0800594 *ns_name = NULL;
595
John Johansen736ec7522010-07-29 14:48:02 -0700596 /* check that we have the right struct being passed */
597 if (!unpack_nameX(e, AA_STRUCT, "profile"))
598 goto fail;
599 if (!unpack_str(e, &name, NULL))
600 goto fail;
John Johansen04dc7152017-01-16 00:42:56 -0800601 if (*name == '\0')
602 goto fail;
603
604 tmpname = aa_splitn_fqname(name, strlen(name), &tmpns, &ns_len);
605 if (tmpns) {
606 *ns_name = kstrndup(tmpns, ns_len, GFP_KERNEL);
607 if (!*ns_name)
608 goto fail;
609 name = tmpname;
610 }
John Johansen736ec7522010-07-29 14:48:02 -0700611
John Johansen637f6882017-06-09 08:14:28 -0700612 profile = aa_alloc_profile(name, NULL, GFP_KERNEL);
John Johansen736ec7522010-07-29 14:48:02 -0700613 if (!profile)
614 return ERR_PTR(-ENOMEM);
615
616 /* profile renaming is optional */
617 (void) unpack_str(e, &profile->rename, "rename");
618
John Johansen556d0be2013-07-10 21:17:43 -0700619 /* attachment string is optional */
620 (void) unpack_str(e, &profile->attach, "attach");
621
John Johansen736ec7522010-07-29 14:48:02 -0700622 /* xmatch is optional and may be NULL */
623 profile->xmatch = unpack_dfa(e);
624 if (IS_ERR(profile->xmatch)) {
625 error = PTR_ERR(profile->xmatch);
626 profile->xmatch = NULL;
627 goto fail;
628 }
629 /* xmatch_len is not optional if xmatch is set */
630 if (profile->xmatch) {
631 if (!unpack_u32(e, &tmp, NULL))
632 goto fail;
633 profile->xmatch_len = tmp;
634 }
635
John Johansen72c8a762017-05-22 03:06:52 -0700636 /* disconnected attachment string is optional */
637 (void) unpack_str(e, &profile->disconnected, "disconnected");
638
John Johansen736ec7522010-07-29 14:48:02 -0700639 /* per profile debug flags (complain, audit) */
640 if (!unpack_nameX(e, AA_STRUCT, "flags"))
641 goto fail;
642 if (!unpack_u32(e, &tmp, NULL))
643 goto fail;
John Johansen03816502013-07-10 21:12:43 -0700644 if (tmp & PACKED_FLAG_HAT)
John Johansen637f6882017-06-09 08:14:28 -0700645 profile->label.flags |= FLAG_HAT;
John Johansen736ec7522010-07-29 14:48:02 -0700646 if (!unpack_u32(e, &tmp, NULL))
647 goto fail;
John Johansen5ebfb122017-01-16 00:42:38 -0800648 if (tmp == PACKED_MODE_COMPLAIN || (e->version & FORCE_COMPLAIN_FLAG))
John Johansen736ec7522010-07-29 14:48:02 -0700649 profile->mode = APPARMOR_COMPLAIN;
John Johansen03816502013-07-10 21:12:43 -0700650 else if (tmp == PACKED_MODE_KILL)
651 profile->mode = APPARMOR_KILL;
652 else if (tmp == PACKED_MODE_UNCONFINED)
653 profile->mode = APPARMOR_UNCONFINED;
John Johansen736ec7522010-07-29 14:48:02 -0700654 if (!unpack_u32(e, &tmp, NULL))
655 goto fail;
656 if (tmp)
657 profile->audit = AUDIT_ALL;
658
659 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
660 goto fail;
661
662 /* path_flags is optional */
663 if (unpack_u32(e, &profile->path_flags, "path_flags"))
John Johansen637f6882017-06-09 08:14:28 -0700664 profile->path_flags |= profile->label.flags &
665 PATH_MEDIATE_DELETED;
John Johansen736ec7522010-07-29 14:48:02 -0700666 else
667 /* set a default value if path_flags field is not present */
John Johansen637f6882017-06-09 08:14:28 -0700668 profile->path_flags = PATH_MEDIATE_DELETED;
John Johansen736ec7522010-07-29 14:48:02 -0700669
670 if (!unpack_u32(e, &(profile->caps.allow.cap[0]), NULL))
671 goto fail;
672 if (!unpack_u32(e, &(profile->caps.audit.cap[0]), NULL))
673 goto fail;
674 if (!unpack_u32(e, &(profile->caps.quiet.cap[0]), NULL))
675 goto fail;
676 if (!unpack_u32(e, &tmpcap.cap[0], NULL))
677 goto fail;
678
679 if (unpack_nameX(e, AA_STRUCT, "caps64")) {
680 /* optional upper half of 64 bit caps */
681 if (!unpack_u32(e, &(profile->caps.allow.cap[1]), NULL))
682 goto fail;
683 if (!unpack_u32(e, &(profile->caps.audit.cap[1]), NULL))
684 goto fail;
685 if (!unpack_u32(e, &(profile->caps.quiet.cap[1]), NULL))
686 goto fail;
687 if (!unpack_u32(e, &(tmpcap.cap[1]), NULL))
688 goto fail;
689 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
690 goto fail;
691 }
692
693 if (unpack_nameX(e, AA_STRUCT, "capsx")) {
694 /* optional extended caps mediation mask */
695 if (!unpack_u32(e, &(profile->caps.extended.cap[0]), NULL))
696 goto fail;
697 if (!unpack_u32(e, &(profile->caps.extended.cap[1]), NULL))
698 goto fail;
John Johansencdbd2882012-02-16 07:06:41 -0800699 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
700 goto fail;
John Johansen736ec7522010-07-29 14:48:02 -0700701 }
702
703 if (!unpack_rlimits(e, profile))
704 goto fail;
705
John Johansenad5ff3d2012-02-16 07:07:53 -0800706 if (unpack_nameX(e, AA_STRUCT, "policydb")) {
707 /* generic policy dfa - optional and may be NULL */
708 profile->policy.dfa = unpack_dfa(e);
709 if (IS_ERR(profile->policy.dfa)) {
710 error = PTR_ERR(profile->policy.dfa);
711 profile->policy.dfa = NULL;
712 goto fail;
John Johansen5f20fdf2016-06-15 10:00:55 +0300713 } else if (!profile->policy.dfa) {
714 error = -EPROTO;
715 goto fail;
John Johansenad5ff3d2012-02-16 07:07:53 -0800716 }
717 if (!unpack_u32(e, &profile->policy.start[0], "start"))
718 /* default start state */
719 profile->policy.start[0] = DFA_START;
720 /* setup class index */
721 for (i = AA_CLASS_FILE; i <= AA_CLASS_LAST; i++) {
722 profile->policy.start[i] =
723 aa_dfa_next(profile->policy.dfa,
724 profile->policy.start[0],
725 i);
726 }
727 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
728 goto fail;
John Johansen11c236b2017-01-16 00:42:42 -0800729 } else
730 profile->policy.dfa = aa_get_dfa(nulldfa);
John Johansenad5ff3d2012-02-16 07:07:53 -0800731
John Johansen736ec7522010-07-29 14:48:02 -0700732 /* get file rules */
733 profile->file.dfa = unpack_dfa(e);
734 if (IS_ERR(profile->file.dfa)) {
735 error = PTR_ERR(profile->file.dfa);
736 profile->file.dfa = NULL;
737 goto fail;
John Johansen6604d4c2017-01-16 00:42:41 -0800738 } else if (profile->file.dfa) {
739 if (!unpack_u32(e, &profile->file.start, "dfa_start"))
740 /* default start state */
741 profile->file.start = DFA_START;
742 } else if (profile->policy.dfa &&
743 profile->policy.start[AA_CLASS_FILE]) {
744 profile->file.dfa = aa_get_dfa(profile->policy.dfa);
745 profile->file.start = profile->policy.start[AA_CLASS_FILE];
John Johansen11c236b2017-01-16 00:42:42 -0800746 } else
747 profile->file.dfa = aa_get_dfa(nulldfa);
John Johansen736ec7522010-07-29 14:48:02 -0700748
John Johansen736ec7522010-07-29 14:48:02 -0700749 if (!unpack_trans_table(e, profile))
750 goto fail;
751
William Huae025be02017-01-15 16:49:28 -0800752 if (unpack_nameX(e, AA_STRUCT, "data")) {
753 profile->data = kzalloc(sizeof(*profile->data), GFP_KERNEL);
754 if (!profile->data)
755 goto fail;
756
757 params.nelem_hint = 3;
758 params.key_len = sizeof(void *);
759 params.key_offset = offsetof(struct aa_data, key);
760 params.head_offset = offsetof(struct aa_data, head);
761 params.hashfn = strhash;
762 params.obj_cmpfn = datacmp;
763
764 if (rhashtable_init(profile->data, &params))
765 goto fail;
766
767 while (unpack_strdup(e, &key, NULL)) {
768 data = kzalloc(sizeof(*data), GFP_KERNEL);
769 if (!data) {
770 kzfree(key);
771 goto fail;
772 }
773
774 data->key = key;
775 data->size = unpack_blob(e, &data->data, NULL);
776 data->data = kvmemdup(data->data, data->size);
777 if (data->size && !data->data) {
778 kzfree(data->key);
779 kzfree(data);
780 goto fail;
781 }
782
783 rhashtable_insert_fast(profile->data, &data->head,
784 profile->data->p);
785 }
786
787 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
788 goto fail;
789 }
790
John Johansen736ec7522010-07-29 14:48:02 -0700791 if (!unpack_nameX(e, AA_STRUCTEND, NULL))
792 goto fail;
793
794 return profile;
795
796fail:
797 if (profile)
798 name = NULL;
799 else if (!name)
800 name = "unknown";
John Johansen04dc7152017-01-16 00:42:56 -0800801 audit_iface(profile, NULL, name, "failed to unpack profile", e,
802 error);
John Johansen8651e1d62013-07-10 21:11:43 -0700803 aa_free_profile(profile);
John Johansen736ec7522010-07-29 14:48:02 -0700804
805 return ERR_PTR(error);
806}
807
808/**
809 * verify_head - unpack serialized stream header
810 * @e: serialized data read head (NOT NULL)
John Johansendd51c8482013-07-10 21:05:43 -0700811 * @required: whether the header is required or optional
John Johansen736ec7522010-07-29 14:48:02 -0700812 * @ns: Returns - namespace if one is specified else NULL (NOT NULL)
813 *
814 * Returns: error or 0 if header is good
815 */
John Johansendd51c8482013-07-10 21:05:43 -0700816static int verify_header(struct aa_ext *e, int required, const char **ns)
John Johansen736ec7522010-07-29 14:48:02 -0700817{
818 int error = -EPROTONOSUPPORT;
John Johansendd51c8482013-07-10 21:05:43 -0700819 const char *name = NULL;
820 *ns = NULL;
821
John Johansen736ec7522010-07-29 14:48:02 -0700822 /* get the interface version */
823 if (!unpack_u32(e, &e->version, "version")) {
John Johansendd51c8482013-07-10 21:05:43 -0700824 if (required) {
John Johansen04dc7152017-01-16 00:42:56 -0800825 audit_iface(NULL, NULL, NULL, "invalid profile format",
John Johansendd51c8482013-07-10 21:05:43 -0700826 e, error);
827 return error;
828 }
John Johansen736ec7522010-07-29 14:48:02 -0700829 }
830
John Johansen474d6b752017-01-16 00:42:39 -0800831 /* Check that the interface version is currently supported.
832 * if not specified use previous version
833 * Mask off everything that is not kernel abi version
834 */
835 if (VERSION_LT(e->version, v5) && VERSION_GT(e->version, v7)) {
John Johansen04dc7152017-01-16 00:42:56 -0800836 audit_iface(NULL, NULL, NULL, "unsupported interface version",
John Johansen474d6b752017-01-16 00:42:39 -0800837 e, error);
838 return error;
839 }
John Johansen736ec7522010-07-29 14:48:02 -0700840
841 /* read the namespace if present */
John Johansendd51c8482013-07-10 21:05:43 -0700842 if (unpack_str(e, &name, "namespace")) {
John Johansen04dc7152017-01-16 00:42:56 -0800843 if (*name == '\0') {
844 audit_iface(NULL, NULL, NULL, "invalid namespace name",
845 e, error);
846 return error;
847 }
John Johansendd51c8482013-07-10 21:05:43 -0700848 if (*ns && strcmp(*ns, name))
John Johansen04dc7152017-01-16 00:42:56 -0800849 audit_iface(NULL, NULL, NULL, "invalid ns change", e,
850 error);
John Johansendd51c8482013-07-10 21:05:43 -0700851 else if (!*ns)
852 *ns = name;
853 }
John Johansen736ec7522010-07-29 14:48:02 -0700854
855 return 0;
856}
857
858static bool verify_xindex(int xindex, int table_size)
859{
860 int index, xtype;
861 xtype = xindex & AA_X_TYPE_MASK;
862 index = xindex & AA_X_INDEX_MASK;
John Johansen23ca7b62016-03-17 12:02:54 -0700863 if (xtype == AA_X_TABLE && index >= table_size)
John Johansen736ec7522010-07-29 14:48:02 -0700864 return 0;
865 return 1;
866}
867
868/* verify dfa xindexes are in range of transition tables */
869static bool verify_dfa_xindex(struct aa_dfa *dfa, int table_size)
870{
871 int i;
872 for (i = 0; i < dfa->tables[YYTD_ID_ACCEPT]->td_lolen; i++) {
873 if (!verify_xindex(dfa_user_xindex(dfa, i), table_size))
874 return 0;
875 if (!verify_xindex(dfa_other_xindex(dfa, i), table_size))
876 return 0;
877 }
878 return 1;
879}
880
881/**
882 * verify_profile - Do post unpack analysis to verify profile consistency
883 * @profile: profile to verify (NOT NULL)
884 *
885 * Returns: 0 if passes verification else error
886 */
887static int verify_profile(struct aa_profile *profile)
888{
John Johansenabbf8732017-01-16 00:42:37 -0800889 if (profile->file.dfa &&
890 !verify_dfa_xindex(profile->file.dfa,
891 profile->file.trans.size)) {
John Johansen04dc7152017-01-16 00:42:56 -0800892 audit_iface(profile, NULL, NULL, "Invalid named transition",
John Johansenabbf8732017-01-16 00:42:37 -0800893 NULL, -EPROTO);
894 return -EPROTO;
John Johansen736ec7522010-07-29 14:48:02 -0700895 }
896
897 return 0;
898}
899
John Johansendd51c8482013-07-10 21:05:43 -0700900void aa_load_ent_free(struct aa_load_ent *ent)
901{
902 if (ent) {
903 aa_put_profile(ent->rename);
904 aa_put_profile(ent->old);
905 aa_put_profile(ent->new);
John Johansen04dc7152017-01-16 00:42:56 -0800906 kfree(ent->ns_name);
John Johansendd51c8482013-07-10 21:05:43 -0700907 kzfree(ent);
908 }
909}
910
911struct aa_load_ent *aa_load_ent_alloc(void)
912{
913 struct aa_load_ent *ent = kzalloc(sizeof(*ent), GFP_KERNEL);
914 if (ent)
915 INIT_LIST_HEAD(&ent->list);
916 return ent;
917}
918
John Johansen736ec7522010-07-29 14:48:02 -0700919/**
John Johansendd51c8482013-07-10 21:05:43 -0700920 * aa_unpack - unpack packed binary profile(s) data loaded from user space
John Johansen736ec7522010-07-29 14:48:02 -0700921 * @udata: user data copied to kmem (NOT NULL)
John Johansendd51c8482013-07-10 21:05:43 -0700922 * @lh: list to place unpacked profiles in a aa_repl_ws
John Johansen736ec7522010-07-29 14:48:02 -0700923 * @ns: Returns namespace profile is in if specified else NULL (NOT NULL)
924 *
John Johansendd51c8482013-07-10 21:05:43 -0700925 * Unpack user data and return refcounted allocated profile(s) stored in
926 * @lh in order of discovery, with the list chain stored in base.list
927 * or error
John Johansen736ec7522010-07-29 14:48:02 -0700928 *
John Johansendd51c8482013-07-10 21:05:43 -0700929 * Returns: profile(s) on @lh else error pointer if fails to unpack
John Johansen736ec7522010-07-29 14:48:02 -0700930 */
John Johansen5ac8c352017-01-16 00:42:55 -0800931int aa_unpack(struct aa_loaddata *udata, struct list_head *lh,
932 const char **ns)
John Johansen736ec7522010-07-29 14:48:02 -0700933{
John Johansendd51c8482013-07-10 21:05:43 -0700934 struct aa_load_ent *tmp, *ent;
John Johansen736ec7522010-07-29 14:48:02 -0700935 struct aa_profile *profile = NULL;
936 int error;
937 struct aa_ext e = {
John Johansen5ac8c352017-01-16 00:42:55 -0800938 .start = udata->data,
939 .end = udata->data + udata->size,
940 .pos = udata->data,
John Johansen736ec7522010-07-29 14:48:02 -0700941 };
942
John Johansendd51c8482013-07-10 21:05:43 -0700943 *ns = NULL;
944 while (e.pos < e.end) {
John Johansen04dc7152017-01-16 00:42:56 -0800945 char *ns_name = NULL;
John Johansenf8eb8a12013-08-14 11:27:36 -0700946 void *start;
John Johansendd51c8482013-07-10 21:05:43 -0700947 error = verify_header(&e, e.pos == e.start, ns);
948 if (error)
949 goto fail;
John Johansen736ec7522010-07-29 14:48:02 -0700950
John Johansenf8eb8a12013-08-14 11:27:36 -0700951 start = e.pos;
John Johansen04dc7152017-01-16 00:42:56 -0800952 profile = unpack_profile(&e, &ns_name);
John Johansendd51c8482013-07-10 21:05:43 -0700953 if (IS_ERR(profile)) {
954 error = PTR_ERR(profile);
955 goto fail;
956 }
John Johansen736ec7522010-07-29 14:48:02 -0700957
John Johansendd51c8482013-07-10 21:05:43 -0700958 error = verify_profile(profile);
John Johansenf8eb8a12013-08-14 11:27:36 -0700959 if (error)
960 goto fail_profile;
961
John Johansen31f75bf2017-01-16 00:43:07 -0800962 if (aa_g_hash_policy)
963 error = aa_calc_profile_hash(profile, e.version, start,
John Johansen6059f712014-10-24 09:16:14 -0700964 e.pos - start);
John Johansenf8eb8a12013-08-14 11:27:36 -0700965 if (error)
966 goto fail_profile;
John Johansendd51c8482013-07-10 21:05:43 -0700967
968 ent = aa_load_ent_alloc();
969 if (!ent) {
970 error = -ENOMEM;
John Johansenf8eb8a12013-08-14 11:27:36 -0700971 goto fail_profile;
John Johansendd51c8482013-07-10 21:05:43 -0700972 }
973
974 ent->new = profile;
John Johansen04dc7152017-01-16 00:42:56 -0800975 ent->ns_name = ns_name;
John Johansendd51c8482013-07-10 21:05:43 -0700976 list_add_tail(&ent->list, lh);
John Johansen736ec7522010-07-29 14:48:02 -0700977 }
John Johansen5ac8c352017-01-16 00:42:55 -0800978 udata->abi = e.version & K_ABI_MASK;
John Johansen31f75bf2017-01-16 00:43:07 -0800979 if (aa_g_hash_policy) {
980 udata->hash = aa_calc_hash(udata->data, udata->size);
981 if (IS_ERR(udata->hash)) {
982 error = PTR_ERR(udata->hash);
983 udata->hash = NULL;
984 goto fail;
985 }
John Johansen5ac8c352017-01-16 00:42:55 -0800986 }
John Johansendd51c8482013-07-10 21:05:43 -0700987 return 0;
988
John Johansenf8eb8a12013-08-14 11:27:36 -0700989fail_profile:
990 aa_put_profile(profile);
991
John Johansendd51c8482013-07-10 21:05:43 -0700992fail:
993 list_for_each_entry_safe(ent, tmp, lh, list) {
994 list_del_init(&ent->list);
995 aa_load_ent_free(ent);
996 }
997
998 return error;
John Johansen736ec7522010-07-29 14:48:02 -0700999}