Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[fuzz] Superblock fuzz issues #1891

Merged
merged 15 commits into from
Dec 10, 2019
Merged

[fuzz] Superblock fuzz issues #1891

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
dba767c
Leaving room for checksum
Nov 16, 2019
2d5d961
Typo in comment
Nov 16, 2019
dade644
Output regular uncompressed block when compressSequences fails
Nov 18, 2019
80586f5
Reversing condition order and forwarding error
Nov 18, 2019
8f0c2d0
Going back to original flow but removing else return
Nov 19, 2019
0451acc
Checking noCompressBlock explicitly for rep code confirmation
Nov 21, 2019
10bce19
Mixed declration fix
Nov 21, 2019
707a12c
Test enough room for checksum in superblock
Nov 23, 2019
826b555
Merge branch 'dev' into oss
Nov 23, 2019
d4e17d0
Negating bool, updating bool on inner branches
Nov 26, 2019
1f681d8
Merge branch 'oss' of https://github.com/bimbashrestha/zstd into oss
Nov 27, 2019
1fc9352
Using bss var instead of creating new bool
Dec 3, 2019
ffb0463
Refactor
Dec 4, 2019
2ec556f
Moving init/end functions, moving compressSuperBlock inside body()
Dec 4, 2019
e1913dc
Making const, removing unnecessary indent, changing parameter order
Dec 4, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 13 additions & 1 deletion tests/fuzzer.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -427,7 +427,6 @@ static int basicUnitTests(U32 const seed, double compressibility)
} }
DISPLAYLEVEL(3, "OK \n");


DISPLAYLEVEL(3, "test%3i : decompress with null dict : ", testNb++);
{ ZSTD_DCtx* const dctx = ZSTD_createDCtx(); assert(dctx != NULL);
{ size_t const r = ZSTD_decompress_usingDict(dctx,
Expand Down Expand Up @@ -490,6 +489,19 @@ static int basicUnitTests(U32 const seed, double compressibility)
}
DISPLAYLEVEL(3, "OK \n");

DISPLAYLEVEL(3, "test%3d: superblock enough room for checksum : ", testNb++)
{
/* This tests whether or not we leave enough room for the checksum at the end
* of the dst buffer. The bug that motivated this test was found by the
* stream_round_trip fuzzer but this crashes for the same reason and is
* far more compact than re-creating the stream_round_trip fuzzer's code path */
ZSTD_CCtx *cctx = ZSTD_createCCtx();
ZSTD_CCtx_setParameter(cctx, ZSTD_c_targetCBlockSize, 64);
assert(!ZSTD_isError(ZSTD_compress2(cctx, compressedBuffer, 1339, CNBuffer, 1278)));
ZSTD_freeCCtx(cctx);
}
DISPLAYLEVEL(3, "OK \n");
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Checked that this fails before this patch.


DISPLAYLEVEL(3, "test%3d : check CCtx size after compressing empty input : ", testNb++);
{ ZSTD_CCtx* const cctx = ZSTD_createCCtx();
size_t const r = ZSTD_compressCCtx(cctx, compressedBuffer, compressedBufferSize, NULL, 0, 19);
Expand Down