Overview Repositories Revisions Requests Users Attributes Meta

LLVM Execution Engine

Edit Package klee
http://klee.github.io/

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.

  • Links to devel:tools:statica / klee
  • Has a link diff
  • Download package
  • osc -A https://api.opensuse.org checkout home:aaronpuchert:Backports:SLE-15/klee && cd $_
  • Create Badge
Refresh
Refresh
Source Files (show unmerged sources)
Filename Size Changed
0001-Add-support-to-build-newer-LLVM-versions.patch 0000004020 3.93 KB
0001-test-disable-failing-tests-with-llvm-15.patch 0000001760 1.72 KB
0002-Add-support-for-newer-libc-Simplify-path-detection.patch 0000005991 5.85 KB
0003-Replace-libcxx_include-with-libcxx_includes-for-mult.patch 0000018271 17.8 KB
0004-Fix-klee-libc-memchr.c-compiler-warning.patch 0000000986 986 Bytes
0005-Fix-klee_eh_cxx.cpp-compiler-error.patch 0000001000 1000 Bytes
0006-Refactor-invocation-of-old-pass-manager-into-legacy-.patch 0000039669 38.7 KB
0007-Use-KLEE-s-uClibc-v1.4-as-default-to-support-the-com.patch 0000000755 755 Bytes
0008-Assume-C-compiler-s-default-standard-is-std-gnu17.patch 0000041170 40.2 KB
0009-Explicitly-build-KLEE-s-exception-handling-runtime-w.patch 0000000908 908 Bytes
0010-Explicitly-enable-opaque-pointer-support-for-LLVM-15.patch 0000002339 2.28 KB
0011-Add-support-for-opaque-pointers.patch 0000016646 16.3 KB
0012-Fix-test-cases-to-support-opaque-pointers.patch 0000007512 7.34 KB
0013-Fix-test-case-using-unsupported-CHECK_NEXT-instead-o.patch 0000000865 865 Bytes
0014-Use-APIs-of-newer-LLVM-versions-instead-of-unsupport.patch 0000006060 5.92 KB
0015-Add-support-for-Intrinsic-get_rounding-for-LLVM-16.patch 0000000986 986 Bytes
0016-Add-support-to-aligned_alloc-generated-by-LLVM.patch 0000000916 916 Bytes
0017-Disable-unsupported-passes-for-newer-LLVM-versions.patch 0000003007 2.94 KB
0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch 0000001178 1.15 KB
0019-Handle-check-for-thrown-libc-exceptions-more-general.patch 0000001463 1.43 KB
0020-Update-test-case-for-expressions-using-udiv-urem-sdi.patch 0000007946 7.76 KB
0021-Support-newer-LLVM-versions-in-lit.patch 0000000953 953 Bytes
0022-Enable-CI-to-test-newer-LLVM-versions.patch 0000000998 998 Bytes
FileCheck.cpp 0000036884 36 KB
_service 0000000619 619 Bytes
_servicedata 0000000226 226 Bytes
klee-3.0+20231023.obscpio 0019110413 18.2 MB
klee-rpmlintrc 0000000103 103 Bytes
klee.changes 0000091074 88.9 KB
klee.obsinfo 0000000100 100 Bytes
klee.spec 0000006133 5.99 KB
not.cpp 0000002281 2.23 KB
Latest Revision
Aaron Puchert's avatar Aaron Puchert (aaronpuchert) committed (revision 2) 
- We don't care about shlib-policy-name-error.
Comments 0
openSUSE Build Service is sponsored by
Places