Skip to content

Manticore 0.2.5
Compare
Choose a tag to compare
@ehennenfent ehennenfent released this 18 Mar 22:11
· 385 commits to master since this release
0.2.5
d287024
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

0.2.5 - 2019-03-18

Thanks to our external contributors!

Manticore 0.2.5 added Unicorn preloading for quickly performing concrete emulation of native binaries until a target address is reached. In the EVM engine, apart from some fixes, this release added support for creating contracts from Truffle JSON artifacts (see json_create_contract).

Full changelog below.

Ethereum

  • [added API] json_create_contract - support creating EVM contracts from Truffle JSON artifacts (#1376)
  • [changed API] Moved default gas value to config module (#1346)
  • [fixed API] Fixed account creation with a code field (#1371)
  • [fixed API] Fixed an incorrect attribute in last_return (#1341)
  • [refactor] Inlined get_possible solutions function as it's only used once (#1372)
  • Fixed _check_jumpdest when run with detectors - this bug could lead to not detecting an int overflow due to tainting made by another detector (#1347)
  • Made findings print addresses in hex (#1339)

Native

  • [added API] Added Unicorn preloading, for quickly performing concrete emulation until a target address is reached. (#1356)
  • Fixed incorrect return value in sys_lseek (#1355)
  • Added check for missing native packages (#1367)

Other

  • [added API] Added context managers for the config module, allowing for temporary configurations (#1345)
  • Updated Capstone to 4.0.1 (#1312)
  • Embedded parsetab.py so users no longer need to generate it (#1383)
Assets 2