trailofbits / ManticoreUI

The Manticore User Interface with plugins for Binary Ninja and Ghidra

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

George can view all of Manticore's states and their status

sschriner opened this issue · comments

commented

Why:

George needs to know what's running and its status.

Acceptance Criteria:

  • When Manticore is running, a MUI side-panel is shown
  • The side-panel shows a list of states and their status
    • We show what is currently being executed by Manticore as an "Active" state in the list
    • We show a queued state as "Waiting" in the list
    • We show a forked state as "Forked" in the list
    • We show a state that has exited normally as "Complete"
    • We show a state that has exited in any other way as "Errored"
  • George can see the ID of the state in the list
  • The status and states are updated at an interval
  • George can scroll to see all of the states

Note:

We have some initial implementation for Manticore introspection for the TUI feature.

We are going to need to generate Java code from the protobuf specification for Manticore's introspection data

From: #2