# 使用 Homebrew 安装 caracal 查看 caracal 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。 ## 安装 ```sh sudo av install brew:caracal ``` 其他安装命令: ### macOS - Homebrew (100%): ```sh brew install caracal ``` 证据: local Homebrew formula metadata ## 软件包事实 - **软件包键:** brew:caracal - **软件包管理器:** Homebrew - **软件包管理器页面:** - **版本:** 0.2.3 - **来源摘要:** Static analyzer for Starknet smart contracts - **主页:** - **仓库:** - **许可证:** AGPL-3.0-only - **源码归档:** - **已生成:** 2026-08-04T22:13:35+00:00 ## 可执行文件 - caracal (cli) - caracal (别名) ## 构建依赖 - rust ## 安装行为 - post-install 钩子: 未定义 - Bottle: 可用 于 arm64_linux, arm64_monterey, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, monterey, sonoma, ventura, x86_64_linux ## 版本和新鲜度 - 页面生成时间: 2026-08-04 - 管理器版本: 0.2.3 - 本地数据: OK - 上游仓库: https://github.com/crytic/caracal - 检测到的最新版本: v0.2.3 (当前) - 信息: No package-manager update timestamp was available. ## 项目历史与用法 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. ### 项目历史 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. ### 采用历史 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. ### 使用方式 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. ### 为什么软件包爱好者会关心 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. ### 时间线 - 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. ### 来源 - - - - - - ## 安全说明 narrow executable package without higher-risk signals. - **Geiger 风险:** 绿色 / 低 - narrow executable package without higher-risk signals ## 源数据库详情 - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** caracal - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## 相关链接 - [Source-control packages](https://pkg.so/zh-hans/source-control-tools/) - Belongs to a source-control command family. - [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://pkg.so/zh-hans/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [rust](https://pkg.so/zh-hans/brew/rust/) - Build dependency declared by Homebrew. - [slither-analyzer](https://pkg.so/zh-hans/brew/slither-analyzer/) - Shares pkgdb curated category or tags: cli, security, smart-contracts, static-analysis. - [cargo-geiger](https://pkg.so/zh-hans/brew/cargo-geiger/) - Shares pkgdb curated category or tags: cli, security, static-analysis. - [echidna](https://pkg.so/zh-hans/brew/echidna/) - Shares pkgdb curated category or tags: cli, security, smart-contracts. - [crytic-compile](https://pkg.so/zh-hans/brew/crytic-compile/) - Shares pkgdb curated category or tags: cli, security, smart-contracts. - [noir](https://pkg.so/zh-hans/brew/noir/) - Shares pkgdb curated category or tags: cli, security, static-analysis. - [rats](https://pkg.so/zh-hans/brew/rats/) - Shares pkgdb curated category or tags: cli, security, static-analysis. - [zizmor](https://pkg.so/zh-hans/brew/zizmor/) - Shares pkgdb curated category or tags: cli, security, static-analysis. - [checkov](https://pkg.so/zh-hans/brew/checkov/) - Shares pkgdb curated category or tags: cli, security, static-analysis. ## Combined YAML source View the package source record on GitHub. [combined/caracal.yml](https://github.com/mxcl/pkgdb/blob/main/combined/caracal.yml) ## 来源 - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - cross-ecosystem install command graph