Discovering vulnerabilities in firmware through concolic analysis and fu...
A project that uses Binary Ninja and GRAKN.AI to perform static analysis...