(no title)
hackhomelab | 6 months ago
As for converting failures into forge tests, there's multiple tools offering a solution to that problem; check out (in no particular order):
* the Recon VSCode extension (https://github.com/Recon-Fuzz/recon-extension)
* fuzz-utils (https://github.com/crytic/fuzz-utils)
* runes (https://github.com/Enigma-Dark/runes)
* fuzz_parser (https://github.com/Enigma-Dark/fuzz-trace-parser)
Some of them use the Echidna trace output, while others (like runes and fuzz-utils) take advantage of the fact that Echidna saves these sequences as part of the corpus during runtime (particularly, in the `reproducers` and `reproducers-unshrunk` corpus subdirectories)
mac-monet|6 months ago
For what's missing from the TUI. The fact that the outputs in the main window are not selectable makes it difficult to keep the fuzzer running but copy the call sequence. I have to ctrl+c to get it into my terminal output and copy from there. I think these tools might help here though.