FICHA · AUR
klee-uclibc
uclibc for a symbolic virtual machine built on top of the LLVM compiler infrastructure
- symbolic-execution-c-library
- LIBRARY
- Dev
- SECURITY
- Runs in terminal
- Dependency only
· official+codex · reviewed · Jun 1, 2026 description in en
C programs analyzed by KLEE can use a uClibc runtime adapted for symbolic execution.
It is mainly support infrastructure for researchers and developers testing C code with KLEE. Users normally install it as a dependency for symbolic-execution workflows, not as a standalone app.
Permissions
Permissions not analysed for this source yet.