Command-line tool

alive2

brew/alive2

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Automatic verification of LLVM optimizations

Website Source

At a glance

Type

Command-line tool

Install on

macOS, Linux

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install alive2

Linux

brew install alive2

Related command-line tools

• opt-cli
  Execute CLI Statements based upon Opt-In / Opt-Out Rules. executer cli opt-in opt-out
• turbo-cdn
  Intelligent download accelerator with automatic CDN optimization and concurrent chunked downloads
• llvm-cov-pretty
  More beautiful HTML reports for llvm-cov/cargo-llvm-cov
• cargo-llvm-lines
  Count lines of LLVM IR per generic function
• cargo-llvm-cov
  Cargo subcommand to easily use LLVM source-based code coverage
• spirv-llvm-translator
  Tool and a library for bi-directional translation between SPIR-V and LLVM IR
• clangd
  Language server for C/C++, by the LLVM project
• lit
  Portable tool for LLVM- and Clang-style test suites

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents