Targeted fuzzing using static lookahead analysis: how to guide fuzzers using online static analysis

https://blog.mythx.io/misc/targeted-fuzzing-using-static-lookahead-analysis-how-to-guide-fuzzers-using-online-static-analysis/

In previous posts, we introduced Harvey, a fuzzer for Ethereum smart contracts, and presented two techniques to boost its effectiveness: input prediction and multi-transaction fuzzing. Harvey is being developed by MythX in collaboration with Maria Christakis from MPI-SWS. It is one of the tools that powers our smart contract analysis service. Sign up for our […]

The post Targeted fuzzing using static lookahead analysis: how to guide fuzzers using online static analysis appeared first on The Rekt Blog.