A GUI plugin for Binary Ninja to easily interact with and view the progress of Manticore
Primary LanguagePython