> Surprisingly, libFuzzer struggled to figure out that input should be of size 1024 and couldn’t start fuzzing.

Is this surprising? Does libFuzzer support Redqueen or laf-intel like AFL++ [0][1] which will pick up on any comparisons (like a comparison to size=1024) and fuzz with the intention of changing that comparison to become true or false (to put it overly simple)?

0: https://github.com/AFLplusplus/AFLplusplus/blob/stable/instr...

1: https://github.com/AFLplusplus/AFLplusplus/blob/stable/instr...