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.
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
1.3-bp155.3.5 info | GA Release | 2023-05-22 | 15 SP5 |
|
|