Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

fs/proc/namespaces.c proc_ns_readlink() -> readlink_copy()

Type Parameter Key Value
PARAM_VALUE 2 link 8789668335178035200
PARAM_VALUE 3 linklen 0-49
BUF_SIZE 2 link 50
DATA_SOURCE 0 buffer $1
DATA_SOURCE 1 buflen $2
STR_LEN 0 buffer 0-49
USER_DATA 0 buffer 0-u64max
USER_DATA 1 buflen s32min-s32max
LOCK2 &task->signal->exec_update_lock
TYPE_LOCK (struct signal_struct)->exec_update_lock

security/apparmor/apparmorfs.c policy_readlink() -> readlink_copy()

Type Parameter Key Value
PARAM_VALUE 2 link 904448722269822976
PARAM_VALUE 3 linklen 31
BUF_SIZE 2 link 32
DATA_SOURCE 0 buffer $1
DATA_SOURCE 1 buflen $2
STR_LEN 0 buffer 31
USER_DATA 0 buffer 0-u64max
USER_DATA 1 buflen s32min-s32max

fs/namei.c page_readlink() -> readlink_copy()

Type Parameter Key Value
PARAM_VALUE 2 link 18379471554275704832,18446612682070032384
PARAM_VALUE 3 linklen 0-1010101
DATA_SOURCE 0 buffer $1
DATA_SOURCE 1 buflen $2
DATA_SOURCE 2 link r page_get_link
STR_LEN 0 buffer 0-1010101

fs/namei.c vfs_readlink() -> readlink_copy()

Type Parameter Key Value
BUF_SIZE 2 link 1-s32max
DATA_SOURCE 0 buffer $1
DATA_SOURCE 1 buflen $2
USER_DATA 0 buffer 0-u64max
USER_DATA 1 buflen s32min-s32max
UNITS 2 link unit_array_size
UNITS 3 linklen unit_byte

fs/namei.c vfs_readlink() -> readlink_copy()

Type Parameter Key Value
PARAM_VALUE 3 linklen 0-1010101
BUF_SIZE 2 link (-1),1-s32max
BUF_SIZE 2 link (-1),1-s32max
DATA_SOURCE 0 buffer $1
DATA_SOURCE 1 buflen $2
STR_LEN 0 buffer 0-1010101
USER_DATA 0 buffer 0-u64max
USER_DATA 1 buflen s32min-s32max
UNITS 2 link unit_array_size