I am going to do this review. And I am a sponsor so I can sponsor you.

The description should end with a full stop. Unlike from summary. And the name of package should not be repeated in Summary. See https://docs.fedoraproject.org/en-US/packaging-guidelines/#_summary_and_description

--

Are any of BuildRequires needed just for %check? If yes then I recommend splitting them by comment like:

BuildRequires: gcc
# These are needed just for test
BuildRequires: some-test-package

This helps any future bootstrapping.

--

- Development (unversioned) .so files in -devel subpackage, if present.
  Note: Unversioned so-files directly in %_libdir.
  See: https://docs.fedoraproject.org/en-US/packaging-
  guidelines/#_devel_packages

--

lee.x86_64: W: shared-lib-calls-exit /usr/lib64/libkleeRuntest.so.1.0 exit.5

--

klee.x86_64: W: no-manual-page-for-binary gen-bout
klee.x86_64: W: no-manual-page-for-binary gen-random-bout
klee.x86_64: W: no-manual-page-for-binary kleaver
klee.x86_64: W: no-manual-page-for-binary klee
klee.x86_64: W: no-manual-page-for-binary klee-replay
klee.x86_64: W: no-manual-page-for-binary klee-stats
klee.x86_64: W: no-manual-page-for-binary klee-zesti                                                                                                          
klee.x86_64: W: no-manual-page-for-binary ktest-tool

While this is not a blocker, it would be nice to have one. Probably co-operate with upstream on this.

--

BTW most of these issue I found using `/usr/bin/fedora-review -b 1981739`.

Thank you for the quick review. I'll fix the wording of the summary and description
and I'll contact upstream developers about the manual pages.

However, the warnings regarding the libkleetest library are not relevant for this package
as this library is meant to be used by users of KLEE and not by developers.

Users can replay a specific test-case generated by KLEE by linking this support library
directly to the original tested sources, therefore, -devel sub-package is not suitable
in this case.

The same goes for the "shared-lib-calls-exit" warning. Users can control the behaviour
of this library by environment variables and one of them results in a call of exit(3)
if something goes wrong with the replay environment itself.

More onto this topic can be found in this tutorial:
https://klee.github.io/tutorials/testing-function/#replaying-a-test-case

Thanks for pointing it out, though, I'll emphasize this fact more in the spec file.

Ack. Can you please upload edited src.rpm and spec file?

Sure.

Spec URL: https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-rawhide-x86_64/02330702-klee/klee.spec
SRPM URL: https://download.copr.fedorainfracloud.org/results/lzaoral/klee/fedora-rawhide-x86_64/02330702-klee/klee-2.2-1.fc35.src.rpm
Koji build: https://koji.fedoraproject.org/koji/taskinfo?taskID=71935985

Note that you will have to open BZ later because of that exclude arch. And put that BZ link in spec. See
  https://docs.fedoraproject.org/en-US/packaging-guidelines/#_architecture_build_failures
  (you actually raised this yourself during our face2face meeting).

Can you please run licensecheck on the tarball? It seems there are some files under a different license. These exceptions should be then described in the comment. E.g., 

# most files NCSA
# RNG.cpp under BSD
License: NCSA and BSD

This is just an example, not a complete list.

Package requires other packages for directories it uses.
     Note: No known owner of /usr/include/klee

You should own it:

%files
%dir %{_includedir}/klee