Completed
Correct Computation
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Can A Fuzzer Match A Human
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Fuzzer No Match for Human Tester, but...
- 3 Compiler Overview
- 4 Code generators
- 5 Threat model
- 6 Limitation of random fuzzing
- 7 Yul Input Generation
- 8 Test program generation
- 9 Differential testing
- 10 Execution Tracing Overview
- 11 Fuzzing Setup
- 12 Bug 1: Incorrect keccak computation
- 13 Bug 2: Incorrect Optimization
- 14 Correct Computation
- 15 Bugs by component
- 16 Bugs by impact
- 17 Bugs by severity
- 18 Heuristics + Randomness
- 19 Conclusion
