2 * AppArmor security module
4 * This file contains AppArmor mediation of files
6 * Copyright (C) 1998-2008 Novell/SUSE
7 * Copyright 2009-2017 Canonical Ltd.
9 * This program is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU General Public License as
11 * published by the Free Software Foundation, version 2 of the
16 #include <linux/mount.h>
17 #include <linux/namei.h>
19 #include "include/apparmor.h"
20 #include "include/audit.h"
21 #include "include/context.h"
22 #include "include/domain.h"
23 #include "include/file.h"
24 #include "include/match.h"
25 #include "include/mount.h"
26 #include "include/path.h"
27 #include "include/policy.h"
30 static void audit_mnt_flags(struct audit_buffer
*ab
, unsigned long flags
)
32 if (flags
& MS_RDONLY
)
33 audit_log_format(ab
, "ro");
35 audit_log_format(ab
, "rw");
36 if (flags
& MS_NOSUID
)
37 audit_log_format(ab
, ", nosuid");
39 audit_log_format(ab
, ", nodev");
40 if (flags
& MS_NOEXEC
)
41 audit_log_format(ab
, ", noexec");
42 if (flags
& MS_SYNCHRONOUS
)
43 audit_log_format(ab
, ", sync");
44 if (flags
& MS_REMOUNT
)
45 audit_log_format(ab
, ", remount");
46 if (flags
& MS_MANDLOCK
)
47 audit_log_format(ab
, ", mand");
48 if (flags
& MS_DIRSYNC
)
49 audit_log_format(ab
, ", dirsync");
50 if (flags
& MS_NOATIME
)
51 audit_log_format(ab
, ", noatime");
52 if (flags
& MS_NODIRATIME
)
53 audit_log_format(ab
, ", nodiratime");
55 audit_log_format(ab
, flags
& MS_REC
? ", rbind" : ", bind");
57 audit_log_format(ab
, ", move");
58 if (flags
& MS_SILENT
)
59 audit_log_format(ab
, ", silent");
60 if (flags
& MS_POSIXACL
)
61 audit_log_format(ab
, ", acl");
62 if (flags
& MS_UNBINDABLE
)
63 audit_log_format(ab
, flags
& MS_REC
? ", runbindable" :
65 if (flags
& MS_PRIVATE
)
66 audit_log_format(ab
, flags
& MS_REC
? ", rprivate" :
69 audit_log_format(ab
, flags
& MS_REC
? ", rslave" :
71 if (flags
& MS_SHARED
)
72 audit_log_format(ab
, flags
& MS_REC
? ", rshared" :
74 if (flags
& MS_RELATIME
)
75 audit_log_format(ab
, ", relatime");
76 if (flags
& MS_I_VERSION
)
77 audit_log_format(ab
, ", iversion");
78 if (flags
& MS_STRICTATIME
)
79 audit_log_format(ab
, ", strictatime");
80 if (flags
& MS_NOUSER
)
81 audit_log_format(ab
, ", nouser");
85 * audit_cb - call back for mount specific audit fields
86 * @ab: audit_buffer (NOT NULL)
87 * @va: audit struct to audit values of (NOT NULL)
89 static void audit_cb(struct audit_buffer
*ab
, void *va
)
91 struct common_audit_data
*sa
= va
;
93 if (aad(sa
)->mnt
.type
) {
94 audit_log_format(ab
, " fstype=");
95 audit_log_untrustedstring(ab
, aad(sa
)->mnt
.type
);
97 if (aad(sa
)->mnt
.src_name
) {
98 audit_log_format(ab
, " srcname=");
99 audit_log_untrustedstring(ab
, aad(sa
)->mnt
.src_name
);
101 if (aad(sa
)->mnt
.trans
) {
102 audit_log_format(ab
, " trans=");
103 audit_log_untrustedstring(ab
, aad(sa
)->mnt
.trans
);
105 if (aad(sa
)->mnt
.flags
) {
106 audit_log_format(ab
, " flags=\"");
107 audit_mnt_flags(ab
, aad(sa
)->mnt
.flags
);
108 audit_log_format(ab
, "\"");
110 if (aad(sa
)->mnt
.data
) {
111 audit_log_format(ab
, " options=");
112 audit_log_untrustedstring(ab
, aad(sa
)->mnt
.data
);
117 * audit_mount - handle the auditing of mount operations
118 * @profile: the profile being enforced (NOT NULL)
119 * @op: operation being mediated (NOT NULL)
120 * @name: name of object being mediated (MAYBE NULL)
121 * @src_name: src_name of object being mediated (MAYBE_NULL)
122 * @type: type of filesystem (MAYBE_NULL)
123 * @trans: name of trans (MAYBE NULL)
124 * @flags: filesystem idependent mount flags
125 * @data: filesystem mount flags
126 * @request: permissions requested
127 * @perms: the permissions computed for the request (NOT NULL)
128 * @info: extra information message (MAYBE NULL)
129 * @error: 0 if operation allowed else failure error code
131 * Returns: %0 or error on failure
133 static int audit_mount(struct aa_profile
*profile
, const char *op
,
134 const char *name
, const char *src_name
,
135 const char *type
, const char *trans
,
136 unsigned long flags
, const void *data
, u32 request
,
137 struct aa_perms
*perms
, const char *info
, int error
)
139 int audit_type
= AUDIT_APPARMOR_AUTO
;
140 DEFINE_AUDIT_DATA(sa
, LSM_AUDIT_DATA_NONE
, op
);
142 if (likely(!error
)) {
143 u32 mask
= perms
->audit
;
145 if (unlikely(AUDIT_MODE(profile
) == AUDIT_ALL
))
148 /* mask off perms that are not being force audited */
151 if (likely(!request
))
153 audit_type
= AUDIT_APPARMOR_AUDIT
;
155 /* only report permissions that were denied */
156 request
= request
& ~perms
->allow
;
158 if (request
& perms
->kill
)
159 audit_type
= AUDIT_APPARMOR_KILL
;
161 /* quiet known rejects, assumes quiet and kill do not overlap */
162 if ((request
& perms
->quiet
) &&
163 AUDIT_MODE(profile
) != AUDIT_NOQUIET
&&
164 AUDIT_MODE(profile
) != AUDIT_ALL
)
165 request
&= ~perms
->quiet
;
171 aad(&sa
)->name
= name
;
172 aad(&sa
)->mnt
.src_name
= src_name
;
173 aad(&sa
)->mnt
.type
= type
;
174 aad(&sa
)->mnt
.trans
= trans
;
175 aad(&sa
)->mnt
.flags
= flags
;
176 if (data
&& (perms
->audit
& AA_AUDIT_DATA
))
177 aad(&sa
)->mnt
.data
= data
;
178 aad(&sa
)->info
= info
;
179 aad(&sa
)->error
= error
;
181 return aa_audit(audit_type
, profile
, &sa
, audit_cb
);
185 * match_mnt_flags - Do an ordered match on mount flags
186 * @dfa: dfa to match against
187 * @state: state to start in
188 * @flags: mount flags to match against
190 * Mount flags are encoded as an ordered match. This is done instead of
191 * checking against a simple bitmask, to allow for logical operations
194 * Returns: next state after flags match
196 static unsigned int match_mnt_flags(struct aa_dfa
*dfa
, unsigned int state
,
201 for (i
= 0; i
<= 31 ; ++i
) {
202 if ((1 << i
) & flags
)
203 state
= aa_dfa_next(dfa
, state
, i
+ 1);
210 * compute_mnt_perms - compute mount permission associated with @state
211 * @dfa: dfa to match against (NOT NULL)
212 * @state: state match finished in
214 * Returns: mount permissions
216 static struct aa_perms
compute_mnt_perms(struct aa_dfa
*dfa
,
219 struct aa_perms perms
= {
220 .allow
= dfa_user_allow(dfa
, state
),
221 .audit
= dfa_user_audit(dfa
, state
),
222 .quiet
= dfa_user_quiet(dfa
, state
),
223 .xindex
= dfa_user_xindex(dfa
, state
),
229 static const char * const mnt_info_table
[] = {
231 "failed mntpnt match",
232 "failed srcname match",
234 "failed flags match",
239 * Returns 0 on success else element that match failed in, this is the
240 * index into the mnt_info_table above
242 static int do_match_mnt(struct aa_dfa
*dfa
, unsigned int start
,
243 const char *mntpnt
, const char *devname
,
244 const char *type
, unsigned long flags
,
245 void *data
, bool binary
, struct aa_perms
*perms
)
252 state
= aa_dfa_match(dfa
, start
, mntpnt
);
253 state
= aa_dfa_null_transition(dfa
, state
);
258 state
= aa_dfa_match(dfa
, state
, devname
);
259 state
= aa_dfa_null_transition(dfa
, state
);
264 state
= aa_dfa_match(dfa
, state
, type
);
265 state
= aa_dfa_null_transition(dfa
, state
);
269 state
= match_mnt_flags(dfa
, state
, flags
);
272 *perms
= compute_mnt_perms(dfa
, state
);
273 if (perms
->allow
& AA_MAY_MOUNT
)
276 /* only match data if not binary and the DFA flags data is expected */
277 if (data
&& !binary
&& (perms
->allow
& AA_MNT_CONT_MATCH
)) {
278 state
= aa_dfa_null_transition(dfa
, state
);
282 state
= aa_dfa_match(dfa
, state
, data
);
285 *perms
= compute_mnt_perms(dfa
, state
);
286 if (perms
->allow
& AA_MAY_MOUNT
)
290 /* failed at end of flags match */
295 static int path_flags(struct aa_profile
*profile
, const struct path
*path
)
300 return profile
->path_flags
|
301 (S_ISDIR(path
->dentry
->d_inode
->i_mode
) ? PATH_IS_DIR
: 0);
305 * match_mnt_path_str - handle path matching for mount
306 * @profile: the confining profile
307 * @mntpath: for the mntpnt (NOT NULL)
308 * @buffer: buffer to be used to lookup mntpath
309 * @devnme: string for the devname/src_name (MAY BE NULL OR ERRPTR)
310 * @type: string for the dev type (MAYBE NULL)
311 * @flags: mount flags to match
312 * @data: fs mount data (MAYBE NULL)
313 * @binary: whether @data is binary
314 * @devinfo: error str if (IS_ERR(@devname))
316 * Returns: 0 on success else error
318 static int match_mnt_path_str(struct aa_profile
*profile
,
319 const struct path
*mntpath
, char *buffer
,
320 const char *devname
, const char *type
,
321 unsigned long flags
, void *data
, bool binary
,
324 struct aa_perms perms
= { };
325 const char *mntpnt
= NULL
, *info
= NULL
;
332 error
= aa_path_name(mntpath
, path_flags(profile
, mntpath
), buffer
,
333 &mntpnt
, &info
, profile
->disconnected
);
336 if (IS_ERR(devname
)) {
337 error
= PTR_ERR(devname
);
344 pos
= do_match_mnt(profile
->policy
.dfa
,
345 profile
->policy
.start
[AA_CLASS_MOUNT
],
346 mntpnt
, devname
, type
, flags
, data
, binary
, &perms
);
348 info
= mnt_info_table
[pos
];
354 return audit_mount(profile
, OP_MOUNT
, mntpnt
, devname
, type
, NULL
,
355 flags
, data
, AA_MAY_MOUNT
, &perms
, info
, error
);
359 * match_mnt - handle path matching for mount
360 * @profile: the confining profile
361 * @mntpath: for the mntpnt (NOT NULL)
362 * @buffer: buffer to be used to lookup mntpath
363 * @devpath: path devname/src_name (MAYBE NULL)
364 * @devbuffer: buffer to be used to lookup devname/src_name
365 * @type: string for the dev type (MAYBE NULL)
366 * @flags: mount flags to match
367 * @data: fs mount data (MAYBE NULL)
368 * @binary: whether @data is binary
370 * Returns: 0 on success else error
372 static int match_mnt(struct aa_profile
*profile
, const struct path
*path
,
373 char *buffer
, struct path
*devpath
, char *devbuffer
,
374 const char *type
, unsigned long flags
, void *data
,
377 const char *devname
= NULL
, *info
= NULL
;
381 AA_BUG(devpath
&& !devbuffer
);
384 error
= aa_path_name(devpath
, path_flags(profile
, devpath
),
385 devbuffer
, &devname
, &info
,
386 profile
->disconnected
);
388 devname
= ERR_PTR(error
);
391 return match_mnt_path_str(profile
, path
, buffer
, devname
, type
, flags
,
395 int aa_remount(struct aa_label
*label
, const struct path
*path
,
396 unsigned long flags
, void *data
)
398 struct aa_profile
*profile
;
406 binary
= path
->dentry
->d_sb
->s_type
->fs_flags
& FS_BINARY_MOUNTDATA
;
409 error
= fn_for_each_confined(label
, profile
,
410 match_mnt(profile
, path
, buffer
, NULL
, NULL
, NULL
,
411 flags
, data
, binary
));
417 int aa_bind_mount(struct aa_label
*label
, const struct path
*path
,
418 const char *dev_name
, unsigned long flags
)
420 struct aa_profile
*profile
;
421 char *buffer
= NULL
, *old_buffer
= NULL
;
422 struct path old_path
;
428 if (!dev_name
|| !*dev_name
)
431 flags
&= MS_REC
| MS_BIND
;
433 error
= kern_path(dev_name
, LOOKUP_FOLLOW
|LOOKUP_AUTOMOUNT
, &old_path
);
437 get_buffers(buffer
, old_buffer
);
438 error
= fn_for_each_confined(label
, profile
,
439 match_mnt(profile
, path
, buffer
, &old_path
, old_buffer
,
440 NULL
, flags
, NULL
, false));
441 put_buffers(buffer
, old_buffer
);
447 int aa_mount_change_type(struct aa_label
*label
, const struct path
*path
,
450 struct aa_profile
*profile
;
457 /* These are the flags allowed by do_change_type() */
458 flags
&= (MS_REC
| MS_SILENT
| MS_SHARED
| MS_PRIVATE
| MS_SLAVE
|
462 error
= fn_for_each_confined(label
, profile
,
463 match_mnt(profile
, path
, buffer
, NULL
, NULL
, NULL
,
464 flags
, NULL
, false));
470 int aa_move_mount(struct aa_label
*label
, const struct path
*path
,
471 const char *orig_name
)
473 struct aa_profile
*profile
;
474 char *buffer
= NULL
, *old_buffer
= NULL
;
475 struct path old_path
;
481 if (!orig_name
|| !*orig_name
)
484 error
= kern_path(orig_name
, LOOKUP_FOLLOW
, &old_path
);
488 get_buffers(buffer
, old_buffer
);
489 error
= fn_for_each_confined(label
, profile
,
490 match_mnt(profile
, path
, buffer
, &old_path
, old_buffer
,
491 NULL
, MS_MOVE
, NULL
, false));
492 put_buffers(buffer
, old_buffer
);
498 int aa_new_mount(struct aa_label
*label
, const char *dev_name
,
499 const struct path
*path
, const char *type
, unsigned long flags
,
502 struct aa_profile
*profile
;
503 char *buffer
= NULL
, *dev_buffer
= NULL
;
506 int requires_dev
= 0;
507 struct path tmp_path
, *dev_path
= NULL
;
513 struct file_system_type
*fstype
;
515 fstype
= get_fs_type(type
);
518 binary
= fstype
->fs_flags
& FS_BINARY_MOUNTDATA
;
519 requires_dev
= fstype
->fs_flags
& FS_REQUIRES_DEV
;
520 put_filesystem(fstype
);
523 if (!dev_name
|| !*dev_name
)
526 error
= kern_path(dev_name
, LOOKUP_FOLLOW
, &tmp_path
);
529 dev_path
= &tmp_path
;
533 get_buffers(buffer
, dev_buffer
);
535 error
= fn_for_each_confined(label
, profile
,
536 match_mnt(profile
, path
, buffer
, dev_path
, dev_buffer
,
537 type
, flags
, data
, binary
));
539 error
= fn_for_each_confined(label
, profile
,
540 match_mnt_path_str(profile
, path
, buffer
, dev_name
,
541 type
, flags
, data
, binary
, NULL
));
543 put_buffers(buffer
, dev_buffer
);
550 static int profile_umount(struct aa_profile
*profile
, struct path
*path
,
553 struct aa_perms perms
= { };
554 const char *name
= NULL
, *info
= NULL
;
561 error
= aa_path_name(path
, path_flags(profile
, path
), buffer
, &name
,
562 &info
, profile
->disconnected
);
566 state
= aa_dfa_match(profile
->policy
.dfa
,
567 profile
->policy
.start
[AA_CLASS_MOUNT
],
569 perms
= compute_mnt_perms(profile
->policy
.dfa
, state
);
570 if (AA_MAY_UMOUNT
& ~perms
.allow
)
574 return audit_mount(profile
, OP_UMOUNT
, name
, NULL
, NULL
, NULL
, 0, NULL
,
575 AA_MAY_UMOUNT
, &perms
, info
, error
);
578 int aa_umount(struct aa_label
*label
, struct vfsmount
*mnt
, int flags
)
580 struct aa_profile
*profile
;
583 struct path path
= { .mnt
= mnt
, .dentry
= mnt
->mnt_root
};
589 error
= fn_for_each_confined(label
, profile
,
590 profile_umount(profile
, &path
, buffer
));
596 /* helper fn for transition on pivotroot
598 * Returns: label for transition or ERR_PTR. Does not return NULL
600 static struct aa_label
*build_pivotroot(struct aa_profile
*profile
,
601 const struct path
*new_path
,
603 const struct path
*old_path
,
606 const char *old_name
, *new_name
= NULL
, *info
= NULL
;
607 const char *trans_name
= NULL
;
608 struct aa_perms perms
= { };
616 if (profile_unconfined(profile
))
617 return aa_get_newest_label(&profile
->label
);
619 error
= aa_path_name(old_path
, path_flags(profile
, old_path
),
620 old_buffer
, &old_name
, &info
,
621 profile
->disconnected
);
624 error
= aa_path_name(new_path
, path_flags(profile
, new_path
),
625 new_buffer
, &new_name
, &info
,
626 profile
->disconnected
);
631 state
= aa_dfa_match(profile
->policy
.dfa
,
632 profile
->policy
.start
[AA_CLASS_MOUNT
],
634 state
= aa_dfa_null_transition(profile
->policy
.dfa
, state
);
635 state
= aa_dfa_match(profile
->policy
.dfa
, state
, old_name
);
636 perms
= compute_mnt_perms(profile
->policy
.dfa
, state
);
638 if (AA_MAY_PIVOTROOT
& perms
.allow
)
642 error
= audit_mount(profile
, OP_PIVOTROOT
, new_name
, old_name
,
643 NULL
, trans_name
, 0, NULL
, AA_MAY_PIVOTROOT
,
644 &perms
, info
, error
);
646 return ERR_PTR(error
);
648 return aa_get_newest_label(&profile
->label
);
651 int aa_pivotroot(struct aa_label
*label
, const struct path
*old_path
,
652 const struct path
*new_path
)
654 struct aa_profile
*profile
;
655 struct aa_label
*target
= NULL
;
656 char *old_buffer
= NULL
, *new_buffer
= NULL
, *info
= NULL
;
663 get_buffers(old_buffer
, new_buffer
);
664 target
= fn_label_build(label
, profile
, GFP_ATOMIC
,
665 build_pivotroot(profile
, new_path
, new_buffer
,
666 old_path
, old_buffer
));
668 info
= "label build failed";
671 } else if (!IS_ERR(target
)) {
672 error
= aa_replace_current_label(target
);
674 /* TODO: audit target */
675 aa_put_label(target
);
679 /* already audited error */
680 error
= PTR_ERR(target
);
682 put_buffers(old_buffer
, new_buffer
);
687 /* TODO: add back in auditing of new_name and old_name */
688 error
= fn_for_each(label
, profile
,
689 audit_mount(profile
, OP_PIVOTROOT
, NULL
/*new_name */,
692 0, NULL
, AA_MAY_PIVOTROOT
, &nullperms
, info
,