[Paper Review]Operation Mango: Scalable Discovery of Taint-Style Vulnerabilities in Binary Firmware Services