Automated Security Analysis of IoT Software Updates