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.

Tidak ada paket resmi yang tersedia untuk openSUSE Leap 16.0

Distribusi

openSUSE Tumbleweed

rilis resmi Resmi
1.4+git.20240531
Expert Download

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

openSUSE Leap 16.0

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

openSUSE Leap 15.6

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

openSUSE Leap 15.5

Distribusi yang tak didukung

Distribusi berikut ini tidak didukung secara resmi. Gunakan paket ini dengan risiko Anda sendiri.