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:
ASE (2019)
Keyphrases
</>
user friendly
user interface
graphical user interface
graphical interface
highly interactive
online databases
symbolic execution
neural network
command line
databases
data mining
artificial intelligence
multi agent systems