manticore

History

Theofilos Petsios a025bda97a Updated visualization plugin with coverage info & live update option (#444 )

* plugin rearrangement and UI options

* Live update and clear options

* coverage stats

* added check for xref address

* coverage in separate option as BackgroundTaskThread

* license cleanup

2017-08-23 17:47:23 -04:00

manticore_viz

Updated visualization plugin with coverage info & live update option (#444 )

2017-08-23 17:47:23 -04:00

README.md

Updated visualization plugin with coverage info & live update option (#444 )

2017-08-23 17:47:23 -04:00

README.md

Installation

Symlink the desired plugin into the plugin directory

Example:

## Installation:
Copy and paste the `manticore_viz` directoru to the binary ninja [plugin folder](https://github.com/Vector35/binaryninja-api/tree/dev/python/examples#loading-plugins).


Alternatively, you can create a symbolic link to the respective directories.
E.g., in Mac OS X

cd ~/Library/Application\ Support/Binary\ Ninja ln -s <manticore_root>/scripts/binaryninja/manticore_viz .


## Usage

- Run manticore on a binary
- Open the same binary in Binary Ninja
- Select "Highlight Trace"