klee-uclibc

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ėra oficialių „openSUSE Leap 16.0“ paketų

Platinamieji paketai

openSUSE Tumbleweed

oficiali laida Oficialus
1.4+git.20240531
Expert Download

devel:tools:statica Bandomasis
1.4+git.20240531
Expert Download

openSUSE Leap 16.0

devel:tools:statica Bandomasis
1.4+git.20240531
Expert Download

openSUSE Leap 15.6

devel:tools:statica Bandomasis
1.4+git.20240531
Expert Download

openSUSE Leap 15.5

Nepalaikomos platinamųjų paketų versijos

Šie platinamieji paketai nėra oficialiai palaikomi. Už šių paketų naudojimą atsakomybę turėtumėte prisiimti patys.