Team / organization
@Jackesgamero
repos
1
stars
0
forks
contributors
open issues
active 30d
A benchmark of intentionally vulnerable smart contracts aligned with the SWC registry, built to evaluate formal verification tools including SolCMC, Certora, eThor, HoRStify, and Securify2
Jackesgamero
64 commits · 1 repos
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.