Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/pldmfw/pldmfw.c pldm_parse_image() -> pldm_verify_header_crc()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 data->bitmap_size 0-8191
PARAM_VALUE 0 data->component_count 0-255
PARAM_VALUE 0 data->component_start->activation_method 0-u16max
PARAM_VALUE 0 data->component_start->classification 0-u16max
PARAM_VALUE 0 data->component_start->comparison_stamp 0-4294967295
PARAM_VALUE 0 data->component_start->identifier 0-u16max
PARAM_VALUE 0 data->component_start->location_offset 0-4294967295
PARAM_VALUE 0 data->component_start->options 0-u16max
PARAM_VALUE 0 data->component_start->size 0-4294967295
PARAM_VALUE 0 data->component_start->version_len 0-255
PARAM_VALUE 0 data->component_start->version_type 0-255
PARAM_VALUE 0 data->components.next 4096-ptr_max
PARAM_VALUE 0 data->components.next->next 4096-ptr_max
PARAM_VALUE 0 data->components.prev 4096-ptr_max
PARAM_VALUE 0 data->components.prev->next 4096-ptr_max
PARAM_VALUE 0 data->components.prev->prev 4096-ptr_max
PARAM_VALUE 0 data->context 886985984482959360,2252585989029556224,5043211246365130752,7503242648825520128
PARAM_VALUE 0 data->context->component_identifier 0,6
PARAM_VALUE 0 data->context->dev 1-u64max
PARAM_VALUE 0 data->context->mode 0-1
PARAM_VALUE 0 data->context->ops 1238791016361406464,4033196365423300608,5609725035105665024,6299866083595091968,8444301519837319168
PARAM_VALUE 0 data->fw 4096-ptr_max
PARAM_VALUE 0 data->fw->data 4096-ptr_max
PARAM_VALUE 0 data->fw->data->revision 1
PARAM_VALUE 0 data->fw->size 1-u64max
PARAM_VALUE 0 data->header 4096-ptr_max
PARAM_VALUE 0 data->offset 0-u16max
PARAM_VALUE 0 data->record_start->descriptor_count 0-255
PARAM_VALUE 0 data->record_start->device_update_flags 0-4294967295
PARAM_VALUE 0 data->record_start->package_data_len 0-u16max
PARAM_VALUE 0 data->record_start->record_len 0-u16max
PARAM_VALUE 0 data->record_start->version_len 0-255
PARAM_VALUE 0 data->record_start->version_type 0-255
PARAM_VALUE 0 data->records.next 4096-ptr_max
PARAM_VALUE 0 data->records.next->next 4096-ptr_max
PARAM_VALUE 0 data->records.prev 4096-ptr_max
PARAM_VALUE 0 data->records.prev->next 4096-ptr_max
PARAM_VALUE 0 data->records.prev->next->next 4096-ptr_max
PARAM_VALUE 0 data->records.prev->prev 4096-ptr_max
BUF_SIZE 0 data 104
CAPPED_DATA 0 data->component_count 1
CAPPED_DATA 0 data->context->component_identifier 1
CAPPED_DATA 0 data->fw->size 1
CAPPED_DATA 0 data->record_count 1
CAPPED_DATA 0 data->total_header_size 1
DATA_SOURCE 0 data $0
PARAM_COMPARE 0 data->fw->data->version_len <= $0->fw->size
RX_PATH
TASK_NOT_RUNNING