macOS
Homebrew
vérifié · 100%
brew install klee
local Homebrew formula metadata
Renseignements sur le paquet brew
Installer klee
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de klee pour les workflows d'agents IA.
installation
Installer avec Automic Vault
Automic Vault
sudo av install brew:kleeLinux
Nix
vérifié · 92%
nix profile install nixpkgs#klee
nixpkgs package indexes · pkgs/by-name/kl/klee/package.nix · source: api.github.com
openSUSE zypper
vérifié · 92%
sudo zypper install klee
openSUSE Tumbleweed package metadata · klee · source: download.opensuse.org
Source du gestionnaire de paquets
Notes de plateforme
- Aucune note de plateforme propre au paquet n'était présente.
aperçu
Résumé du paquet
Automic Vault publie les chemins d'installation, les faits d'exécutables et les métadonnées de sécurité propres à klee depuis les données locales de paquets.
Page d'accueil
Commandes et alias
- kleaver
- klee
- klee-exec-tree
- klee-replay
- klee-stats
- klee-zesti
- ktest-gen
- ktest-randgen
- ktest-tool
Résumé source
Symbolic Execution Engine
posture de sécurité
Niveau de risque : yellow
generalized runtime or code generation signal.
Classificateur de risque
yellow risque · medium confiance · runtime
Pourquoi
- generalized runtime or code generation signal
Signaux
- text:repl
Comportement d'installation
- Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
- Les métadonnées de bottle Homebrew sont disponibles pour 5 plateformes.
- S’installe avec 10 dépendances d’exécution.
- Les métadonnées de compilation listent 1 dépendances de compilation.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
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 |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-05-26
version du gestionnaire3.2
gestionnaire mis à jour2026-04-04
données localesok
amontcurrent
dernière version détectéev3.2
- okAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:klee |
|---|---|
| Version | 3.2 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/klee |
| Page d'accueil | https://klee-se.org |
| Dépôt | https://github.com/klee/klee |
| Docs amont | https://klee-se.org |
| Licence | NCSA |
| Archive source | https://github.com/klee/klee/archive/refs/tags/v3.2.tar.gz |
| Mis à jour | 2026-04-04T01:04:25Z |
| Pulse | updated |
| Dépendances | cryptominisat, gmp, gperftools, llvm@16, minisat, python@3.14, sqlite, stp, wllvm, z3 |
| Dépendances de compilation | cmake |
| Bouteille | disponible (arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
piste source
Généré depuis les données du dépôt
Cette page est écrite par scripts/generate-pkg-pages.py. Les déploiements refusent de publier si www/pkg/ est obsolète par rapport aux données locales de paquets.
Sources utilisées
- Geiger risk classifier
- Nucleus package database
- cross-ecosystem install command graph
- package relationship graph
- package version freshness
- package-page enrichment