Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/ntfs/reparse.c valid_reparse_data() -> valid_reparse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 reparse_attr 4096-ptr_max
PARAM_VALUE 1 reparse_attr->reparse_tag 2684354563
PARAM_VALUE 2 size 8-1152921504606846975,9223372036854775808-u64max
PARAM_VALUE 3 payload_min_len 8
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni->attr_list (-1),1-s32max
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ni $0
DATA_SOURCE 1 reparse_attr $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
UNITS 3 payload_min_len unit_byte
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 0 &ni->mrec_lock

fs/ntfs/reparse.c valid_reparse_data() -> valid_reparse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 reparse_attr 4096-ptr_max
PARAM_VALUE 1 reparse_attr->reparse_tag 2684354572
PARAM_VALUE 2 size 8-1152921504606846975,9223372036854775808-u64max
PARAM_VALUE 3 payload_min_len 12
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni->attr_list (-1),1-s32max
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ni $0
DATA_SOURCE 1 reparse_attr $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
UNITS 3 payload_min_len unit_byte
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 0 &ni->mrec_lock

fs/ntfs/reparse.c valid_reparse_data() -> valid_reparse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 reparse_attr 4096-ptr_max
PARAM_VALUE 1 reparse_attr->reparse_tag 2684354589
PARAM_VALUE 2 size 8-1152921504606846975,9223372036854775808-u64max
PARAM_VALUE 3 payload_min_len 4
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni->attr_list (-1),1-s32max
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ni $0
DATA_SOURCE 1 reparse_attr $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
UNITS 3 payload_min_len unit_byte
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 0 &ni->mrec_lock

fs/ntfs/reparse.c valid_reparse_data() -> valid_reparse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 reparse_attr 4096-ptr_max
PARAM_VALUE 1 reparse_attr->reparse_tag 2147483683-2147483686
PARAM_VALUE 2 size 8-1152921504606846975,9223372036854775808-u64max
PARAM_VALUE 3 payload_min_len 0
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni->attr_list (-1),1-s32max
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ni $0
DATA_SOURCE 1 reparse_attr $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 0 &ni->mrec_lock

fs/ntfs/reparse.c valid_reparse_data() -> valid_reparse_buffer()

Type Parameter Key Value
PARAM_VALUE 0 ni 4096-ptr_max
PARAM_VALUE 1 reparse_attr 4096-ptr_max
PARAM_VALUE 1 reparse_attr->reparse_tag 0-2147483682,2147483687-2684354562,2684354564-2684354571,2684354573-2684354588,2684354590-u32max
PARAM_VALUE 2 size 8-1152921504606846975,9223372036854775808-u64max
PARAM_VALUE 3 payload_min_len 0
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni (-1),776
BUF_SIZE 0 ni->attr_list (-1),1-s32max
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
BUF_SIZE 1 reparse_attr (-1),8,12-1010113
CAPPED_DATA 2 size 1
CAPPED_DATA 2 size 1
DATA_SOURCE 0 ni $0
DATA_SOURCE 1 reparse_attr $1
DATA_SOURCE 2 size $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_byte
HALF_LOCKED2 &dir_ni->mrec_lock
HALF_LOCKED2 0 &ni->mrec_lock