problem-detection topic
List
problem-detection repositories
SolidityCheck
22
Stars
4
Forks
Watchers
SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Ethereum smart contracts. 《计算机科学》（Computer Science）
