diff --git a/README.md b/README.md index 008cf36..8f27752 100644 --- a/README.md +++ b/README.md @@ -50,6 +50,7 @@ Installers for the following tools are included: | binary | [virtualsocket](https://github.com/antoniobianchi333/virtualsocket) | A nice library to interact with binaries. | | binary | [wcc](https://github.com/endrazine/wcc) | The Witchcraft Compiler Collection is a collection of compilation tools to perform binary black magic on the GNU/Linux and other POSIX platforms. | | binary | [xrop](https://github.com/acama/xrop) | Gadget finder. | +| binary | [manticore](https://github.com/trailofbits/manticore) | Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation. | | forensics | [binwalk](https://github.com/devttys0/binwalk.git) | Firmware (and arbitrary file) analysis tool. | | forensics | [dislocker](http://www.hsc.fr/ressources/outils/dislocker/) | Tool for reading Bitlocker encrypted partitions. | | forensics | [exetractor](https://github.com/kholia/exetractor-clone) | Unpacker for packed Python executables. Supports PyInstaller and py2exe. | diff --git a/manticore/install b/manticore/install new file mode 100644 index 0000000..bcf768f --- /dev/null +++ b/manticore/install @@ -0,0 +1,4 @@ +#!/bin/bash -ex + +git clone --depth 1 https://github.com/trailofbits/manticore.git && cd manticore +ctf-tools-pip install --no-binary capstone . diff --git a/manticore/install-root-debian b/manticore/install-root-debian new file mode 100644 index 0000000..4f29fa8 --- /dev/null +++ b/manticore/install-root-debian @@ -0,0 +1,5 @@ +#!/bin/bash -ex + +set -eu -o pipefail + +apt-get -y install z3 diff --git a/manticore/uninstall b/manticore/uninstall new file mode 100644 index 0000000..6659d5c --- /dev/null +++ b/manticore/uninstall @@ -0,0 +1,3 @@ +#!/bin/bash -ex + +ctf-tools-pip uninstall -y manticore || true