Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Authors:
- Mark MossbergMMMark Mossberg
- Felipe ManzanoFMFelipe Manzano
- Eric HennenfentEHEric Hennenfent
- Alex GroceAGAlex Groce
- Gustavo GriecoGGGustavo Grieco
- Josselin FeistJFJosselin Feist
- Trent BrunsonTBTrent Brunson
- Artem DinaburgADArtem Dinaburg
Top Cited Papers
- 1 November 2019
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableAll Related Versions
This publication has 7 references indexed in Scilit:
- A Survey of Symbolic Execution TechniquesACM Computing Surveys, 2018
- DeepState: Symbolic Unit Testing for C and C++2018
- An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns2017
- SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis2016
- BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis2016
- Higher-order test generationACM SIGPLAN Notices, 2011
- SELECT---a formal system for testing and debugging programs by symbolic execution1975