GitHub repository: mozark24/PaperMachete
Primary language: Python
Description: A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.