klee-uclibc

Libc library for Klee

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.

Não existe um pacote oficial para openSUSE Leap 16.0

Distribuições

openSUSE Tumbleweed

1.4+git.20240531

devel:tools:statica Experimental
1.4+git.20240531

openSUSE Leap 16.0

devel:tools:statica Experimental
1.4+git.20240531

openSUSE Leap 15.6

devel:tools:statica Experimental
1.4+git.20240531

openSUSE Leap 15.5

Distribuições não suportadas

As seguintes distribuições não são suportadas oficialmente. Utilize os pacotes por sua conta própria.