Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 op 777774716091924480,5272176369423908864,7146136070081822720,7714807792304844800,7963021027472015360,8920125931309772800
PARAM_VALUE 2 label 4096-ptr_max
PARAM_VALUE 3 flabel->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 4 file 4096-ptr_max
PARAM_VALUE 4 file->f_path.dentry 4096-ptr_max
PARAM_VALUE 4 file->f_path.dentry->d_sb 4096-ptr_max
BUF_SIZE 0 op 10,13-14
BUF_SIZE 0 op 10,13-14
CAPPED_DATA 2 label 1
CAPPED_DATA 6 denied 1
DATA_SOURCE 0 op $0
DATA_SOURCE 1 subj_cred $1
DATA_SOURCE 2 label $2
DATA_SOURCE 3 flabel r aa_get_newest_label
DATA_SOURCE 4 file $3
DATA_SOURCE 5 request $4
DATA_SOURCE 7 in_atomic $5
STR_LEN 0 op 9,12-13
STR_LEN 0 op 9,12-13
BIT_INFO 2 label->flags 0x0,0xfffffffffffffffd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &files->file_lock
HALF_LOCKED2 &tty->files_lock