A Lightweight Method for Accelerating Discovery of Taint-Style Vulnerabilities in Embedded Systems.