# Install slither-analyzer with Homebrew, Nix Solidity static analysis framework written in Python 3. Version 0.11.5 via Homebrew; verified 2026-06-15. ## Install ```sh sudo av install brew:slither-analyzer ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install slither-analyzer ``` Evidence: local Homebrew formula metadata ### Linux - Nix (92%): ```sh nix profile install nixpkgs#slither-analyzer ``` Evidence: nixpkgs package indexes: slither-analyzer from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix ## Package facts - **Package key:** brew:slither-analyzer - **Package manager:** Homebrew - **Package manager page:** - **Version:** 0.11.5 - **Source summary:** Solidity static analysis framework written in Python 3 - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** AGPL-3.0-only - **Source archive:** - **Last updated:** 2026-06-15T10:21:20-04:00 - **Generated:** 2026-07-09T07:20:21+00:00 ## Executables - slither (cli) - slither-check-erc (cli) - slither-check-kspec (cli) - slither-check-upgradeability (cli) - slither-doctor (cli) - slither-documentation (cli) - slither-find-paths (cli) - slither-flat (cli) - slither-format (cli) - slither-interface (cli) - slither-mutate (cli) - slither-prop (cli) - slither-read-storage (cli) - slither-simil (cli) - slither (alias) - slither-check-erc (alias) - slither-check-kspec (alias) - slither-check-upgradeability (alias) - slither-doctor (alias) - slither-documentation (alias) - slither-find-paths (alias) - slither-flat (alias) - slither-format (alias) - slither-interface (alias) - slither-mutate (alias) - slither-prop (alias) - slither-read-storage (alias) - slither-simil (alias) ## Dependencies - certifi - pydantic - python@3.14 ## Build dependencies - rust ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-07-09 - Package-manager version: 0.11.5 - Package-manager updated: 2026-06-15 - Local data: ok - Upstream repository: https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/ - info: Release/tag comparison is only available for GitHub repositories. ## Security Notes No matching local secret-handling manifest was found for slither-analyzer. Nucleus package metadata is still published here so future coverage has a stable package URL. ## Configuration and credential file locations These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval. ## Configuration files - Unix: slither.config.json ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** slither-analyzer - **Version Scheme:** 0 - **Revision:** 6 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Nix - slither-analyzer: normalized package name match | nixpkgs package indexes: slither-analyzer from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix ## Related links - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Language runtime packages](https://www.automicvault.com/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [python@3.14](https://www.automicvault.com/pkg/brew/python-3-14/) - Runtime dependency declared by Homebrew. - [rust](https://www.automicvault.com/pkg/brew/rust/) - Build dependency declared by Homebrew. - [echidna](https://www.automicvault.com/pkg/brew/echidna/) - Popular package that depends on this formula. - [caracal](https://www.automicvault.com/pkg/brew/caracal/) - Shares av.db curated category or tags: cli, security, smart-contracts, static-analysis. - [crytic-compile](https://www.automicvault.com/pkg/brew/crytic-compile/) - Shares av.db curated category or tags: cli, ethereum, security, smart-contracts, solidity. - [bandit](https://www.automicvault.com/pkg/brew/bandit/) - Shares av.db curated category or tags: cli, security, static-analysis. - [cargo-geiger](https://www.automicvault.com/pkg/brew/cargo-geiger/) - Shares av.db curated category or tags: cli, security, static-analysis. - [flawfinder](https://www.automicvault.com/pkg/brew/flawfinder/) - Shares av.db curated category or tags: cli, security, static-analysis. - [gosec](https://www.automicvault.com/pkg/brew/gosec/) - Shares av.db curated category or tags: cli, security, static-analysis. - [joern](https://www.automicvault.com/pkg/brew/joern/) - Shares av.db curated category or tags: cli, security, static-analysis. ## Combined YAML source View the package source record on GitHub. [combined/slither-analyzer.yml](https://github.com/automic-vault/db/blob/main/combined/slither-analyzer.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated configuration and credential file locations - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph