USENIX Security ’22 – Liang He, Hong Hu, Purui Su, Yan Cai, Zhenkai Liang – ‘FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries’