Login / Signup
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
Mark Mossberg
Felipe Manzano
Eric Hennenfent
Alex Groce
Gustavo Grieco
Josselin Feist
Trent Brunson
Artem Dinaburg
Published in:
CoRR (2019)
Keyphrases
</>
user friendly
highly interactive
symbolic execution
user interface
graphical interface
general purpose
website
source code
software package
xml documents
graphical user interface
online databases
user friendly interface