---
id: 2068
title: "Manticore: Symbolic execution for humans"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/"
published_at: "2017-04-27T04:00:00Z"
tags: ["open-source", "binary-analysis", "instrumentation", "trail-of-bits", "taint-analysis", "symbolic-execution", "manticore"]
phying_url: "https://phying.com/item/2068"
lang: en
---

# Manticore: Symbolic execution for humans

## Summary

Manticore helps us quickly take advantage of symbolic execution, taint analysis, and instrumentation to analyze binaries.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2017-04-27T04:00:00Z
- **Original:** https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
- **Phying News:** https://phying.com/item/2068