Open mojtaba-eshghie opened 6 months ago
Tools, libraries, etc:
We might be able to work with a simpler one for instance sequence fuzzers: Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
ityfuzz Core algorithm of this fuzzer: https://arxiv.org/abs/2306.17135
Grammar-based fuzzer on contract's ABI: https://github.com/crytic/echidna
Tools, libraries, etc:
We might be able to work with a simpler one for instance sequence fuzzers: Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
ityfuzz Core algorithm of this fuzzer: https://arxiv.org/abs/2306.17135
Grammar-based fuzzer on contract's ABI: https://github.com/crytic/echidna