Fix missing check for sanitize_dump in corrupt-dump-fuzzer test#9285
Fix missing check for sanitize_dump in corrupt-dump-fuzzer test#9285oranagra merged 3 commits intoredis:unstablefrom
Conversation
oranagra
left a comment
There was a problem hiding this comment.
😱
i assume this bug got into that test in some late stage of my sanitation project.
so the missing assertions didn't hide any bugs.
also, i was probably looking at the verbose prints (Done $cycle cycles) after each long run,
so hopefully the fact the exit code of the tests was wrong didn't cause me to miss anything.
|
@oranagra |
|
yes... i was worried about the other (possibly more important) impact of that bug, which is the missing assertion (not the missing print). |
|
so i take comfort but the fact i probably looksed at the |
Recently we found two issues in the fuzzer tester: #9302 #9285 After fixing them, more problems surfaced and this PR (as well as #9297) aims to fix them. Here's a list of the fixes - Prevent an overflow when allocating a dict hashtable - Prevent OOM when attempting to allocate a huge string - Prevent a few invalid accesses in listpack - Improve sanitization of listpack first entry - Validate integrity of stream consumer groups PEL - Validate integrity of stream listpack entry IDs - Validate ziplist tail followed by extra data which start with 0xff Co-authored-by: sundb <[email protected]>
…s#9285) this means the assertion that checks that when deep sanitization is enabled, there are no crashes, was missing.
Recently we found two issues in the fuzzer tester: redis#9302 redis#9285 After fixing them, more problems surfaced and this PR (as well as redis#9297) aims to fix them. Here's a list of the fixes - Prevent an overflow when allocating a dict hashtable - Prevent OOM when attempting to allocate a huge string - Prevent a few invalid accesses in listpack - Improve sanitization of listpack first entry - Validate integrity of stream consumer groups PEL - Validate integrity of stream listpack entry IDs - Validate ziplist tail followed by extra data which start with 0xff Co-authored-by: sundb <[email protected]>
Recently we found two issues in the fuzzer tester: #9302 #9285 After fixing them, more problems surfaced and this PR (as well as #9297) aims to fix them. Here's a list of the fixes - Prevent an overflow when allocating a dict hashtable - Prevent OOM when attempting to allocate a huge string - Prevent a few invalid accesses in listpack - Improve sanitization of listpack first entry - Validate integrity of stream consumer groups PEL - Validate integrity of stream listpack entry IDs - Validate ziplist tail followed by extra data which start with 0xff Co-authored-by: sundb <[email protected]> (cherry picked from commit 0c90370)
this means the assertion that checks that when deep sanitization is enabled, there are no crashes, was missing. (cherry picked from commit 3db0f1a)
sanitize_dumpwill never equal 1, so the error log will not be printed in ci.this means the assertion that checks that when deep sanitization is enabled, there are no crashes, was missing.