https://github.com/DependableSystemsLab/SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
https://github.com/DependableSystemsLab/SolidiFI-benchmark
benchmarks contracts fault injection smart solidity
Last synced: 6 months ago
JSON representation
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
- Host: GitHub
- URL: https://github.com/DependableSystemsLab/SolidiFI-benchmark
- Owner: DependableSystemsLab
- License: other
- Created: 2020-05-15T23:11:53.000Z (almost 5 years ago)
- Default Branch: master
- Last Pushed: 2022-06-16T08:16:21.000Z (almost 3 years ago)
- Last Synced: 2024-08-03T23:15:57.676Z (9 months ago)
- Topics: benchmarks, contracts, fault, injection, smart, solidity
- Language: Python
- Homepage: http://blogs.ubc.ca/karthik/2020/05/22/how-effective-are-smart-contract-static-analysis-tools-evaluating-smart-contract-static-analysis-tools-using-bug-injection/
- Size: 7.14 MB
- Stars: 48
- Watchers: 4
- Forks: 22
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE