Symbolically Executing WebAssembly in Manticore

Published

2020-01-31 14:00

Collected

2026-07-03 04:18

---
id: 1885
title: "Symbolically Executing WebAssembly in Manticore"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/"
published_at: "2020-01-31T14:00:26Z"
tags: ["binary-analysis", "blockchain", "trail-of-bits", "program-analysis", "symbolic-execution", "webassembly", "manticore", "ewasm", "wasm"]
phying_url: "https://phying.com/item/1885"
lang: en
---

# Symbolically Executing WebAssembly in Manticore

## Summary

Manticore 0.3.3 adds symbolic execution for WebAssembly binaries, exploring all reachable states and deriving concrete inputs, laying groundwork for security analysis of WASM and ewasm code.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2020-01-31T14:00:26Z
- **Original:** https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/
- **Phying News:** https://phying.com/item/1885