Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/lz4/lz4_decompress.c LZ4_decompress_fast() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | srcSize | 0 |
| PARAM_VALUE | 4 | endOnInput | 0 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 1 |
| PARAM_VALUE | 8 | dictStart | 0 |
| PARAM_VALUE | 9 | dictSize | 0 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 3 | outputSize | $2 |
lib/lz4/lz4_decompress.c LZ4_decompress_fast_doubleDict() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | srcSize | 0 |
| PARAM_VALUE | 4 | endOnInput | 0 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 2 |
| PARAM_VALUE | 9 | dictSize | 1-u64max |
| CAPPED_DATA | 1 | dst | 1 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 3 | outputSize | $2 |
| DATA_SOURCE | 8 | dictStart | $4 |
| DATA_SOURCE | 9 | dictSize | $5 |
lib/lz4/lz4_decompress.c LZ4_decompress_fast_extDict() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | srcSize | 0 |
| PARAM_VALUE | 4 | endOnInput | 0 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 2 |
| PARAM_VALUE | 9 | dictSize | 1-u64max |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 3 | outputSize | $2 |
| DATA_SOURCE | 7 | lowPrefix | $1 |
| DATA_SOURCE | 8 | dictStart | $3 |
| DATA_SOURCE | 9 | dictSize | $4 |
lib/lz4/lz4_decompress.c LZ4_decompress_safe() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 0 |
| PARAM_VALUE | 8 | dictStart | 0 |
| PARAM_VALUE | 9 | dictSize | 0 |
| BUF_SIZE | 0 | src | (-1),2-s32max |
| BUF_SIZE | 0 | src | (-1),2-s32max |
| BUF_SIZE | 1 | dst | (-1),2-s32max |
| BUF_SIZE | 1 | dst | (-1),2-s32max |
| BUF_SIZE | 7 | lowPrefix | (-1),2-s32max |
| BUF_SIZE | 7 | lowPrefix | (-1),2-s32max |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $3 |
| DATA_SOURCE | 7 | lowPrefix | $1 |
| NOSPEC | 2 | srcSize | |
| NOSPEC | 2 | srcSize | |
| NOSPEC | 3 | outputSize | |
| NOSPEC | 3 | outputSize | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | srcSize | 1-s32max[c] |
| HOST_DATA | 3 | outputSize | 2-2147483646[c] |
| USER_DATA | 2 | srcSize | 129-4095[c] |
| USER_DATA | 3 | outputSize | 65-4031[c] |
| NO_OVERFLOW_SIMPLE | 2 | srcSize | |
| NO_OVERFLOW_SIMPLE | 3 | outputSize | |
| UNITS | 0 | src | unit_byte |
| UNITS | 1 | dst | unit_byte |
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| UNITS | 7 | lowPrefix | unit_byte |
| HALF_LOCKED2 | &zstrm->lock | ||
| HALF_LOCKED2 | bh |
lib/lz4/lz4_decompress.c LZ4_decompress_safe_doubleDict() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 0 |
| PARAM_VALUE | 2 | srcSize | 0-8191 |
| PARAM_VALUE | 3 | outputSize | 4096 |
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 2 |
| PARAM_VALUE | 8 | dictStart | 0 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $3 |
| DATA_SOURCE | 8 | dictStart | $5 |
| DATA_SOURCE | 9 | dictSize | $6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| LOCK2 | &zstrm->lock | ||
| TYPE_LOCK | (struct zcomp_strm)->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_safe_forceExtDict() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 2 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| BUF_SIZE | 7 | lowPrefix | (-1),4096 |
| BUF_SIZE | 7 | lowPrefix | (-1),4096 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $3 |
| DATA_SOURCE | 7 | lowPrefix | $1 |
| DATA_SOURCE | 8 | dictStart | $4 |
| DATA_SOURCE | 9 | dictSize | $5 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_safe_partial() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | src | 4096-ptr_max |
| PARAM_VALUE | 1 | dst | 4096-ptr_max |
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 1 |
| PARAM_VALUE | 6 | dict | 0 |
| PARAM_VALUE | 7 | lowPrefix | 4096-ptr_max |
| PARAM_VALUE | 8 | dictStart | 0 |
| PARAM_VALUE | 9 | dictSize | 0 |
| CAPPED_DATA | 3 | outputSize | 1 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $4 [m] |
| DATA_SOURCE | 7 | lowPrefix | $1 |
| UNITS | 0 | src | unit_byte |
| UNITS | 1 | dst | unit_byte |
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| UNITS | 7 | lowPrefix | unit_byte |
| HALF_LOCKED2 | &gbuf->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_safe_withPrefix64k() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 0,4096-ptr_max |
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 1 |
| PARAM_VALUE | 7 | lowPrefix | 4096-ptr_max |
| PARAM_VALUE | 8 | dictStart | 0 |
| PARAM_VALUE | 9 | dictSize | 0 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| CAPPED_DATA | 1 | dst | 1 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |
lib/lz4/lz4_decompress.c LZ4_decompress_safe_withSmallPrefix() -> LZ4_decompress_generic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | dst | 0,4096-ptr_max |
| PARAM_VALUE | 4 | endOnInput | 1 |
| PARAM_VALUE | 5 | partialDecoding | 0 |
| PARAM_VALUE | 6 | dict | 0 |
| PARAM_VALUE | 8 | dictStart | 0 |
| PARAM_VALUE | 9 | dictSize | 0 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 0 | src | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| BUF_SIZE | 1 | dst | (-1),4096 |
| CAPPED_DATA | 1 | dst | 1 |
| DATA_SOURCE | 0 | src | $0 |
| DATA_SOURCE | 1 | dst | $1 |
| DATA_SOURCE | 2 | srcSize | $2 |
| DATA_SOURCE | 3 | outputSize | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | srcSize | unit_byte |
| UNITS | 3 | outputSize | unit_byte |
| HALF_LOCKED2 | &zstrm->lock |