Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware.