SmartContracts-for-verification

This repository contains smart contracts with vulnerabilities registered in SWC to be analyzed with the smart contract verification tools SolCMC, Certora, eThor, HoRStify, VeriSol-MCE and Securify2