1 /* auditfilter.c -- filtering of audit events
3 * Copyright 2003-2004 Red Hat, Inc.
4 * Copyright 2005 Hewlett-Packard Development Company, L.P.
5 * Copyright 2005 IBM Corporation
7 * This program is free software; you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation; either version 2 of the License, or
10 * (at your option) any later version.
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with this program; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
22 #include <linux/kernel.h>
23 #include <linux/audit.h>
24 #include <linux/kthread.h>
25 #include <linux/mutex.h>
27 #include <linux/namei.h>
28 #include <linux/netlink.h>
29 #include <linux/sched.h>
30 #include <linux/inotify.h>
31 #include <linux/selinux.h>
38 * Synchronizes writes and blocking reads of audit's filterlist
39 * data. Rcu is used to traverse the filterlist and access
40 * contents of structs audit_entry, audit_watch and opaque
41 * selinux rules during filtering. If modified, these structures
42 * must be copied and replace their counterparts in the filterlist.
43 * An audit_parent struct is not accessed during filtering, so may
44 * be written directly provided audit_filter_mutex is held.
50 * audit_parent: lifetime is from audit_init_parent() to receipt of an IN_IGNORED
51 * event. Each audit_watch holds a reference to its associated parent.
53 * audit_watch: if added to lists, lifetime is from audit_init_watch() to
54 * audit_remove_watch(). Additionally, an audit_watch may exist
55 * temporarily to assist in searching existing filter data. Each
56 * audit_krule holds a reference to its associated watch.
60 struct list_head ilist
; /* entry in inotify registration list */
61 struct list_head watches
; /* associated watches */
62 struct inotify_watch wdata
; /* inotify watch data */
63 unsigned flags
; /* status flags */
67 * audit_parent status flags:
69 * AUDIT_PARENT_INVALID - set anytime rules/watches are auto-removed due to
70 * a filesystem event to ensure we're adding audit watches to a valid parent.
71 * Technically not needed for IN_DELETE_SELF or IN_UNMOUNT events, as we cannot
72 * receive them while we have nameidata, but must be used for IN_MOVE_SELF which
73 * we can receive while holding nameidata.
75 #define AUDIT_PARENT_INVALID 0x001
77 /* Audit filter lists, defined in <linux/audit.h> */
78 struct list_head audit_filter_list
[AUDIT_NR_FILTERS
] = {
79 LIST_HEAD_INIT(audit_filter_list
[0]),
80 LIST_HEAD_INIT(audit_filter_list
[1]),
81 LIST_HEAD_INIT(audit_filter_list
[2]),
82 LIST_HEAD_INIT(audit_filter_list
[3]),
83 LIST_HEAD_INIT(audit_filter_list
[4]),
84 LIST_HEAD_INIT(audit_filter_list
[5]),
85 #if AUDIT_NR_FILTERS != 6
86 #error Fix audit_filter_list initialiser
90 static DEFINE_MUTEX(audit_filter_mutex
);
93 extern struct inotify_handle
*audit_ih
;
95 /* Inotify events we care about. */
96 #define AUDIT_IN_WATCH IN_MOVE|IN_CREATE|IN_DELETE|IN_DELETE_SELF|IN_MOVE_SELF
98 void audit_free_parent(struct inotify_watch
*i_watch
)
100 struct audit_parent
*parent
;
102 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
103 WARN_ON(!list_empty(&parent
->watches
));
107 static inline void audit_get_watch(struct audit_watch
*watch
)
109 atomic_inc(&watch
->count
);
112 static void audit_put_watch(struct audit_watch
*watch
)
114 if (atomic_dec_and_test(&watch
->count
)) {
115 WARN_ON(watch
->parent
);
116 WARN_ON(!list_empty(&watch
->rules
));
122 static void audit_remove_watch(struct audit_watch
*watch
)
124 list_del(&watch
->wlist
);
125 put_inotify_watch(&watch
->parent
->wdata
);
126 watch
->parent
= NULL
;
127 audit_put_watch(watch
); /* match initial get */
130 static inline void audit_free_rule(struct audit_entry
*e
)
134 /* some rules don't have associated watches */
136 audit_put_watch(e
->rule
.watch
);
138 for (i
= 0; i
< e
->rule
.field_count
; i
++) {
139 struct audit_field
*f
= &e
->rule
.fields
[i
];
141 selinux_audit_rule_free(f
->se_rule
);
143 kfree(e
->rule
.fields
);
144 kfree(e
->rule
.filterkey
);
148 static inline void audit_free_rule_rcu(struct rcu_head
*head
)
150 struct audit_entry
*e
= container_of(head
, struct audit_entry
, rcu
);
154 /* Initialize a parent watch entry. */
155 static struct audit_parent
*audit_init_parent(struct nameidata
*ndp
)
157 struct audit_parent
*parent
;
160 parent
= kzalloc(sizeof(*parent
), GFP_KERNEL
);
161 if (unlikely(!parent
))
162 return ERR_PTR(-ENOMEM
);
164 INIT_LIST_HEAD(&parent
->watches
);
167 inotify_init_watch(&parent
->wdata
);
168 /* grab a ref so inotify watch hangs around until we take audit_filter_mutex */
169 get_inotify_watch(&parent
->wdata
);
170 wd
= inotify_add_watch(audit_ih
, &parent
->wdata
, ndp
->dentry
->d_inode
,
173 audit_free_parent(&parent
->wdata
);
180 /* Initialize a watch entry. */
181 static struct audit_watch
*audit_init_watch(char *path
)
183 struct audit_watch
*watch
;
185 watch
= kzalloc(sizeof(*watch
), GFP_KERNEL
);
186 if (unlikely(!watch
))
187 return ERR_PTR(-ENOMEM
);
189 INIT_LIST_HEAD(&watch
->rules
);
190 atomic_set(&watch
->count
, 1);
192 watch
->dev
= (dev_t
)-1;
193 watch
->ino
= (unsigned long)-1;
198 /* Initialize an audit filterlist entry. */
199 static inline struct audit_entry
*audit_init_entry(u32 field_count
)
201 struct audit_entry
*entry
;
202 struct audit_field
*fields
;
204 entry
= kzalloc(sizeof(*entry
), GFP_KERNEL
);
205 if (unlikely(!entry
))
208 fields
= kzalloc(sizeof(*fields
) * field_count
, GFP_KERNEL
);
209 if (unlikely(!fields
)) {
213 entry
->rule
.fields
= fields
;
218 /* Unpack a filter field's string representation from user-space
220 static char *audit_unpack_string(void **bufp
, size_t *remain
, size_t len
)
224 if (!*bufp
|| (len
== 0) || (len
> *remain
))
225 return ERR_PTR(-EINVAL
);
227 /* Of the currently implemented string fields, PATH_MAX
228 * defines the longest valid length.
231 return ERR_PTR(-ENAMETOOLONG
);
233 str
= kmalloc(len
+ 1, GFP_KERNEL
);
235 return ERR_PTR(-ENOMEM
);
237 memcpy(str
, *bufp
, len
);
245 /* Translate an inode field to kernel respresentation. */
246 static inline int audit_to_inode(struct audit_krule
*krule
,
247 struct audit_field
*f
)
249 if (krule
->listnr
!= AUDIT_FILTER_EXIT
||
250 krule
->watch
|| krule
->inode_f
)
257 /* Translate a watch string to kernel respresentation. */
258 static int audit_to_watch(struct audit_krule
*krule
, char *path
, int len
,
261 struct audit_watch
*watch
;
266 if (path
[0] != '/' || path
[len
-1] == '/' ||
267 krule
->listnr
!= AUDIT_FILTER_EXIT
||
269 krule
->inode_f
|| krule
->watch
) /* 1 inode # per rule, for hash */
272 watch
= audit_init_watch(path
);
273 if (unlikely(IS_ERR(watch
)))
274 return PTR_ERR(watch
);
276 audit_get_watch(watch
);
277 krule
->watch
= watch
;
282 static __u32
*classes
[AUDIT_SYSCALL_CLASSES
];
284 int __init
audit_register_class(int class, unsigned *list
)
286 __u32
*p
= kzalloc(AUDIT_BITMASK_SIZE
* sizeof(__u32
), GFP_KERNEL
);
289 while (*list
!= ~0U) {
290 unsigned n
= *list
++;
291 if (n
>= AUDIT_BITMASK_SIZE
* 32 - AUDIT_SYSCALL_CLASSES
) {
295 p
[AUDIT_WORD(n
)] |= AUDIT_BIT(n
);
297 if (class >= AUDIT_SYSCALL_CLASSES
|| classes
[class]) {
305 int audit_match_class(int class, unsigned syscall
)
307 if (unlikely(syscall
>= AUDIT_BITMASK_SIZE
* sizeof(__u32
)))
309 if (unlikely(class >= AUDIT_SYSCALL_CLASSES
|| !classes
[class]))
311 return classes
[class][AUDIT_WORD(syscall
)] & AUDIT_BIT(syscall
);
314 /* Common user-space to kernel rule translation. */
315 static inline struct audit_entry
*audit_to_entry_common(struct audit_rule
*rule
)
318 struct audit_entry
*entry
;
322 listnr
= rule
->flags
& ~AUDIT_FILTER_PREPEND
;
326 case AUDIT_FILTER_USER
:
327 case AUDIT_FILTER_TYPE
:
328 #ifdef CONFIG_AUDITSYSCALL
329 case AUDIT_FILTER_ENTRY
:
330 case AUDIT_FILTER_EXIT
:
331 case AUDIT_FILTER_TASK
:
335 if (unlikely(rule
->action
== AUDIT_POSSIBLE
)) {
336 printk(KERN_ERR
"AUDIT_POSSIBLE is deprecated\n");
339 if (rule
->action
!= AUDIT_NEVER
&& rule
->action
!= AUDIT_ALWAYS
)
341 if (rule
->field_count
> AUDIT_MAX_FIELDS
)
345 entry
= audit_init_entry(rule
->field_count
);
349 entry
->rule
.flags
= rule
->flags
& AUDIT_FILTER_PREPEND
;
350 entry
->rule
.listnr
= listnr
;
351 entry
->rule
.action
= rule
->action
;
352 entry
->rule
.field_count
= rule
->field_count
;
354 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
355 entry
->rule
.mask
[i
] = rule
->mask
[i
];
357 for (i
= 0; i
< AUDIT_SYSCALL_CLASSES
; i
++) {
358 int bit
= AUDIT_BITMASK_SIZE
* 32 - i
- 1;
359 __u32
*p
= &entry
->rule
.mask
[AUDIT_WORD(bit
)];
362 if (!(*p
& AUDIT_BIT(bit
)))
364 *p
&= ~AUDIT_BIT(bit
);
368 for (j
= 0; j
< AUDIT_BITMASK_SIZE
; j
++)
369 entry
->rule
.mask
[j
] |= class[j
];
379 /* Translate struct audit_rule to kernel's rule respresentation.
380 * Exists for backward compatibility with userspace. */
381 static struct audit_entry
*audit_rule_to_entry(struct audit_rule
*rule
)
383 struct audit_entry
*entry
;
384 struct audit_field
*f
;
388 entry
= audit_to_entry_common(rule
);
392 for (i
= 0; i
< rule
->field_count
; i
++) {
393 struct audit_field
*f
= &entry
->rule
.fields
[i
];
395 f
->op
= rule
->fields
[i
] & (AUDIT_NEGATE
|AUDIT_OPERATORS
);
396 f
->type
= rule
->fields
[i
] & ~(AUDIT_NEGATE
|AUDIT_OPERATORS
);
397 f
->val
= rule
->values
[i
];
425 /* arch is only allowed to be = or != */
427 if ((f
->op
!= AUDIT_NOT_EQUAL
) && (f
->op
!= AUDIT_EQUAL
)
428 && (f
->op
!= AUDIT_NEGATE
) && (f
->op
)) {
438 err
= audit_to_inode(&entry
->rule
, f
);
444 entry
->rule
.vers_ops
= (f
->op
& AUDIT_OPERATORS
) ? 2 : 1;
446 /* Support for legacy operators where
447 * AUDIT_NEGATE bit signifies != and otherwise assumes == */
448 if (f
->op
& AUDIT_NEGATE
)
449 f
->op
= AUDIT_NOT_EQUAL
;
452 else if (f
->op
== AUDIT_OPERATORS
) {
458 f
= entry
->rule
.inode_f
;
461 case AUDIT_NOT_EQUAL
:
462 entry
->rule
.inode_f
= NULL
;
475 audit_free_rule(entry
);
479 /* Translate struct audit_rule_data to kernel's rule respresentation. */
480 static struct audit_entry
*audit_data_to_entry(struct audit_rule_data
*data
,
484 struct audit_entry
*entry
;
485 struct audit_field
*f
;
487 size_t remain
= datasz
- sizeof(struct audit_rule_data
);
491 entry
= audit_to_entry_common((struct audit_rule
*)data
);
496 entry
->rule
.vers_ops
= 2;
497 for (i
= 0; i
< data
->field_count
; i
++) {
498 struct audit_field
*f
= &entry
->rule
.fields
[i
];
501 if (!(data
->fieldflags
[i
] & AUDIT_OPERATORS
) ||
502 data
->fieldflags
[i
] & ~AUDIT_OPERATORS
)
505 f
->op
= data
->fieldflags
[i
] & AUDIT_OPERATORS
;
506 f
->type
= data
->fields
[i
];
507 f
->val
= data
->values
[i
];
534 case AUDIT_SUBJ_USER
:
535 case AUDIT_SUBJ_ROLE
:
536 case AUDIT_SUBJ_TYPE
:
542 case AUDIT_OBJ_LEV_LOW
:
543 case AUDIT_OBJ_LEV_HIGH
:
544 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
547 entry
->rule
.buflen
+= f
->val
;
549 err
= selinux_audit_rule_init(f
->type
, f
->op
, str
,
551 /* Keep currently invalid fields around in case they
552 * become valid after a policy reload. */
553 if (err
== -EINVAL
) {
554 printk(KERN_WARNING
"audit rule for selinux "
555 "\'%s\' is invalid\n", str
);
565 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
568 entry
->rule
.buflen
+= f
->val
;
570 err
= audit_to_watch(&entry
->rule
, str
, f
->val
, f
->op
);
577 err
= audit_to_inode(&entry
->rule
, f
);
581 case AUDIT_FILTERKEY
:
583 if (entry
->rule
.filterkey
|| f
->val
> AUDIT_MAX_KEY_LEN
)
585 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
588 entry
->rule
.buflen
+= f
->val
;
589 entry
->rule
.filterkey
= str
;
600 f
= entry
->rule
.inode_f
;
603 case AUDIT_NOT_EQUAL
:
604 entry
->rule
.inode_f
= NULL
;
617 audit_free_rule(entry
);
621 /* Pack a filter field's string representation into data block. */
622 static inline size_t audit_pack_string(void **bufp
, char *str
)
624 size_t len
= strlen(str
);
626 memcpy(*bufp
, str
, len
);
632 /* Translate kernel rule respresentation to struct audit_rule.
633 * Exists for backward compatibility with userspace. */
634 static struct audit_rule
*audit_krule_to_rule(struct audit_krule
*krule
)
636 struct audit_rule
*rule
;
639 rule
= kmalloc(sizeof(*rule
), GFP_KERNEL
);
642 memset(rule
, 0, sizeof(*rule
));
644 rule
->flags
= krule
->flags
| krule
->listnr
;
645 rule
->action
= krule
->action
;
646 rule
->field_count
= krule
->field_count
;
647 for (i
= 0; i
< rule
->field_count
; i
++) {
648 rule
->values
[i
] = krule
->fields
[i
].val
;
649 rule
->fields
[i
] = krule
->fields
[i
].type
;
651 if (krule
->vers_ops
== 1) {
652 if (krule
->fields
[i
].op
& AUDIT_NOT_EQUAL
)
653 rule
->fields
[i
] |= AUDIT_NEGATE
;
655 rule
->fields
[i
] |= krule
->fields
[i
].op
;
658 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) rule
->mask
[i
] = krule
->mask
[i
];
663 /* Translate kernel rule respresentation to struct audit_rule_data. */
664 static struct audit_rule_data
*audit_krule_to_data(struct audit_krule
*krule
)
666 struct audit_rule_data
*data
;
670 data
= kmalloc(sizeof(*data
) + krule
->buflen
, GFP_KERNEL
);
673 memset(data
, 0, sizeof(*data
));
675 data
->flags
= krule
->flags
| krule
->listnr
;
676 data
->action
= krule
->action
;
677 data
->field_count
= krule
->field_count
;
679 for (i
= 0; i
< data
->field_count
; i
++) {
680 struct audit_field
*f
= &krule
->fields
[i
];
682 data
->fields
[i
] = f
->type
;
683 data
->fieldflags
[i
] = f
->op
;
685 case AUDIT_SUBJ_USER
:
686 case AUDIT_SUBJ_ROLE
:
687 case AUDIT_SUBJ_TYPE
:
693 case AUDIT_OBJ_LEV_LOW
:
694 case AUDIT_OBJ_LEV_HIGH
:
695 data
->buflen
+= data
->values
[i
] =
696 audit_pack_string(&bufp
, f
->se_str
);
699 data
->buflen
+= data
->values
[i
] =
700 audit_pack_string(&bufp
, krule
->watch
->path
);
702 case AUDIT_FILTERKEY
:
703 data
->buflen
+= data
->values
[i
] =
704 audit_pack_string(&bufp
, krule
->filterkey
);
707 data
->values
[i
] = f
->val
;
710 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) data
->mask
[i
] = krule
->mask
[i
];
715 /* Compare two rules in kernel format. Considered success if rules
717 static int audit_compare_rule(struct audit_krule
*a
, struct audit_krule
*b
)
721 if (a
->flags
!= b
->flags
||
722 a
->listnr
!= b
->listnr
||
723 a
->action
!= b
->action
||
724 a
->field_count
!= b
->field_count
)
727 for (i
= 0; i
< a
->field_count
; i
++) {
728 if (a
->fields
[i
].type
!= b
->fields
[i
].type
||
729 a
->fields
[i
].op
!= b
->fields
[i
].op
)
732 switch(a
->fields
[i
].type
) {
733 case AUDIT_SUBJ_USER
:
734 case AUDIT_SUBJ_ROLE
:
735 case AUDIT_SUBJ_TYPE
:
741 case AUDIT_OBJ_LEV_LOW
:
742 case AUDIT_OBJ_LEV_HIGH
:
743 if (strcmp(a
->fields
[i
].se_str
, b
->fields
[i
].se_str
))
747 if (strcmp(a
->watch
->path
, b
->watch
->path
))
750 case AUDIT_FILTERKEY
:
751 /* both filterkeys exist based on above type compare */
752 if (strcmp(a
->filterkey
, b
->filterkey
))
756 if (a
->fields
[i
].val
!= b
->fields
[i
].val
)
761 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
762 if (a
->mask
[i
] != b
->mask
[i
])
768 /* Duplicate the given audit watch. The new watch's rules list is initialized
769 * to an empty list and wlist is undefined. */
770 static struct audit_watch
*audit_dupe_watch(struct audit_watch
*old
)
773 struct audit_watch
*new;
775 path
= kstrdup(old
->path
, GFP_KERNEL
);
777 return ERR_PTR(-ENOMEM
);
779 new = audit_init_watch(path
);
780 if (unlikely(IS_ERR(new))) {
787 get_inotify_watch(&old
->parent
->wdata
);
788 new->parent
= old
->parent
;
794 /* Duplicate selinux field information. The se_rule is opaque, so must be
796 static inline int audit_dupe_selinux_field(struct audit_field
*df
,
797 struct audit_field
*sf
)
802 /* our own copy of se_str */
803 se_str
= kstrdup(sf
->se_str
, GFP_KERNEL
);
804 if (unlikely(IS_ERR(se_str
)))
808 /* our own (refreshed) copy of se_rule */
809 ret
= selinux_audit_rule_init(df
->type
, df
->op
, df
->se_str
,
811 /* Keep currently invalid fields around in case they
812 * become valid after a policy reload. */
813 if (ret
== -EINVAL
) {
814 printk(KERN_WARNING
"audit rule for selinux \'%s\' is "
815 "invalid\n", df
->se_str
);
822 /* Duplicate an audit rule. This will be a deep copy with the exception
823 * of the watch - that pointer is carried over. The selinux specific fields
824 * will be updated in the copy. The point is to be able to replace the old
825 * rule with the new rule in the filterlist, then free the old rule.
826 * The rlist element is undefined; list manipulations are handled apart from
827 * the initial copy. */
828 static struct audit_entry
*audit_dupe_rule(struct audit_krule
*old
,
829 struct audit_watch
*watch
)
831 u32 fcount
= old
->field_count
;
832 struct audit_entry
*entry
;
833 struct audit_krule
*new;
837 entry
= audit_init_entry(fcount
);
838 if (unlikely(!entry
))
839 return ERR_PTR(-ENOMEM
);
842 new->vers_ops
= old
->vers_ops
;
843 new->flags
= old
->flags
;
844 new->listnr
= old
->listnr
;
845 new->action
= old
->action
;
846 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
847 new->mask
[i
] = old
->mask
[i
];
848 new->buflen
= old
->buflen
;
849 new->inode_f
= old
->inode_f
;
851 new->field_count
= old
->field_count
;
852 memcpy(new->fields
, old
->fields
, sizeof(struct audit_field
) * fcount
);
854 /* deep copy this information, updating the se_rule fields, because
855 * the originals will all be freed when the old rule is freed. */
856 for (i
= 0; i
< fcount
; i
++) {
857 switch (new->fields
[i
].type
) {
858 case AUDIT_SUBJ_USER
:
859 case AUDIT_SUBJ_ROLE
:
860 case AUDIT_SUBJ_TYPE
:
866 case AUDIT_OBJ_LEV_LOW
:
867 case AUDIT_OBJ_LEV_HIGH
:
868 err
= audit_dupe_selinux_field(&new->fields
[i
],
871 case AUDIT_FILTERKEY
:
872 fk
= kstrdup(old
->filterkey
, GFP_KERNEL
);
879 audit_free_rule(entry
);
885 audit_get_watch(watch
);
892 /* Update inode info in audit rules based on filesystem event. */
893 static void audit_update_watch(struct audit_parent
*parent
,
894 const char *dname
, dev_t dev
,
895 unsigned long ino
, unsigned invalidating
)
897 struct audit_watch
*owatch
, *nwatch
, *nextw
;
898 struct audit_krule
*r
, *nextr
;
899 struct audit_entry
*oentry
, *nentry
;
900 struct audit_buffer
*ab
;
902 mutex_lock(&audit_filter_mutex
);
903 list_for_each_entry_safe(owatch
, nextw
, &parent
->watches
, wlist
) {
904 if (audit_compare_dname_path(dname
, owatch
->path
, NULL
))
907 /* If the update involves invalidating rules, do the inode-based
908 * filtering now, so we don't omit records. */
910 audit_filter_inodes(current
, current
->audit_context
) == AUDIT_RECORD_CONTEXT
)
911 audit_set_auditable(current
->audit_context
);
913 nwatch
= audit_dupe_watch(owatch
);
914 if (unlikely(IS_ERR(nwatch
))) {
915 mutex_unlock(&audit_filter_mutex
);
916 audit_panic("error updating watch, skipping");
922 list_for_each_entry_safe(r
, nextr
, &owatch
->rules
, rlist
) {
924 oentry
= container_of(r
, struct audit_entry
, rule
);
925 list_del(&oentry
->rule
.rlist
);
926 list_del_rcu(&oentry
->list
);
928 nentry
= audit_dupe_rule(&oentry
->rule
, nwatch
);
929 if (unlikely(IS_ERR(nentry
)))
930 audit_panic("error updating watch, removing");
932 int h
= audit_hash_ino((u32
)ino
);
933 list_add(&nentry
->rule
.rlist
, &nwatch
->rules
);
934 list_add_rcu(&nentry
->list
, &audit_inode_hash
[h
]);
937 call_rcu(&oentry
->rcu
, audit_free_rule_rcu
);
940 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
941 audit_log_format(ab
, "audit updated rules specifying path=");
942 audit_log_untrustedstring(ab
, owatch
->path
);
943 audit_log_format(ab
, " with dev=%u ino=%lu\n", dev
, ino
);
946 audit_remove_watch(owatch
);
947 goto add_watch_to_parent
; /* event applies to a single watch */
949 mutex_unlock(&audit_filter_mutex
);
953 list_add(&nwatch
->wlist
, &parent
->watches
);
954 mutex_unlock(&audit_filter_mutex
);
958 /* Remove all watches & rules associated with a parent that is going away. */
959 static void audit_remove_parent_watches(struct audit_parent
*parent
)
961 struct audit_watch
*w
, *nextw
;
962 struct audit_krule
*r
, *nextr
;
963 struct audit_entry
*e
;
964 struct audit_buffer
*ab
;
966 mutex_lock(&audit_filter_mutex
);
967 parent
->flags
|= AUDIT_PARENT_INVALID
;
968 list_for_each_entry_safe(w
, nextw
, &parent
->watches
, wlist
) {
969 list_for_each_entry_safe(r
, nextr
, &w
->rules
, rlist
) {
970 e
= container_of(r
, struct audit_entry
, rule
);
972 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
973 audit_log_format(ab
, "audit implicitly removed rule path=");
974 audit_log_untrustedstring(ab
, w
->path
);
976 audit_log_format(ab
, " key=");
977 audit_log_untrustedstring(ab
, r
->filterkey
);
979 audit_log_format(ab
, " key=(null)");
980 audit_log_format(ab
, " list=%d", r
->listnr
);
984 list_del_rcu(&e
->list
);
985 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
987 audit_remove_watch(w
);
989 mutex_unlock(&audit_filter_mutex
);
992 /* Unregister inotify watches for parents on in_list.
993 * Generates an IN_IGNORED event. */
994 static void audit_inotify_unregister(struct list_head
*in_list
)
996 struct audit_parent
*p
, *n
;
998 list_for_each_entry_safe(p
, n
, in_list
, ilist
) {
1000 inotify_rm_watch(audit_ih
, &p
->wdata
);
1001 /* the put matching the get in audit_do_del_rule() */
1002 put_inotify_watch(&p
->wdata
);
1006 /* Find an existing audit rule.
1007 * Caller must hold audit_filter_mutex to prevent stale rule data. */
1008 static struct audit_entry
*audit_find_rule(struct audit_entry
*entry
,
1009 struct list_head
*list
)
1011 struct audit_entry
*e
, *found
= NULL
;
1014 if (entry
->rule
.watch
) {
1015 /* we don't know the inode number, so must walk entire hash */
1016 for (h
= 0; h
< AUDIT_INODE_BUCKETS
; h
++) {
1017 list
= &audit_inode_hash
[h
];
1018 list_for_each_entry(e
, list
, list
)
1019 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1027 list_for_each_entry(e
, list
, list
)
1028 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1037 /* Get path information necessary for adding watches. */
1038 static int audit_get_nd(char *path
, struct nameidata
**ndp
,
1039 struct nameidata
**ndw
)
1041 struct nameidata
*ndparent
, *ndwatch
;
1044 ndparent
= kmalloc(sizeof(*ndparent
), GFP_KERNEL
);
1045 if (unlikely(!ndparent
))
1048 ndwatch
= kmalloc(sizeof(*ndwatch
), GFP_KERNEL
);
1049 if (unlikely(!ndwatch
)) {
1054 err
= path_lookup(path
, LOOKUP_PARENT
, ndparent
);
1061 err
= path_lookup(path
, 0, ndwatch
);
1073 /* Release resources used for watch path information. */
1074 static void audit_put_nd(struct nameidata
*ndp
, struct nameidata
*ndw
)
1086 /* Associate the given rule with an existing parent inotify_watch.
1087 * Caller must hold audit_filter_mutex. */
1088 static void audit_add_to_parent(struct audit_krule
*krule
,
1089 struct audit_parent
*parent
)
1091 struct audit_watch
*w
, *watch
= krule
->watch
;
1092 int watch_found
= 0;
1094 list_for_each_entry(w
, &parent
->watches
, wlist
) {
1095 if (strcmp(watch
->path
, w
->path
))
1100 /* put krule's and initial refs to temporary watch */
1101 audit_put_watch(watch
);
1102 audit_put_watch(watch
);
1105 krule
->watch
= watch
= w
;
1110 get_inotify_watch(&parent
->wdata
);
1111 watch
->parent
= parent
;
1113 list_add(&watch
->wlist
, &parent
->watches
);
1115 list_add(&krule
->rlist
, &watch
->rules
);
1118 /* Find a matching watch entry, or add this one.
1119 * Caller must hold audit_filter_mutex. */
1120 static int audit_add_watch(struct audit_krule
*krule
, struct nameidata
*ndp
,
1121 struct nameidata
*ndw
)
1123 struct audit_watch
*watch
= krule
->watch
;
1124 struct inotify_watch
*i_watch
;
1125 struct audit_parent
*parent
;
1128 /* update watch filter fields */
1130 watch
->dev
= ndw
->dentry
->d_inode
->i_sb
->s_dev
;
1131 watch
->ino
= ndw
->dentry
->d_inode
->i_ino
;
1134 /* The audit_filter_mutex must not be held during inotify calls because
1135 * we hold it during inotify event callback processing. If an existing
1136 * inotify watch is found, inotify_find_watch() grabs a reference before
1139 mutex_unlock(&audit_filter_mutex
);
1141 if (inotify_find_watch(audit_ih
, ndp
->dentry
->d_inode
, &i_watch
) < 0) {
1142 parent
= audit_init_parent(ndp
);
1143 if (IS_ERR(parent
)) {
1144 /* caller expects mutex locked */
1145 mutex_lock(&audit_filter_mutex
);
1146 return PTR_ERR(parent
);
1149 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1151 mutex_lock(&audit_filter_mutex
);
1153 /* parent was moved before we took audit_filter_mutex */
1154 if (parent
->flags
& AUDIT_PARENT_INVALID
)
1157 audit_add_to_parent(krule
, parent
);
1159 /* match get in audit_init_parent or inotify_find_watch */
1160 put_inotify_watch(&parent
->wdata
);
1164 /* Add rule to given filterlist if not a duplicate. */
1165 static inline int audit_add_rule(struct audit_entry
*entry
,
1166 struct list_head
*list
)
1168 struct audit_entry
*e
;
1169 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1170 struct audit_watch
*watch
= entry
->rule
.watch
;
1171 struct nameidata
*ndp
, *ndw
;
1172 int h
, err
, putnd_needed
= 0;
1173 #ifdef CONFIG_AUDITSYSCALL
1176 /* If either of these, don't count towards total */
1177 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1178 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1183 h
= audit_hash_ino(inode_f
->val
);
1184 list
= &audit_inode_hash
[h
];
1187 mutex_lock(&audit_filter_mutex
);
1188 e
= audit_find_rule(entry
, list
);
1189 mutex_unlock(&audit_filter_mutex
);
1195 /* Avoid calling path_lookup under audit_filter_mutex. */
1197 err
= audit_get_nd(watch
->path
, &ndp
, &ndw
);
1203 mutex_lock(&audit_filter_mutex
);
1205 /* audit_filter_mutex is dropped and re-taken during this call */
1206 err
= audit_add_watch(&entry
->rule
, ndp
, ndw
);
1208 mutex_unlock(&audit_filter_mutex
);
1211 h
= audit_hash_ino((u32
)watch
->ino
);
1212 list
= &audit_inode_hash
[h
];
1215 if (entry
->rule
.flags
& AUDIT_FILTER_PREPEND
) {
1216 list_add_rcu(&entry
->list
, list
);
1217 entry
->rule
.flags
&= ~AUDIT_FILTER_PREPEND
;
1219 list_add_tail_rcu(&entry
->list
, list
);
1221 #ifdef CONFIG_AUDITSYSCALL
1225 mutex_unlock(&audit_filter_mutex
);
1228 audit_put_nd(ndp
, ndw
);
1234 audit_put_nd(ndp
, ndw
);
1236 audit_put_watch(watch
); /* tmp watch, matches initial get */
1240 /* Remove an existing rule from filterlist. */
1241 static inline int audit_del_rule(struct audit_entry
*entry
,
1242 struct list_head
*list
)
1244 struct audit_entry
*e
;
1245 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1246 struct audit_watch
*watch
, *tmp_watch
= entry
->rule
.watch
;
1247 LIST_HEAD(inotify_list
);
1249 #ifdef CONFIG_AUDITSYSCALL
1252 /* If either of these, don't count towards total */
1253 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1254 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1259 h
= audit_hash_ino(inode_f
->val
);
1260 list
= &audit_inode_hash
[h
];
1263 mutex_lock(&audit_filter_mutex
);
1264 e
= audit_find_rule(entry
, list
);
1266 mutex_unlock(&audit_filter_mutex
);
1271 watch
= e
->rule
.watch
;
1273 struct audit_parent
*parent
= watch
->parent
;
1275 list_del(&e
->rule
.rlist
);
1277 if (list_empty(&watch
->rules
)) {
1278 audit_remove_watch(watch
);
1280 if (list_empty(&parent
->watches
)) {
1281 /* Put parent on the inotify un-registration
1282 * list. Grab a reference before releasing
1283 * audit_filter_mutex, to be released in
1284 * audit_inotify_unregister(). */
1285 list_add(&parent
->ilist
, &inotify_list
);
1286 get_inotify_watch(&parent
->wdata
);
1291 list_del_rcu(&e
->list
);
1292 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
1294 #ifdef CONFIG_AUDITSYSCALL
1298 mutex_unlock(&audit_filter_mutex
);
1300 if (!list_empty(&inotify_list
))
1301 audit_inotify_unregister(&inotify_list
);
1305 audit_put_watch(tmp_watch
); /* match initial get */
1310 /* List rules using struct audit_rule. Exists for backward
1311 * compatibility with userspace. */
1312 static void audit_list(int pid
, int seq
, struct sk_buff_head
*q
)
1314 struct sk_buff
*skb
;
1315 struct audit_entry
*entry
;
1318 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1319 * iterator to sync with list writers. */
1320 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1321 list_for_each_entry(entry
, &audit_filter_list
[i
], list
) {
1322 struct audit_rule
*rule
;
1324 rule
= audit_krule_to_rule(&entry
->rule
);
1325 if (unlikely(!rule
))
1327 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1328 rule
, sizeof(*rule
));
1330 skb_queue_tail(q
, skb
);
1334 for (i
= 0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1335 list_for_each_entry(entry
, &audit_inode_hash
[i
], list
) {
1336 struct audit_rule
*rule
;
1338 rule
= audit_krule_to_rule(&entry
->rule
);
1339 if (unlikely(!rule
))
1341 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1342 rule
, sizeof(*rule
));
1344 skb_queue_tail(q
, skb
);
1348 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 1, 1, NULL
, 0);
1350 skb_queue_tail(q
, skb
);
1353 /* List rules using struct audit_rule_data. */
1354 static void audit_list_rules(int pid
, int seq
, struct sk_buff_head
*q
)
1356 struct sk_buff
*skb
;
1357 struct audit_entry
*e
;
1360 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1361 * iterator to sync with list writers. */
1362 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1363 list_for_each_entry(e
, &audit_filter_list
[i
], list
) {
1364 struct audit_rule_data
*data
;
1366 data
= audit_krule_to_data(&e
->rule
);
1367 if (unlikely(!data
))
1369 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1370 data
, sizeof(*data
) + data
->buflen
);
1372 skb_queue_tail(q
, skb
);
1376 for (i
=0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1377 list_for_each_entry(e
, &audit_inode_hash
[i
], list
) {
1378 struct audit_rule_data
*data
;
1380 data
= audit_krule_to_data(&e
->rule
);
1381 if (unlikely(!data
))
1383 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1384 data
, sizeof(*data
) + data
->buflen
);
1386 skb_queue_tail(q
, skb
);
1390 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 1, 1, NULL
, 0);
1392 skb_queue_tail(q
, skb
);
1395 /* Log rule additions and removals */
1396 static void audit_log_rule_change(uid_t loginuid
, u32 sid
, char *action
,
1397 struct audit_krule
*rule
, int res
)
1399 struct audit_buffer
*ab
;
1401 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
1404 audit_log_format(ab
, "auid=%u", loginuid
);
1408 if (selinux_sid_to_string(sid
, &ctx
, &len
))
1409 audit_log_format(ab
, " ssid=%u", sid
);
1411 audit_log_format(ab
, " subj=%s", ctx
);
1414 audit_log_format(ab
, " %s rule key=", action
);
1415 if (rule
->filterkey
)
1416 audit_log_untrustedstring(ab
, rule
->filterkey
);
1418 audit_log_format(ab
, "(null)");
1419 audit_log_format(ab
, " list=%d res=%d", rule
->listnr
, res
);
1424 * audit_receive_filter - apply all rules to the specified message type
1425 * @type: audit message type
1426 * @pid: target pid for netlink audit messages
1427 * @uid: target uid for netlink audit messages
1428 * @seq: netlink audit message sequence (serial) number
1429 * @data: payload data
1430 * @datasz: size of payload data
1431 * @loginuid: loginuid of sender
1432 * @sid: SE Linux Security ID of sender
1434 int audit_receive_filter(int type
, int pid
, int uid
, int seq
, void *data
,
1435 size_t datasz
, uid_t loginuid
, u32 sid
)
1437 struct task_struct
*tsk
;
1438 struct audit_netlink_list
*dest
;
1440 struct audit_entry
*entry
;
1444 case AUDIT_LIST_RULES
:
1445 /* We can't just spew out the rules here because we might fill
1446 * the available socket buffer space and deadlock waiting for
1447 * auditctl to read from it... which isn't ever going to
1448 * happen if we're actually running in the context of auditctl
1449 * trying to _send_ the stuff */
1451 dest
= kmalloc(sizeof(struct audit_netlink_list
), GFP_KERNEL
);
1455 skb_queue_head_init(&dest
->q
);
1457 mutex_lock(&audit_filter_mutex
);
1458 if (type
== AUDIT_LIST
)
1459 audit_list(pid
, seq
, &dest
->q
);
1461 audit_list_rules(pid
, seq
, &dest
->q
);
1462 mutex_unlock(&audit_filter_mutex
);
1464 tsk
= kthread_run(audit_send_list
, dest
, "audit_send_list");
1466 skb_queue_purge(&dest
->q
);
1472 case AUDIT_ADD_RULE
:
1473 if (type
== AUDIT_ADD
)
1474 entry
= audit_rule_to_entry(data
);
1476 entry
= audit_data_to_entry(data
, datasz
);
1478 return PTR_ERR(entry
);
1480 err
= audit_add_rule(entry
,
1481 &audit_filter_list
[entry
->rule
.listnr
]);
1482 audit_log_rule_change(loginuid
, sid
, "add", &entry
->rule
, !err
);
1485 audit_free_rule(entry
);
1488 case AUDIT_DEL_RULE
:
1489 if (type
== AUDIT_DEL
)
1490 entry
= audit_rule_to_entry(data
);
1492 entry
= audit_data_to_entry(data
, datasz
);
1494 return PTR_ERR(entry
);
1496 err
= audit_del_rule(entry
,
1497 &audit_filter_list
[entry
->rule
.listnr
]);
1498 audit_log_rule_change(loginuid
, sid
, "remove", &entry
->rule
,
1501 audit_free_rule(entry
);
1510 int audit_comparator(const u32 left
, const u32 op
, const u32 right
)
1514 return (left
== right
);
1515 case AUDIT_NOT_EQUAL
:
1516 return (left
!= right
);
1517 case AUDIT_LESS_THAN
:
1518 return (left
< right
);
1519 case AUDIT_LESS_THAN_OR_EQUAL
:
1520 return (left
<= right
);
1521 case AUDIT_GREATER_THAN
:
1522 return (left
> right
);
1523 case AUDIT_GREATER_THAN_OR_EQUAL
:
1524 return (left
>= right
);
1530 /* Compare given dentry name with last component in given path,
1531 * return of 0 indicates a match. */
1532 int audit_compare_dname_path(const char *dname
, const char *path
,
1538 if (!dname
|| !path
)
1541 dlen
= strlen(dname
);
1542 plen
= strlen(path
);
1546 /* disregard trailing slashes */
1547 p
= path
+ plen
- 1;
1548 while ((*p
== '/') && (p
> path
))
1551 /* find last path component */
1555 else if (p
> path
) {
1562 /* return length of path's directory component */
1565 return strncmp(p
, dname
, dlen
);
1568 static int audit_filter_user_rules(struct netlink_skb_parms
*cb
,
1569 struct audit_krule
*rule
,
1570 enum audit_state
*state
)
1574 for (i
= 0; i
< rule
->field_count
; i
++) {
1575 struct audit_field
*f
= &rule
->fields
[i
];
1580 result
= audit_comparator(cb
->creds
.pid
, f
->op
, f
->val
);
1583 result
= audit_comparator(cb
->creds
.uid
, f
->op
, f
->val
);
1586 result
= audit_comparator(cb
->creds
.gid
, f
->op
, f
->val
);
1588 case AUDIT_LOGINUID
:
1589 result
= audit_comparator(cb
->loginuid
, f
->op
, f
->val
);
1596 switch (rule
->action
) {
1597 case AUDIT_NEVER
: *state
= AUDIT_DISABLED
; break;
1598 case AUDIT_ALWAYS
: *state
= AUDIT_RECORD_CONTEXT
; break;
1603 int audit_filter_user(struct netlink_skb_parms
*cb
, int type
)
1605 struct audit_entry
*e
;
1606 enum audit_state state
;
1610 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_USER
], list
) {
1611 if (audit_filter_user_rules(cb
, &e
->rule
, &state
)) {
1612 if (state
== AUDIT_DISABLED
)
1619 return ret
; /* Audit by default */
1622 int audit_filter_type(int type
)
1624 struct audit_entry
*e
;
1628 if (list_empty(&audit_filter_list
[AUDIT_FILTER_TYPE
]))
1629 goto unlock_and_return
;
1631 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_TYPE
],
1634 for (i
= 0; i
< e
->rule
.field_count
; i
++) {
1635 struct audit_field
*f
= &e
->rule
.fields
[i
];
1636 if (f
->type
== AUDIT_MSGTYPE
) {
1637 result
= audit_comparator(type
, f
->op
, f
->val
);
1643 goto unlock_and_return
;
1650 /* Check to see if the rule contains any selinux fields. Returns 1 if there
1651 are selinux fields specified in the rule, 0 otherwise. */
1652 static inline int audit_rule_has_selinux(struct audit_krule
*rule
)
1656 for (i
= 0; i
< rule
->field_count
; i
++) {
1657 struct audit_field
*f
= &rule
->fields
[i
];
1659 case AUDIT_SUBJ_USER
:
1660 case AUDIT_SUBJ_ROLE
:
1661 case AUDIT_SUBJ_TYPE
:
1662 case AUDIT_SUBJ_SEN
:
1663 case AUDIT_SUBJ_CLR
:
1664 case AUDIT_OBJ_USER
:
1665 case AUDIT_OBJ_ROLE
:
1666 case AUDIT_OBJ_TYPE
:
1667 case AUDIT_OBJ_LEV_LOW
:
1668 case AUDIT_OBJ_LEV_HIGH
:
1676 /* This function will re-initialize the se_rule field of all applicable rules.
1677 * It will traverse the filter lists serarching for rules that contain selinux
1678 * specific filter fields. When such a rule is found, it is copied, the
1679 * selinux field is re-initialized, and the old rule is replaced with the
1681 int selinux_audit_rule_update(void)
1683 struct audit_entry
*entry
, *n
, *nentry
;
1684 struct audit_watch
*watch
;
1687 /* audit_filter_mutex synchronizes the writers */
1688 mutex_lock(&audit_filter_mutex
);
1690 for (i
= 0; i
< AUDIT_NR_FILTERS
; i
++) {
1691 list_for_each_entry_safe(entry
, n
, &audit_filter_list
[i
], list
) {
1692 if (!audit_rule_has_selinux(&entry
->rule
))
1695 watch
= entry
->rule
.watch
;
1696 nentry
= audit_dupe_rule(&entry
->rule
, watch
);
1697 if (unlikely(IS_ERR(nentry
))) {
1698 /* save the first error encountered for the
1701 err
= PTR_ERR(nentry
);
1702 audit_panic("error updating selinux filters");
1704 list_del(&entry
->rule
.rlist
);
1705 list_del_rcu(&entry
->list
);
1708 list_add(&nentry
->rule
.rlist
,
1710 list_del(&entry
->rule
.rlist
);
1712 list_replace_rcu(&entry
->list
, &nentry
->list
);
1714 call_rcu(&entry
->rcu
, audit_free_rule_rcu
);
1718 mutex_unlock(&audit_filter_mutex
);
1723 /* Update watch data in audit rules based on inotify events. */
1724 void audit_handle_ievent(struct inotify_watch
*i_watch
, u32 wd
, u32 mask
,
1725 u32 cookie
, const char *dname
, struct inode
*inode
)
1727 struct audit_parent
*parent
;
1729 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1731 if (mask
& (IN_CREATE
|IN_MOVED_TO
) && inode
)
1732 audit_update_watch(parent
, dname
, inode
->i_sb
->s_dev
,
1734 else if (mask
& (IN_DELETE
|IN_MOVED_FROM
))
1735 audit_update_watch(parent
, dname
, (dev_t
)-1, (unsigned long)-1, 1);
1736 /* inotify automatically removes the watch and sends IN_IGNORED */
1737 else if (mask
& (IN_DELETE_SELF
|IN_UNMOUNT
))
1738 audit_remove_parent_watches(parent
);
1739 /* inotify does not remove the watch, so remove it manually */
1740 else if(mask
& IN_MOVE_SELF
) {
1741 audit_remove_parent_watches(parent
);
1742 inotify_remove_watch_locked(audit_ih
, i_watch
);
1743 } else if (mask
& IN_IGNORED
)
1744 put_inotify_watch(i_watch
);