klee-2.3-6.fc37 RPM for x86_64

From Fedora 37 for x86_64 / k

Symbolic virtual machine built on top of the LLVM compiler infrastructure.

Provides

• klee
• klee(x86-64)
• libkleeRuntest.so.1.0()(64bit)

Requires

• /usr/bin/python3
• libLLVM-14.so()(64bit)
• libLLVM-14.so(LLVM_14)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.11)(64bit)
• libc.so.6(GLIBC_2.14)(64bit)
• libc.so.6(GLIBC_2.2.5)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.3)(64bit)
• libc.so.6(GLIBC_2.3.4)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.4)(64bit)
• libcap.so.2()(64bit)
• libkleeRuntest.so.1.0()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libsqlite3.so.0()(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• libstp.so.2.3()(64bit)
• libtcmalloc.so.4()(64bit)
• libz.so.1()(64bit)
• libz3.so.4.11()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

NCSA and Boost and MIT and BSD and BSD with advertising and LGPLv2

Changelog

* Fri Aug 19 2022 Jerry James <loganjerry@gmail.com> - 2.3-6
  - Rebuild for z3 4.11
  - Add z3-4.11.patch due to Z3_TRUE removal
* Wed Aug 10 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-5
  - Rebuild for z3 4.10 (rhbz#2117070)
* Mon Jul 25 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-4
  - Enable Z3 solver backend
  - Enable libacl and libcap integration in POSIX runtime
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Tue Apr 05 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-2
  - Update KLEE uClibc to v1.3
* Mon Apr 04 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.3-1
  - Update to 2.3
* Tue Jan 25 2022 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-5
  - uClibc must be built with clang (#2045767)
    - Caused by CC=gcc set by implicit %set_build_flags in %build
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Fri Oct 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-3
  - Rebuild for llvm-13.0.0 (#2014582)
* Wed Oct 13 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-2
  - Fix compilation with LLVM 13
  - Enable uClibc and POSIX runtime support as requested by upstream.
  - Due to uClibc, package is now buildable only on x86_64.
  - Enable SELinux support
* Thu Jul 15 2021 Lukáš Zaoral <lzaoral@redhat.com> - 2.2-1
  - First release

Files

/usr/bin/gen-bout
/usr/bin/gen-random-bout
/usr/bin/kleaver
/usr/bin/klee
/usr/bin/klee-replay
/usr/bin/klee-stats
/usr/bin/klee-zesti
/usr/bin/ktest-tool
/usr/include/klee
/usr/include/klee/klee.h
/usr/lib/.build-id
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/387d13defded347a2999583fd2f777d86ef427
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/33b49ab6c08e0719fcf85c132d3964f9e44db9
/usr/lib/.build-id/99
/usr/lib/.build-id/99/5faf9f7b94b4247d0ca20cab5370b17831a518
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/d0cff171db228f6a4ae9e07ace86cf1a3619bd
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/6dcb5c13235626dc1bab32b4f1dded578ba187
/usr/lib/.build-id/f4
/usr/lib/.build-id/f4/f60e5c96a6af4978a94dc5a00dfea72ba47940
/usr/lib64/klee
/usr/lib64/klee/runtime
/usr/lib64/klee/runtime/klee-uclibc.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeFortify64_Release.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug+Asserts.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release+Debug.bca
/usr/lib64/klee/runtime/libkleeRuntimePOSIX64_Release.bca
/usr/lib64/libkleeRuntest.so
/usr/lib64/libkleeRuntest.so.1.0
/usr/share/doc/klee
/usr/share/doc/klee/NEWS
/usr/share/doc/klee/README.md
/usr/share/licenses/klee
/usr/share/licenses/klee/LICENSE.TXT

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 20:33:48 2024