Linked Presentation: Operation Mango: Scalable Discovery of Taint-Style Vulnerabilities in Binary Firmware Services