Skip to content

Instantly share code, notes, and snippets.


ggrieco-tob/ Secret

Last active Jun 19, 2019
What would you like to do?
Complementary material for the "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts" paper


Before starting, make sure you are using the Manticore 0.3.0 release to replicate our results.


For the native symbolic execution, we used the logic bombs benchmark for symbolic execution tools. The code and data to reproduce our experiments is available here.

The evaluation of the Ethereum smart contract symbolic execution, we include here the sample of smart contracts that we crawled from Etherscan.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.