Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

security/apparmor/file.c __aa_subj_label_is_cached() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
DATA_SOURCE 0 set $1
DATA_SOURCE 1 sub $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &tty->files_lock

security/apparmor/file.c __file_path_perm() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 1 sub 4096-ptr_max
CAPPED_DATA 1 sub 1
DATA_SOURCE 0 set $3
DATA_SOURCE 1 sub $2
BIT_INFO 1 sub->flags 0x0,0xfffffffffffffffd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &files->file_lock
HALF_LOCKED2 &tty->files_lock

security/apparmor/file.c __file_sock_perm() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 1 sub 4096-ptr_max
CAPPED_DATA 1 sub 1
DATA_SOURCE 0 set $3
DATA_SOURCE 1 sub $2
BIT_INFO 1 sub->flags 0x0,0xfffffffffffffffd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &files->file_lock
HALF_LOCKED2 &tty->files_lock

security/apparmor/policy.c is_subset_of_obj_privilege() -> aa_label_is_subset()

Type Parameter Key Value
DATA_SOURCE 0 set $1
RX_PATH

security/apparmor/audit.c aa_audit_rule_match() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 0 set 1-u64max

security/apparmor/af_unix.c __aa_subj_label_is_cached() -> aa_label_is_subset()

Type Parameter Key Value
DATA_SOURCE 0 set $1
DATA_SOURCE 1 sub $0
HALF_LOCKED2 rcu_read

security/apparmor/af_unix.c update_sk_ctx() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
CAPPED_DATA 0 set 1
DATA_SOURCE 0 set $2
LOCK2 rcu_read

security/apparmor/af_unix.c update_sk_ctx() -> aa_label_is_subset()

Type Parameter Key Value
PARAM_VALUE 0 set 4096-ptr_max
CAPPED_DATA 0 set 1
DATA_SOURCE 0 set $2
PARAM_COMPARE 0 set != $1
PARAM_COMPARE 1 sub != $0
PARAM_COMPARE 1 sub != $0
PREEMPT_ADD <- disables preempt