Re:I found a bug in SQLite
by markerz on Sunday December 11, 2022 @02:05PM
(#33946299)
Sounds a lot like fuzzing, which is a really good way to find really esoteric bugs against a spec! I did something like this in college when I was implementing a compiler and it caught a lot of really weird bugs in a lot of peoples codes. The beautiful part of some fuzzers though is they can automatically simplify their complicated test cases to something you can actually look at and reason about.
[ Parent
| on HN ]
>Sounds a lot like fuzzing, which is a really good way to find really esoteric bugs against a spec!
QuickCheck style testing is maybe also worth a mention here. Instead of using any possible inputs, like in fuzzing, you restrict yourself to legal inputs, like the keywords here, to get maybe less random crashes, but more likely to find useful corner cases because of the restriction on the search space.