GitHub repository: ucsb-seclab/karonte
Primary language: Python
Description: Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware