Statically detecting use after free on binary code
AddressSanitizer : A Fast Address Sanity Checker