Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 7 files:
- crypto/zstd.c, line 199
- drivers/base/firmware_loader/main.c, line 350
- drivers/block/zram/backend_zstd.c, line 203
- drivers/firmware/efi/libstub/zboot-decompress-zstd.c, line 36
- lib/decompress_unzstd.c, line 150
- lib/zstd/zstd_decompress_module.c, line 87
- security/apparmor/apparmorfs.c, line 508
Smatch caller information:
security/apparmor/apparmorfs.c decompress_zstd() -> zstd_decompress_dctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dctx | 4096-ptr_max |
| PARAM_VALUE | 2 | dst_capacity | 1-18446744073709551607 |
| PARAM_VALUE | 4 | src_size | 0-18446744073709551606 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| CAPPED_DATA | 4 | src_size | 1 |
| CAPPED_DATA | 4 | src_size | 1 |
| DATA_SOURCE | 0 | dctx | r zstd_init_dctx |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | dst_capacity | $3 |
| DATA_SOURCE | 3 | src | $0 |
| DATA_SOURCE | 4 | src_size | $1 |
| PARAM_COMPARE | 2 | dst_capacity | > $4 |
| PARAM_COMPARE | 2 | dst_capacity | > $4 |
| PARAM_COMPARE | 4 | src_size | < $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | dst_capacity | unit_byte |
| UNITS | 4 | src_size | unit_byte |
| BYTE_COUNT | 3 | ==src4 | 8050 |
| USER_PTR | 3 | src |
crypto/zstd.c zstd_decompress_one() -> zstd_decompress_dctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dctx | 4096-ptr_max |
| PARAM_VALUE | 2 | dst_capacity | 1-u32max |
| PARAM_VALUE | 4 | src_size | 1-u32max |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| CAPPED_DATA | 2 | dst_capacity | 1 |
| CAPPED_DATA | 4 | src_size | 1 |
| DATA_SOURCE | 0 | dctx | r zstd_init_dctx |
| DATA_SOURCE | 1 | dst | $3 |
| DATA_SOURCE | 3 | src | $2 |
| NOSPEC | 4 | src_size | |
| NOSPEC | 4 | src_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 4 | src_size | 1-u32max[c] |
| USER_DATA | 2 | dst_capacity | 64-4031[c] |
| USER_DATA | 4 | src_size | 128-4095[c] |
| UNITS | 2 | dst_capacity | unit_byte |
| UNITS | 4 | src_size | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &acomp_ctx->mutex |
drivers/block/zram/backend_zstd.c zstd_decompress() -> zstd_decompress_dctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | dst_capacity | 4096 |
| PARAM_VALUE | 4 | src_size | 0-8191 |
| BUF_SIZE | 1 | dst | 4096,8192 |
| BUF_SIZE | 3 | src | 4096 |
| UNITS | 2 | dst_capacity | unit_byte |
| UNITS | 4 | src_size | unit_byte |
| LOCK2 | &zstrm->lock | ||
| TYPE_LOCK | (struct zcomp_strm)->lock |
drivers/base/firmware_loader/main.c fw_decompress_zstd() -> zstd_decompress_dctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dctx | 4096-ptr_max |
| PARAM_VALUE | 4 | src_size | 0-s32max |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 1 | dst | 0-u32max |
| BUF_SIZE | 1 | dst | 0-u32max |
| DATA_SOURCE | 0 | dctx | r zstd_init_dctx |
| DATA_SOURCE | 3 | src | $3 |
| DATA_SOURCE | 4 | src_size | $2 |
| RX_PATH | |||
| UNITS | 1 | dst | unit_byte |
| UNITS | 2 | dst_capacity | unit_byte |
| BYTE_COUNT | 1 | ==dst2 | 8050 |
lib/decompress_unzstd.c decompress_single() -> zstd_decompress_dctx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dctx | 4096-ptr_max |
| PARAM_VALUE | 1 | dst | 0 |
| PARAM_VALUE | 2 | dst_capacity | u64max |
| PARAM_VALUE | 3 | src | 4096-ptr_max |
| PARAM_VALUE | 3 | *src | 1-255 |
| PARAM_VALUE | 4 | src_size | 0-18446744073709551496 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 0 | dctx | (-1),95960 |
| BUF_SIZE | 3 | src | (-1),8192,139000 |
| CAPPED_DATA | 4 | src_size | 1 |
| DATA_SOURCE | 0 | dctx | r zstd_init_dctx |
| DATA_SOURCE | 1 | dst | $2 |
| DATA_SOURCE | 2 | dst_capacity | $3 |
| DATA_SOURCE | 3 | src | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |