DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance
summary
DepFuzz combines feedback-guided fuzzing with a symbolic execution module to find vulnerabilities in Ethereum smart contracts more efficiently. It builds and uses distance-based function-dependence information to prioritize and generate meaningful transaction sequences that reach specific contract states, improving instruction coverage and vulnerability discovery on benchmark and large real-world contracts.
AI-written summary · about
related talks
15mFinding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing
31m“Fuzz or lose..."
20mA New Fuzzing Method Driven by Payload’s Integrity Focus on Logic Bugs
11mIDFuzz: Intelligent Directed Grey-box Fuzzing
13mAdvances in Automated Smart Contract Vulnerability
01h 15mMake your programs more reliable with Fuzzing
39mFuzzing Session: Finding Bugs and Vulnerabilities Automatically
47mFuzzing Your Code