This repository contains smart contracts used to evaluate symbolic execution tools for EVM bytecode in Everything You Wanted to Know About Symbolic Execution for Ethereum Smart Contracts (But Were Afraid to Ask).
baolean/symexec-bench
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|