karonte: detect multi-binary vulnerabilities in embedded firmware