slither-analyzer
« Back to VersTracker
Description:
Solidity static analysis framework written in Python 3
Type: Formula  |  Latest Version: 0.11.3@0  |  Tracked Since: Nov 6, 2025
Links: Homepage  |  @trailofbits  |  formulae.brew.sh
Category: Security
Tags: solidity smart-contracts security static-analysis blockchain ethereum
Install: brew install slither-analyzer
About:
Slither is a static analysis framework for Solidity smart contracts. It automates vulnerability detection by parsing code into a control flow graph and performing data flow analysis. It enables developers to identify security risks and code optimizations before deployment.
Key Features:
  • Automated vulnerability detection
  • Custom analysis plugin development
  • Integration with CI/CD pipelines
  • Code optimization suggestions
Use Cases:
  • Pre-deployment security auditing of smart contracts
  • Continuous integration for blockchain projects
  • Educational tool for learning Solidity security
Alternatives:
  • Mythril – Mythril uses symbolic execution, while Slither uses static analysis for faster results
  • Oyente – Oyente is an older symbolic execution tool with less active development
Version History
Detected Version Rev Change Commit
Jan 15, 2026 8:23pm 0 REVISION_ONLY 7d578669
Jan 11, 2026 8:20am 7 REVISION_ONLY c32c47d5
Jan 6, 2026 8:29am 6 REVISION_ONLY e5446300
Jan 1, 2026 8:18am 5 REVISION_ONLY 9a71ef5f
Nov 6, 2025 11:04pm 3 VERSION_BUMP de3ebe14
Nov 1, 2025 3:13pm 3 VERSION_BUMP fd21afe8
Oct 12, 2025 10:24am 3 VERSION_BUMP 65446a11
Sep 12, 2025 6:11am 3 VERSION_BUMP b7e7a215
Nov 21, 2024 1:21am 1 VERSION_BUMP 12f2ded5
Nov 20, 2024 6:13pm 1 VERSION_BUMP 3a47e5b3