Cool project, what are you fuzzing for? Compiler crashes? Inconsistent EVM states? Differential to a reference compiler (presumably Solidity without Yul)?
Bug found after custom mutations were introduced. Said bug was not found by random mutations during several months of continuous fuzzing even with a pretty solid seed corpus. tl;dr: please don't take randomness for granted.https://twitter.com/ethchris/status/1213079161067245570 …
-
-
-
Thank you. We are fuzzing for incorrect code generated by yul optimizer. To detect instances of incorrect code generation, we compare interpreter trace of yul code generated by the optimiser with the trace of unoptimized yul code. More details here https://bshastry.github.io/media/Fuzzing_Solidity.pdf …
- Još 1 odgovor
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.