← All tools

manticore

https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/

Open Source

Categories

Reverse Engineering

Description

This project is no longer internally developed and maintained. However, we are happy to review and accept small, well-written pull requests by the community. We will only consider bug fixes and minor enhancements.

Keywords

binary-analysis blockchain emulation ethereum program-analysis python security smt symbolic-execution testing z3

Screenshots

Example Usage

</details>


#### WASM
Manticore can also evaluate WebAssembly functions over symbolic inputs for property validation or general analysis. 

<details>
  <summary>Click to expand:</summary>