SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

klee rpm build for : OpenSuSE. For other distributions click klee.

Name : klee
Version : 3.0+20230611 Vendor : openSUSE
Release : bp156.1.8 Date : 2024-05-13 19:48:34
Group : Development/Languages/Other Source RPM : klee-3.0+20230611-bp156.1.8.src.rpm
Size : 6.21 MB
Packager : https://bugs_opensuse_org
Summary : LLVM Execution Engine
Description :
KLEE is a symbolic virtual machine built on top of the LLVM compiler
infrastructure, and available under the UIUC open source license. For more
information on what KLEE is and what it can do, see the OSDI 2008 paper.

RPM found in directory: /vol/rzm3/linux-opensuse/distribution/leap/15.6/repo/oss/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  klee-3.0+20230611-bp156.1.8.x86_64.rpm
ftp.icm.edu.pl  klee-3.0+20230611-bp156.1.8.x86_64.rpm
     

Provides :
klee
klee(x86-64)
libkleeRuntest.so.1.0()(64bit)

Requires :
/sbin/ldconfig
/sbin/ldconfig
/usr/bin/python3
libLLVM.so.14()(64bit)
libLLVM.so.14(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.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libc.so.6(GLIBC_2.4)(64bit)
libcap.so.2()(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.9)(64bit)
libstp.so.2.3()(64bit)
libtcmalloc.so.4()(64bit)
libz.so.1()(64bit)
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1


Content of RPM :
/usr/bin/kleaver
/usr/bin/klee
/usr/bin/klee-replay
/usr/bin/klee-stats
/usr/bin/klee-zesti
/usr/bin/ktest-gen
/usr/bin/ktest-randgen
/usr/bin/ktest-tool
/usr/include/klee
/usr/include/klee/klee.h
/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
There is 26 files more in these RPM.

  
ICM