John Regehr personal blog
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM
Mutation-based fuzzing is based on the idea that new, bug-triggering inputs can often be created by randomly modifying existing, non-bug-triggering inputs. For example, if we wanted to find bugs in a PDF reader, we could grab a bunch of PDF files off the web, mutate them by flipping a few bits or something, and feed…
- Points
- 125
- HN comments
- 4
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSecurity & Privacy2022
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 1, 2022 | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM by djoldman | 125 | 4 |
