blob: f7bb47daf2ad686de8bca3b3576ebda17450b899 [file] [log] [blame]
Thomas Gleixnerb886d832019-06-01 10:08:55 +02001// SPDX-License-Identifier: GPL-2.0-only
John Johansen2ea3ffb2017-07-18 23:04:47 -07002/*
3 * AppArmor security module
4 *
5 * This file contains AppArmor mediation of files
6 *
7 * Copyright (C) 1998-2008 Novell/SUSE
8 * Copyright 2009-2017 Canonical Ltd.
John Johansen2ea3ffb2017-07-18 23:04:47 -07009 */
10
11#include <linux/fs.h>
12#include <linux/mount.h>
13#include <linux/namei.h>
David Howellse262e32d2018-11-01 23:07:23 +000014#include <uapi/linux/mount.h>
John Johansen2ea3ffb2017-07-18 23:04:47 -070015
16#include "include/apparmor.h"
17#include "include/audit.h"
John Johansend8889d42017-10-11 01:04:48 -070018#include "include/cred.h"
John Johansen2ea3ffb2017-07-18 23:04:47 -070019#include "include/domain.h"
20#include "include/file.h"
21#include "include/match.h"
22#include "include/mount.h"
23#include "include/path.h"
24#include "include/policy.h"
25
26
27static void audit_mnt_flags(struct audit_buffer *ab, unsigned long flags)
28{
29 if (flags & MS_RDONLY)
30 audit_log_format(ab, "ro");
31 else
32 audit_log_format(ab, "rw");
33 if (flags & MS_NOSUID)
34 audit_log_format(ab, ", nosuid");
35 if (flags & MS_NODEV)
36 audit_log_format(ab, ", nodev");
37 if (flags & MS_NOEXEC)
38 audit_log_format(ab, ", noexec");
39 if (flags & MS_SYNCHRONOUS)
40 audit_log_format(ab, ", sync");
41 if (flags & MS_REMOUNT)
42 audit_log_format(ab, ", remount");
43 if (flags & MS_MANDLOCK)
44 audit_log_format(ab, ", mand");
45 if (flags & MS_DIRSYNC)
46 audit_log_format(ab, ", dirsync");
47 if (flags & MS_NOATIME)
48 audit_log_format(ab, ", noatime");
49 if (flags & MS_NODIRATIME)
50 audit_log_format(ab, ", nodiratime");
51 if (flags & MS_BIND)
52 audit_log_format(ab, flags & MS_REC ? ", rbind" : ", bind");
53 if (flags & MS_MOVE)
54 audit_log_format(ab, ", move");
55 if (flags & MS_SILENT)
56 audit_log_format(ab, ", silent");
57 if (flags & MS_POSIXACL)
58 audit_log_format(ab, ", acl");
59 if (flags & MS_UNBINDABLE)
60 audit_log_format(ab, flags & MS_REC ? ", runbindable" :
61 ", unbindable");
62 if (flags & MS_PRIVATE)
63 audit_log_format(ab, flags & MS_REC ? ", rprivate" :
64 ", private");
65 if (flags & MS_SLAVE)
66 audit_log_format(ab, flags & MS_REC ? ", rslave" :
67 ", slave");
68 if (flags & MS_SHARED)
69 audit_log_format(ab, flags & MS_REC ? ", rshared" :
70 ", shared");
71 if (flags & MS_RELATIME)
72 audit_log_format(ab, ", relatime");
73 if (flags & MS_I_VERSION)
74 audit_log_format(ab, ", iversion");
75 if (flags & MS_STRICTATIME)
76 audit_log_format(ab, ", strictatime");
77 if (flags & MS_NOUSER)
78 audit_log_format(ab, ", nouser");
79}
80
81/**
82 * audit_cb - call back for mount specific audit fields
83 * @ab: audit_buffer (NOT NULL)
84 * @va: audit struct to audit values of (NOT NULL)
85 */
86static void audit_cb(struct audit_buffer *ab, void *va)
87{
88 struct common_audit_data *sa = va;
89
90 if (aad(sa)->mnt.type) {
91 audit_log_format(ab, " fstype=");
92 audit_log_untrustedstring(ab, aad(sa)->mnt.type);
93 }
94 if (aad(sa)->mnt.src_name) {
95 audit_log_format(ab, " srcname=");
96 audit_log_untrustedstring(ab, aad(sa)->mnt.src_name);
97 }
98 if (aad(sa)->mnt.trans) {
99 audit_log_format(ab, " trans=");
100 audit_log_untrustedstring(ab, aad(sa)->mnt.trans);
101 }
102 if (aad(sa)->mnt.flags) {
103 audit_log_format(ab, " flags=\"");
104 audit_mnt_flags(ab, aad(sa)->mnt.flags);
105 audit_log_format(ab, "\"");
106 }
107 if (aad(sa)->mnt.data) {
108 audit_log_format(ab, " options=");
109 audit_log_untrustedstring(ab, aad(sa)->mnt.data);
110 }
111}
112
113/**
114 * audit_mount - handle the auditing of mount operations
115 * @profile: the profile being enforced (NOT NULL)
116 * @op: operation being mediated (NOT NULL)
117 * @name: name of object being mediated (MAYBE NULL)
118 * @src_name: src_name of object being mediated (MAYBE_NULL)
119 * @type: type of filesystem (MAYBE_NULL)
120 * @trans: name of trans (MAYBE NULL)
Zygmunt Krynicki68a1a0c2018-04-12 12:34:33 +0200121 * @flags: filesystem independent mount flags
John Johansen2ea3ffb2017-07-18 23:04:47 -0700122 * @data: filesystem mount flags
123 * @request: permissions requested
124 * @perms: the permissions computed for the request (NOT NULL)
125 * @info: extra information message (MAYBE NULL)
126 * @error: 0 if operation allowed else failure error code
127 *
128 * Returns: %0 or error on failure
129 */
130static int audit_mount(struct aa_profile *profile, const char *op,
131 const char *name, const char *src_name,
132 const char *type, const char *trans,
133 unsigned long flags, const void *data, u32 request,
134 struct aa_perms *perms, const char *info, int error)
135{
136 int audit_type = AUDIT_APPARMOR_AUTO;
137 DEFINE_AUDIT_DATA(sa, LSM_AUDIT_DATA_NONE, op);
138
139 if (likely(!error)) {
140 u32 mask = perms->audit;
141
142 if (unlikely(AUDIT_MODE(profile) == AUDIT_ALL))
143 mask = 0xffff;
144
145 /* mask off perms that are not being force audited */
146 request &= mask;
147
148 if (likely(!request))
149 return 0;
150 audit_type = AUDIT_APPARMOR_AUDIT;
151 } else {
152 /* only report permissions that were denied */
153 request = request & ~perms->allow;
154
155 if (request & perms->kill)
156 audit_type = AUDIT_APPARMOR_KILL;
157
158 /* quiet known rejects, assumes quiet and kill do not overlap */
159 if ((request & perms->quiet) &&
160 AUDIT_MODE(profile) != AUDIT_NOQUIET &&
161 AUDIT_MODE(profile) != AUDIT_ALL)
162 request &= ~perms->quiet;
163
164 if (!request)
165 return error;
166 }
167
168 aad(&sa)->name = name;
169 aad(&sa)->mnt.src_name = src_name;
170 aad(&sa)->mnt.type = type;
171 aad(&sa)->mnt.trans = trans;
172 aad(&sa)->mnt.flags = flags;
173 if (data && (perms->audit & AA_AUDIT_DATA))
174 aad(&sa)->mnt.data = data;
175 aad(&sa)->info = info;
176 aad(&sa)->error = error;
177
178 return aa_audit(audit_type, profile, &sa, audit_cb);
179}
180
181/**
182 * match_mnt_flags - Do an ordered match on mount flags
183 * @dfa: dfa to match against
184 * @state: state to start in
185 * @flags: mount flags to match against
186 *
187 * Mount flags are encoded as an ordered match. This is done instead of
188 * checking against a simple bitmask, to allow for logical operations
189 * on the flags.
190 *
191 * Returns: next state after flags match
192 */
193static unsigned int match_mnt_flags(struct aa_dfa *dfa, unsigned int state,
194 unsigned long flags)
195{
196 unsigned int i;
197
198 for (i = 0; i <= 31 ; ++i) {
199 if ((1 << i) & flags)
200 state = aa_dfa_next(dfa, state, i + 1);
201 }
202
203 return state;
204}
205
206/**
207 * compute_mnt_perms - compute mount permission associated with @state
208 * @dfa: dfa to match against (NOT NULL)
209 * @state: state match finished in
210 *
211 * Returns: mount permissions
212 */
213static struct aa_perms compute_mnt_perms(struct aa_dfa *dfa,
214 unsigned int state)
215{
Arnd Bergmann7bba39a2017-09-15 21:55:46 +0200216 struct aa_perms perms = {
217 .allow = dfa_user_allow(dfa, state),
218 .audit = dfa_user_audit(dfa, state),
219 .quiet = dfa_user_quiet(dfa, state),
220 .xindex = dfa_user_xindex(dfa, state),
221 };
John Johansen2ea3ffb2017-07-18 23:04:47 -0700222
223 return perms;
224}
225
226static const char * const mnt_info_table[] = {
227 "match succeeded",
228 "failed mntpnt match",
229 "failed srcname match",
230 "failed type match",
231 "failed flags match",
John Johansena683a0d2022-01-25 00:37:42 -0800232 "failed data match",
233 "failed perms check"
John Johansen2ea3ffb2017-07-18 23:04:47 -0700234};
235
236/*
237 * Returns 0 on success else element that match failed in, this is the
238 * index into the mnt_info_table above
239 */
240static int do_match_mnt(struct aa_dfa *dfa, unsigned int start,
241 const char *mntpnt, const char *devname,
242 const char *type, unsigned long flags,
243 void *data, bool binary, struct aa_perms *perms)
244{
245 unsigned int state;
246
247 AA_BUG(!dfa);
248 AA_BUG(!perms);
249
250 state = aa_dfa_match(dfa, start, mntpnt);
251 state = aa_dfa_null_transition(dfa, state);
252 if (!state)
253 return 1;
254
255 if (devname)
256 state = aa_dfa_match(dfa, state, devname);
257 state = aa_dfa_null_transition(dfa, state);
258 if (!state)
259 return 2;
260
261 if (type)
262 state = aa_dfa_match(dfa, state, type);
263 state = aa_dfa_null_transition(dfa, state);
264 if (!state)
265 return 3;
266
267 state = match_mnt_flags(dfa, state, flags);
268 if (!state)
269 return 4;
270 *perms = compute_mnt_perms(dfa, state);
271 if (perms->allow & AA_MAY_MOUNT)
272 return 0;
273
274 /* only match data if not binary and the DFA flags data is expected */
275 if (data && !binary && (perms->allow & AA_MNT_CONT_MATCH)) {
276 state = aa_dfa_null_transition(dfa, state);
277 if (!state)
278 return 4;
279
280 state = aa_dfa_match(dfa, state, data);
281 if (!state)
282 return 5;
283 *perms = compute_mnt_perms(dfa, state);
284 if (perms->allow & AA_MAY_MOUNT)
285 return 0;
286 }
287
John Johansena683a0d2022-01-25 00:37:42 -0800288 /* failed at perms check, don't confuse with flags match */
289 return 6;
John Johansen2ea3ffb2017-07-18 23:04:47 -0700290}
291
292
293static int path_flags(struct aa_profile *profile, const struct path *path)
294{
295 AA_BUG(!profile);
296 AA_BUG(!path);
297
298 return profile->path_flags |
299 (S_ISDIR(path->dentry->d_inode->i_mode) ? PATH_IS_DIR : 0);
300}
301
302/**
303 * match_mnt_path_str - handle path matching for mount
304 * @profile: the confining profile
305 * @mntpath: for the mntpnt (NOT NULL)
306 * @buffer: buffer to be used to lookup mntpath
307 * @devnme: string for the devname/src_name (MAY BE NULL OR ERRPTR)
308 * @type: string for the dev type (MAYBE NULL)
309 * @flags: mount flags to match
310 * @data: fs mount data (MAYBE NULL)
311 * @binary: whether @data is binary
312 * @devinfo: error str if (IS_ERR(@devname))
313 *
314 * Returns: 0 on success else error
315 */
316static int match_mnt_path_str(struct aa_profile *profile,
317 const struct path *mntpath, char *buffer,
318 const char *devname, const char *type,
319 unsigned long flags, void *data, bool binary,
320 const char *devinfo)
321{
322 struct aa_perms perms = { };
323 const char *mntpnt = NULL, *info = NULL;
324 int pos, error;
325
326 AA_BUG(!profile);
327 AA_BUG(!mntpath);
328 AA_BUG(!buffer);
329
John Johansen5b9f57c2017-12-07 00:28:27 -0800330 if (!PROFILE_MEDIATES(profile, AA_CLASS_MOUNT))
331 return 0;
332
John Johansen2ea3ffb2017-07-18 23:04:47 -0700333 error = aa_path_name(mntpath, path_flags(profile, mntpath), buffer,
334 &mntpnt, &info, profile->disconnected);
335 if (error)
336 goto audit;
337 if (IS_ERR(devname)) {
338 error = PTR_ERR(devname);
339 devname = NULL;
340 info = devinfo;
341 goto audit;
342 }
343
344 error = -EACCES;
345 pos = do_match_mnt(profile->policy.dfa,
346 profile->policy.start[AA_CLASS_MOUNT],
347 mntpnt, devname, type, flags, data, binary, &perms);
348 if (pos) {
349 info = mnt_info_table[pos];
350 goto audit;
351 }
352 error = 0;
353
354audit:
355 return audit_mount(profile, OP_MOUNT, mntpnt, devname, type, NULL,
356 flags, data, AA_MAY_MOUNT, &perms, info, error);
357}
358
359/**
360 * match_mnt - handle path matching for mount
361 * @profile: the confining profile
362 * @mntpath: for the mntpnt (NOT NULL)
363 * @buffer: buffer to be used to lookup mntpath
364 * @devpath: path devname/src_name (MAYBE NULL)
365 * @devbuffer: buffer to be used to lookup devname/src_name
366 * @type: string for the dev type (MAYBE NULL)
367 * @flags: mount flags to match
368 * @data: fs mount data (MAYBE NULL)
369 * @binary: whether @data is binary
370 *
371 * Returns: 0 on success else error
372 */
373static int match_mnt(struct aa_profile *profile, const struct path *path,
Al Viro64b2f342021-03-24 14:11:29 -0400374 char *buffer, const struct path *devpath, char *devbuffer,
John Johansen2ea3ffb2017-07-18 23:04:47 -0700375 const char *type, unsigned long flags, void *data,
376 bool binary)
377{
378 const char *devname = NULL, *info = NULL;
379 int error = -EACCES;
380
381 AA_BUG(!profile);
382 AA_BUG(devpath && !devbuffer);
383
John Johansen5b9f57c2017-12-07 00:28:27 -0800384 if (!PROFILE_MEDIATES(profile, AA_CLASS_MOUNT))
385 return 0;
386
John Johansen2ea3ffb2017-07-18 23:04:47 -0700387 if (devpath) {
388 error = aa_path_name(devpath, path_flags(profile, devpath),
389 devbuffer, &devname, &info,
390 profile->disconnected);
391 if (error)
392 devname = ERR_PTR(error);
393 }
394
395 return match_mnt_path_str(profile, path, buffer, devname, type, flags,
396 data, binary, info);
397}
398
399int aa_remount(struct aa_label *label, const struct path *path,
400 unsigned long flags, void *data)
401{
402 struct aa_profile *profile;
403 char *buffer = NULL;
404 bool binary;
405 int error;
406
407 AA_BUG(!label);
408 AA_BUG(!path);
409
410 binary = path->dentry->d_sb->s_type->fs_flags & FS_BINARY_MOUNTDATA;
411
John Johansen341c1fd2019-09-14 03:34:06 -0700412 buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200413 if (!buffer)
414 return -ENOMEM;
John Johansen2ea3ffb2017-07-18 23:04:47 -0700415 error = fn_for_each_confined(label, profile,
416 match_mnt(profile, path, buffer, NULL, NULL, NULL,
417 flags, data, binary));
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200418 aa_put_buffer(buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700419
420 return error;
421}
422
423int aa_bind_mount(struct aa_label *label, const struct path *path,
424 const char *dev_name, unsigned long flags)
425{
426 struct aa_profile *profile;
427 char *buffer = NULL, *old_buffer = NULL;
428 struct path old_path;
429 int error;
430
431 AA_BUG(!label);
432 AA_BUG(!path);
433
434 if (!dev_name || !*dev_name)
435 return -EINVAL;
436
437 flags &= MS_REC | MS_BIND;
438
439 error = kern_path(dev_name, LOOKUP_FOLLOW|LOOKUP_AUTOMOUNT, &old_path);
440 if (error)
441 return error;
442
John Johansen341c1fd2019-09-14 03:34:06 -0700443 buffer = aa_get_buffer(false);
444 old_buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200445 error = -ENOMEM;
Patrick Steinhardt9c95a272019-12-11 12:44:08 +0100446 if (!buffer || !old_buffer)
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200447 goto out;
448
John Johansen2ea3ffb2017-07-18 23:04:47 -0700449 error = fn_for_each_confined(label, profile,
450 match_mnt(profile, path, buffer, &old_path, old_buffer,
451 NULL, flags, NULL, false));
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200452out:
453 aa_put_buffer(buffer);
454 aa_put_buffer(old_buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700455 path_put(&old_path);
456
457 return error;
458}
459
460int aa_mount_change_type(struct aa_label *label, const struct path *path,
461 unsigned long flags)
462{
463 struct aa_profile *profile;
464 char *buffer = NULL;
465 int error;
466
467 AA_BUG(!label);
468 AA_BUG(!path);
469
470 /* These are the flags allowed by do_change_type() */
471 flags &= (MS_REC | MS_SILENT | MS_SHARED | MS_PRIVATE | MS_SLAVE |
472 MS_UNBINDABLE);
473
John Johansen341c1fd2019-09-14 03:34:06 -0700474 buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200475 if (!buffer)
476 return -ENOMEM;
John Johansen2ea3ffb2017-07-18 23:04:47 -0700477 error = fn_for_each_confined(label, profile,
478 match_mnt(profile, path, buffer, NULL, NULL, NULL,
479 flags, NULL, false));
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200480 aa_put_buffer(buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700481
482 return error;
483}
484
485int aa_move_mount(struct aa_label *label, const struct path *path,
486 const char *orig_name)
487{
488 struct aa_profile *profile;
489 char *buffer = NULL, *old_buffer = NULL;
490 struct path old_path;
491 int error;
492
493 AA_BUG(!label);
494 AA_BUG(!path);
495
496 if (!orig_name || !*orig_name)
497 return -EINVAL;
498
499 error = kern_path(orig_name, LOOKUP_FOLLOW, &old_path);
500 if (error)
501 return error;
502
John Johansen341c1fd2019-09-14 03:34:06 -0700503 buffer = aa_get_buffer(false);
504 old_buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200505 error = -ENOMEM;
506 if (!buffer || !old_buffer)
507 goto out;
John Johansen2ea3ffb2017-07-18 23:04:47 -0700508 error = fn_for_each_confined(label, profile,
509 match_mnt(profile, path, buffer, &old_path, old_buffer,
510 NULL, MS_MOVE, NULL, false));
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200511out:
512 aa_put_buffer(buffer);
513 aa_put_buffer(old_buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700514 path_put(&old_path);
515
516 return error;
517}
518
519int aa_new_mount(struct aa_label *label, const char *dev_name,
520 const struct path *path, const char *type, unsigned long flags,
521 void *data)
522{
523 struct aa_profile *profile;
524 char *buffer = NULL, *dev_buffer = NULL;
525 bool binary = true;
526 int error;
527 int requires_dev = 0;
528 struct path tmp_path, *dev_path = NULL;
529
530 AA_BUG(!label);
531 AA_BUG(!path);
532
533 if (type) {
534 struct file_system_type *fstype;
535
536 fstype = get_fs_type(type);
537 if (!fstype)
538 return -ENODEV;
539 binary = fstype->fs_flags & FS_BINARY_MOUNTDATA;
540 requires_dev = fstype->fs_flags & FS_REQUIRES_DEV;
541 put_filesystem(fstype);
542
543 if (requires_dev) {
544 if (!dev_name || !*dev_name)
545 return -ENOENT;
546
547 error = kern_path(dev_name, LOOKUP_FOLLOW, &tmp_path);
548 if (error)
549 return error;
550 dev_path = &tmp_path;
551 }
552 }
553
John Johansen341c1fd2019-09-14 03:34:06 -0700554 buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200555 if (!buffer) {
556 error = -ENOMEM;
557 goto out;
558 }
John Johansen2ea3ffb2017-07-18 23:04:47 -0700559 if (dev_path) {
John Johansen341c1fd2019-09-14 03:34:06 -0700560 dev_buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200561 if (!dev_buffer) {
562 error = -ENOMEM;
563 goto out;
564 }
John Johansen2ea3ffb2017-07-18 23:04:47 -0700565 error = fn_for_each_confined(label, profile,
566 match_mnt(profile, path, buffer, dev_path, dev_buffer,
567 type, flags, data, binary));
568 } else {
569 error = fn_for_each_confined(label, profile,
570 match_mnt_path_str(profile, path, buffer, dev_name,
571 type, flags, data, binary, NULL));
572 }
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200573
574out:
575 aa_put_buffer(buffer);
576 aa_put_buffer(dev_buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700577 if (dev_path)
578 path_put(dev_path);
579
580 return error;
581}
582
Al Viro64b2f342021-03-24 14:11:29 -0400583static int profile_umount(struct aa_profile *profile, const struct path *path,
John Johansen2ea3ffb2017-07-18 23:04:47 -0700584 char *buffer)
585{
586 struct aa_perms perms = { };
587 const char *name = NULL, *info = NULL;
588 unsigned int state;
589 int error;
590
591 AA_BUG(!profile);
592 AA_BUG(!path);
593
John Johansen5b9f57c2017-12-07 00:28:27 -0800594 if (!PROFILE_MEDIATES(profile, AA_CLASS_MOUNT))
595 return 0;
596
John Johansen2ea3ffb2017-07-18 23:04:47 -0700597 error = aa_path_name(path, path_flags(profile, path), buffer, &name,
598 &info, profile->disconnected);
599 if (error)
600 goto audit;
601
602 state = aa_dfa_match(profile->policy.dfa,
603 profile->policy.start[AA_CLASS_MOUNT],
604 name);
605 perms = compute_mnt_perms(profile->policy.dfa, state);
606 if (AA_MAY_UMOUNT & ~perms.allow)
607 error = -EACCES;
608
609audit:
610 return audit_mount(profile, OP_UMOUNT, name, NULL, NULL, NULL, 0, NULL,
611 AA_MAY_UMOUNT, &perms, info, error);
612}
613
614int aa_umount(struct aa_label *label, struct vfsmount *mnt, int flags)
615{
616 struct aa_profile *profile;
617 char *buffer = NULL;
618 int error;
619 struct path path = { .mnt = mnt, .dentry = mnt->mnt_root };
620
621 AA_BUG(!label);
622 AA_BUG(!mnt);
623
John Johansen341c1fd2019-09-14 03:34:06 -0700624 buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200625 if (!buffer)
626 return -ENOMEM;
627
John Johansen2ea3ffb2017-07-18 23:04:47 -0700628 error = fn_for_each_confined(label, profile,
629 profile_umount(profile, &path, buffer));
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200630 aa_put_buffer(buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700631
632 return error;
633}
634
635/* helper fn for transition on pivotroot
636 *
637 * Returns: label for transition or ERR_PTR. Does not return NULL
638 */
639static struct aa_label *build_pivotroot(struct aa_profile *profile,
640 const struct path *new_path,
641 char *new_buffer,
642 const struct path *old_path,
643 char *old_buffer)
644{
645 const char *old_name, *new_name = NULL, *info = NULL;
646 const char *trans_name = NULL;
647 struct aa_perms perms = { };
648 unsigned int state;
649 int error;
650
651 AA_BUG(!profile);
652 AA_BUG(!new_path);
653 AA_BUG(!old_path);
654
John Johansen5b9f57c2017-12-07 00:28:27 -0800655 if (profile_unconfined(profile) ||
656 !PROFILE_MEDIATES(profile, AA_CLASS_MOUNT))
John Johansen2ea3ffb2017-07-18 23:04:47 -0700657 return aa_get_newest_label(&profile->label);
658
659 error = aa_path_name(old_path, path_flags(profile, old_path),
660 old_buffer, &old_name, &info,
661 profile->disconnected);
662 if (error)
663 goto audit;
664 error = aa_path_name(new_path, path_flags(profile, new_path),
665 new_buffer, &new_name, &info,
666 profile->disconnected);
667 if (error)
668 goto audit;
669
670 error = -EACCES;
671 state = aa_dfa_match(profile->policy.dfa,
672 profile->policy.start[AA_CLASS_MOUNT],
673 new_name);
674 state = aa_dfa_null_transition(profile->policy.dfa, state);
675 state = aa_dfa_match(profile->policy.dfa, state, old_name);
676 perms = compute_mnt_perms(profile->policy.dfa, state);
677
678 if (AA_MAY_PIVOTROOT & perms.allow)
679 error = 0;
680
681audit:
682 error = audit_mount(profile, OP_PIVOTROOT, new_name, old_name,
683 NULL, trans_name, 0, NULL, AA_MAY_PIVOTROOT,
684 &perms, info, error);
685 if (error)
686 return ERR_PTR(error);
687
688 return aa_get_newest_label(&profile->label);
689}
690
691int aa_pivotroot(struct aa_label *label, const struct path *old_path,
692 const struct path *new_path)
693{
694 struct aa_profile *profile;
695 struct aa_label *target = NULL;
696 char *old_buffer = NULL, *new_buffer = NULL, *info = NULL;
697 int error;
698
699 AA_BUG(!label);
700 AA_BUG(!old_path);
701 AA_BUG(!new_path);
702
John Johansen341c1fd2019-09-14 03:34:06 -0700703 old_buffer = aa_get_buffer(false);
704 new_buffer = aa_get_buffer(false);
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200705 error = -ENOMEM;
706 if (!old_buffer || !new_buffer)
707 goto out;
Sebastian Andrzej Siewior8ac2ca32019-04-05 15:34:58 +0200708 target = fn_label_build(label, profile, GFP_KERNEL,
John Johansen2ea3ffb2017-07-18 23:04:47 -0700709 build_pivotroot(profile, new_path, new_buffer,
710 old_path, old_buffer));
711 if (!target) {
712 info = "label build failed";
713 error = -ENOMEM;
714 goto fail;
715 } else if (!IS_ERR(target)) {
716 error = aa_replace_current_label(target);
717 if (error) {
718 /* TODO: audit target */
719 aa_put_label(target);
720 goto out;
721 }
Xin Xiong64103ea2022-04-28 11:39:08 +0800722 aa_put_label(target);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700723 } else
724 /* already audited error */
725 error = PTR_ERR(target);
726out:
Sebastian Andrzej Siewiordf323332019-05-03 16:12:21 +0200727 aa_put_buffer(old_buffer);
728 aa_put_buffer(new_buffer);
John Johansen2ea3ffb2017-07-18 23:04:47 -0700729
730 return error;
731
732fail:
733 /* TODO: add back in auditing of new_name and old_name */
734 error = fn_for_each(label, profile,
735 audit_mount(profile, OP_PIVOTROOT, NULL /*new_name */,
736 NULL /* old_name */,
737 NULL, NULL,
738 0, NULL, AA_MAY_PIVOTROOT, &nullperms, info,
739 error));
740 goto out;
741}