Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
| Title | Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts |
| Authors | Mossberg, Mark and Manzano, Felipe and Hennenfent, Eric and Groce, Alex and Grieco, Gustavo and Feist, Josselin and Brunson, Trent and Dinaburg, Artem |
| Year | 2019 |
Videos
Resources
–