From 5aa681dc762cf15be6fe987755f5f42e276a0edf Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Thu, 19 Oct 2017 15:46:22 -0400 Subject: [PATCH] 0.1.5 Release (#501) * Update CHANGELOG.md * Update 0.1.5 README * Bump version/release date --- CHANGELOG.md | 35 ++++++++++++++++++++++++++++++++++- README.md | 2 +- setup.py | 2 +- 3 files changed, 36 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b2bd35a..483aeed 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,7 +2,40 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/). -## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.4...HEAD) +## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.5...HEAD) + +## 0.1.5 - 2017-10-19 + +Thanks to our external contributors to this release! + +- [johnfxgalea](https://github.com/johnfxgalea) + +### Deprecated + +- `Manticore('binary', ['arg1', 'arg2'])` style initialization. Use new class methods (see below). + +### Added + +- Platform-specific class methods for Manticore initialization + - e.g. `Manticore.linux('binary', ['arg1', 'arg2'])` +- `Manticore.init` analysis initialization hook +- Linux: Various new syscall support, including basic TCP socket support +- Core: An updated plugin infrastructure +- [Experimental] Support for symbolic execution of Ethereum Virtual Machine bytecode + +### Changed + +- `Manticore.verbosity`: logging preset levels interface is now a static method, replacing `m.verbosity` property +- Logger output is slightly modified to be more Pythonic + +### Fixed + +- Numerous bugfixes and refactors +- Linux: stderr file is generated in workspace + +### Removed + +- Requirement of external z3 binary installation (z3 installation occurs automatically now via pip) ## 0.1.4 - 2017-08-18 diff --git a/README.md b/README.md index 2d0013f..d97a5ea 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ architectures. It has been primarily used on binaries compiled from C and C++. Examples of practical manticore usage are also [on github](https://github.com/trailofbits/manticore-examples). - OS/Formats: Linux ELF -- Architectures: x86, x86_64, ARMv7 +- Architectures: x86, x86_64, ARMv7, and Ethereum Virtual Machine (EVM) ## Requirements diff --git a/setup.py b/setup.py index 6b2b6cd..2d3bc11 100644 --- a/setup.py +++ b/setup.py @@ -5,7 +5,7 @@ setup( description='Manticore is a prototyping tool for dynamic binary analysis, with support for symbolic execution, taint analysis, and binary instrumentation.', url='https://github.com/trailofbits/manticore', author='Trail of Bits', - version='0.1.4', + version='0.1.5', packages=find_packages(), install_requires=[ 'capstone>=3.0.5rc2',