2 * AppArmor security module
4 * This file contains AppArmor mediation of files
6 * Copyright (C) 1998-2008 Novell/SUSE
7 * Copyright 2009-2010 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
15 #include <linux/tty.h>
16 #include <linux/fdtable.h>
17 #include <linux/file.h>
19 #include "include/apparmor.h"
20 #include "include/audit.h"
21 #include "include/context.h"
22 #include "include/file.h"
23 #include "include/match.h"
24 #include "include/path.h"
25 #include "include/policy.h"
26 #include "include/label.h"
28 static u32
map_mask_to_chr_mask(u32 mask
)
30 u32 m
= mask
& PERMS_CHRS_MASK
;
32 if (mask
& AA_MAY_GETATTR
)
34 if (mask
& (AA_MAY_SETATTR
| AA_MAY_CHMOD
| AA_MAY_CHOWN
))
41 * audit_file_mask - convert mask to permission string
42 * @buffer: buffer to write string to (NOT NULL)
43 * @mask: permission mask to convert
45 static void audit_file_mask(struct audit_buffer
*ab
, u32 mask
)
49 aa_perm_mask_to_str(str
, aa_file_perm_chrs
, map_mask_to_chr_mask(mask
));
50 audit_log_string(ab
, str
);
54 * file_audit_cb - call back for file specific audit fields
55 * @ab: audit_buffer (NOT NULL)
56 * @va: audit struct to audit values of (NOT NULL)
58 static void file_audit_cb(struct audit_buffer
*ab
, void *va
)
60 struct common_audit_data
*sa
= va
;
61 kuid_t fsuid
= current_fsuid();
63 if (aad(sa
)->request
& AA_AUDIT_FILE_MASK
) {
64 audit_log_format(ab
, " requested_mask=");
65 audit_file_mask(ab
, aad(sa
)->request
);
67 if (aad(sa
)->denied
& AA_AUDIT_FILE_MASK
) {
68 audit_log_format(ab
, " denied_mask=");
69 audit_file_mask(ab
, aad(sa
)->denied
);
71 if (aad(sa
)->request
& AA_AUDIT_FILE_MASK
) {
72 audit_log_format(ab
, " fsuid=%d",
73 from_kuid(&init_user_ns
, fsuid
));
74 audit_log_format(ab
, " ouid=%d",
75 from_kuid(&init_user_ns
, aad(sa
)->fs
.ouid
));
79 audit_log_format(ab
, " target=");
80 aa_label_xaudit(ab
, labels_ns(aad(sa
)->label
), aad(sa
)->peer
,
81 FLAG_VIEW_SUBNS
, GFP_ATOMIC
);
82 } else if (aad(sa
)->fs
.target
) {
83 audit_log_format(ab
, " target=");
84 audit_log_untrustedstring(ab
, aad(sa
)->fs
.target
);
89 * aa_audit_file - handle the auditing of file operations
90 * @profile: the profile being enforced (NOT NULL)
91 * @perms: the permissions computed for the request (NOT NULL)
92 * @op: operation being mediated
93 * @request: permissions requested
94 * @name: name of object being mediated (MAYBE NULL)
95 * @target: name of target (MAYBE NULL)
96 * @tlabel: target label (MAY BE NULL)
98 * @info: extra information message (MAYBE NULL)
99 * @error: 0 if operation allowed else failure error code
101 * Returns: %0 or error on failure
103 int aa_audit_file(struct aa_profile
*profile
, struct aa_perms
*perms
,
104 const char *op
, u32 request
, const char *name
,
105 const char *target
, struct aa_label
*tlabel
,
106 kuid_t ouid
, const char *info
, int error
)
108 int type
= AUDIT_APPARMOR_AUTO
;
109 DEFINE_AUDIT_DATA(sa
, LSM_AUDIT_DATA_TASK
, op
);
112 aad(&sa
)->request
= request
;
113 aad(&sa
)->name
= name
;
114 aad(&sa
)->fs
.target
= target
;
115 aad(&sa
)->peer
= tlabel
;
116 aad(&sa
)->fs
.ouid
= ouid
;
117 aad(&sa
)->info
= info
;
118 aad(&sa
)->error
= error
;
121 if (likely(!aad(&sa
)->error
)) {
122 u32 mask
= perms
->audit
;
124 if (unlikely(AUDIT_MODE(profile
) == AUDIT_ALL
))
127 /* mask off perms that are not being force audited */
128 aad(&sa
)->request
&= mask
;
130 if (likely(!aad(&sa
)->request
))
132 type
= AUDIT_APPARMOR_AUDIT
;
134 /* only report permissions that were denied */
135 aad(&sa
)->request
= aad(&sa
)->request
& ~perms
->allow
;
136 AA_BUG(!aad(&sa
)->request
);
138 if (aad(&sa
)->request
& perms
->kill
)
139 type
= AUDIT_APPARMOR_KILL
;
141 /* quiet known rejects, assumes quiet and kill do not overlap */
142 if ((aad(&sa
)->request
& perms
->quiet
) &&
143 AUDIT_MODE(profile
) != AUDIT_NOQUIET
&&
144 AUDIT_MODE(profile
) != AUDIT_ALL
)
145 aad(&sa
)->request
&= ~perms
->quiet
;
147 if (!aad(&sa
)->request
)
148 return aad(&sa
)->error
;
151 aad(&sa
)->denied
= aad(&sa
)->request
& ~perms
->allow
;
152 return aa_audit(type
, profile
, &sa
, file_audit_cb
);
156 * is_deleted - test if a file has been completely unlinked
157 * @dentry: dentry of file to test for deletion (NOT NULL)
159 * Returns: %1 if deleted else %0
161 static inline bool is_deleted(struct dentry
*dentry
)
163 if (d_unlinked(dentry
) && d_backing_inode(dentry
)->i_nlink
== 0)
168 static int path_name(const char *op
, struct aa_label
*label
,
169 const struct path
*path
, int flags
, char *buffer
,
170 const char **name
, struct path_cond
*cond
, u32 request
)
172 struct aa_profile
*profile
;
173 const char *info
= NULL
;
176 error
= aa_path_name(path
, flags
, buffer
, name
, &info
,
177 labels_profile(label
)->disconnected
);
179 fn_for_each_confined(label
, profile
,
180 aa_audit_file(profile
, &nullperms
, op
, request
, *name
,
181 NULL
, NULL
, cond
->uid
, info
, error
));
189 * map_old_perms - map old file perms layout to the new layout
190 * @old: permission set in old mapping
192 * Returns: new permission mapping
194 static u32
map_old_perms(u32 old
)
198 new |= AA_MAY_GETATTR
| AA_MAY_OPEN
;
200 new |= AA_MAY_SETATTR
| AA_MAY_CREATE
| AA_MAY_DELETE
|
201 AA_MAY_CHMOD
| AA_MAY_CHOWN
| AA_MAY_OPEN
;
204 /* the old mapping lock and link_subset flags where overlaid
205 * and use was determined by part of a pair that they were in
208 new |= AA_MAY_LOCK
| AA_LINK_SUBSET
;
209 if (old
& 0x40) /* AA_EXEC_MMAP */
216 * aa_compute_fperms - convert dfa compressed perms to internal perms
217 * @dfa: dfa to compute perms for (NOT NULL)
218 * @state: state in dfa
219 * @cond: conditions to consider (NOT NULL)
221 * TODO: convert from dfa + state to permission entry, do computation conversion
224 * Returns: computed permission set
226 struct aa_perms
aa_compute_fperms(struct aa_dfa
*dfa
, unsigned int state
,
227 struct path_cond
*cond
)
229 struct aa_perms perms
;
231 /* FIXME: change over to new dfa format
232 * currently file perms are encoded in the dfa, new format
233 * splits the permissions from the dfa. This mapping can be
234 * done at profile load
237 perms
.kill
= perms
.stop
= 0;
238 perms
.complain
= perms
.cond
= 0;
242 if (uid_eq(current_fsuid(), cond
->uid
)) {
243 perms
.allow
= map_old_perms(dfa_user_allow(dfa
, state
));
244 perms
.audit
= map_old_perms(dfa_user_audit(dfa
, state
));
245 perms
.quiet
= map_old_perms(dfa_user_quiet(dfa
, state
));
246 perms
.xindex
= dfa_user_xindex(dfa
, state
);
248 perms
.allow
= map_old_perms(dfa_other_allow(dfa
, state
));
249 perms
.audit
= map_old_perms(dfa_other_audit(dfa
, state
));
250 perms
.quiet
= map_old_perms(dfa_other_quiet(dfa
, state
));
251 perms
.xindex
= dfa_other_xindex(dfa
, state
);
253 perms
.allow
|= AA_MAY_GETATTR
;
255 /* change_profile wasn't determined by ownership in old mapping */
256 if (ACCEPT_TABLE(dfa
)[state
] & 0x80000000)
257 perms
.allow
|= AA_MAY_CHANGE_PROFILE
;
258 if (ACCEPT_TABLE(dfa
)[state
] & 0x40000000)
259 perms
.allow
|= AA_MAY_ONEXEC
;
265 * aa_str_perms - find permission that match @name
266 * @dfa: to match against (MAYBE NULL)
267 * @state: state to start matching in
268 * @name: string to match against dfa (NOT NULL)
269 * @cond: conditions to consider for permission set computation (NOT NULL)
270 * @perms: Returns - the permissions found when matching @name
272 * Returns: the final state in @dfa when beginning @start and walking @name
274 unsigned int aa_str_perms(struct aa_dfa
*dfa
, unsigned int start
,
275 const char *name
, struct path_cond
*cond
,
276 struct aa_perms
*perms
)
279 state
= aa_dfa_match(dfa
, start
, name
);
280 *perms
= aa_compute_fperms(dfa
, state
, cond
);
285 int __aa_path_perm(const char *op
, struct aa_profile
*profile
, const char *name
,
286 u32 request
, struct path_cond
*cond
, int flags
,
287 struct aa_perms
*perms
)
291 if (profile_unconfined(profile
))
293 aa_str_perms(profile
->file
.dfa
, profile
->file
.start
, name
, cond
, perms
);
294 if (request
& ~perms
->allow
)
296 return aa_audit_file(profile
, perms
, op
, request
, name
, NULL
, NULL
,
301 static int profile_path_perm(const char *op
, struct aa_profile
*profile
,
302 const struct path
*path
, char *buffer
, u32 request
,
303 struct path_cond
*cond
, int flags
,
304 struct aa_perms
*perms
)
309 if (profile_unconfined(profile
))
312 error
= path_name(op
, &profile
->label
, path
,
313 flags
| profile
->path_flags
, buffer
, &name
, cond
,
317 return __aa_path_perm(op
, profile
, name
, request
, cond
, flags
,
322 * aa_path_perm - do permissions check & audit for @path
323 * @op: operation being checked
324 * @label: profile being enforced (NOT NULL)
325 * @path: path to check permissions of (NOT NULL)
326 * @flags: any additional path flags beyond what the profile specifies
327 * @request: requested permissions
328 * @cond: conditional info for this request (NOT NULL)
330 * Returns: %0 else error if access denied or other error
332 int aa_path_perm(const char *op
, struct aa_label
*label
,
333 const struct path
*path
, int flags
, u32 request
,
334 struct path_cond
*cond
)
336 struct aa_perms perms
= {};
337 struct aa_profile
*profile
;
341 flags
|= PATH_DELEGATE_DELETED
| (S_ISDIR(cond
->mode
) ? PATH_IS_DIR
:
344 error
= fn_for_each_confined(label
, profile
,
345 profile_path_perm(op
, profile
, path
, buffer
, request
,
346 cond
, flags
, &perms
));
354 * xindex_is_subset - helper for aa_path_link
355 * @link: link permission set
356 * @target: target permission set
358 * test target x permissions are equal OR a subset of link x permissions
359 * this is done as part of the subset test, where a hardlink must have
360 * a subset of permissions that the target has.
362 * Returns: %1 if subset else %0
364 static inline bool xindex_is_subset(u32 link
, u32 target
)
366 if (((link
& ~AA_X_UNSAFE
) != (target
& ~AA_X_UNSAFE
)) ||
367 ((link
& AA_X_UNSAFE
) && !(target
& AA_X_UNSAFE
)))
373 static int profile_path_link(struct aa_profile
*profile
,
374 const struct path
*link
, char *buffer
,
375 const struct path
*target
, char *buffer2
,
376 struct path_cond
*cond
)
378 const char *lname
, *tname
= NULL
;
379 struct aa_perms lperms
= {}, perms
;
380 const char *info
= NULL
;
381 u32 request
= AA_MAY_LINK
;
385 error
= path_name(OP_LINK
, &profile
->label
, link
, profile
->path_flags
,
386 buffer
, &lname
, cond
, AA_MAY_LINK
);
390 /* buffer2 freed below, tname is pointer in buffer2 */
391 error
= path_name(OP_LINK
, &profile
->label
, target
, profile
->path_flags
,
392 buffer2
, &tname
, cond
, AA_MAY_LINK
);
397 /* aa_str_perms - handles the case of the dfa being NULL */
398 state
= aa_str_perms(profile
->file
.dfa
, profile
->file
.start
, lname
,
401 if (!(lperms
.allow
& AA_MAY_LINK
))
404 /* test to see if target can be paired with link */
405 state
= aa_dfa_null_transition(profile
->file
.dfa
, state
);
406 aa_str_perms(profile
->file
.dfa
, state
, tname
, cond
, &perms
);
408 /* force audit/quiet masks for link are stored in the second entry
411 lperms
.audit
= perms
.audit
;
412 lperms
.quiet
= perms
.quiet
;
413 lperms
.kill
= perms
.kill
;
415 if (!(perms
.allow
& AA_MAY_LINK
)) {
416 info
= "target restricted";
421 /* done if link subset test is not required */
422 if (!(perms
.allow
& AA_LINK_SUBSET
))
425 /* Do link perm subset test requiring allowed permission on link are
426 * a subset of the allowed permissions on target.
428 aa_str_perms(profile
->file
.dfa
, profile
->file
.start
, tname
, cond
,
431 /* AA_MAY_LINK is not considered in the subset test */
432 request
= lperms
.allow
& ~AA_MAY_LINK
;
433 lperms
.allow
&= perms
.allow
| AA_MAY_LINK
;
435 request
|= AA_AUDIT_FILE_MASK
& (lperms
.allow
& ~perms
.allow
);
436 if (request
& ~lperms
.allow
) {
438 } else if ((lperms
.allow
& MAY_EXEC
) &&
439 !xindex_is_subset(lperms
.xindex
, perms
.xindex
)) {
440 lperms
.allow
&= ~MAY_EXEC
;
442 info
= "link not subset of target";
450 return aa_audit_file(profile
, &lperms
, OP_LINK
, request
, lname
, tname
,
451 NULL
, cond
->uid
, info
, error
);
455 * aa_path_link - Handle hard link permission check
456 * @label: the label being enforced (NOT NULL)
457 * @old_dentry: the target dentry (NOT NULL)
458 * @new_dir: directory the new link will be created in (NOT NULL)
459 * @new_dentry: the link being created (NOT NULL)
461 * Handle the permission test for a link & target pair. Permission
462 * is encoded as a pair where the link permission is determined
463 * first, and if allowed, the target is tested. The target test
464 * is done from the point of the link match (not start of DFA)
465 * making the target permission dependent on the link permission match.
467 * The subset test if required forces that permissions granted
468 * on link are a subset of the permission granted to target.
470 * Returns: %0 if allowed else error
472 int aa_path_link(struct aa_label
*label
, struct dentry
*old_dentry
,
473 const struct path
*new_dir
, struct dentry
*new_dentry
)
475 struct path link
= { .mnt
= new_dir
->mnt
, .dentry
= new_dentry
};
476 struct path target
= { .mnt
= new_dir
->mnt
, .dentry
= old_dentry
};
477 struct path_cond cond
= {
478 d_backing_inode(old_dentry
)->i_uid
,
479 d_backing_inode(old_dentry
)->i_mode
481 char *buffer
= NULL
, *buffer2
= NULL
;
482 struct aa_profile
*profile
;
485 /* buffer freed below, lname is pointer in buffer */
486 get_buffers(buffer
, buffer2
);
487 error
= fn_for_each_confined(label
, profile
,
488 profile_path_link(profile
, &link
, buffer
, &target
,
490 put_buffers(buffer
, buffer2
);
495 static void update_file_ctx(struct aa_file_ctx
*fctx
, struct aa_label
*label
,
498 struct aa_label
*l
, *old
;
500 /* update caching of label on file_ctx */
501 spin_lock(&fctx
->lock
);
502 old
= rcu_dereference_protected(fctx
->label
,
503 spin_is_locked(&fctx
->lock
));
504 l
= aa_label_merge(old
, label
, GFP_ATOMIC
);
507 rcu_assign_pointer(fctx
->label
, l
);
511 fctx
->allow
|= request
;
513 spin_unlock(&fctx
->lock
);
516 static int __file_path_perm(const char *op
, struct aa_label
*label
,
517 struct aa_label
*flabel
, struct file
*file
,
518 u32 request
, u32 denied
)
520 struct aa_profile
*profile
;
521 struct aa_perms perms
= {};
522 struct path_cond cond
= {
523 .uid
= file_inode(file
)->i_uid
,
524 .mode
= file_inode(file
)->i_mode
529 /* revalidation due to label out of date. No revocation at this time */
530 if (!denied
&& aa_label_is_subset(flabel
, label
))
531 /* TODO: check for revocation on stale profiles */
534 flags
= PATH_DELEGATE_DELETED
| (S_ISDIR(cond
.mode
) ? PATH_IS_DIR
: 0);
537 /* check every profile in task label not in current cache */
538 error
= fn_for_each_not_in_set(flabel
, label
, profile
,
539 profile_path_perm(op
, profile
, &file
->f_path
, buffer
,
540 request
, &cond
, flags
, &perms
));
541 if (denied
&& !error
) {
543 * check every profile in file label that was not tested
544 * in the initial check above.
546 * TODO: cache full perms so this only happens because of
548 * TODO: don't audit here
551 error
= fn_for_each(label
, profile
,
552 profile_path_perm(op
, profile
, &file
->f_path
,
553 buffer
, request
, &cond
, flags
,
556 error
= fn_for_each_not_in_set(label
, flabel
, profile
,
557 profile_path_perm(op
, profile
, &file
->f_path
,
558 buffer
, request
, &cond
, flags
,
562 update_file_ctx(file_ctx(file
), label
, request
);
570 * aa_file_perm - do permission revalidation check & audit for @file
571 * @op: operation being checked
572 * @label: label being enforced (NOT NULL)
573 * @file: file to revalidate access permissions on (NOT NULL)
574 * @request: requested permissions
576 * Returns: %0 if access allowed else error
578 int aa_file_perm(const char *op
, struct aa_label
*label
, struct file
*file
,
581 struct aa_file_ctx
*fctx
;
582 struct aa_label
*flabel
;
589 fctx
= file_ctx(file
);
592 flabel
= rcu_dereference(fctx
->label
);
595 /* revalidate access, if task is unconfined, or the cached cred
596 * doesn't match or if the request is for more permissions than
599 * Note: the test for !unconfined(flabel) is to handle file
600 * delegation from unconfined tasks
602 denied
= request
& ~fctx
->allow
;
603 if (unconfined(label
) || unconfined(flabel
) ||
604 (!denied
&& aa_label_is_subset(flabel
, label
)))
607 /* TODO: label cross check */
609 if (file
->f_path
.mnt
&& path_mediated_fs(file
->f_path
.dentry
))
610 error
= __file_path_perm(op
, label
, flabel
, file
, request
,
619 static void revalidate_tty(struct aa_label
*label
)
621 struct tty_struct
*tty
;
624 tty
= get_current_tty();
628 spin_lock(&tty
->files_lock
);
629 if (!list_empty(&tty
->tty_files
)) {
630 struct tty_file_private
*file_priv
;
632 /* TODO: Revalidate access to controlling tty. */
633 file_priv
= list_first_entry(&tty
->tty_files
,
634 struct tty_file_private
, list
);
635 file
= file_priv
->file
;
637 if (aa_file_perm(OP_INHERIT
, label
, file
, MAY_READ
| MAY_WRITE
))
640 spin_unlock(&tty
->files_lock
);
647 static int match_file(const void *p
, struct file
*file
, unsigned int fd
)
649 struct aa_label
*label
= (struct aa_label
*)p
;
651 if (aa_file_perm(OP_INHERIT
, label
, file
, aa_map_file_to_perms(file
)))
657 /* based on selinux's flush_unauthorized_files */
658 void aa_inherit_files(const struct cred
*cred
, struct files_struct
*files
)
660 struct aa_label
*label
= aa_get_newest_cred_label(cred
);
661 struct file
*devnull
= NULL
;
664 revalidate_tty(label
);
666 /* Revalidate access to inherited open files. */
667 n
= iterate_fd(files
, 0, match_file
, label
);
668 if (!n
) /* none found? */
671 devnull
= dentry_open(&aa_null
, O_RDWR
, cred
);
674 /* replace all the matching ones with this */
676 replace_fd(n
- 1, devnull
, 0);
677 } while ((n
= iterate_fd(files
, n
, match_file
, label
)) != 0);