[HN Gopher] GrayC: Greybox Fuzzing of Compilers and Analysers fo...
___________________________________________________________________
GrayC: Greybox Fuzzing of Compilers and Analysers for C [pdf]
Author : luu
Score : 21 points
Date : 2023-06-11 18:27 UTC (4 hours ago)
HTML web link (srg.doc.ic.ac.uk)
TEXT w3m dump (srg.doc.ic.ac.uk)
| angry_octet wrote:
| This is a better link:
|
| https://srg.doc.ic.ac.uk/projects/grayc/
|
| SRG is the group that maintains KLEE, the symbolic execution
| engine https://klee.github.io/
___________________________________________________________________
(page generated 2023-06-11 23:01 UTC)