1.How to use Slither for auditing smart contractsblog | 2026-06-11 10:26 | hackenproof.com | Original ↗ | .md | #web3 | #security-tools | #static-analysis
2.Level up your Solidity LLM tooling with Slither-MCPblog | 2025-11-15 12:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #mcp | #smart-contract
3.When try, try, try again leads to out-of-order execution bugsblog | 2024-03-01 12:00 | blog.trailofbits.com | Original ↗ | .md | #static-analysis | #blockchain | #race-condition
4.Differential fuzz testing upgradeable smart contracts with Diffuscblog | 2023-07-07 11:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #defi
5.Using mutants to improve Slitherblog | 2022-08-17 13:00 | blog.trailofbits.com | Original ↗ | .md | #smart-contracts | #software-testing | #static-analysis
6.Shedding smart contract storage with Slitherblog | 2022-07-28 13:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #tooling
7.Detecting MISO and Opyn’s msg.value reuse vulnerability with Slithervulnerability | 2021-12-16 18:00 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #defi
8.Efficient audits with machine learning and Slither-similblog | 2020-10-23 11:00 | blog.trailofbits.com | Original ↗ | .md | #ai-security | #web3 | #smart-contracts
9.Emerging Talent: Winternship 2020 Highlightsblog | 2020-05-22 11:50 | blog.trailofbits.com | Original ↗ | .md | #open-source | #security-tools | #tooling
10.Crytic: Continuous Assurance for Smart Contractsblog | 2019-08-02 10:50 | blog.trailofbits.com | Original ↗ | .md | #web3 | #devsecops | #smart-contracts
11.Avoiding Smart Contract “Gridlock” with Slithervulnerability | 2019-07-03 18:42 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #static-analysis
12.Slither: The Leading Static Analyzer for Smart Contractsblog | 2019-05-27 10:30 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #research
13.Slither – a Solidity static analysis frameworkblog | 2018-10-19 10:50 | blog.trailofbits.com | Original ↗ | .md | #open-source | #smart-contracts | #static-analysis
14.Use our suite of Ethereum security toolstool | 2018-03-23 04:28 | blog.trailofbits.com | Original ↗ | .md | #web3 | #smart-contracts | #fuzzing