Slither: The Leading Static Analyzer for Smart Contracts

Summary: Trail of Bits published a WETSEB/ICSE paper on Slither, its static analysis framework for smart contracts, reporting that its bug detection outperforms other tools in speed, robustness, and balance of detection and false positives. The evaluation compared Slither 0.5.0 against Securify, SmartCheck, and Solhint on reentrancy detectors across one thousand of the most-used Etherscan contracts with source code, running each tool with a 120-second timeout.
What's compelling: Reentrancy is named as one of the oldest and most dangerous smart contract issues, and the benchmark rests on a thousand of the most-used contracts - the same code holding the most value and activity.

Read the original at Trail of Bits Blog ↗