The presentation discusses the challenges in verifying the correctness of parsers and proposes the use of fuzzing to generate test cases.
- Verifying the correctness of parsers is challenging due to differences in parsing algorithms and poor documentation
- Tree generation flaws and opaque tokens also contribute to the difficulty in testing parsers
- Fuzzing can be used to generate a large number of test cases, but traditional fuzzing methods may not be effective for testing parsers
- A targeted approach to fuzzing can be developed to test parsers more effectively
The presenter mentions crawling the web and looking at Stack Overflow and open-source projects to gather test cases, but notes that this method may not provide enough variety and coverage. They suggest using a buzzer to generate test cases at a higher rate, but note that traditional fuzzing methods may not be effective for testing parsers. The presenter proposes developing a targeted approach to fuzzing to address this issue.