macOS
Homebrew
verifiziert · 100%
brew install klee
local Homebrew formula metadata
brew-Paketinformationen
klee installieren
Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für klee in AI-Agent-Workflows.
Installation
Mit Automic Vault installieren
Automic Vault
sudo av install brew:kleeLinux
Nix
verifiziert · 92%
nix profile install nixpkgs#klee
nixpkgs package indexes · pkgs/by-name/kl/klee/package.nix · Quelle: api.github.com
openSUSE zypper
verifiziert · 92%
sudo zypper install klee
openSUSE Tumbleweed package metadata · klee · Quelle: download.opensuse.org
Paketmanager-Quelle
Plattformhinweise
- Es waren keine paketspezifischen Plattformhinweise vorhanden.
Überblick
Paketzusammenfassung
Automic Vault veröffentlicht paketspezifische Installationswege, Executable-Fakten und Sicherheitsmetadaten für klee aus lokalen Paketdaten.
Homepage
Befehle und Aliase
- kleaver
- klee
- klee-exec-tree
- klee-replay
- klee-stats
- klee-zesti
- ktest-gen
- ktest-randgen
- ktest-tool
Quellzusammenfassung
Symbolic Execution Engine
Sicherheitslage
Risikostufe: yellow
generalized runtime or code generation signal.
Risikoklassifikator
yellow Risiko · medium Konfidenz · runtime
Warum
- generalized runtime or code generation signal
Signale
- text:repl
Installationsverhalten
- No Homebrew post-install hook is recorded in formula metadata.
- Homebrew bottle metadata is available for 5 platform targets.
- Installiert mit 10 Laufzeitabhängigkeiten.
- Build-Metadaten listen 1 Build-Abhängigkeiten.
Empfohlene Prüfung
Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.
Executables
Installierte Executables
| Befehl | Art | Sichtbarkeit | Hinweis |
|---|---|---|---|
kleaver | cli | global executable | |
klee | cli | global executable | |
klee-exec-tree | cli | global executable | |
klee-replay | cli | global executable | |
klee-stats | cli | global executable | |
klee-zesti | cli | global executable | |
ktest-gen | cli | global executable | |
ktest-randgen | cli | global executable | |
ktest-tool | cli | global executable |
Aktualität
Version und Aktualität
Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.
Seite generiert2026-05-26
Manager-Version3.2
Manager aktualisiert2026-04-04
lokale Datenok
Upstreamcurrent
neueste erkannte Versionv3.2
- okEs wurden keine Aktualitätswarnungen generiert.
Installationsmetadaten
Paketmetadaten
| Paketschlüssel | brew:klee |
|---|---|
| Version | 3.2 |
| Paketmanager | Homebrew |
| Paketmanager-Seite | https://formulae.brew.sh/formula/klee |
| Homepage | https://klee-se.org |
| Repository | https://github.com/klee/klee |
| Upstream-Dokumentation | https://klee-se.org |
| Lizenz | NCSA |
| Quellarchiv | https://github.com/klee/klee/archive/refs/tags/v3.2.tar.gz |
| Aktualisiert | 2026-04-04T01:04:25Z |
| Pulse | updated |
| Abhängigkeiten | cryptominisat, gmp, gperftools, llvm@16, minisat, python@3.14, sqlite, stp, wllvm, z3 |
| Build-Abhängigkeiten | cmake |
| Bottle | verfügbar (arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | nicht definiert |
| Dienst | keiner deklariert |
Quellspur
Aus Repository-Daten generiert
Diese Seite wird von scripts/generate-pkg-pages.py geschrieben. Deployments verweigern die Veröffentlichung, wenn www/pkg/ gegenüber lokalen Paketdaten veraltet ist.
Verwendete Quellen
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment