Linked Presentation: FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on BinariesDetecting Logical Bugs of DBMS with Coverage-based Guidance
