Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/vsprintf.c address_val() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c bdev_name() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c bitmap_list_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c bitmap_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c clock() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c dentry_name() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2 [m]
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
UNITS 2 ptr unit_jiffy
USER_PTR 1 end
LOCK2 rcu_read

lib/vsprintf.c device_node_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c escaped_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c file_dentry_name() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c flags_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c fourcc_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c fwnode_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c hex_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c ip_addr_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c mac_address_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c netdev_bits() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c range_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c resource_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
PARAM_VALUE 2 *ptr 0-255
BUF_SIZE 2 ptr s32min-(-1),1-s32max
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1),1
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
UNITS 2 ptr unit_byte
USER_PTR 1 end

lib/vsprintf.c time_and_date() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c uuid_string() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
STR_LEN 0 buf (-1)-s32max
STR_LEN 1 end (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end

lib/vsprintf.c va_format() -> check_pointer()

Type Parameter Key Value
PARAM_VALUE 1 end 4096-ptr_max,(-1)
CAPPED_DATA 1 end 1
DATA_SOURCE 1 end $1
DATA_SOURCE 2 ptr $2
DATA_SOURCE 3 spec $3
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *end 0-255
UNITS 1 end unit_byte
USER_PTR 1 end