Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

init/main.c run_init_process() -> kernel_execve()

Type Parameter Key Value
PARAM_VALUE 0 kernel_filename 1-u64max
PARAM_VALUE 1 argv 4096-ptr_max
PARAM_VALUE 2 envp 4009850181178994688
BUF_SIZE 0 kernel_filename (-1),6,8,10-11
BUF_SIZE 0 kernel_filename (-1),6,8,10-11
BUF_SIZE 1 argv 272
BUF_SIZE 2 envp 272
DATA_SOURCE 0 kernel_filename $0
STR_LEN 0 kernel_filename (-1)-0,7,9-10
STR_LEN 0 kernel_filename (-1)-0,7,9-10

kernel/umh.c call_usermodehelper_exec_async() -> kernel_execve()

Type Parameter Key Value
BUF_SIZE 0 kernel_filename 22
BUF_SIZE 1 argv 8,16,24,32,40,64,72
BUF_SIZE 2 envp 24,32,48,512