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).
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).