DependableSystemsLab/SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
PythonNOASSERTION
Stargazers
- Atefeh-ZarehSomewhere, Earth
- boshmaf
- BowennCAIMinneapolis
- Butters3388214
- bzk199812
- Cadeww000
- caosheng007
- CHZofCSUCSU & SYSU
- drhall-ua
- fang19911030CWRU
- faustocarvaBrazilian Public Prosecutor's Office
- HAOYUatHZ@scroll-tech @fluidex @ZenGo-X
- heyCoke
- hxy-danielChina
- JustinASmithMississippi
- Liujinghan002
- MarkLee131East China Normal University
- MASDXIInternet, Internet Service Provider
- michwqy
- peterlunmi
- pingus901
- Porkodi-SIndia
- rafaelflUniversidade Federal do Maranhão (UFMA)
- Reanon@bytedance @seu
- ruganalysisnetwork
- sambacha@manifoldfinance
- Silence1017
- spilehchiha@Zellic
- sunbeomso
- suxnju
- tlj-1999
- tokarev-i-v
- VeraLii
- videv93
- yxliang01Place Where Sky Is Visible
- zerjioang/dev/tty