Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware - View it on GitHub