High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]
High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM [pdf]
users.cs.utah.edu /~regehr/papers/cgo24.pdf
There is a discussion on Hacker News, but feel free to comment here as well.
0 comments