DependableSystemsLab / eTainter

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

Alternatives and similar repositories for eTainter:

Users that are interested in eTainter are comparing it to the libraries listed below