Package Info

klee-uclibc

install

Libc library for Klee

Development/Languages/Other
This is a port of uClibc to LLVM to serve Klee. Hence, this package
provides a "static" library, but it is not composed of ELF objects, but is
LLVM bytecode packed by ar. Klee uses this to emulate the POSIX runtime
development symbolically.
License: LGPL-2.1-or-later
URL: https://github.com/klee/klee-uclibc

Categories

Development Languages Other

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
1.3-bp156.5.4 info GA Release 2024-02-17 15 SP6
  • x86-64
  • klee-uclibc-devel-static
1.3-bp155.3.5 info GA Release 2023-05-22 15 SP5
  • x86-64
  • klee-uclibc-devel-static