SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
Contributions:35 commits, 10 pushes, 1 comment in 2 years
smart-contractsstatic-analysis
eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
Contributions:10 commits, 11 pushes, 1 branch in 5 months
smart-contractsvulnerabilities