trailofbits / ManticoreUI

The Manticore User Interface with plugins for Binary Ninja and Ghidra

trailofbits/ManticoreUI Issues

[Binja] Make logging chess-compatible
Updated 2 years ago
[Server] Protobuf spec should use Field Presence
Closed 2 years ago
[Server] Pause + Kill Manticore States at user discretion
Closed 2 years ago
[Server] Unicorn emulate until address
Closed 2 years ago
[Binja] Allow multiple custom hooks per address, edit hooks through option in hook list
Closed 2 years ago
Ghidra custom hook behaviour mismatch
Closed 2 years ago1
Ghidra custom hook has no disassembly highlighting
Closed 2 years ago
[Ghidra] MUI Setup Component requires layout overhaul
Updated 2 years ago1
Support manually killing a running state
Closed 2 years ago
gRPC server should be built on-demand on ManticoreUI install
Closed 2 years ago
Support hook naming
Updated 2 years ago
Natalie and Evelyn can supply additional Manticore arguments in a command-line format
Updated 2 years ago1
Natalie can instruct MUICore to 'find' and 'avoid' specific addresses
Closed 2 years ago1
Natalie and Evelyn can receive and display Log Messages and the State List from MUICore
Closed 2 years ago1
Natalie and Evelyn can Start and Terminate symbolic execution with a MUICore backend
Closed 2 years ago
Add command for adding function models
Closed 2 years ago
Add support for global hooks
Closed 2 years ago
Convert from UI settings to Python script
Updated 2 years ago
Binary Ninja persistent database compatibility
Updated 2 years ago
Summary window for find/avoid/hooks
Closed 2 years ago
Improve logging of Manticore Run state
Closed 2 years ago2
George can 'find' and 'avoid' instructions (part 2: backend)
Closed 2 years ago2
George can 'find' and 'avoid' instructions (part 1: UI)
Closed 2 years ago1
Document core shared data structures and configuration options
Closed 2 years ago1
George would like instructions on how to get started with MUI's basic features
Closed 2 years ago
George can add MUI to Ghidra
Closed 2 years ago1
George can view a state provenance tree
Updated 2 years ago
George can click on a running state and is taken to the instruction that is being executed
Updated 2 years ago
George would like sensible defaults so that he can run MUI with as little clicks as possible
Closed 2 years ago1
George can view all of Manticore's states and their status
Closed 2 years ago
Natalie and Evelyn would like instructions on how to get started with MUI's basic native features
Closed 2 years ago
Add a brief initial tutorial draft for starting and using the plugin
Updated 2 years ago
When Natalie runs a detector the relevant instructions from the Detector results are highlighted for her
Updated 3 years ago
Natalie would like sensible defaults so that she can run MUI with as little clicks as possible
Closed 3 years ago
Binary Ninja plugin Manager can't find subdirectory plugin
Closed 2 years ago6
Evelyn would like sensible defaults so that she can run MUI with as little clicks as possible #2430
Closed 3 years ago
Natalie is informed that only Linux is supported when trying to launch MUI on a Mac #2432
Updated 2 years ago
Natalie can view the results of completed runs #2434
Updated 2 years ago
Natalie can see the summary of the Manticore Run in the side panel #2435
Closed 2 years ago1
Natalie can pause, restart, and stop the manticore run #2437
Updated 2 years ago
Natalie can pause and restart a running state #2436
Closed 2 years ago
Evelyn and Natalie can click on a running state and is taken to the instruction that is being executed #2438
Closed 3 years ago
Evelyn and Natalie can view a state provenance tree #2439
Closed 3 years ago
Evelyn can view the coverage of how a Manticore state progressed through a smart contract #2440
Updated 2 years ago
Natalie can provide initial states #2441
Updated 2 years ago
Natalie and Evelyn can view all of Manticore's states and their status #2433
Closed 3 years ago
Evelyn and Natalie can add MUI to Binary Ninja #2431
Closed 3 years ago1