Identifying Bugs in Router Firmware at Scale with Taint Analysis