From bda9c091b58acf3ea19de876a75cd0e49e1ec5ea Mon Sep 17 00:00:00 2001 From: Mark Mossberg Date: Fri, 30 Mar 2018 18:26:26 -0400 Subject: [PATCH] Manticore 0.1.8 (#851) (thanks for 1k) * Bump version numbers * initial changelog update * Add changelog content * add contribs --- CHANGELOG.md | 22 +++++++++++++++++++++- manticore/__main__.py | 2 +- setup.py | 2 +- 3 files changed, 23 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index b9b6c58..e8e9be5 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,7 +2,27 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/). -## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.7...HEAD) +## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.8...HEAD) + +## 0.1.8 - 2018-03-30 + +Thanks to our external contributors! + +- [khorben](https://github.com/khorben) +- [disconnect3d](https://github.com/disconnect3d) +- [arunjohnkuruvilla](https://github.com/arunjohnkuruvilla) +- [mroll](https://github.com/mroll) + +### Added + +- Ethereum: `--txaccount` cli argument to control caller of transaction +- Ethereum: Per state execution trace files in workspace + +### Fixed + +- Linux: `--data` cli argument to specify concrete stdin +- Numerous Ethereum fixes and stability improvements +- Fixes for native cpu emulation ## 0.1.7 - 2018-02-23 diff --git a/manticore/__main__.py b/manticore/__main__.py index 35c90ee..d882ebe 100644 --- a/manticore/__main__.py +++ b/manticore/__main__.py @@ -60,7 +60,7 @@ def parse_arguments(): parser.add_argument('--workspace', type=str, default=None, help=("A folder name for temporaries and results." "(default mcore_?????)")) - parser.add_argument('--version', action='version', version='Manticore 0.1.7', + parser.add_argument('--version', action='version', version='Manticore 0.1.8', help='Show program version information') parser.add_argument('--txlimit', type=positive, help='Maximum number of symbolic transactions to run (positive integer) (Ethereum only)') diff --git a/setup.py b/setup.py index b84904a..5fe5a3a 100644 --- a/setup.py +++ b/setup.py @@ -15,7 +15,7 @@ setup( description='Manticore is a symbolic execution tool for analysis of binaries and smart contracts.', url='https://github.com/trailofbits/manticore', author='Trail of Bits', - version='0.1.7', + version='0.1.8', packages=find_packages(), install_requires=[ 'capstone>=3.0.5rc2',