Pinned Repositories
asemghaleb.github.io
Team1
AChecker
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
eTainter
eTainter is an automated static taint analysis tool for detecting gas-related vulnerabilities in smart contracts.
SolidiFI
SolidiFI is an automated and systematic framework for evaluating smart contracts' static analysis tools via Bug Injection
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools