Skip to content

Instantly share code, notes, and snippets.

@ggrieco-tob

ggrieco-tob/README.md Secret

Last active March 25, 2023 05:41
Show Gist options
  • Star 2 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ggrieco-tob/76e41835681a59d91fd73b6f5bb7bbe4 to your computer and use it in GitHub Desktop.
Save ggrieco-tob/76e41835681a59d91fd73b6f5bb7bbe4 to your computer and use it in GitHub Desktop.
Download ZIP
Complementary material for the "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts" paper
Raw
README.md

Requirements

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

Experiments

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