ManticoreUI

ManticoreUI copied to clipboard

Bumps [black](https://github.com/psf/black) from 22.6.0 to 24.3.0. Release notes Sourced from black's releases. 24.3.0 Highlights This release is a milestone: it fixes Black's first CVE security vulnerability. If you run Black...

dependabot[bot]

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

1

**What** Currently, Binja plugin users are restricted to the options presented in the Run Dialogs. There should be an additional field where users who are more familiar with Manticore can...

kokrui

Once chess branch logging changes have been merged into master, the Binja plugin on `master` will need some edits - the current state will not successfully log output. You can...

kokrui

[Ghidra] MUI Setup Component requires layout overhaul

1

As of the change that introduces the Hook List component as part of the MUI Setup component, on a fresh install of the plugin the component looks like this: ...

kokrui

Allow hooks to be named, this will aid hook management when the db complexity starts to increase.

lordidiot

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...

ekilmer

Ensure that configurable Manticore settings like find/avoid instruction are able to be saved in a Binary Ninja Database so that when Binary Ninja is saved and closed, it can reopened...

ekilmer

### Why George needs to know where manticore is executing in a given state ### AC - When George double clicks on a running state the instruction currently being executed...

sschriner

### Why: George wants to better understand the state exploration ### AC: * George can right-click on a state and asks for its provenance tree * A graph is shown...

sschriner

### Why: Evelyn needs to know what Manticore detected and wants this data presented in MUI ### Acceptance Criteria: * Evelyn is able to right-click on a completed Manticore state...

sschriner