i believe there was an exploit by another team which used badiret. which is pretty hilarious because badiret has been patched ages ago but FreeBSD never told anyone they fixed it.
https://www.freebsd.org/security/advisories/FreeBSD-SA-15:21...
hn discussion: https://news.ycombinator.com/item?id=10093862