News for hackers. Stuff that matters.

A comment on High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]. Parent comment

Re:High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM... by boomanaiden154 on Friday January 12, 2024 @04:04AM (#38965749)
Pretty much this. It's called Alive2.

https://dl.acm.org/doi/abs/10.1145/3453483.3454030

[ Parent | on HN ]
Re:High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM... by isaacfrond on Friday January 12, 2024 @04:56AM (#38966121)
tnanks
[ Parent | on HN ]