search

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5 stars 2 forks source link

3 full buggy contracts with exploits #83

Closed mojtaba-eshghie closed 2 weeks ago

mojtaba-eshghie commented 3 weeks ago

To evaluate the functionality of our tool, we provide three contracts each introduced with a bug in their implementation and an exploit to abuse it.

Contracts

Exploits

The following Solidity files are introduced: