Cross-Program Taint Analysis for IoT Systems