qiurui
/
Centos-kernel-stream-9
mirror of https://gitlab.com/redhat/centos-stream/src/kernel/centos-stream-9.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Centos-kernel-stream-9/tools/verification/rv
History
Tomas Glozar 70a3939cdf tools/rv: Keep user LDFLAGS in build 
JIRA: https://issues.redhat.com/browse/RHEL-82810

commit e82c78afa3d48f6512570e7d39258cd68e7bae0a
Author: Tomas Glozar <tglozar@redhat.com>
Date:   Tue Mar 4 15:22:28 2025 +0100

    tools/rv: Keep user LDFLAGS in build

    rv, unlike rtla and perf, drops LDFLAGS supplied by the user and honors
    only EXTRA_LDFLAGS. This is inconsistent with both perf and rtla and
    can lead to all kinds of unexpected behavior.

    For example, on Fedora and RHEL, it causes rv to be build without
    PIE, unlike the aforementioned perf and rtla:

    $ file /usr/bin/{rv,rtla,perf}
    /usr/bin/rv:   ELF 64-bit LSB executable, ...
    /usr/bin/rtla: ELF 64-bit LSB pie executable, ...
    /usr/bin/perf: ELF 64-bit LSB pie executable, ...

    Keep both LDFLAGS and EXTRA_LDFLAGS for the build.

    Cc: John Kacur <jkacur@redhat.com>
    Cc: Luis Goncalves <lgoncalv@redhat.com>
    Cc: Gabriele Monaco <gmonaco@redhat.com>
    Link: https://lore.kernel.org/20250304142228.767658-1-tglozar@redhat.com
    Fixes: 012e4e77df73 ("tools/verification: Use tools/build makefiles on rv")
    Signed-off-by: Tomas Glozar <tglozar@redhat.com>
    Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>

Signed-off-by: Tomas Glozar <tglozar@redhat.com>
 		2025-03-31 10:32:31 +02:00
..
include
…
src tools/verification: Use tools/build makefiles on rv 2024-10-23 18:52:10 -05:00
.gitignore tools/verification: Use tools/build makefiles on rv 2024-10-23 18:52:10 -05:00
Build tools/verification: Use tools/build makefiles on rv 2024-10-23 18:52:10 -05:00
Makefile tools/verification: Use tools/build makefiles on rv 2024-10-23 18:52:10 -05:00
Makefile.config tools/verification: Use pkg-config in lib_setup of Makefile.config 2024-10-23 18:53:05 -05:00
Makefile.rv tools/rv: Keep user LDFLAGS in build 2025-03-31 10:32:31 +02:00
README.txt
…

README.txt 

RV: Runtime Verification

Runtime Verification (RV) is a lightweight (yet rigorous) method that
complements classical exhaustive verification techniques (such as model
checking and theorem proving) with a more practical approach for
complex systems.

The rv tool is the interface for a collection of monitors that aim
analysing the logical and timing behavior of Linux.

Installing RV

RV depends on the following libraries and tools:

 - libtracefs
 - libtraceevent

It also depends on python3-docutils to compile man pages.

For development, we suggest the following steps for compiling rtla:

  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtraceevent.git
  $ cd libtraceevent/
  $ make
  $ sudo make install
  $ cd ..
  $ git clone git://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git
  $ cd libtracefs/
  $ make
  $ sudo make install
  $ cd ..
  $ cd $rv_src
  $ make
  $ sudo make install

For further information, please see rv manpage and the kernel documentation:
  Runtime Verification:
    Documentation/trace/rv/runtime-verification.rst