klee

A symbolic virtual machine built on top of the LLVM compiler infrastructure.

binaryRed Team

Official docs ↗Download ↗

Platforms: Linux · Last verified September 6, 2026

A symbolic virtual machine built on top of the LLVM compiler infrastructure.

Only use this tool against systems you own or are explicitly authorized to test — see the disclaimer.

Getting started

Install on BlackArch with `pacman -S klee` (or add the BlackArch repository to an existing Arch Linux install). See the official BlackArch tool listing and upstream homepage linked above for details.

Commonly preinstalled on

BlackArch

Arch Linux-based distribution with one of the largest pentest tool repositories