Statically detecting use after free on binary code
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities