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
010editor
Free

Templates and scripts for 010 editor…
AndKittyInjector
Open Source

Inject a shared library into a process using ptrace…
ida-sigmaker
Open Source

sigmaker is a zero-dependency IDA Pro 9.0+ cross-platform signature maker plugin with optional SIMD …
bddisasm
Open Source

bddisasm is a fast, lightweight, x86/x64 instruction decoder. The project also features a fast, bas…
AAIdrive
Open Source

Implementations of some Android Auto features as unofficial IDrive apps…
wxapkg
Free

跨平台微信小程序反编译 GUI 工具，.wxapkg 文件扫描 + 解密 + 解包工具…