Symbolic Path Merging in Manticore

Published

2019-01-25 12:50

Collected

2026-07-03 04:26

---
id: 1979
title: "Symbolic Path Merging in Manticore"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2019/01/25/symbolic-path-merging-in-manticore/"
published_at: "2019-01-25T12:50:16Z"
tags: ["research", "program-analysis", "symbolic-execution", "manticore", "state-merging"]
phying_url: "https://phying.com/item/1979"
lang: en
---

# Symbolic Path Merging in Manticore

## Summary

A winternship project explores state merging in Manticore: merging similar symbolic states at one program location cut explored paths by 33% in a test, easing symbolic execution's path explosion.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2019-01-25T12:50:16Z
- **Original:** https://blog.trailofbits.com/2019/01/25/symbolic-path-merging-in-manticore/
- **Phying News:** https://phying.com/item/1979