Effective Function Recovery for COTS Binaries using Interface Verification
BAP: A Binary Analysis Platform