Published April 15, 2026
| Version 1.0.0
Software
Open
enzozbest/polyfuzz: Polyfuzz Testing Infrastructure
Description
This is the final version of the software artefact developed as my Final Year Project at King's College London.
Polyfuzz is a testing infrastructure for the lexer of the Poly/ML compiler, using grammar-guided generation and fuzzing for input production, and differential testing against an oracle to identify and classify issues.
Files
enzozbest/polyfuzz-1.0.0.zip
Files
(569.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:73e4b09c4f18029505f4db141ce4fa32
|
569.1 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/enzozbest/polyfuzz/tree/1.0.0 (URL)
Software
- Repository URL
- https://github.com/enzozbest/polyfuzz