DependableSystemsLab / SolidiFI

SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
75Updated 9 months ago

Related projects

Alternatives and complementary repositories for SolidiFI