Statically detecting use after free on binary code
BAP: A Binary Analysis Platform