Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/verity/read_metadata.c fsverity_read_descriptor() -> fsverity_read_buffer()

Type Parameter Key Value
PARAM_VALUE 2 length 0-s32max
PARAM_VALUE 3 src 4096-ptr_max
PARAM_VALUE 4 src_length 256
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
CAPPED_DATA 2 length 1
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 offset $2
DATA_SOURCE 2 length $3
USER_DATA 1 offset 0-s32max[c]
USER_DATA 2 length 0-2147483646[c]
NO_OVERFLOW_SIMPLE 1 offset
NO_OVERFLOW_SIMPLE 2 length

fs/verity/read_metadata.c fsverity_read_signature() -> fsverity_read_buffer()

Type Parameter Key Value
PARAM_VALUE 2 length 0-s32max
PARAM_VALUE 4 src_length 1-2147483391
CAPPED_DATA 1 offset 1
CAPPED_DATA 1 offset 1
CAPPED_DATA 2 length 1
DATA_SOURCE 0 dst $1
DATA_SOURCE 1 offset $2
DATA_SOURCE 2 length $3
USER_DATA 1 offset 0-s32max[c]
USER_DATA 2 length 0-2147483646[c]
NO_OVERFLOW_SIMPLE 1 offset
NO_OVERFLOW_SIMPLE 2 length
UNITS 4 src_length unit_byte