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>
See also
pyinstxtractor-ng
Open Source

PyInstaller Extractor Next Generation…
Angr
Open Source

Python binary analysis framework supporting both static and dynamic symbolic execution (concolic exe…
AndKittyInjector
Open Source

Inject a shared library into a process using ptrace…
NETReactorSlayer
Open Source

An open source (GPLv3) deobfuscator and unpacker for Eziriz .NET Reactor…
hyper-reV
Open Source

memory introspection and reverse engineering hypervisor powered by leveraging Hyper-V…
IDA Pro
Paid

The industry-standard disassembler and decompiler (with Hex-Rays decompiler). Supports the widest ra…