lib/zstd
1
0
Fork 0
mirror of https://github.com/facebook/zstd.git synced 2025-08-01 09:47:01 +03:00
Code Activity

Clarify that a non-zero probability for an invalid symbol is invalid

Browse Source
This commit is contained in:
elasota
2023-11-13 00:03:56 -05:00
parent 1518570c62
commit c5bf96fb74
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
doc/zstd_compression_format.md
View File

@ -1124,6 +1124,9 @@ When last symbol reaches cumulated total of `1 << Accuracy_Log`,
decoding is complete. decoding is complete.
If the last symbol makes cumulated total go above `1 << Accuracy_Log`, 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
valid range of values that the FSE table is defined for, even if that value is
not used, then the data is considered corrupted.
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.