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
];
431 err
= audit_to_inode(&entry
->rule
, f
);
437 entry
->rule
.vers_ops
= (f
->op
& AUDIT_OPERATORS
) ? 2 : 1;
439 /* Support for legacy operators where
440 * AUDIT_NEGATE bit signifies != and otherwise assumes == */
441 if (f
->op
& AUDIT_NEGATE
)
442 f
->op
= AUDIT_NOT_EQUAL
;
445 else if (f
->op
== AUDIT_OPERATORS
) {
451 f
= entry
->rule
.inode_f
;
454 case AUDIT_NOT_EQUAL
:
455 entry
->rule
.inode_f
= NULL
;
468 audit_free_rule(entry
);
472 /* Translate struct audit_rule_data to kernel's rule respresentation. */
473 static struct audit_entry
*audit_data_to_entry(struct audit_rule_data
*data
,
477 struct audit_entry
*entry
;
478 struct audit_field
*f
;
480 size_t remain
= datasz
- sizeof(struct audit_rule_data
);
484 entry
= audit_to_entry_common((struct audit_rule
*)data
);
489 entry
->rule
.vers_ops
= 2;
490 for (i
= 0; i
< data
->field_count
; i
++) {
491 struct audit_field
*f
= &entry
->rule
.fields
[i
];
494 if (!(data
->fieldflags
[i
] & AUDIT_OPERATORS
) ||
495 data
->fieldflags
[i
] & ~AUDIT_OPERATORS
)
498 f
->op
= data
->fieldflags
[i
] & AUDIT_OPERATORS
;
499 f
->type
= data
->fields
[i
];
500 f
->val
= data
->values
[i
];
527 case AUDIT_SUBJ_USER
:
528 case AUDIT_SUBJ_ROLE
:
529 case AUDIT_SUBJ_TYPE
:
535 case AUDIT_OBJ_LEV_LOW
:
536 case AUDIT_OBJ_LEV_HIGH
:
537 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
540 entry
->rule
.buflen
+= f
->val
;
542 err
= selinux_audit_rule_init(f
->type
, f
->op
, str
,
544 /* Keep currently invalid fields around in case they
545 * become valid after a policy reload. */
546 if (err
== -EINVAL
) {
547 printk(KERN_WARNING
"audit rule for selinux "
548 "\'%s\' is invalid\n", str
);
558 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
561 entry
->rule
.buflen
+= f
->val
;
563 err
= audit_to_watch(&entry
->rule
, str
, f
->val
, f
->op
);
570 err
= audit_to_inode(&entry
->rule
, f
);
574 case AUDIT_FILTERKEY
:
576 if (entry
->rule
.filterkey
|| f
->val
> AUDIT_MAX_KEY_LEN
)
578 str
= audit_unpack_string(&bufp
, &remain
, f
->val
);
581 entry
->rule
.buflen
+= f
->val
;
582 entry
->rule
.filterkey
= str
;
593 f
= entry
->rule
.inode_f
;
596 case AUDIT_NOT_EQUAL
:
597 entry
->rule
.inode_f
= NULL
;
610 audit_free_rule(entry
);
614 /* Pack a filter field's string representation into data block. */
615 static inline size_t audit_pack_string(void **bufp
, char *str
)
617 size_t len
= strlen(str
);
619 memcpy(*bufp
, str
, len
);
625 /* Translate kernel rule respresentation to struct audit_rule.
626 * Exists for backward compatibility with userspace. */
627 static struct audit_rule
*audit_krule_to_rule(struct audit_krule
*krule
)
629 struct audit_rule
*rule
;
632 rule
= kmalloc(sizeof(*rule
), GFP_KERNEL
);
635 memset(rule
, 0, sizeof(*rule
));
637 rule
->flags
= krule
->flags
| krule
->listnr
;
638 rule
->action
= krule
->action
;
639 rule
->field_count
= krule
->field_count
;
640 for (i
= 0; i
< rule
->field_count
; i
++) {
641 rule
->values
[i
] = krule
->fields
[i
].val
;
642 rule
->fields
[i
] = krule
->fields
[i
].type
;
644 if (krule
->vers_ops
== 1) {
645 if (krule
->fields
[i
].op
& AUDIT_NOT_EQUAL
)
646 rule
->fields
[i
] |= AUDIT_NEGATE
;
648 rule
->fields
[i
] |= krule
->fields
[i
].op
;
651 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) rule
->mask
[i
] = krule
->mask
[i
];
656 /* Translate kernel rule respresentation to struct audit_rule_data. */
657 static struct audit_rule_data
*audit_krule_to_data(struct audit_krule
*krule
)
659 struct audit_rule_data
*data
;
663 data
= kmalloc(sizeof(*data
) + krule
->buflen
, GFP_KERNEL
);
666 memset(data
, 0, sizeof(*data
));
668 data
->flags
= krule
->flags
| krule
->listnr
;
669 data
->action
= krule
->action
;
670 data
->field_count
= krule
->field_count
;
672 for (i
= 0; i
< data
->field_count
; i
++) {
673 struct audit_field
*f
= &krule
->fields
[i
];
675 data
->fields
[i
] = f
->type
;
676 data
->fieldflags
[i
] = f
->op
;
678 case AUDIT_SUBJ_USER
:
679 case AUDIT_SUBJ_ROLE
:
680 case AUDIT_SUBJ_TYPE
:
686 case AUDIT_OBJ_LEV_LOW
:
687 case AUDIT_OBJ_LEV_HIGH
:
688 data
->buflen
+= data
->values
[i
] =
689 audit_pack_string(&bufp
, f
->se_str
);
692 data
->buflen
+= data
->values
[i
] =
693 audit_pack_string(&bufp
, krule
->watch
->path
);
695 case AUDIT_FILTERKEY
:
696 data
->buflen
+= data
->values
[i
] =
697 audit_pack_string(&bufp
, krule
->filterkey
);
700 data
->values
[i
] = f
->val
;
703 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) data
->mask
[i
] = krule
->mask
[i
];
708 /* Compare two rules in kernel format. Considered success if rules
710 static int audit_compare_rule(struct audit_krule
*a
, struct audit_krule
*b
)
714 if (a
->flags
!= b
->flags
||
715 a
->listnr
!= b
->listnr
||
716 a
->action
!= b
->action
||
717 a
->field_count
!= b
->field_count
)
720 for (i
= 0; i
< a
->field_count
; i
++) {
721 if (a
->fields
[i
].type
!= b
->fields
[i
].type
||
722 a
->fields
[i
].op
!= b
->fields
[i
].op
)
725 switch(a
->fields
[i
].type
) {
726 case AUDIT_SUBJ_USER
:
727 case AUDIT_SUBJ_ROLE
:
728 case AUDIT_SUBJ_TYPE
:
734 case AUDIT_OBJ_LEV_LOW
:
735 case AUDIT_OBJ_LEV_HIGH
:
736 if (strcmp(a
->fields
[i
].se_str
, b
->fields
[i
].se_str
))
740 if (strcmp(a
->watch
->path
, b
->watch
->path
))
743 case AUDIT_FILTERKEY
:
744 /* both filterkeys exist based on above type compare */
745 if (strcmp(a
->filterkey
, b
->filterkey
))
749 if (a
->fields
[i
].val
!= b
->fields
[i
].val
)
754 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
755 if (a
->mask
[i
] != b
->mask
[i
])
761 /* Duplicate the given audit watch. The new watch's rules list is initialized
762 * to an empty list and wlist is undefined. */
763 static struct audit_watch
*audit_dupe_watch(struct audit_watch
*old
)
766 struct audit_watch
*new;
768 path
= kstrdup(old
->path
, GFP_KERNEL
);
770 return ERR_PTR(-ENOMEM
);
772 new = audit_init_watch(path
);
773 if (unlikely(IS_ERR(new))) {
780 get_inotify_watch(&old
->parent
->wdata
);
781 new->parent
= old
->parent
;
787 /* Duplicate selinux field information. The se_rule is opaque, so must be
789 static inline int audit_dupe_selinux_field(struct audit_field
*df
,
790 struct audit_field
*sf
)
795 /* our own copy of se_str */
796 se_str
= kstrdup(sf
->se_str
, GFP_KERNEL
);
797 if (unlikely(IS_ERR(se_str
)))
801 /* our own (refreshed) copy of se_rule */
802 ret
= selinux_audit_rule_init(df
->type
, df
->op
, df
->se_str
,
804 /* Keep currently invalid fields around in case they
805 * become valid after a policy reload. */
806 if (ret
== -EINVAL
) {
807 printk(KERN_WARNING
"audit rule for selinux \'%s\' is "
808 "invalid\n", df
->se_str
);
815 /* Duplicate an audit rule. This will be a deep copy with the exception
816 * of the watch - that pointer is carried over. The selinux specific fields
817 * will be updated in the copy. The point is to be able to replace the old
818 * rule with the new rule in the filterlist, then free the old rule.
819 * The rlist element is undefined; list manipulations are handled apart from
820 * the initial copy. */
821 static struct audit_entry
*audit_dupe_rule(struct audit_krule
*old
,
822 struct audit_watch
*watch
)
824 u32 fcount
= old
->field_count
;
825 struct audit_entry
*entry
;
826 struct audit_krule
*new;
830 entry
= audit_init_entry(fcount
);
831 if (unlikely(!entry
))
832 return ERR_PTR(-ENOMEM
);
835 new->vers_ops
= old
->vers_ops
;
836 new->flags
= old
->flags
;
837 new->listnr
= old
->listnr
;
838 new->action
= old
->action
;
839 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
840 new->mask
[i
] = old
->mask
[i
];
841 new->buflen
= old
->buflen
;
842 new->inode_f
= old
->inode_f
;
844 new->field_count
= old
->field_count
;
845 memcpy(new->fields
, old
->fields
, sizeof(struct audit_field
) * fcount
);
847 /* deep copy this information, updating the se_rule fields, because
848 * the originals will all be freed when the old rule is freed. */
849 for (i
= 0; i
< fcount
; i
++) {
850 switch (new->fields
[i
].type
) {
851 case AUDIT_SUBJ_USER
:
852 case AUDIT_SUBJ_ROLE
:
853 case AUDIT_SUBJ_TYPE
:
859 case AUDIT_OBJ_LEV_LOW
:
860 case AUDIT_OBJ_LEV_HIGH
:
861 err
= audit_dupe_selinux_field(&new->fields
[i
],
864 case AUDIT_FILTERKEY
:
865 fk
= kstrdup(old
->filterkey
, GFP_KERNEL
);
872 audit_free_rule(entry
);
878 audit_get_watch(watch
);
885 /* Update inode info in audit rules based on filesystem event. */
886 static void audit_update_watch(struct audit_parent
*parent
,
887 const char *dname
, dev_t dev
,
888 unsigned long ino
, unsigned invalidating
)
890 struct audit_watch
*owatch
, *nwatch
, *nextw
;
891 struct audit_krule
*r
, *nextr
;
892 struct audit_entry
*oentry
, *nentry
;
893 struct audit_buffer
*ab
;
895 mutex_lock(&audit_filter_mutex
);
896 list_for_each_entry_safe(owatch
, nextw
, &parent
->watches
, wlist
) {
897 if (audit_compare_dname_path(dname
, owatch
->path
, NULL
))
900 /* If the update involves invalidating rules, do the inode-based
901 * filtering now, so we don't omit records. */
903 audit_filter_inodes(current
, current
->audit_context
) == AUDIT_RECORD_CONTEXT
)
904 audit_set_auditable(current
->audit_context
);
906 nwatch
= audit_dupe_watch(owatch
);
907 if (unlikely(IS_ERR(nwatch
))) {
908 mutex_unlock(&audit_filter_mutex
);
909 audit_panic("error updating watch, skipping");
915 list_for_each_entry_safe(r
, nextr
, &owatch
->rules
, rlist
) {
917 oentry
= container_of(r
, struct audit_entry
, rule
);
918 list_del(&oentry
->rule
.rlist
);
919 list_del_rcu(&oentry
->list
);
921 nentry
= audit_dupe_rule(&oentry
->rule
, nwatch
);
922 if (unlikely(IS_ERR(nentry
)))
923 audit_panic("error updating watch, removing");
925 int h
= audit_hash_ino((u32
)ino
);
926 list_add(&nentry
->rule
.rlist
, &nwatch
->rules
);
927 list_add_rcu(&nentry
->list
, &audit_inode_hash
[h
]);
930 call_rcu(&oentry
->rcu
, audit_free_rule_rcu
);
933 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
934 audit_log_format(ab
, "audit updated rules specifying path=");
935 audit_log_untrustedstring(ab
, owatch
->path
);
936 audit_log_format(ab
, " with dev=%u ino=%lu\n", dev
, ino
);
939 audit_remove_watch(owatch
);
940 goto add_watch_to_parent
; /* event applies to a single watch */
942 mutex_unlock(&audit_filter_mutex
);
946 list_add(&nwatch
->wlist
, &parent
->watches
);
947 mutex_unlock(&audit_filter_mutex
);
951 /* Remove all watches & rules associated with a parent that is going away. */
952 static void audit_remove_parent_watches(struct audit_parent
*parent
)
954 struct audit_watch
*w
, *nextw
;
955 struct audit_krule
*r
, *nextr
;
956 struct audit_entry
*e
;
957 struct audit_buffer
*ab
;
959 mutex_lock(&audit_filter_mutex
);
960 parent
->flags
|= AUDIT_PARENT_INVALID
;
961 list_for_each_entry_safe(w
, nextw
, &parent
->watches
, wlist
) {
962 list_for_each_entry_safe(r
, nextr
, &w
->rules
, rlist
) {
963 e
= container_of(r
, struct audit_entry
, rule
);
965 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
966 audit_log_format(ab
, "audit implicitly removed rule path=");
967 audit_log_untrustedstring(ab
, w
->path
);
969 audit_log_format(ab
, " key=");
970 audit_log_untrustedstring(ab
, r
->filterkey
);
972 audit_log_format(ab
, " key=(null)");
973 audit_log_format(ab
, " list=%d", r
->listnr
);
977 list_del_rcu(&e
->list
);
978 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
980 audit_remove_watch(w
);
982 mutex_unlock(&audit_filter_mutex
);
985 /* Unregister inotify watches for parents on in_list.
986 * Generates an IN_IGNORED event. */
987 static void audit_inotify_unregister(struct list_head
*in_list
)
989 struct audit_parent
*p
, *n
;
991 list_for_each_entry_safe(p
, n
, in_list
, ilist
) {
993 inotify_rm_watch(audit_ih
, &p
->wdata
);
994 /* the put matching the get in audit_do_del_rule() */
995 put_inotify_watch(&p
->wdata
);
999 /* Find an existing audit rule.
1000 * Caller must hold audit_filter_mutex to prevent stale rule data. */
1001 static struct audit_entry
*audit_find_rule(struct audit_entry
*entry
,
1002 struct list_head
*list
)
1004 struct audit_entry
*e
, *found
= NULL
;
1007 if (entry
->rule
.watch
) {
1008 /* we don't know the inode number, so must walk entire hash */
1009 for (h
= 0; h
< AUDIT_INODE_BUCKETS
; h
++) {
1010 list
= &audit_inode_hash
[h
];
1011 list_for_each_entry(e
, list
, list
)
1012 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1020 list_for_each_entry(e
, list
, list
)
1021 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1030 /* Get path information necessary for adding watches. */
1031 static int audit_get_nd(char *path
, struct nameidata
**ndp
,
1032 struct nameidata
**ndw
)
1034 struct nameidata
*ndparent
, *ndwatch
;
1037 ndparent
= kmalloc(sizeof(*ndparent
), GFP_KERNEL
);
1038 if (unlikely(!ndparent
))
1041 ndwatch
= kmalloc(sizeof(*ndwatch
), GFP_KERNEL
);
1042 if (unlikely(!ndwatch
)) {
1047 err
= path_lookup(path
, LOOKUP_PARENT
, ndparent
);
1054 err
= path_lookup(path
, 0, ndwatch
);
1066 /* Release resources used for watch path information. */
1067 static void audit_put_nd(struct nameidata
*ndp
, struct nameidata
*ndw
)
1079 /* Associate the given rule with an existing parent inotify_watch.
1080 * Caller must hold audit_filter_mutex. */
1081 static void audit_add_to_parent(struct audit_krule
*krule
,
1082 struct audit_parent
*parent
)
1084 struct audit_watch
*w
, *watch
= krule
->watch
;
1085 int watch_found
= 0;
1087 list_for_each_entry(w
, &parent
->watches
, wlist
) {
1088 if (strcmp(watch
->path
, w
->path
))
1093 /* put krule's and initial refs to temporary watch */
1094 audit_put_watch(watch
);
1095 audit_put_watch(watch
);
1098 krule
->watch
= watch
= w
;
1103 get_inotify_watch(&parent
->wdata
);
1104 watch
->parent
= parent
;
1106 list_add(&watch
->wlist
, &parent
->watches
);
1108 list_add(&krule
->rlist
, &watch
->rules
);
1111 /* Find a matching watch entry, or add this one.
1112 * Caller must hold audit_filter_mutex. */
1113 static int audit_add_watch(struct audit_krule
*krule
, struct nameidata
*ndp
,
1114 struct nameidata
*ndw
)
1116 struct audit_watch
*watch
= krule
->watch
;
1117 struct inotify_watch
*i_watch
;
1118 struct audit_parent
*parent
;
1121 /* update watch filter fields */
1123 watch
->dev
= ndw
->dentry
->d_inode
->i_sb
->s_dev
;
1124 watch
->ino
= ndw
->dentry
->d_inode
->i_ino
;
1127 /* The audit_filter_mutex must not be held during inotify calls because
1128 * we hold it during inotify event callback processing. If an existing
1129 * inotify watch is found, inotify_find_watch() grabs a reference before
1132 mutex_unlock(&audit_filter_mutex
);
1134 if (inotify_find_watch(audit_ih
, ndp
->dentry
->d_inode
, &i_watch
) < 0) {
1135 parent
= audit_init_parent(ndp
);
1136 if (IS_ERR(parent
)) {
1137 /* caller expects mutex locked */
1138 mutex_lock(&audit_filter_mutex
);
1139 return PTR_ERR(parent
);
1142 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1144 mutex_lock(&audit_filter_mutex
);
1146 /* parent was moved before we took audit_filter_mutex */
1147 if (parent
->flags
& AUDIT_PARENT_INVALID
)
1150 audit_add_to_parent(krule
, parent
);
1152 /* match get in audit_init_parent or inotify_find_watch */
1153 put_inotify_watch(&parent
->wdata
);
1157 /* Add rule to given filterlist if not a duplicate. */
1158 static inline int audit_add_rule(struct audit_entry
*entry
,
1159 struct list_head
*list
)
1161 struct audit_entry
*e
;
1162 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1163 struct audit_watch
*watch
= entry
->rule
.watch
;
1164 struct nameidata
*ndp
, *ndw
;
1165 int h
, err
, putnd_needed
= 0;
1166 #ifdef CONFIG_AUDITSYSCALL
1169 /* If either of these, don't count towards total */
1170 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1171 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1176 h
= audit_hash_ino(inode_f
->val
);
1177 list
= &audit_inode_hash
[h
];
1180 mutex_lock(&audit_filter_mutex
);
1181 e
= audit_find_rule(entry
, list
);
1182 mutex_unlock(&audit_filter_mutex
);
1188 /* Avoid calling path_lookup under audit_filter_mutex. */
1190 err
= audit_get_nd(watch
->path
, &ndp
, &ndw
);
1196 mutex_lock(&audit_filter_mutex
);
1198 /* audit_filter_mutex is dropped and re-taken during this call */
1199 err
= audit_add_watch(&entry
->rule
, ndp
, ndw
);
1201 mutex_unlock(&audit_filter_mutex
);
1204 h
= audit_hash_ino((u32
)watch
->ino
);
1205 list
= &audit_inode_hash
[h
];
1208 if (entry
->rule
.flags
& AUDIT_FILTER_PREPEND
) {
1209 list_add_rcu(&entry
->list
, list
);
1210 entry
->rule
.flags
&= ~AUDIT_FILTER_PREPEND
;
1212 list_add_tail_rcu(&entry
->list
, list
);
1214 #ifdef CONFIG_AUDITSYSCALL
1218 mutex_unlock(&audit_filter_mutex
);
1221 audit_put_nd(ndp
, ndw
);
1227 audit_put_nd(ndp
, ndw
);
1229 audit_put_watch(watch
); /* tmp watch, matches initial get */
1233 /* Remove an existing rule from filterlist. */
1234 static inline int audit_del_rule(struct audit_entry
*entry
,
1235 struct list_head
*list
)
1237 struct audit_entry
*e
;
1238 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1239 struct audit_watch
*watch
, *tmp_watch
= entry
->rule
.watch
;
1240 LIST_HEAD(inotify_list
);
1242 #ifdef CONFIG_AUDITSYSCALL
1245 /* If either of these, don't count towards total */
1246 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1247 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1252 h
= audit_hash_ino(inode_f
->val
);
1253 list
= &audit_inode_hash
[h
];
1256 mutex_lock(&audit_filter_mutex
);
1257 e
= audit_find_rule(entry
, list
);
1259 mutex_unlock(&audit_filter_mutex
);
1264 watch
= e
->rule
.watch
;
1266 struct audit_parent
*parent
= watch
->parent
;
1268 list_del(&e
->rule
.rlist
);
1270 if (list_empty(&watch
->rules
)) {
1271 audit_remove_watch(watch
);
1273 if (list_empty(&parent
->watches
)) {
1274 /* Put parent on the inotify un-registration
1275 * list. Grab a reference before releasing
1276 * audit_filter_mutex, to be released in
1277 * audit_inotify_unregister(). */
1278 list_add(&parent
->ilist
, &inotify_list
);
1279 get_inotify_watch(&parent
->wdata
);
1284 list_del_rcu(&e
->list
);
1285 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
1287 #ifdef CONFIG_AUDITSYSCALL
1291 mutex_unlock(&audit_filter_mutex
);
1293 if (!list_empty(&inotify_list
))
1294 audit_inotify_unregister(&inotify_list
);
1298 audit_put_watch(tmp_watch
); /* match initial get */
1303 /* List rules using struct audit_rule. Exists for backward
1304 * compatibility with userspace. */
1305 static void audit_list(int pid
, int seq
, struct sk_buff_head
*q
)
1307 struct sk_buff
*skb
;
1308 struct audit_entry
*entry
;
1311 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1312 * iterator to sync with list writers. */
1313 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1314 list_for_each_entry(entry
, &audit_filter_list
[i
], list
) {
1315 struct audit_rule
*rule
;
1317 rule
= audit_krule_to_rule(&entry
->rule
);
1318 if (unlikely(!rule
))
1320 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1321 rule
, sizeof(*rule
));
1323 skb_queue_tail(q
, skb
);
1327 for (i
= 0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1328 list_for_each_entry(entry
, &audit_inode_hash
[i
], list
) {
1329 struct audit_rule
*rule
;
1331 rule
= audit_krule_to_rule(&entry
->rule
);
1332 if (unlikely(!rule
))
1334 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1335 rule
, sizeof(*rule
));
1337 skb_queue_tail(q
, skb
);
1341 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 1, 1, NULL
, 0);
1343 skb_queue_tail(q
, skb
);
1346 /* List rules using struct audit_rule_data. */
1347 static void audit_list_rules(int pid
, int seq
, struct sk_buff_head
*q
)
1349 struct sk_buff
*skb
;
1350 struct audit_entry
*e
;
1353 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1354 * iterator to sync with list writers. */
1355 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1356 list_for_each_entry(e
, &audit_filter_list
[i
], list
) {
1357 struct audit_rule_data
*data
;
1359 data
= audit_krule_to_data(&e
->rule
);
1360 if (unlikely(!data
))
1362 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1363 data
, sizeof(*data
) + data
->buflen
);
1365 skb_queue_tail(q
, skb
);
1369 for (i
=0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1370 list_for_each_entry(e
, &audit_inode_hash
[i
], list
) {
1371 struct audit_rule_data
*data
;
1373 data
= audit_krule_to_data(&e
->rule
);
1374 if (unlikely(!data
))
1376 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1377 data
, sizeof(*data
) + data
->buflen
);
1379 skb_queue_tail(q
, skb
);
1383 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 1, 1, NULL
, 0);
1385 skb_queue_tail(q
, skb
);
1388 /* Log rule additions and removals */
1389 static void audit_log_rule_change(uid_t loginuid
, u32 sid
, char *action
,
1390 struct audit_krule
*rule
, int res
)
1392 struct audit_buffer
*ab
;
1394 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
1397 audit_log_format(ab
, "auid=%u", loginuid
);
1401 if (selinux_ctxid_to_string(sid
, &ctx
, &len
))
1402 audit_log_format(ab
, " ssid=%u", sid
);
1404 audit_log_format(ab
, " subj=%s", ctx
);
1407 audit_log_format(ab
, " %s rule key=", action
);
1408 if (rule
->filterkey
)
1409 audit_log_untrustedstring(ab
, rule
->filterkey
);
1411 audit_log_format(ab
, "(null)");
1412 audit_log_format(ab
, " list=%d res=%d", rule
->listnr
, res
);
1417 * audit_receive_filter - apply all rules to the specified message type
1418 * @type: audit message type
1419 * @pid: target pid for netlink audit messages
1420 * @uid: target uid for netlink audit messages
1421 * @seq: netlink audit message sequence (serial) number
1422 * @data: payload data
1423 * @datasz: size of payload data
1424 * @loginuid: loginuid of sender
1425 * @sid: SE Linux Security ID of sender
1427 int audit_receive_filter(int type
, int pid
, int uid
, int seq
, void *data
,
1428 size_t datasz
, uid_t loginuid
, u32 sid
)
1430 struct task_struct
*tsk
;
1431 struct audit_netlink_list
*dest
;
1433 struct audit_entry
*entry
;
1437 case AUDIT_LIST_RULES
:
1438 /* We can't just spew out the rules here because we might fill
1439 * the available socket buffer space and deadlock waiting for
1440 * auditctl to read from it... which isn't ever going to
1441 * happen if we're actually running in the context of auditctl
1442 * trying to _send_ the stuff */
1444 dest
= kmalloc(sizeof(struct audit_netlink_list
), GFP_KERNEL
);
1448 skb_queue_head_init(&dest
->q
);
1450 mutex_lock(&audit_filter_mutex
);
1451 if (type
== AUDIT_LIST
)
1452 audit_list(pid
, seq
, &dest
->q
);
1454 audit_list_rules(pid
, seq
, &dest
->q
);
1455 mutex_unlock(&audit_filter_mutex
);
1457 tsk
= kthread_run(audit_send_list
, dest
, "audit_send_list");
1459 skb_queue_purge(&dest
->q
);
1465 case AUDIT_ADD_RULE
:
1466 if (type
== AUDIT_ADD
)
1467 entry
= audit_rule_to_entry(data
);
1469 entry
= audit_data_to_entry(data
, datasz
);
1471 return PTR_ERR(entry
);
1473 err
= audit_add_rule(entry
,
1474 &audit_filter_list
[entry
->rule
.listnr
]);
1475 audit_log_rule_change(loginuid
, sid
, "add", &entry
->rule
, !err
);
1478 audit_free_rule(entry
);
1481 case AUDIT_DEL_RULE
:
1482 if (type
== AUDIT_DEL
)
1483 entry
= audit_rule_to_entry(data
);
1485 entry
= audit_data_to_entry(data
, datasz
);
1487 return PTR_ERR(entry
);
1489 err
= audit_del_rule(entry
,
1490 &audit_filter_list
[entry
->rule
.listnr
]);
1491 audit_log_rule_change(loginuid
, sid
, "remove", &entry
->rule
,
1494 audit_free_rule(entry
);
1503 int audit_comparator(const u32 left
, const u32 op
, const u32 right
)
1507 return (left
== right
);
1508 case AUDIT_NOT_EQUAL
:
1509 return (left
!= right
);
1510 case AUDIT_LESS_THAN
:
1511 return (left
< right
);
1512 case AUDIT_LESS_THAN_OR_EQUAL
:
1513 return (left
<= right
);
1514 case AUDIT_GREATER_THAN
:
1515 return (left
> right
);
1516 case AUDIT_GREATER_THAN_OR_EQUAL
:
1517 return (left
>= right
);
1523 /* Compare given dentry name with last component in given path,
1524 * return of 0 indicates a match. */
1525 int audit_compare_dname_path(const char *dname
, const char *path
,
1531 if (!dname
|| !path
)
1534 dlen
= strlen(dname
);
1535 plen
= strlen(path
);
1539 /* disregard trailing slashes */
1540 p
= path
+ plen
- 1;
1541 while ((*p
== '/') && (p
> path
))
1544 /* find last path component */
1548 else if (p
> path
) {
1555 /* return length of path's directory component */
1558 return strncmp(p
, dname
, dlen
);
1561 static int audit_filter_user_rules(struct netlink_skb_parms
*cb
,
1562 struct audit_krule
*rule
,
1563 enum audit_state
*state
)
1567 for (i
= 0; i
< rule
->field_count
; i
++) {
1568 struct audit_field
*f
= &rule
->fields
[i
];
1573 result
= audit_comparator(cb
->creds
.pid
, f
->op
, f
->val
);
1576 result
= audit_comparator(cb
->creds
.uid
, f
->op
, f
->val
);
1579 result
= audit_comparator(cb
->creds
.gid
, f
->op
, f
->val
);
1581 case AUDIT_LOGINUID
:
1582 result
= audit_comparator(cb
->loginuid
, f
->op
, f
->val
);
1589 switch (rule
->action
) {
1590 case AUDIT_NEVER
: *state
= AUDIT_DISABLED
; break;
1591 case AUDIT_ALWAYS
: *state
= AUDIT_RECORD_CONTEXT
; break;
1596 int audit_filter_user(struct netlink_skb_parms
*cb
, int type
)
1598 struct audit_entry
*e
;
1599 enum audit_state state
;
1603 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_USER
], list
) {
1604 if (audit_filter_user_rules(cb
, &e
->rule
, &state
)) {
1605 if (state
== AUDIT_DISABLED
)
1612 return ret
; /* Audit by default */
1615 int audit_filter_type(int type
)
1617 struct audit_entry
*e
;
1621 if (list_empty(&audit_filter_list
[AUDIT_FILTER_TYPE
]))
1622 goto unlock_and_return
;
1624 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_TYPE
],
1627 for (i
= 0; i
< e
->rule
.field_count
; i
++) {
1628 struct audit_field
*f
= &e
->rule
.fields
[i
];
1629 if (f
->type
== AUDIT_MSGTYPE
) {
1630 result
= audit_comparator(type
, f
->op
, f
->val
);
1636 goto unlock_and_return
;
1643 /* Check to see if the rule contains any selinux fields. Returns 1 if there
1644 are selinux fields specified in the rule, 0 otherwise. */
1645 static inline int audit_rule_has_selinux(struct audit_krule
*rule
)
1649 for (i
= 0; i
< rule
->field_count
; i
++) {
1650 struct audit_field
*f
= &rule
->fields
[i
];
1652 case AUDIT_SUBJ_USER
:
1653 case AUDIT_SUBJ_ROLE
:
1654 case AUDIT_SUBJ_TYPE
:
1655 case AUDIT_SUBJ_SEN
:
1656 case AUDIT_SUBJ_CLR
:
1657 case AUDIT_OBJ_USER
:
1658 case AUDIT_OBJ_ROLE
:
1659 case AUDIT_OBJ_TYPE
:
1660 case AUDIT_OBJ_LEV_LOW
:
1661 case AUDIT_OBJ_LEV_HIGH
:
1669 /* This function will re-initialize the se_rule field of all applicable rules.
1670 * It will traverse the filter lists serarching for rules that contain selinux
1671 * specific filter fields. When such a rule is found, it is copied, the
1672 * selinux field is re-initialized, and the old rule is replaced with the
1674 int selinux_audit_rule_update(void)
1676 struct audit_entry
*entry
, *n
, *nentry
;
1677 struct audit_watch
*watch
;
1680 /* audit_filter_mutex synchronizes the writers */
1681 mutex_lock(&audit_filter_mutex
);
1683 for (i
= 0; i
< AUDIT_NR_FILTERS
; i
++) {
1684 list_for_each_entry_safe(entry
, n
, &audit_filter_list
[i
], list
) {
1685 if (!audit_rule_has_selinux(&entry
->rule
))
1688 watch
= entry
->rule
.watch
;
1689 nentry
= audit_dupe_rule(&entry
->rule
, watch
);
1690 if (unlikely(IS_ERR(nentry
))) {
1691 /* save the first error encountered for the
1694 err
= PTR_ERR(nentry
);
1695 audit_panic("error updating selinux filters");
1697 list_del(&entry
->rule
.rlist
);
1698 list_del_rcu(&entry
->list
);
1701 list_add(&nentry
->rule
.rlist
,
1703 list_del(&entry
->rule
.rlist
);
1705 list_replace_rcu(&entry
->list
, &nentry
->list
);
1707 call_rcu(&entry
->rcu
, audit_free_rule_rcu
);
1711 mutex_unlock(&audit_filter_mutex
);
1716 /* Update watch data in audit rules based on inotify events. */
1717 void audit_handle_ievent(struct inotify_watch
*i_watch
, u32 wd
, u32 mask
,
1718 u32 cookie
, const char *dname
, struct inode
*inode
)
1720 struct audit_parent
*parent
;
1722 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1724 if (mask
& (IN_CREATE
|IN_MOVED_TO
) && inode
)
1725 audit_update_watch(parent
, dname
, inode
->i_sb
->s_dev
,
1727 else if (mask
& (IN_DELETE
|IN_MOVED_FROM
))
1728 audit_update_watch(parent
, dname
, (dev_t
)-1, (unsigned long)-1, 1);
1729 /* inotify automatically removes the watch and sends IN_IGNORED */
1730 else if (mask
& (IN_DELETE_SELF
|IN_UNMOUNT
))
1731 audit_remove_parent_watches(parent
);
1732 /* inotify does not remove the watch, so remove it manually */
1733 else if(mask
& IN_MOVE_SELF
) {
1734 audit_remove_parent_watches(parent
);
1735 inotify_remove_watch_locked(audit_ih
, i_watch
);
1736 } else if (mask
& IN_IGNORED
)
1737 put_inotify_watch(i_watch
);