Hybrid fuzzing: Sharpening the spikes of Echidna

Hybrid Echidna couples Trail of Bits' smart contract fuzzer with the Maat symbolic execution framework to reach bugs random fuzzing can't — triggering assertion failures that require specific 256-bit integer inputs, which Echidna alone had no realistic chance of finding.