Automic VaultAutomic Vault

brew

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 commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install slither-analyzer

local Homebrew formula metadata

overview

Package summary

Solidity static analysis framework written in Python 3

Commands and aliases

  • slither
  • slither-check-erc
  • slither-check-kspec
  • slither-check-upgradeability
  • slither-doctor
  • slither-documentation
  • slither-find-paths
  • slither-flat
  • slither-format
  • slither-interface
  • slither-mutate
  • slither-prop
  • slither-read-storage
  • slither-simil

security posture

No protected-tool coverage found yet

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.

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Installs with 3 runtime dependencies.
  • Build metadata lists 1 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

local files

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

Config paths the tool may read or write during local use.

Unix
slither.config.json

executables

Installed executables

CommandKindExposureNote
slithercliglobal executable
slither-check-erccliglobal executable
slither-check-kspeccliglobal executable
slither-check-upgradeabilitycliglobal executable
slither-doctorcliglobal executable
slither-documentationcliglobal executable
slither-find-pathscliglobal executable
slither-flatcliglobal executable
slither-formatcliglobal executable
slither-interfacecliglobal executable
slither-mutatecliglobal executable
slither-propcliglobal executable
slither-read-storagecliglobal executable
slither-similcliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version0.11.5
manager updated2026-06-15
local dataok
upstreamnot checked
latest detectednot detected

https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/

install metadata

Package metadata

Package keybrew:slither-analyzer
Version0.11.5
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/slither-analyzer
Homepagehttps://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
Repositoryhttps://github.com/crytic/slither
Upstream docshttps://crytic.github.io/slither/slither.html
LicenseAGPL-3.0-only
Source archivehttps://files.pythonhosted.org/packages/b0/e8/bf6efe567dffbab0d850bd2395a7a1db68fe1a95bfb507854be00571832c/slither_analyzer-0.11.5.tar.gz
Last updated2026-06-15T10:21:20-04:00
Pulseupdated
Dependenciescertifi, pydantic, python@3.14
Build dependenciesrust
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameslither-analyzer
Version Scheme0
Revision6
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

slither-analyzer

nix profile install nixpkgs#slither-analyzer
  • normalized package name match
  • Matched by: Slither Analyzer
nixpkgs package indexes · raw.githubusercontent.com · nixpkgs package indexes: slither-analyzer from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • python@3.14Runtime dependency declared by Homebrew.
  • rustBuild dependency declared by Homebrew.
  • echidnaPopular package that depends on this formula.

Same workflow

  • caracalShares av.db curated category or tags: cli, security, smart-contracts, static-analysis.
  • crytic-compileShares av.db curated category or tags: cli, ethereum, security, smart-contracts, solidity.
  • banditShares av.db curated category or tags: cli, security, static-analysis.
  • cargo-geigerShares av.db curated category or tags: cli, security, static-analysis.
  • flawfinderShares av.db curated category or tags: cli, security, static-analysis.
  • gosecShares av.db curated category or tags: cli, security, static-analysis.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment