macOS
Homebrewverified · 100%
brew install caracallocal Homebrew formula metadata
brew
Install caracal with Homebrew
Static analyzer for Starknet smart contracts. Version 0.2.3 via Homebrew; verified from local package data.
install
Additional install commands
overview
Package summary
Static analyzer for Starknet smart contracts
Project links
Commands and aliases
- caracal
history
Project history and usage
Caracal is a Rust command-line static analyzer for Starknet smart contracts, working over Cairo's SIERRA representation to run vulnerability detectors, printers, taint analysis, and data-flow analysis.
Project history
Caracal was created in the Crytic GitHub organization in January 2023. The Crytic organization describes itself as blockchain security by Trail of Bits, placing Caracal in the same family of security analysis tooling as other Crytic projects.
The README describes Caracal as a static analyzer over SIERRA for Starknet smart contracts. It supports standalone Cairo files, Cairo projects, and Scarb projects, with precompiled binaries published on GitHub releases.
Adoption history
Caracal's public adoption is narrower than general-purpose static analyzers because it targets the Starknet/Cairo ecosystem. Its first GitHub release, v0.1.0, appeared in July 2023, followed by 0.2.x releases for Cairo compiler 2.x support.
The Homebrew formula packages the caracal CLI, making it convenient for auditors and developers on macOS to run the same detector list documented in the upstream README.
How it is used
Users run caracal detectors to list available detectors, caracal printers to list printers, caracal detect to analyze standalone files or projects, and caracal print to export information such as CFGs and call graphs.
For Scarb projects, the README instructs users to enable SIERRA output in Scarb.toml before running Caracal. For standalone analysis with a bundled compiler, users may need to provide Cairo corelib with --corelib or CORELIB_PATH.
Why package nerds care
Caracal is package-nerd interesting as a young blockchain-security analyzer where the package boundary includes a Rust CLI, Cairo compiler dependencies, SIERRA compatibility, and smart-contract audit workflows.
It also shows how quickly niche language ecosystems produce packageable analyzers once the compiler exposes a stable intermediate representation.
Timeline
- 2023-01: crytic/caracal repository is created on GitHub.
- 2023-07: Caracal v0.1.0 is published.
- 2023-08: v0.2.0 is published for the Cairo compiler 2.x line.
- 2024-01: v0.2.3 is published, matching the version in Cargo.toml.
- 2026: Homebrew formula metadata still identifies Caracal as a Starknet smart-contract static analyzer.
Related projects
- Cairo and the cairo-lang compiler crates are direct dependencies named in Caracal's Cargo.toml.
- Starknet is the smart-contract platform Caracal targets.
- Scarb is the Cairo package/build tool flow documented by Caracal.
- Crytic and Trail of Bits provide the security-tooling context for the project.
Sources
security posture
Risk level: green
narrow executable package without higher-risk signals.
Risk classifier
green risk · low confidence · appliance
Why
- narrow executable package without higher-risk signals
Signals
- metadata:no-higher-risk-signals
Install behavior
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 10 platform targets.
- 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.
executables
Installed executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
caracal | cli | global 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.2.3
manager updated
local dataok
upstreamcurrent
latest detectedv0.2.3
https://github.com/crytic/caracal
- infoNo package-manager update timestamp was available.low confidence
install metadata
Package metadata
| Package key | brew:caracal |
|---|---|
| Version | 0.2.3 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/caracal |
| Homepage | https://github.com/crytic/caracal |
| Repository | https://github.com/crytic/caracal |
| Upstream docs | https://github.com/crytic/caracal#readme |
| License | AGPL-3.0-only |
| Source archive | https://github.com/crytic/caracal/archive/refs/tags/v0.2.3.tar.gz |
| Build dependencies | rust |
| Bottle | available (on arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, monterey, sonoma, ventura, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
Source database details
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | caracal |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
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.
Combined YAML source
View the package source record on GitHub.
Used sources
- Geiger risk classifier
- Nucleus package database
- av.db category and tag curation
- cross-ecosystem install command graph
- curated package history
- package relationship graph
- package version freshness
- package-page enrichment