OGHarn mutationally generates harnesses and uses 3 oracles of behavior to determine both their utility and validity, leading to the discovery of 41 new bugs(with zero false-positive crashes)!

Paper: futures.cs.utah.edu/papers/25ICS...
Source: github.com/FuturesLab/O...

Happy Fuzzing! 🐛

Yes, heavily using LLVM infra and tooling.
Some more like:
- Sanitizers/stack-protectors
- Retguard (OpenBSD compiler based rop gadget removal)
- assisting dynamic analysis through compiler or static analysis approaches
Etc.etc.😊