Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

By Mark Mossberg, F. Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg. International Conference on Automated Software Engineering, 2019

406 citations recorded by the source corpus.

An effective way to maximize code coverage in software tests is through dynamic symbolic execution—a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.

Subfields: Computer Networks and Communications, Software, Signal Processing

View Paper: https://www.semanticscholar.org/paper/edef259bc5b64f64c0cc697999496f485a90ce45

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

  1. Madhusanka Liyanage
  2. Mika E. Ylianttila
  3. Tharaka Mawanane Hewa
  4. Rui Abreu

In Software

  1. Rui Abreu

In Signal Processing

  1. Tharaka Mawanane Hewa
  2. Rui Abreu
  3. Madhusanka Liyanage
  4. Mika E. Ylianttila

Citations in the corpus