Discovery and Remediation of Vulnerabilities in Monolithic IoT Firmware