trailofbits/ManticoreUI

Issues

• Binary Ninja plugin Manager can't find subdirectory plugin

  #16 opened 3 years ago by ekilmer
  6

• Natalie and Evelyn can supply additional Manticore arguments in a command-line format

  #54 opened 3 years ago by kokrui
  1

• [Binja] Make logging chess-compatible

  #109 opened 2 years ago by kokrui
  0

• [Ghidra] MUI Setup Component requires layout overhaul

  #79 opened 3 years ago by kokrui
  1

• Document core shared data structures and configuration options

  #34 opened 2 years ago by ekilmer
  1

• Natalie can see the summary of the Manticore Run in the side panel #2435

  #9 opened 2 years ago by sschriner
  1

• [Server] Pause + Kill Manticore States at user discretion

  #85 opened 2 years ago by kokrui
  0

• [Binja] Allow multiple custom hooks per address, edit hooks through option in hook list

  #83 opened 3 years ago by kokrui
  0

• [Server] Protobuf spec should use Field Presence

  #87 opened 3 years ago by kokrui
  0

• [Server] Unicorn emulate until address

  #84 opened 3 years ago by kokrui
  0

• Ghidra custom hook behaviour mismatch

  #81 opened 3 years ago by lordidiot
  1

• Ghidra custom hook has no disassembly highlighting

  #80 opened 3 years ago by lordidiot
  0

• Natalie and Evelyn can Start and Terminate symbolic execution with a MUICore backend

  #51 opened 3 years ago by kokrui
  0

• Natalie and Evelyn can receive and display Log Messages and the State List from MUICore

  #52 opened 3 years ago by kokrui
  1

• Natalie can instruct MUICore to 'find' and 'avoid' specific addresses

  #53 opened 3 years ago by kokrui
  1

• Support manually killing a running state

  #69 opened 3 years ago by lordidiot
  0

• Natalie can pause and restart a running state #2436

  #7 opened 3 years ago by sschriner
  0

• gRPC server should be built on-demand on ManticoreUI install

  #64 opened 3 years ago by kokrui
  0

• Add command for adding function models

  #48 opened 3 years ago by lordidiot
  0

• Support hook naming

  #55 opened 3 years ago by lordidiot
  0

• George can add MUI to Ghidra

  #32 opened 3 years ago by sschriner
  1

• Add support for global hooks

  #47 opened 3 years ago by lordidiot
  0

• Summary window for find/avoid/hooks

  #40 opened 3 years ago by lordidiot
  0

• Improve logging of Manticore Run state

  #39 opened 3 years ago by lordidiot
  2

• George can 'find' and 'avoid' instructions (part 2: backend)

  #36 opened 3 years ago by ekilmer
  2

• Convert from UI settings to Python script

  #43 opened 3 years ago by ekilmer
  0

• Binary Ninja persistent database compatibility

  #42 opened 3 years ago by ekilmer
  0

• George would like instructions on how to get started with MUI's basic features

  #33 opened 3 years ago by sschriner
  0

• George can 'find' and 'avoid' instructions (part 1: UI)

  #35 opened 3 years ago by ekilmer
  1

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

  #28 opened 3 years ago by sschriner
  0

• George would like sensible defaults so that he can run MUI with as little clicks as possible

  #29 opened 3 years ago by sschriner
  1

• Evelyn and Natalie can view a state provenance tree #2439

  #5 opened 3 years ago by sschriner
  0

• Evelyn and Natalie can add MUI to Binary Ninja #2431

  #1 opened 3 years ago by sschriner
  1

• Natalie and Evelyn can view all of Manticore's states and their status #2433

  #2 opened 3 years ago by sschriner
  0

• Evelyn and Natalie can click on a running state and is taken to the instruction that is being executed #2438

  #6 opened 3 years ago by sschriner
  0

• Natalie and Evelyn would like instructions on how to get started with MUI's basic native features

  #23 opened 3 years ago by sschriner
  0

• George can click on a running state and is taken to the instruction that is being executed

  #30 opened 3 years ago by sschriner
  0

• George can view a state provenance tree

  #31 opened 3 years ago by sschriner
  0

• Natalie can view the results of completed runs #2434

  #10 opened 3 years ago by sschriner
  0

• Natalie is informed that only Linux is supported when trying to launch MUI on a Mac #2432

  #11 opened 3 years ago by sschriner
  0

• Add a brief initial tutorial draft for starting and using the plugin

  #20 opened 3 years ago by sschriner
  0

• Evelyn can view the coverage of how a Manticore state progressed through a smart contract #2440

  #4 opened 3 years ago by sschriner
  0

• Natalie can provide initial states #2441

  #3 opened 3 years ago by sschriner
  0

• Evelyn would like sensible defaults so that she can run MUI with as little clicks as possible #2430

  #12 opened 3 years ago by sschriner
  0

• Natalie would like sensible defaults so that she can run MUI with as little clicks as possible

  #17 opened 3 years ago by sschriner
  0

• Natalie can pause, restart, and stop the manticore run #2437

  #8 opened 3 years ago by sschriner
  0

• When Natalie runs a detector the relevant instructions from the Detector results are highlighted for her

  #19 opened 3 years ago by sschriner
  0