From d96269568129670900bb58a2773e2cf31d992ac91cc845ce70b14aa6c4b76f6a Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Wed, 23 Sep 2020 08:07:25 +0000 Subject: [PATCH 1/2] up to 2.1+20200921 OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=87 --- _servicedata | 2 +- klee-2.1+20200730.obscpio | 3 --- klee-2.1+20200921.obscpio | 3 +++ klee.changes | 16 ++++++++++++++++ klee.obsinfo | 6 +++--- klee.spec | 6 ++++-- 6 files changed, 27 insertions(+), 9 deletions(-) delete mode 100644 klee-2.1+20200730.obscpio create mode 100644 klee-2.1+20200921.obscpio diff --git a/_servicedata b/_servicedata index a616b46..70b130a 100644 --- a/_servicedata +++ b/_servicedata @@ -1,4 +1,4 @@ git://github.com/klee/klee.git - 088fc21e12c9675161172899be5ef5051f1ae96b \ No newline at end of file + a8d51ee568e2e2da339fea8c775d8df53ff40038 \ No newline at end of file diff --git a/klee-2.1+20200730.obscpio b/klee-2.1+20200730.obscpio deleted file mode 100644 index a0b89fd..0000000 --- a/klee-2.1+20200730.obscpio +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:0fc1e497470e8f1255c33211714897b949786df50e309d0a14367642e70529fe -size 19169293 diff --git a/klee-2.1+20200921.obscpio b/klee-2.1+20200921.obscpio new file mode 100644 index 0000000..e8ef07f --- /dev/null +++ b/klee-2.1+20200921.obscpio @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:4d52047147cfdb0a860b47b2bdd79b969ed0cc0d1f9481bd3ecf158af36e9783 +size 19188749 diff --git a/klee.changes b/klee.changes index d1b7b5c..886c1ed 100644 --- a/klee.changes +++ b/klee.changes @@ -1,3 +1,19 @@ +------------------------------------------------------------------- +Wed Sep 23 07:11:05 UTC 2020 - jslaby@suse.com + +- Update to version 2.1+20200921: + * Added a PR template, with a checklist documenting the most frequent issues we have encountered + * [gen-bout] Support multiple symbolic files + * Add klee-zesti a ZESTI like wrapper script + * Fix codecov upload + * Remove secure vars + * Guard process-tree compression with a command-line switch + * More robust handling of unknown intrinsics + * Definition of __cxa_thread_atexit_impl for the KLEE libc. + * klee-stats: check for a run.stats file in the klee-out directory, to prevent outputting wrong data. + * DiscretePDF: use IDs instead of pointers (see PR #739) + * New intrinsic: klee_is_replay + ------------------------------------------------------------------- Thu Aug 06 09:35:38 UTC 2020 - jslaby@suse.com diff --git a/klee.obsinfo b/klee.obsinfo index 1d628e3..171e6e1 100644 --- a/klee.obsinfo +++ b/klee.obsinfo @@ -1,5 +1,5 @@ name: klee -version: 2.1+20200730 -mtime: 1596123871 -commit: 088fc21e12c9675161172899be5ef5051f1ae96b +version: 2.1+20200921 +mtime: 1600708094 +commit: a8d51ee568e2e2da339fea8c775d8df53ff40038 diff --git a/klee.spec b/klee.spec index b15c674..aa36ea1 100644 --- a/klee.spec +++ b/klee.spec @@ -19,7 +19,7 @@ %define llvm_version_major 10 %define llvm_version %{llvm_version_major} -%define version_unconverted 2.1+20200730 +%define version_unconverted 2.1+20200921 %ifarch %{ix86} x86_64 %define with_uclibc 1 @@ -31,7 +31,7 @@ Name: klee Summary: LLVM Execution Engine License: NCSA Group: Development/Languages/Other -Version: 2.1+20200730 +Version: 2.1+20200921 Release: 0 URL: http://klee.github.io/ Source0: %{name}-%{version}.tar.xz @@ -76,6 +76,7 @@ cp %{SOURCE3} build/test/ sed -i '1s@/usr/bin/env python3*@/usr/bin/python3@' \ test/Concrete/ConcreteTest.py \ tools/klee-stats/klee-stats \ + tools/klee-zesti/klee-zesti \ tools/ktest-tool/ktest-tool %build @@ -132,6 +133,7 @@ ninja check %{_bindir}/klee %{_bindir}/klee-replay %{_bindir}/klee-stats +%{_bindir}/klee-zesti %{_bindir}/ktest-tool %{_includedir}/klee/ %{_libdir}/libkleeRuntest.so* From 52dec4dc72fdb7a74204a14dfd7f5c156e9991b52a75daeab87ee04d091394eb Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 24 Sep 2020 05:41:11 +0000 Subject: [PATCH 2/2] fisable 32 bit OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=88 --- klee.changes | 1 + klee.spec | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/klee.changes b/klee.changes index 886c1ed..3eacfcc 100644 --- a/klee.changes +++ b/klee.changes @@ -13,6 +13,7 @@ Wed Sep 23 07:11:05 UTC 2020 - jslaby@suse.com * klee-stats: check for a run.stats file in the klee-out directory, to prevent outputting wrong data. * DiscretePDF: use IDs instead of pointers (see PR #739) * New intrinsic: klee_is_replay +- disable 32 bit archs as klee doesn't (and won't) build on them ------------------------------------------------------------------- Thu Aug 06 09:35:38 UTC 2020 - jslaby@suse.com diff --git a/klee.spec b/klee.spec index aa36ea1..cf462d6 100644 --- a/klee.spec +++ b/klee.spec @@ -50,15 +50,17 @@ BuildRequires: libcap-devel BuildRequires: libselinux-devel BuildRequires: llvm%{llvm_version}-devel BuildRequires: ninja -# tests need sqlite3 BuildRequires: python3 BuildRequires: python3-lit BuildRequires: python3-setuptools BuildRequires: python3-tabulate +# tests need sqlite3 BuildRequires: sqlite3-devel BuildRequires: stp-devel BuildRequires: xz BuildRequires: zlib-devel +# 32 bit doesn't build and won't be fixed +ExcludeArch: %{ix86} %{arm} %description KLEE is a symbolic virtual machine built on top of the LLVM compiler