parser: add proptest round-trip fuzzing for AST pretty-printing#64
parser: add proptest round-trip fuzzing for AST pretty-printing#64Franklin-Qi wants to merge 1 commit into
Conversation
Add a proptest-based alternative to libFuzzer for aarch64-friendly round-trip testing: generate random programs, materialize them into ASTs, pretty-print via Display, re-parse, and compare s-expr signatures. Includes a hand-written AST generator, smoke tests, and proptest regression seeds. Closes uutils#41
Franklin-Qi
force-pushed
the
feature-task#41-Parser-fuzzing
branch
from
6f8d320 to
09f3b43
Compare
|
I really want to get this reviewed soon, I promise :) My backlog grows quicker than I can get to it... Tomorrow I'll try to take down my review queue for uutils coreutlis and get to this. If I have the time, I'll take down a few trivial parser issues I have noted locally, or otherwise open them in the issue tracker. |
Thank you very much for your review. Don't worry, you can submit any issues you find when you have time, and I will process them promptly. Let's work together to improve the awk project. |
2 participants
Add a proptest-based alternative to libFuzzer for aarch64-friendly round-trip testing: generate random programs, materialize them into ASTs, pretty-print via Display, re-parse, and compare s-expr signatures.
Includes a hand-written AST generator, smoke tests, and proptest regression seeds.
Closes #41