https://github.com/DependableSystemsLab/SolidiFI-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

benchmarks contracts fault injection smart solidity

Last synced: 13 Nov 2024

https://github.com/DependableSystemsLab/AChecker

AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

Last synced: 06 Feb 2025