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! 🐛

17.03.2025 18:52 — 👍 9    🔁 3    💬 0    📌 0

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.😊

12.03.2025 01:32 — 👍 1    🔁 0    💬 0    📌 0