[GIT PULL] runtime verifier: Updates for v6.19

[GIT PULL] runtime verifier: Updates for v6.19

[Steven Rostedt]

Linus,

Runtime verifier updates for v6.19:

- Adapt the ftracetest script to be run from a different folder

  This uses the already existing OPT_TEST_DIR but extends it further to run
  independent tests, then add an --rv flag to allow using the script for
  testing RV (mostly) independently on ftrace.

- Add basic RV selftests in selftests/verification for more validations

  Add more validations for available/enabled monitors and reactors. This
  could have caught the bug introducing kernel panic solved above. Tests use
  ftracetest.

- Convert react() function in reactor to use va_list directly

  Use a central helper to handle the variadic arguments. Clean up macros
  and mark functions as static.

- Add lockdep annotations to reactors to have lockdep complain of errors

  If the reactors are called from improper context. Useful to develop new
  reactors. This highlights a warning in the panic reactor that is related
  to the printk subsystem and not to RV.

- Convert core RV code to use lock guards and __free helpers

  This completely removes goto statements.

- Fix compilation if !CONFIG_RV_REACTORS

  Fix the warning by keeping LTL monitor variable as always static.


Please pull the latest trace-rv-6.19 tree, which can be found at:


  git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git
trace-rv-6.19

Tag SHA1: e4d719f299bbe8f786e5c590962c0055ffbc63ce
Head SHA1: bbaacdc339d4bde2690b659dc090af7c20a1937e


Gabriele Monaco (3):
      selftest/ftrace: Generalise ftracetest to use with RV
      selftests/verification: Add initial RV tests
      rv: Fix compilation if !CONFIG_RV_REACTORS

Nam Cao (2):
      rv: Convert to use lock guard
      rv: Convert to use __free

Thomas Weißschuh (3):
      rv: Pass va_list to reactors
      rv: Make rv_reacting_on() static
      rv: Add explicit lockdep context for reactors

----
 MAINTAINERS                                        |   1 +
 include/linux/rv.h                                 |  11 ++-
 include/rv/da_monitor.h                            |  35 ++-----
 include/rv/ltl_monitor.h                           |  17 +---
 kernel/trace/rv/reactor_panic.c                    |   6 +-
 kernel/trace/rv/reactor_printk.c                   |   6 +-
 kernel/trace/rv/rv.c                               | 102 ++++++++-------------
 kernel/trace/rv/rv.h                               |   6 +-
 kernel/trace/rv/rv_reactors.c                      |  78 ++++++++--------
 kernel/trace/trace.c                               |   3 +-
 tools/testing/selftests/ftrace/ftracetest          |  34 +++++--
 .../ftrace/test.d/00basic/mount_options.tc         |   2 +-
 tools/testing/selftests/ftrace/test.d/functions    |   6 +-
 tools/testing/selftests/verification/.gitignore    |   2 +
 tools/testing/selftests/verification/Makefile      |   8 ++
 tools/testing/selftests/verification/config        |   1 +
 tools/testing/selftests/verification/settings      |   1 +
 .../selftests/verification/test.d/functions        |  39 ++++++++
 .../test.d/rv_monitor_enable_disable.tc            |  75 +++++++++++++++
 .../verification/test.d/rv_monitor_reactor.tc      |  68 ++++++++++++++
 .../verification/test.d/rv_monitors_available.tc   |  18 ++++
 .../verification/test.d/rv_wwnr_printk.tc          |  30 ++++++
 .../selftests/verification/verificationtest-ktap   |   8 ++
 23 files changed, 384 insertions(+), 173 deletions(-)
 create mode 100644 tools/testing/selftests/verification/.gitignore
 create mode 100644 tools/testing/selftests/verification/Makefile
 create mode 100644 tools/testing/selftests/verification/config
 create mode 100644 tools/testing/selftests/verification/settings
 create mode 100644 tools/testing/selftests/verification/test.d/functions
 create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_enable_disable.tc
 create mode 100644 tools/testing/selftests/verification/test.d/rv_monitor_reactor.tc
 create mode 100644 tools/testing/selftests/verification/test.d/rv_monitors_available.tc
 create mode 100644 tools/testing/selftests/verification/test.d/rv_wwnr_printk.tc
 create mode 100755 tools/testing/selftests/verification/verificationtest-ktap
---------------------------

Re: [GIT PULL] runtime verifier: Updates for v6.19

[pr-tracker-bot]

The pull request you sent on Wed, 3 Dec 2025 11:45:58 -0500:

> git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git trace-rv-6.19

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/0b1b4a3d8ebec3c42231c306d4b9a5153d047674

Thank you!

-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html

Re: [GIT PULL] runtime verifier: Updates for v6.19

[pr-tracker-bot]

The pull request you sent on Wed, 3 Dec 2025 11:45:58 -0500:

> git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git trace-rv-6.19

has been merged into torvalds/linux.git:
https://git.kernel.org/torvalds/c/0b1b4a3d8ebec3c42231c306d4b9a5153d047674

Thank you!

-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/prtracker.html