ddidderr/zstd-rs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Specify that decoders may reject non-zero probabilities for larger offset codes than supported by the implementation

Browse Source
This commit is contained in:
elasota
2024-04-01 20:13:48 -04:00
parent 72c16b187d
commit c54f4783d0
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/zstd_compression_format.md
+4 -1
View File
@@ -1129,7 +1129,10 @@ If the last symbol makes cumulated total go above `1 << Accuracy_Log`,
distribution is considered corrupted. distribution is considered corrupted.
If this process results in a non-zero probability for a value outside of the If this process results in a non-zero probability for a value outside of the
valid range of values that the FSE table is defined for, even if that value is valid range of values that the FSE table is defined for, even if that value is
not used, then the data is considered corrupted. not used, then the data is considered corrupted. In the case of offset codes,
a decoder implementation may reject a frame containing a non-zero probability
for an offset code larger than the largest offset code supported by the decoder
implementation.
Then the decoder can tell how many bytes were used in this process, Then the decoder can tell how many bytes were used in this process,
and how many symbols are present. and how many symbols are present.