manticore

mirror of https://github.com/trailofbits/manticore.git synced 2026-10-12 02:23:44 +00:00

Files

T

Eric Hennenfent 451965f03a Blacken Manticore (#1438 )

* Add black to CI tests

I'd rather have blackening be an optional check, but this will work for now

* Yep, messed up Travis

Again, sorry about the commit spam

* Bump accepted line length to 120

Going to auto-format at 100 but will allow 20% overruns

* Blacken

* Cap line length at 100

rip my undisciplined coding habits

* update black on the fly if necessary

* Ignore CC errors

* Only check modified files

* Only python files

* Re-blacken post merge

* Re-Blacken

* Fix deleted files

* Explicitly invoke python

The +x must not have gotten commited

* Forgot to blacken again

Hoisted on my own petard

* Re-blacken

2019-05-23 15:19:24 -05:00

manticore_viz

Blacken Manticore (#1438 )

2019-05-23 15:19:24 -05:00

README.md

A massive amount of spellchecking (#1141 )

2018-09-18 19:14:44 -04:00

README.md

Installation

Symlink the desired plugin into the plugin directory

Example:

## Installation:
Copy and paste the `manticore_viz` directory 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"