trailofbits / ManticoreUI

The Manticore User Interface with plugins for Binary Ninja and Ghidra

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Convert from UI settings to Python script

ekilmer opened this issue · comments

During initial exploration of a target, it is easier to specify points of interest with the UI, but if a user wants to write additional logic or even just have the ability to run the same logic from the command-line, then they should be able to do that.

One way to do this would be to export a sort of human-readable configuration file that represents the state of the current Manticore configuration, as specified through the UI.

The configuration file could be passed to a new tool that would do some Python code generation to create a Manticore script that would be used as a starting point for writing more logic. The layout and fields of the configuration file should probably follow closely with the upcoming MUICore messages in the hope that eventually a UI could also be initialized.

The implementation for the codegen isn't decided but there are templating engines that would be good to look at first, like Jinja.