Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/fork.c exe_file_deny_write_access() -> deny_write_access()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &oldmm->mmap_lock

fs/verity/enable.c fsverity_ioctl_enable() -> deny_write_access()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x1,0xffffffff

fs/kernel_read_file.c kernel_read_file() -> deny_write_access()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1),1-s32max
BUF_SIZE 0 file (-1),1-s32max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING

fs/binfmt_misc.c exe_file_deny_write_access() -> deny_write_access()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
CAPPED_DATA 0 file 1
CAPPED_DATA 0 file->f_cred 1
CAPPED_DATA 0 file->f_path.dentry 1
DATA_SOURCE 0 file $0

fs/exec.c exe_file_deny_write_access() -> deny_write_access()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0