DependableSystemsLab / eTainter

eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
17Updated last year

Related projects

Alternatives and complementary repositories for eTainter