Showing 1 of 1 repositories tagged #problem-detection, ranked by stars
SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Ethereum smart contracts. 《计算机科学》（Computer Science）
