Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplits() -> ZSTD_deriveBlockSplitsHelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | splits | 3343642055299059712 |
| PARAM_VALUE | 0 | splits->idx | 0 |
| PARAM_VALUE | 1 | startIdx | 0 |
| PARAM_VALUE | 2 | endIdx | 5-u32max |
| PARAM_VALUE | 3 | zc | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->appliedParams.postBlockSplitter | 1 |
| PARAM_VALUE | 3 | zc->appliedParams.targetCBlockSize | 0 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.fseTablesSize | 0,18446744073709551497-u64max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.lastCountSize | 0-18446744073709551496 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.llType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.mlType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.ofType | 0-3 |
| PARAM_VALUE | 3 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->blockState.matchState.ldmSeqStore | 0 |
| PARAM_VALUE | 3 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->blockState.matchState.window.nextSrc | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 3 | zc->initialized | 0-1 |
| PARAM_VALUE | 3 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 3 | zc->ldmState.window.base | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->ldmState.window.dictBase | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->localDict.dictContentType | 0 |
| PARAM_VALUE | 3 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 3 | zc->seqStore->lit | 0-255 |
| PARAM_VALUE | 3 | zc->seqStore.lit | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->stage | 2-3 |
| PARAM_VALUE | 3 | zc->streamStage | 0-2 |
| PARAM_VALUE | 3 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 4 | origSeqStore | 4096-ptr_max |
| PARAM_VALUE | 4 | origSeqStore->lit | 4096-ptr_max |
| PARAM_VALUE | 4 | origSeqStore->longLengthType | 0-2 |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| CAPPED_DATA | 3 | zc->externSeqStore.size | 1 |
| DATA_SOURCE | 2 | endIdx | $2 |
| DATA_SOURCE | 3 | zc | $0 |
| FUZZY_MAX | 2 | endIdx | 5 |
| FUZZY_MAX | 3 | zc->isFirstBlock | 0 |
| FUZZY_MAX | 3 | zc->stage | 2 |
| NOSPEC | 3 | zc->xxhState->mem64 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | zc->expectedInBuffer.pos | 2-s32max[c] |
| HOST_DATA | 3 | zc->expectedInBuffer.size | 2-s32max[c] |
| USER_DATA | 3 | zc->blockState.matchState.window->nextSrc | 0-255 |
| USER_DATA | 3 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 3 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 3 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 3 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 3 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 3 | *zc->ldmState.window.nextSrc | 0-255 |
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplitsHelper() -> ZSTD_deriveBlockSplitsHelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | splits | 4096-ptr_max |
| PARAM_VALUE | 0 | splits->idx | 0-195 |
| PARAM_VALUE | 3 | zc | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->appliedParams.targetCBlockSize | 0,1340-s32max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata->fseTablesBuffer | 0-255 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.fseTablesSize | 0 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.lastCountSize | 0-18446744073709551496 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.llType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.mlType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.fseMetadata.ofType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.hufMetadata.hType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.hufMetadata.hufDesSize | 0-18446744073709551497 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->blockState.matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->blockState.nextCBlock->entropy.fse->litlengthCTable | 0-u32max |
| PARAM_VALUE | 3 | zc->blockState.nextCBlock->entropy.fse->matchlengthCTable | 0-u32max |
| PARAM_VALUE | 3 | zc->blockState.nextCBlock->entropy.fse->offcodeCTable | 0-u32max |
| PARAM_VALUE | 3 | zc->blockState.nextCBlock->entropy.huf.repeatMode | 1 |
| PARAM_VALUE | 3 | zc->blockState.prevCBlock | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 3 | zc->initialized | 0-1 |
| PARAM_VALUE | 3 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 3 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 3 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->stage | 0-3 |
| PARAM_VALUE | 3 | zc->streamStage | 0-2 |
| PARAM_VALUE | 3 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 4 | origSeqStore | 4096-ptr_max |
| PARAM_VALUE | 4 | origSeqStore->longLengthType | 0-2 |
| BUF_SIZE | 0 | splits->splitLocations | (-1),784 |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| DATA_SOURCE | 0 | splits | $0 |
| DATA_SOURCE | 1 | startIdx | $1 |
| DATA_SOURCE | 3 | zc | $3 |
| DATA_SOURCE | 4 | origSeqStore | $4 |
| FUZZY_MAX | 3 | zc->stage | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 3 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 3 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 3 | zc->expectedOutBufferSize | 0-u64max[c] |
| USER_DATA | 3 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 3 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 3 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 3 | *zc->ldmState.window.nextSrc | 0-255 |
| NO_OVERFLOW_SIMPLE | 3 | zc->xxhState.memsize | |
| NO_OVERFLOW_SIMPLE | 3 | zc->xxhState.total_len |
lib/zstd/compress/zstd_compress.c ZSTD_deriveBlockSplitsHelper() -> ZSTD_deriveBlockSplitsHelper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | splits | 4096-ptr_max |
| PARAM_VALUE | 0 | splits->idx | 0-229 |
| PARAM_VALUE | 0 | splits->splitLocations | 4096-ptr_max |
| PARAM_VALUE | 3 | zc | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->appliedParams.targetCBlockSize | 0,1340-s32max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.entropyMetadata.hufMetadata.hType | 0-3 |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.firstHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.fullSeqStoreChunk.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.llCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.mlCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.ofCode | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.sequences | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockSplitCtx.secondHalfSeqStore.sequencesStart | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->blockState.matchState.dictMatchState->opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->blockState.matchState.ldmSeqStore->posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->blockState.matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->blockState.nextCBlock->entropy.huf.repeatMode | 1 |
| PARAM_VALUE | 3 | zc->blockState.prevCBlock | 4096-ptr_max |
| PARAM_VALUE | 3 | zc->cParamsChanged | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->externSeqStore.posInSequence | 0-4294967294 |
| PARAM_VALUE | 3 | zc->frameEnded | 0-1 |
| PARAM_VALUE | 3 | zc->initialized | 0-1 |
| PARAM_VALUE | 3 | zc->isFirstBlock | 0-1 |
| PARAM_VALUE | 3 | zc->localDict.cdict->matchState.opt.priceType | 0-1 |
| PARAM_VALUE | 3 | zc->localDict.cdict->useRowMatchFinder | 1-u32max |
| PARAM_VALUE | 3 | zc->seqCollector.collectSequences | 0-1 |
| PARAM_VALUE | 3 | zc->seqStore.longLengthType | 0-2 |
| PARAM_VALUE | 3 | zc->stage | 0-3 |
| PARAM_VALUE | 3 | zc->streamStage | 0-2 |
| PARAM_VALUE | 3 | zc->tmpWkspSize | 0,8920 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.nextCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.litlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.matchlengthCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->entropy.fse.offcodeCTable | 0-4294967295 |
| PARAM_VALUE | 3 | *zc->blockState.prevCBlock->rep | 0-4294967295 |
| PARAM_VALUE | 4 | origSeqStore | 4096-ptr_max |
| PARAM_VALUE | 4 | origSeqStore->longLengthType | 0-2 |
| BUF_SIZE | 0 | splits->splitLocations | (-1),784 |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| BUF_SIZE | 3 | zc | (-1),4097-s32max |
| DATA_SOURCE | 0 | splits | $0 |
| DATA_SOURCE | 2 | endIdx | $2 |
| DATA_SOURCE | 3 | zc | $3 |
| DATA_SOURCE | 4 | origSeqStore | $4 |
| FUZZY_MAX | 3 | zc->stage | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | zc->expectedInBuffer.size | 1-u32max[c] |
| USER_DATA | 3 | zc->expectedInBuffer.pos | 129-4094[c] |
| USER_DATA | 3 | zc->expectedInBuffer.size | 0-1000000000[c] |
| USER_DATA | 3 | zc->expectedOutBufferSize | 0-u64max[c] |
| USER_DATA | 3 | zc->ldmState.window->nextSrc | 0-255 |
| USER_DATA | 3 | zc->xxhState->mem64 | 0-255 |
| USER_DATA | 3 | *zc->blockState.matchState->window.nextSrc | 0-255 |
| USER_DATA | 3 | *zc->ldmState.window.nextSrc | 0-255 |
| NO_OVERFLOW_SIMPLE | 3 | zc->xxhState.memsize | |
| NO_OVERFLOW_SIMPLE | 3 | zc->xxhState.total_len |