klee.x86_64: W: position-independent-executable-suggested /usr/bin/kleaver
klee.x86_64: W: position-independent-executable-suggested /usr/bin/klee
klee.x86_64: W: position-independent-executable-suggested /usr/bin/klee-replay
klee.x86_64: W: position-independent-executable-suggested /usr/bin/ktest-gen
klee.x86_64: W: position-independent-executable-suggested /usr/bin/ktest-randgen
This executable should be position independent (all binaries should).  Check
that it is built with -fPIE/-fpie in compiler flags and -pie in linker flags.

klee.x86_64: W: shared-lib-calls-exit /usr/lib64/libkleeRuntest.so.1.0 exit@GLIBC_2.2.5
This library package calls exit() or _exit(), probably in a non-fork()
context. Doing so from a library is strongly discouraged - when a library
function calls exit(), it prevents the calling program from handling the
error, reporting it to the user, closing files properly, and cleaning up any
state that the program has. It is preferred for the library to return an
actual error code and let the calling program decide how to handle the
situation.

2 packages and 0 specfiles checked; 0 errors, 6 warnings.