Manticore 0.3.4 (#1720)

* Revert 1e23f7a Remove psutil as a dependency * Bump version numb, update changelog * Re-do updated model not available message * Update for latest PRs * Update dates
trailofbits · Jun 27, 2020 · 4712491 · 4712491
1 parent f39e6ba
commit 4712491
Show file tree

Hide file tree

Showing 7 changed files with 57 additions and 47 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,8 +1,59 @@
 # Change Log
 
-## [Unreleased](https://github.com/trailofbits/manticore/compare/0.3.3...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.3.4...HEAD)
 
-## 0.3.3 - 2020-01
+## 0.3.4 - 2020-06-26
+
+Thanks to our external contributors!
+ - [jimpo](https://github.com/trailofbits/manticore/commits?author=jimpo)
+ - [langston-barrett](https://github.com/trailofbits/manticore/commits?author=langston-barrett)
+
+### Ethereum
+* Support and test against EVM Istanbul [#1676](https://github.com/trailofbits/manticore/pull/1676)
+* **[Added API]** Added a `manticore-verifier` script for checking properties of smart contracts [#1717](https://github.com/trailofbits/manticore/pull/1717)
+* Fixed RETURNDATASIZE [#1612](https://github.com/trailofbits/manticore/pull/1612)
+* Added strategies for symbolic SHA3 replacement [#1609](https://github.com/trailofbits/manticore/pull/1609)
+* Fixed GAS instruction [#1633](https://github.com/trailofbits/manticore/pull/1633)
+* Improved balance-related exploration [#1615](https://github.com/trailofbits/manticore/pull/1615)
+* Add `__format__` to EVM accounts [#1613](https://github.com/trailofbits/manticore/pull/1613)
+* Discard basic blocks that unavoidably REVERT [#1630](https://github.com/trailofbits/manticore/pull/1630)
+* Extract printable bytes from return data [#1671](https://github.com/trailofbits/manticore/pull/1671)
+* Support CHAINID, EXTCODEHASH, and SELFBALANCE instructions [#1644](https://github.com/trailofbits/manticore/pull/1644)
+* **[Changed API]** Renamed several arguments in EVM API, including `gaslimit` --> `gas` [#1652](https://github.com/trailofbits/manticore/pull/1652)
+* Explore states that self-destruct [#1699](https://github.com/trailofbits/manticore/pull/1699)
+* Lazy solving for the Ethereum leak detector [#1727](https://github.com/trailofbits/manticore/pull/1727)
+
+### Native
+* Support for ARM modified-immediate encodings [#1638](https://github.com/trailofbits/manticore/pull/1638)
+* Support for `/proc/self/maps` [#1639](https://github.com/trailofbits/manticore/pull/1639)
+* Support for `llseek` [#1640](https://github.com/trailofbits/manticore/pull/1640)
+* Support for `arm_fadvise64_64` [#1648](https://github.com/trailofbits/manticore/pull/1648)
+* Allow symbolic sockets in `accept` [#1618](https://github.com/trailofbits/manticore/pull/1618)
+* Fixes to `open` [#1657](https://github.com/trailofbits/manticore/pull/1657)
+* Overhauled filesystem emulation [#1673](https://github.com/trailofbits/manticore/pull/1673)
+* Fixed system call argument concretization [#1697](https://github.com/trailofbits/manticore/pull/1697)
+* **[Added API]** Add a symbolic model for `strcpy` [#1681](https://github.com/trailofbits/manticore/pull/1681)
+
+### WASM
+* Delay branch condition concretization for better coverage [#1641](https://github.com/trailofbits/manticore/pull/1641)
+
+### Other
+* **[Added API]** Added a snapshot system [#1710](https://github.com/trailofbits/manticore/pull/1710)
+* Transparent compression for state files [#1624](https://github.com/trailofbits/manticore/pull/1624)
+* Unify around singleton interface for solver [#1649](https://github.com/trailofbits/manticore/pull/1649)
+* Use `__slots__` to reduce memory usage in expression system [#1635](https://github.com/trailofbits/manticore/pull/1635)
+* **[Removed API]** Removed `policy` argument from ManticoreBase, added `outputspace_url` to optionally separate working files from output files [#1651](https://github.com/trailofbits/manticore/pull/1651)
+* Disable broken `get_related` logic [#1674](https://github.com/trailofbits/manticore/pull/1674)
+* Disable flaky Z3 tactics [#1691](https://github.com/trailofbits/manticore/pull/1691)
+* Remove Keystone engine from dependencies [#1684](https://github.com/trailofbits/manticore/pull/1684)
+* Improved error messages [#1632](https://github.com/trailofbits/manticore/pull/1632), [#1704](https://github.com/trailofbits/manticore/pull/1704)
+* Made ConstraintSets hashable [#1703](https://github.com/trailofbits/manticore/pull/1703)
+* Added system to dynamically enable/disable plugins [#1696](https://github.com/trailofbits/manticore/pull/1696) [#1708](https://github.com/trailofbits/manticore/pull/1708)
+* Re-establish support for Yices and CVC4 [#1714](https://github.com/trailofbits/manticore/pull/1714)
+* Improved constant folding and constraint set slicing [#1706](https://github.com/trailofbits/manticore/pull/1706)
+
+
+## 0.3.3 - 2020-01-30
 
 Thanks to our external contributors!
 

diff --git a/docs/conf.py b/docs/conf.py
@@ -54,9 +54,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = "0.3.3"
+version = "0.3.4"
 # The full version, including alpha/beta/rc tags.
-release = "0.3.3"
+release = "0.3.4"
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

diff --git a/manticore/__main__.py b/manticore/__main__.py
@@ -11,7 +11,7 @@
 from .core.manticore import ManticoreBase, set_verbosity
 from .ethereum.cli import ethereum_main
 from .wasm.cli import wasm_main
-from .utils import config, log, install_helper, resources
+from .utils import config, log, install_helper
 
 consts = config.get_group("main")
 consts.add("recursionlimit", default=10000, description="Value to set for Python recursion limit")
@@ -38,9 +38,6 @@ def main() -> None:
 
     set_verbosity(args.v)
 
-    resources.check_disk_usage()
-    resources.check_memory_usage()
-
     if args.argv[0].endswith(".sol") or is_supported(args.argv[0]):
         ethereum_main(args, logger)
     elif args.argv[0].endswith(".wasm") or args.argv[0].endswith(".wat"):

diff --git a/manticore/core/smtlib/solver.py b/manticore/core/smtlib/solver.py
@@ -30,7 +30,6 @@
 from .visitors import *
 from ...exceptions import Z3NotFoundError, SolverError, SolverUnknown, TooManySolutions, SmtlibError
 from ...utils import config
-from ...utils.resources import check_memory_usage, check_disk_usage
 from . import issymbolic
 
 

diff --git a/manticore/utils/resources.py b/manticore/utils/resources.py
diff --git a/mypy.ini b/mypy.ini
@@ -39,6 +39,3 @@ ignore_missing_imports = True
 
 [mypy-wasm.*]
 ignore_missing_imports = True
-
-[mypy-psutil.*]
-ignore_missing_imports = True
diff --git a/setup.py b/setup.py
@@ -48,7 +48,7 @@ def rtd_dependent_deps():
     long_description_content_type="text/markdown",
     url="https://github.com/trailofbits/manticore",
     author="Trail of Bits",
-    version="0.3.3",
+    version="0.3.4",
     packages=find_packages(exclude=["tests", "tests.*"]),
     python_requires=">=3.6",
     install_requires=[
@@ -61,7 +61,6 @@ def rtd_dependent_deps():
         "wasm",
         "dataclasses; python_version < '3.7'",
         "pyevmasm>=0.2.3",
-        "psutil",
     ]
     + rtd_dependent_deps(),
     extras_require=extra_require,