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
= kzalloc(sizeof(*rule
), GFP_KERNEL
);
643 rule
->flags
= krule
->flags
| krule
->listnr
;
644 rule
->action
= krule
->action
;
645 rule
->field_count
= krule
->field_count
;
646 for (i
= 0; i
< rule
->field_count
; i
++) {
647 rule
->values
[i
] = krule
->fields
[i
].val
;
648 rule
->fields
[i
] = krule
->fields
[i
].type
;
650 if (krule
->vers_ops
== 1) {
651 if (krule
->fields
[i
].op
& AUDIT_NOT_EQUAL
)
652 rule
->fields
[i
] |= AUDIT_NEGATE
;
654 rule
->fields
[i
] |= krule
->fields
[i
].op
;
657 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) rule
->mask
[i
] = krule
->mask
[i
];
662 /* Translate kernel rule respresentation to struct audit_rule_data. */
663 static struct audit_rule_data
*audit_krule_to_data(struct audit_krule
*krule
)
665 struct audit_rule_data
*data
;
669 data
= kmalloc(sizeof(*data
) + krule
->buflen
, GFP_KERNEL
);
672 memset(data
, 0, sizeof(*data
));
674 data
->flags
= krule
->flags
| krule
->listnr
;
675 data
->action
= krule
->action
;
676 data
->field_count
= krule
->field_count
;
678 for (i
= 0; i
< data
->field_count
; i
++) {
679 struct audit_field
*f
= &krule
->fields
[i
];
681 data
->fields
[i
] = f
->type
;
682 data
->fieldflags
[i
] = f
->op
;
684 case AUDIT_SUBJ_USER
:
685 case AUDIT_SUBJ_ROLE
:
686 case AUDIT_SUBJ_TYPE
:
692 case AUDIT_OBJ_LEV_LOW
:
693 case AUDIT_OBJ_LEV_HIGH
:
694 data
->buflen
+= data
->values
[i
] =
695 audit_pack_string(&bufp
, f
->se_str
);
698 data
->buflen
+= data
->values
[i
] =
699 audit_pack_string(&bufp
, krule
->watch
->path
);
701 case AUDIT_FILTERKEY
:
702 data
->buflen
+= data
->values
[i
] =
703 audit_pack_string(&bufp
, krule
->filterkey
);
706 data
->values
[i
] = f
->val
;
709 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++) data
->mask
[i
] = krule
->mask
[i
];
714 /* Compare two rules in kernel format. Considered success if rules
716 static int audit_compare_rule(struct audit_krule
*a
, struct audit_krule
*b
)
720 if (a
->flags
!= b
->flags
||
721 a
->listnr
!= b
->listnr
||
722 a
->action
!= b
->action
||
723 a
->field_count
!= b
->field_count
)
726 for (i
= 0; i
< a
->field_count
; i
++) {
727 if (a
->fields
[i
].type
!= b
->fields
[i
].type
||
728 a
->fields
[i
].op
!= b
->fields
[i
].op
)
731 switch(a
->fields
[i
].type
) {
732 case AUDIT_SUBJ_USER
:
733 case AUDIT_SUBJ_ROLE
:
734 case AUDIT_SUBJ_TYPE
:
740 case AUDIT_OBJ_LEV_LOW
:
741 case AUDIT_OBJ_LEV_HIGH
:
742 if (strcmp(a
->fields
[i
].se_str
, b
->fields
[i
].se_str
))
746 if (strcmp(a
->watch
->path
, b
->watch
->path
))
749 case AUDIT_FILTERKEY
:
750 /* both filterkeys exist based on above type compare */
751 if (strcmp(a
->filterkey
, b
->filterkey
))
755 if (a
->fields
[i
].val
!= b
->fields
[i
].val
)
760 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
761 if (a
->mask
[i
] != b
->mask
[i
])
767 /* Duplicate the given audit watch. The new watch's rules list is initialized
768 * to an empty list and wlist is undefined. */
769 static struct audit_watch
*audit_dupe_watch(struct audit_watch
*old
)
772 struct audit_watch
*new;
774 path
= kstrdup(old
->path
, GFP_KERNEL
);
776 return ERR_PTR(-ENOMEM
);
778 new = audit_init_watch(path
);
779 if (unlikely(IS_ERR(new))) {
786 get_inotify_watch(&old
->parent
->wdata
);
787 new->parent
= old
->parent
;
793 /* Duplicate selinux field information. The se_rule is opaque, so must be
795 static inline int audit_dupe_selinux_field(struct audit_field
*df
,
796 struct audit_field
*sf
)
801 /* our own copy of se_str */
802 se_str
= kstrdup(sf
->se_str
, GFP_KERNEL
);
803 if (unlikely(!se_str
))
807 /* our own (refreshed) copy of se_rule */
808 ret
= selinux_audit_rule_init(df
->type
, df
->op
, df
->se_str
,
810 /* Keep currently invalid fields around in case they
811 * become valid after a policy reload. */
812 if (ret
== -EINVAL
) {
813 printk(KERN_WARNING
"audit rule for selinux \'%s\' is "
814 "invalid\n", df
->se_str
);
821 /* Duplicate an audit rule. This will be a deep copy with the exception
822 * of the watch - that pointer is carried over. The selinux specific fields
823 * will be updated in the copy. The point is to be able to replace the old
824 * rule with the new rule in the filterlist, then free the old rule.
825 * The rlist element is undefined; list manipulations are handled apart from
826 * the initial copy. */
827 static struct audit_entry
*audit_dupe_rule(struct audit_krule
*old
,
828 struct audit_watch
*watch
)
830 u32 fcount
= old
->field_count
;
831 struct audit_entry
*entry
;
832 struct audit_krule
*new;
836 entry
= audit_init_entry(fcount
);
837 if (unlikely(!entry
))
838 return ERR_PTR(-ENOMEM
);
841 new->vers_ops
= old
->vers_ops
;
842 new->flags
= old
->flags
;
843 new->listnr
= old
->listnr
;
844 new->action
= old
->action
;
845 for (i
= 0; i
< AUDIT_BITMASK_SIZE
; i
++)
846 new->mask
[i
] = old
->mask
[i
];
847 new->buflen
= old
->buflen
;
848 new->inode_f
= old
->inode_f
;
850 new->field_count
= old
->field_count
;
851 memcpy(new->fields
, old
->fields
, sizeof(struct audit_field
) * fcount
);
853 /* deep copy this information, updating the se_rule fields, because
854 * the originals will all be freed when the old rule is freed. */
855 for (i
= 0; i
< fcount
; i
++) {
856 switch (new->fields
[i
].type
) {
857 case AUDIT_SUBJ_USER
:
858 case AUDIT_SUBJ_ROLE
:
859 case AUDIT_SUBJ_TYPE
:
865 case AUDIT_OBJ_LEV_LOW
:
866 case AUDIT_OBJ_LEV_HIGH
:
867 err
= audit_dupe_selinux_field(&new->fields
[i
],
870 case AUDIT_FILTERKEY
:
871 fk
= kstrdup(old
->filterkey
, GFP_KERNEL
);
878 audit_free_rule(entry
);
884 audit_get_watch(watch
);
891 /* Update inode info in audit rules based on filesystem event. */
892 static void audit_update_watch(struct audit_parent
*parent
,
893 const char *dname
, dev_t dev
,
894 unsigned long ino
, unsigned invalidating
)
896 struct audit_watch
*owatch
, *nwatch
, *nextw
;
897 struct audit_krule
*r
, *nextr
;
898 struct audit_entry
*oentry
, *nentry
;
899 struct audit_buffer
*ab
;
901 mutex_lock(&audit_filter_mutex
);
902 list_for_each_entry_safe(owatch
, nextw
, &parent
->watches
, wlist
) {
903 if (audit_compare_dname_path(dname
, owatch
->path
, NULL
))
906 /* If the update involves invalidating rules, do the inode-based
907 * filtering now, so we don't omit records. */
909 audit_filter_inodes(current
, current
->audit_context
) == AUDIT_RECORD_CONTEXT
)
910 audit_set_auditable(current
->audit_context
);
912 nwatch
= audit_dupe_watch(owatch
);
913 if (unlikely(IS_ERR(nwatch
))) {
914 mutex_unlock(&audit_filter_mutex
);
915 audit_panic("error updating watch, skipping");
921 list_for_each_entry_safe(r
, nextr
, &owatch
->rules
, rlist
) {
923 oentry
= container_of(r
, struct audit_entry
, rule
);
924 list_del(&oentry
->rule
.rlist
);
925 list_del_rcu(&oentry
->list
);
927 nentry
= audit_dupe_rule(&oentry
->rule
, nwatch
);
928 if (unlikely(IS_ERR(nentry
)))
929 audit_panic("error updating watch, removing");
931 int h
= audit_hash_ino((u32
)ino
);
932 list_add(&nentry
->rule
.rlist
, &nwatch
->rules
);
933 list_add_rcu(&nentry
->list
, &audit_inode_hash
[h
]);
936 call_rcu(&oentry
->rcu
, audit_free_rule_rcu
);
939 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
940 audit_log_format(ab
, "audit updated rules specifying path=");
941 audit_log_untrustedstring(ab
, owatch
->path
);
942 audit_log_format(ab
, " with dev=%u ino=%lu\n", dev
, ino
);
945 audit_remove_watch(owatch
);
946 goto add_watch_to_parent
; /* event applies to a single watch */
948 mutex_unlock(&audit_filter_mutex
);
952 list_add(&nwatch
->wlist
, &parent
->watches
);
953 mutex_unlock(&audit_filter_mutex
);
957 /* Remove all watches & rules associated with a parent that is going away. */
958 static void audit_remove_parent_watches(struct audit_parent
*parent
)
960 struct audit_watch
*w
, *nextw
;
961 struct audit_krule
*r
, *nextr
;
962 struct audit_entry
*e
;
963 struct audit_buffer
*ab
;
965 mutex_lock(&audit_filter_mutex
);
966 parent
->flags
|= AUDIT_PARENT_INVALID
;
967 list_for_each_entry_safe(w
, nextw
, &parent
->watches
, wlist
) {
968 list_for_each_entry_safe(r
, nextr
, &w
->rules
, rlist
) {
969 e
= container_of(r
, struct audit_entry
, rule
);
971 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
972 audit_log_format(ab
, "audit implicitly removed rule path=");
973 audit_log_untrustedstring(ab
, w
->path
);
975 audit_log_format(ab
, " key=");
976 audit_log_untrustedstring(ab
, r
->filterkey
);
978 audit_log_format(ab
, " key=(null)");
979 audit_log_format(ab
, " list=%d", r
->listnr
);
983 list_del_rcu(&e
->list
);
984 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
986 audit_remove_watch(w
);
988 mutex_unlock(&audit_filter_mutex
);
991 /* Unregister inotify watches for parents on in_list.
992 * Generates an IN_IGNORED event. */
993 static void audit_inotify_unregister(struct list_head
*in_list
)
995 struct audit_parent
*p
, *n
;
997 list_for_each_entry_safe(p
, n
, in_list
, ilist
) {
999 inotify_rm_watch(audit_ih
, &p
->wdata
);
1000 /* the put matching the get in audit_do_del_rule() */
1001 put_inotify_watch(&p
->wdata
);
1005 /* Find an existing audit rule.
1006 * Caller must hold audit_filter_mutex to prevent stale rule data. */
1007 static struct audit_entry
*audit_find_rule(struct audit_entry
*entry
,
1008 struct list_head
*list
)
1010 struct audit_entry
*e
, *found
= NULL
;
1013 if (entry
->rule
.watch
) {
1014 /* we don't know the inode number, so must walk entire hash */
1015 for (h
= 0; h
< AUDIT_INODE_BUCKETS
; h
++) {
1016 list
= &audit_inode_hash
[h
];
1017 list_for_each_entry(e
, list
, list
)
1018 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1026 list_for_each_entry(e
, list
, list
)
1027 if (!audit_compare_rule(&entry
->rule
, &e
->rule
)) {
1036 /* Get path information necessary for adding watches. */
1037 static int audit_get_nd(char *path
, struct nameidata
**ndp
,
1038 struct nameidata
**ndw
)
1040 struct nameidata
*ndparent
, *ndwatch
;
1043 ndparent
= kmalloc(sizeof(*ndparent
), GFP_KERNEL
);
1044 if (unlikely(!ndparent
))
1047 ndwatch
= kmalloc(sizeof(*ndwatch
), GFP_KERNEL
);
1048 if (unlikely(!ndwatch
)) {
1053 err
= path_lookup(path
, LOOKUP_PARENT
, ndparent
);
1060 err
= path_lookup(path
, 0, ndwatch
);
1072 /* Release resources used for watch path information. */
1073 static void audit_put_nd(struct nameidata
*ndp
, struct nameidata
*ndw
)
1085 /* Associate the given rule with an existing parent inotify_watch.
1086 * Caller must hold audit_filter_mutex. */
1087 static void audit_add_to_parent(struct audit_krule
*krule
,
1088 struct audit_parent
*parent
)
1090 struct audit_watch
*w
, *watch
= krule
->watch
;
1091 int watch_found
= 0;
1093 list_for_each_entry(w
, &parent
->watches
, wlist
) {
1094 if (strcmp(watch
->path
, w
->path
))
1099 /* put krule's and initial refs to temporary watch */
1100 audit_put_watch(watch
);
1101 audit_put_watch(watch
);
1104 krule
->watch
= watch
= w
;
1109 get_inotify_watch(&parent
->wdata
);
1110 watch
->parent
= parent
;
1112 list_add(&watch
->wlist
, &parent
->watches
);
1114 list_add(&krule
->rlist
, &watch
->rules
);
1117 /* Find a matching watch entry, or add this one.
1118 * Caller must hold audit_filter_mutex. */
1119 static int audit_add_watch(struct audit_krule
*krule
, struct nameidata
*ndp
,
1120 struct nameidata
*ndw
)
1122 struct audit_watch
*watch
= krule
->watch
;
1123 struct inotify_watch
*i_watch
;
1124 struct audit_parent
*parent
;
1127 /* update watch filter fields */
1129 watch
->dev
= ndw
->dentry
->d_inode
->i_sb
->s_dev
;
1130 watch
->ino
= ndw
->dentry
->d_inode
->i_ino
;
1133 /* The audit_filter_mutex must not be held during inotify calls because
1134 * we hold it during inotify event callback processing. If an existing
1135 * inotify watch is found, inotify_find_watch() grabs a reference before
1138 mutex_unlock(&audit_filter_mutex
);
1140 if (inotify_find_watch(audit_ih
, ndp
->dentry
->d_inode
, &i_watch
) < 0) {
1141 parent
= audit_init_parent(ndp
);
1142 if (IS_ERR(parent
)) {
1143 /* caller expects mutex locked */
1144 mutex_lock(&audit_filter_mutex
);
1145 return PTR_ERR(parent
);
1148 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1150 mutex_lock(&audit_filter_mutex
);
1152 /* parent was moved before we took audit_filter_mutex */
1153 if (parent
->flags
& AUDIT_PARENT_INVALID
)
1156 audit_add_to_parent(krule
, parent
);
1158 /* match get in audit_init_parent or inotify_find_watch */
1159 put_inotify_watch(&parent
->wdata
);
1163 /* Add rule to given filterlist if not a duplicate. */
1164 static inline int audit_add_rule(struct audit_entry
*entry
,
1165 struct list_head
*list
)
1167 struct audit_entry
*e
;
1168 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1169 struct audit_watch
*watch
= entry
->rule
.watch
;
1170 struct nameidata
*ndp
, *ndw
;
1171 int h
, err
, putnd_needed
= 0;
1172 #ifdef CONFIG_AUDITSYSCALL
1175 /* If either of these, don't count towards total */
1176 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1177 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1182 h
= audit_hash_ino(inode_f
->val
);
1183 list
= &audit_inode_hash
[h
];
1186 mutex_lock(&audit_filter_mutex
);
1187 e
= audit_find_rule(entry
, list
);
1188 mutex_unlock(&audit_filter_mutex
);
1194 /* Avoid calling path_lookup under audit_filter_mutex. */
1196 err
= audit_get_nd(watch
->path
, &ndp
, &ndw
);
1202 mutex_lock(&audit_filter_mutex
);
1204 /* audit_filter_mutex is dropped and re-taken during this call */
1205 err
= audit_add_watch(&entry
->rule
, ndp
, ndw
);
1207 mutex_unlock(&audit_filter_mutex
);
1210 h
= audit_hash_ino((u32
)watch
->ino
);
1211 list
= &audit_inode_hash
[h
];
1214 if (entry
->rule
.flags
& AUDIT_FILTER_PREPEND
) {
1215 list_add_rcu(&entry
->list
, list
);
1216 entry
->rule
.flags
&= ~AUDIT_FILTER_PREPEND
;
1218 list_add_tail_rcu(&entry
->list
, list
);
1220 #ifdef CONFIG_AUDITSYSCALL
1224 mutex_unlock(&audit_filter_mutex
);
1227 audit_put_nd(ndp
, ndw
);
1233 audit_put_nd(ndp
, ndw
);
1235 audit_put_watch(watch
); /* tmp watch, matches initial get */
1239 /* Remove an existing rule from filterlist. */
1240 static inline int audit_del_rule(struct audit_entry
*entry
,
1241 struct list_head
*list
)
1243 struct audit_entry
*e
;
1244 struct audit_field
*inode_f
= entry
->rule
.inode_f
;
1245 struct audit_watch
*watch
, *tmp_watch
= entry
->rule
.watch
;
1246 LIST_HEAD(inotify_list
);
1248 #ifdef CONFIG_AUDITSYSCALL
1251 /* If either of these, don't count towards total */
1252 if (entry
->rule
.listnr
== AUDIT_FILTER_USER
||
1253 entry
->rule
.listnr
== AUDIT_FILTER_TYPE
)
1258 h
= audit_hash_ino(inode_f
->val
);
1259 list
= &audit_inode_hash
[h
];
1262 mutex_lock(&audit_filter_mutex
);
1263 e
= audit_find_rule(entry
, list
);
1265 mutex_unlock(&audit_filter_mutex
);
1270 watch
= e
->rule
.watch
;
1272 struct audit_parent
*parent
= watch
->parent
;
1274 list_del(&e
->rule
.rlist
);
1276 if (list_empty(&watch
->rules
)) {
1277 audit_remove_watch(watch
);
1279 if (list_empty(&parent
->watches
)) {
1280 /* Put parent on the inotify un-registration
1281 * list. Grab a reference before releasing
1282 * audit_filter_mutex, to be released in
1283 * audit_inotify_unregister(). */
1284 list_add(&parent
->ilist
, &inotify_list
);
1285 get_inotify_watch(&parent
->wdata
);
1290 list_del_rcu(&e
->list
);
1291 call_rcu(&e
->rcu
, audit_free_rule_rcu
);
1293 #ifdef CONFIG_AUDITSYSCALL
1297 mutex_unlock(&audit_filter_mutex
);
1299 if (!list_empty(&inotify_list
))
1300 audit_inotify_unregister(&inotify_list
);
1304 audit_put_watch(tmp_watch
); /* match initial get */
1309 /* List rules using struct audit_rule. Exists for backward
1310 * compatibility with userspace. */
1311 static void audit_list(int pid
, int seq
, struct sk_buff_head
*q
)
1313 struct sk_buff
*skb
;
1314 struct audit_entry
*entry
;
1317 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1318 * iterator to sync with list writers. */
1319 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1320 list_for_each_entry(entry
, &audit_filter_list
[i
], list
) {
1321 struct audit_rule
*rule
;
1323 rule
= audit_krule_to_rule(&entry
->rule
);
1324 if (unlikely(!rule
))
1326 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1327 rule
, sizeof(*rule
));
1329 skb_queue_tail(q
, skb
);
1333 for (i
= 0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1334 list_for_each_entry(entry
, &audit_inode_hash
[i
], list
) {
1335 struct audit_rule
*rule
;
1337 rule
= audit_krule_to_rule(&entry
->rule
);
1338 if (unlikely(!rule
))
1340 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 0, 1,
1341 rule
, sizeof(*rule
));
1343 skb_queue_tail(q
, skb
);
1347 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST
, 1, 1, NULL
, 0);
1349 skb_queue_tail(q
, skb
);
1352 /* List rules using struct audit_rule_data. */
1353 static void audit_list_rules(int pid
, int seq
, struct sk_buff_head
*q
)
1355 struct sk_buff
*skb
;
1356 struct audit_entry
*e
;
1359 /* This is a blocking read, so use audit_filter_mutex instead of rcu
1360 * iterator to sync with list writers. */
1361 for (i
=0; i
<AUDIT_NR_FILTERS
; i
++) {
1362 list_for_each_entry(e
, &audit_filter_list
[i
], list
) {
1363 struct audit_rule_data
*data
;
1365 data
= audit_krule_to_data(&e
->rule
);
1366 if (unlikely(!data
))
1368 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1369 data
, sizeof(*data
) + data
->buflen
);
1371 skb_queue_tail(q
, skb
);
1375 for (i
=0; i
< AUDIT_INODE_BUCKETS
; i
++) {
1376 list_for_each_entry(e
, &audit_inode_hash
[i
], list
) {
1377 struct audit_rule_data
*data
;
1379 data
= audit_krule_to_data(&e
->rule
);
1380 if (unlikely(!data
))
1382 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 0, 1,
1383 data
, sizeof(*data
) + data
->buflen
);
1385 skb_queue_tail(q
, skb
);
1389 skb
= audit_make_reply(pid
, seq
, AUDIT_LIST_RULES
, 1, 1, NULL
, 0);
1391 skb_queue_tail(q
, skb
);
1394 /* Log rule additions and removals */
1395 static void audit_log_rule_change(uid_t loginuid
, u32 sid
, char *action
,
1396 struct audit_krule
*rule
, int res
)
1398 struct audit_buffer
*ab
;
1400 ab
= audit_log_start(NULL
, GFP_KERNEL
, AUDIT_CONFIG_CHANGE
);
1403 audit_log_format(ab
, "auid=%u", loginuid
);
1407 if (selinux_sid_to_string(sid
, &ctx
, &len
))
1408 audit_log_format(ab
, " ssid=%u", sid
);
1410 audit_log_format(ab
, " subj=%s", ctx
);
1413 audit_log_format(ab
, " %s rule key=", action
);
1414 if (rule
->filterkey
)
1415 audit_log_untrustedstring(ab
, rule
->filterkey
);
1417 audit_log_format(ab
, "(null)");
1418 audit_log_format(ab
, " list=%d res=%d", rule
->listnr
, res
);
1423 * audit_receive_filter - apply all rules to the specified message type
1424 * @type: audit message type
1425 * @pid: target pid for netlink audit messages
1426 * @uid: target uid for netlink audit messages
1427 * @seq: netlink audit message sequence (serial) number
1428 * @data: payload data
1429 * @datasz: size of payload data
1430 * @loginuid: loginuid of sender
1431 * @sid: SE Linux Security ID of sender
1433 int audit_receive_filter(int type
, int pid
, int uid
, int seq
, void *data
,
1434 size_t datasz
, uid_t loginuid
, u32 sid
)
1436 struct task_struct
*tsk
;
1437 struct audit_netlink_list
*dest
;
1439 struct audit_entry
*entry
;
1443 case AUDIT_LIST_RULES
:
1444 /* We can't just spew out the rules here because we might fill
1445 * the available socket buffer space and deadlock waiting for
1446 * auditctl to read from it... which isn't ever going to
1447 * happen if we're actually running in the context of auditctl
1448 * trying to _send_ the stuff */
1450 dest
= kmalloc(sizeof(struct audit_netlink_list
), GFP_KERNEL
);
1454 skb_queue_head_init(&dest
->q
);
1456 mutex_lock(&audit_filter_mutex
);
1457 if (type
== AUDIT_LIST
)
1458 audit_list(pid
, seq
, &dest
->q
);
1460 audit_list_rules(pid
, seq
, &dest
->q
);
1461 mutex_unlock(&audit_filter_mutex
);
1463 tsk
= kthread_run(audit_send_list
, dest
, "audit_send_list");
1465 skb_queue_purge(&dest
->q
);
1471 case AUDIT_ADD_RULE
:
1472 if (type
== AUDIT_ADD
)
1473 entry
= audit_rule_to_entry(data
);
1475 entry
= audit_data_to_entry(data
, datasz
);
1477 return PTR_ERR(entry
);
1479 err
= audit_add_rule(entry
,
1480 &audit_filter_list
[entry
->rule
.listnr
]);
1481 audit_log_rule_change(loginuid
, sid
, "add", &entry
->rule
, !err
);
1484 audit_free_rule(entry
);
1487 case AUDIT_DEL_RULE
:
1488 if (type
== AUDIT_DEL
)
1489 entry
= audit_rule_to_entry(data
);
1491 entry
= audit_data_to_entry(data
, datasz
);
1493 return PTR_ERR(entry
);
1495 err
= audit_del_rule(entry
,
1496 &audit_filter_list
[entry
->rule
.listnr
]);
1497 audit_log_rule_change(loginuid
, sid
, "remove", &entry
->rule
,
1500 audit_free_rule(entry
);
1509 int audit_comparator(const u32 left
, const u32 op
, const u32 right
)
1513 return (left
== right
);
1514 case AUDIT_NOT_EQUAL
:
1515 return (left
!= right
);
1516 case AUDIT_LESS_THAN
:
1517 return (left
< right
);
1518 case AUDIT_LESS_THAN_OR_EQUAL
:
1519 return (left
<= right
);
1520 case AUDIT_GREATER_THAN
:
1521 return (left
> right
);
1522 case AUDIT_GREATER_THAN_OR_EQUAL
:
1523 return (left
>= right
);
1529 /* Compare given dentry name with last component in given path,
1530 * return of 0 indicates a match. */
1531 int audit_compare_dname_path(const char *dname
, const char *path
,
1537 if (!dname
|| !path
)
1540 dlen
= strlen(dname
);
1541 plen
= strlen(path
);
1545 /* disregard trailing slashes */
1546 p
= path
+ plen
- 1;
1547 while ((*p
== '/') && (p
> path
))
1550 /* find last path component */
1554 else if (p
> path
) {
1561 /* return length of path's directory component */
1564 return strncmp(p
, dname
, dlen
);
1567 static int audit_filter_user_rules(struct netlink_skb_parms
*cb
,
1568 struct audit_krule
*rule
,
1569 enum audit_state
*state
)
1573 for (i
= 0; i
< rule
->field_count
; i
++) {
1574 struct audit_field
*f
= &rule
->fields
[i
];
1579 result
= audit_comparator(cb
->creds
.pid
, f
->op
, f
->val
);
1582 result
= audit_comparator(cb
->creds
.uid
, f
->op
, f
->val
);
1585 result
= audit_comparator(cb
->creds
.gid
, f
->op
, f
->val
);
1587 case AUDIT_LOGINUID
:
1588 result
= audit_comparator(cb
->loginuid
, f
->op
, f
->val
);
1595 switch (rule
->action
) {
1596 case AUDIT_NEVER
: *state
= AUDIT_DISABLED
; break;
1597 case AUDIT_ALWAYS
: *state
= AUDIT_RECORD_CONTEXT
; break;
1602 int audit_filter_user(struct netlink_skb_parms
*cb
, int type
)
1604 struct audit_entry
*e
;
1605 enum audit_state state
;
1609 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_USER
], list
) {
1610 if (audit_filter_user_rules(cb
, &e
->rule
, &state
)) {
1611 if (state
== AUDIT_DISABLED
)
1618 return ret
; /* Audit by default */
1621 int audit_filter_type(int type
)
1623 struct audit_entry
*e
;
1627 if (list_empty(&audit_filter_list
[AUDIT_FILTER_TYPE
]))
1628 goto unlock_and_return
;
1630 list_for_each_entry_rcu(e
, &audit_filter_list
[AUDIT_FILTER_TYPE
],
1633 for (i
= 0; i
< e
->rule
.field_count
; i
++) {
1634 struct audit_field
*f
= &e
->rule
.fields
[i
];
1635 if (f
->type
== AUDIT_MSGTYPE
) {
1636 result
= audit_comparator(type
, f
->op
, f
->val
);
1642 goto unlock_and_return
;
1649 /* Check to see if the rule contains any selinux fields. Returns 1 if there
1650 are selinux fields specified in the rule, 0 otherwise. */
1651 static inline int audit_rule_has_selinux(struct audit_krule
*rule
)
1655 for (i
= 0; i
< rule
->field_count
; i
++) {
1656 struct audit_field
*f
= &rule
->fields
[i
];
1658 case AUDIT_SUBJ_USER
:
1659 case AUDIT_SUBJ_ROLE
:
1660 case AUDIT_SUBJ_TYPE
:
1661 case AUDIT_SUBJ_SEN
:
1662 case AUDIT_SUBJ_CLR
:
1663 case AUDIT_OBJ_USER
:
1664 case AUDIT_OBJ_ROLE
:
1665 case AUDIT_OBJ_TYPE
:
1666 case AUDIT_OBJ_LEV_LOW
:
1667 case AUDIT_OBJ_LEV_HIGH
:
1675 /* This function will re-initialize the se_rule field of all applicable rules.
1676 * It will traverse the filter lists serarching for rules that contain selinux
1677 * specific filter fields. When such a rule is found, it is copied, the
1678 * selinux field is re-initialized, and the old rule is replaced with the
1680 int selinux_audit_rule_update(void)
1682 struct audit_entry
*entry
, *n
, *nentry
;
1683 struct audit_watch
*watch
;
1686 /* audit_filter_mutex synchronizes the writers */
1687 mutex_lock(&audit_filter_mutex
);
1689 for (i
= 0; i
< AUDIT_NR_FILTERS
; i
++) {
1690 list_for_each_entry_safe(entry
, n
, &audit_filter_list
[i
], list
) {
1691 if (!audit_rule_has_selinux(&entry
->rule
))
1694 watch
= entry
->rule
.watch
;
1695 nentry
= audit_dupe_rule(&entry
->rule
, watch
);
1696 if (unlikely(IS_ERR(nentry
))) {
1697 /* save the first error encountered for the
1700 err
= PTR_ERR(nentry
);
1701 audit_panic("error updating selinux filters");
1703 list_del(&entry
->rule
.rlist
);
1704 list_del_rcu(&entry
->list
);
1707 list_add(&nentry
->rule
.rlist
,
1709 list_del(&entry
->rule
.rlist
);
1711 list_replace_rcu(&entry
->list
, &nentry
->list
);
1713 call_rcu(&entry
->rcu
, audit_free_rule_rcu
);
1717 mutex_unlock(&audit_filter_mutex
);
1722 /* Update watch data in audit rules based on inotify events. */
1723 void audit_handle_ievent(struct inotify_watch
*i_watch
, u32 wd
, u32 mask
,
1724 u32 cookie
, const char *dname
, struct inode
*inode
)
1726 struct audit_parent
*parent
;
1728 parent
= container_of(i_watch
, struct audit_parent
, wdata
);
1730 if (mask
& (IN_CREATE
|IN_MOVED_TO
) && inode
)
1731 audit_update_watch(parent
, dname
, inode
->i_sb
->s_dev
,
1733 else if (mask
& (IN_DELETE
|IN_MOVED_FROM
))
1734 audit_update_watch(parent
, dname
, (dev_t
)-1, (unsigned long)-1, 1);
1735 /* inotify automatically removes the watch and sends IN_IGNORED */
1736 else if (mask
& (IN_DELETE_SELF
|IN_UNMOUNT
))
1737 audit_remove_parent_watches(parent
);
1738 /* inotify does not remove the watch, so remove it manually */
1739 else if(mask
& IN_MOVE_SELF
) {
1740 audit_remove_parent_watches(parent
);
1741 inotify_remove_watch_locked(audit_ih
, i_watch
);
1742 } else if (mask
& IN_IGNORED
)
1743 put_inotify_watch(i_watch
);