Documented in 3 files:

Defined in 17 files as a prototype:

Defined in 4 files as a macro:

Defined in 3 files as a label:

Defined in 11 files as a function:

Referenced in 2015 files:

Smatch caller information:

lib/cmdline.c parse_option_str() -> strlen()

Type Parameter Key Value
BUF_SIZE 0 s (-1)-s32max
BUF_SIZE 0 s (-1)-s32max
DATA_SOURCE 0 s $1
STR_LEN 0 s (-1),9
STR_LEN 0 s (-1),9
RX_PATH
TASK_NOT_RUNNING

lib/cmdline.c parse_option_str() -> strlen()

Type Parameter Key Value
BUF_SIZE 0 s (-1)-s32max
BUF_SIZE 0 s (-1)-s32max
DATA_SOURCE 0 s $1
STR_LEN 0 s (-1),9
STR_LEN 0 s (-1),9
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/efi/libstub/smbios.c __efi_get_smbios_string() -> strlen()

Type Parameter Key Value

arch/x86/boot/compressed/string.c strstr() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $1

arch/x86/boot/compressed/string.c strstr() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $0

drivers/firmware/efi/libstub/efi-stub-helper.c efi_parse_options() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 8376627033861775360
BUF_SIZE 0 s 7
STR_LEN 0 s 6
TERMINATED 0 s 1

drivers/firmware/efi/libstub/efi-stub-helper.c strstarts() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 8376627033861775360
BUF_SIZE 0 s 7
BUF_SIZE 0 s 7
DATA_SOURCE 0 s $1
TERMINATED 0 s 1

lib/string.c strlcat() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $0

lib/string.c strlcat() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $1

lib/string.c strnstr() -> strlen()

Type Parameter Key Value
BUF_SIZE 0 s (-1),2-16,21,32,44,256
BUF_SIZE 0 s (-1),2-16,21,32,44,256
DATA_SOURCE 0 s $1
STR_LEN 0 s (-1),1,11,14
STR_LEN 0 s (-1),1,11,14
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &eng_grps->lock
HALF_LOCKED2 &hdev->driver_input_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &srv_sess->lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &component_mutex
HALF_LOCKED2 global &observed.lock
HALF_LOCKED2 rcu_read

lib/string.c strstr() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $1

lib/string.c strstr() -> strlen()

Type Parameter Key Value
DATA_SOURCE 0 s $0

drivers/firmware/efi/libstub/gop.c parse_auto() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 5807924607322042368
BUF_SIZE 0 s 5
STR_LEN 0 s 4
TERMINATED 0 s 1

drivers/firmware/efi/libstub/gop.c parse_list() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 6057221409039048704
BUF_SIZE 0 s 5
STR_LEN 0 s 4
TERMINATED 0 s 1

drivers/firmware/efi/libstub/gop.c parse_modenum() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 5583090300283179008
BUF_SIZE 0 s 6
STR_LEN 0 s 5
TERMINATED 0 s 1

drivers/firmware/efi/libstub/gop.c parse_res() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 438296328202162176
BUF_SIZE 0 s 4
STR_LEN 0 s 3
TERMINATED 0 s 1

drivers/firmware/efi/libstub/gop.c parse_res() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 4999953530624008192
BUF_SIZE 0 s 4
STR_LEN 0 s 3
TERMINATED 0 s 1

drivers/firmware/efi/libstub/gop.c strstarts() -> strlen()

Type Parameter Key Value
PARAM_VALUE 0 s 438296328202162176,4999953530624008192,5583090300283179008,5807924607322042368,6057221409039048704
BUF_SIZE 0 s 4-6
BUF_SIZE 0 s 4-6
DATA_SOURCE 0 s $1
TERMINATED 0 s 1

lib/tests/string_kunit.c string_bench_strlen() -> string_bench_strlen ptr __func()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max

lib/tests/string_kunit.c string_bench_strlen() -> string_bench_strlen ptr __func()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max