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
to analyze the logical and timing behavior of Linux.
Provides
Requires
License
((GPL-2.0-only WITH Linux-syscall-note) OR BSD-2-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-only WITH Linux-syscall-note) OR CDDL-1.0) AND ((GPL-2.0-only WITH Linux-syscall-note) OR Linux-OpenIB) AND ((GPL-2.0-only WITH Linux-syscall-note) OR MIT) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR BSD-3-Clause) AND ((GPL-2.0-or-later WITH Linux-syscall-note) OR MIT) AND Apache-2.0 AND BSD-2-Clause AND BSD-3-Clause AND BSD-3-Clause-Clear AND GFDL-1.1-no-invariants-or-later AND GPL-1.0-or-later AND (GPL-1.0-or-later OR BSD-3-Clause) AND (GPL-1.0-or-later WITH Linux-syscall-note) AND GPL-2.0-only AND (GPL-2.0-only OR Apache-2.0) AND (GPL-2.0-only OR BSD-2-Clause) AND (GPL-2.0-only OR BSD-3-Clause) AND (GPL-2.0-only OR CDDL-1.0) AND (GPL-2.0-only OR GFDL-1.1-no-invariants-or-later) AND (GPL-2.0-only OR GFDL-1.2-no-invariants-only) AND (GPL-2.0-only WITH Linux-syscall-note) AND GPL-2.0-or-later AND (GPL-2.0-or-later OR BSD-2-Clause) AND (GPL-2.0-or-later OR BSD-3-Clause) AND (GPL-2.0-or-later OR CC-BY-4.0) AND (GPL-2.0-or-later WITH GCC-exception-2.0) AND (GPL-2.0-or-later WITH Linux-syscall-note) AND ISC AND LGPL-2.0-or-later AND (LGPL-2.0-or-later OR BSD-2-Clause) AND (LGPL-2.0-or-later WITH Linux-syscall-note) AND LGPL-2.1-only AND (LGPL-2.1-only OR BSD-2-Clause) AND (LGPL-2.1-only WITH Linux-syscall-note) AND LGPL-2.1-or-later AND (LGPL-2.1-or-later WITH Linux-syscall-note) AND (Linux-OpenIB OR GPL-2.0-only) AND (Linux-OpenIB OR GPL-2.0-only OR BSD-2-Clause) AND Linux-man-pages-copyleft AND MIT AND (MIT OR GPL-2.0-only) AND (MIT OR GPL-2.0-or-later) AND (MIT OR LGPL-2.1-only) AND (MPL-1.1 OR GPL-2.0-only) AND (X11 OR GPL-2.0-only) AND (X11 OR GPL-2.0-or-later) AND Zlib AND (copyleft-next-0.3.1 OR GPL-2.0-or-later)
Changelog
* Thu Sep 10 2026 CKI KWF Bot <cki-ci-bot+kwf-gitlab-com@redhat.com> [5.14.0-745.el9]
- security/keys: fix missed RCU read section on lookup (CKI Backport Bot) [RHEL-225680] {CVE-2026-64015}
- get rid of busy-waiting in shrink_dcache_tree() (Ian Kent) [RHEL-136084]
- dcache.c: more idiomatic "positives are not allowed" sanity checks (Ian Kent) [RHEL-136084]
- struct dentry: make ->d_u anonymous (Ian Kent) [RHEL-136084]
- for_each_alias(): helper macro for iterating through dentries of given inode (Ian Kent) [RHEL-136084]
- scsi: qla2xxx: Clear cmds after chip reset (CKI Backport Bot) [RHEL-235909] {CVE-2025-68745}
- scsi: scsi_transport_fc: Widen FPIN pname walker counter to u32 (CKI Backport Bot) [RHEL-228727] {CVE-2026-63889}
- mm/huge_memory: update file PMD counter before folio_put() (Luiz Capitulino) [RHEL-231222] {CVE-2026-53189}
- rhashtable: clear stale iter->p on table restart (Luiz Capitulino) [RHEL-248445] {CVE-2026-64563}
- gfs2: Get rid of sd_async_glock_wait (Andreas Gruenbacher) [RHEL-250665]
- iommu/vt-d: Fix UCTP context table slot when copying root entries (Desnes Nunes) [RHEL-250490]
* Wed Sep 09 2026 CKI KWF Bot <cki-ci-bot+kwf-gitlab-com@redhat.com> [5.14.0-744.el9]
- locking/rt: Fix the incorrect RCU protection in rt_spin_unlock() (Waiman Long) [RHEL-242685] {CVE-2026-72069}
- locking/rt: Add sparse annotation for RCU. (Waiman Long) [RHEL-242685]
- mei: bus: access mei_device under device_lock on cleanup (Krzysztof Pawlinski) [RHEL-236360] {CVE-2026-68181}
- powerpc/pseries: papr-phy-attest - validate cmd.length, plug mem leak (Mamatha Inamdar) [RHEL-238388]
- netfilter: flowtable: publish GC-visible tuple last (CKI Backport Bot) [RHEL-250557] {CVE-2026-74746}
- bpf: fix UAF by restoring RCU-delayed inode freeing in bpffs (Ines Qian) [RHEL-110290]
- selftests/bpf: Test widen_imprecise_scalars() with different stack depth (Ines Qian) [RHEL-110290]
- bpf: account for current allocated stack depth in widen_imprecise_scalars() (Ines Qian) [RHEL-110290]
- libbpf: Fix powerpc's stack register definition in bpf_tracing.h (Ines Qian) [RHEL-110290]
- bpf: Sync pending IRQ work before freeing ring buffer (Ines Qian) [RHEL-110290]
- selftests: arg_parsing: Ensure data is flushed to disk before reading. (Ines Qian) [RHEL-110290]
- selftests/bpf: make arg_parsing.c more robust to crashes (Ines Qian) [RHEL-110290]
- selftests/bpf: Add test for unpinning htab with internal timer struct (Ines Qian) [RHEL-110290]
- bpf: Avoid RCU context warning when unpinning htab with internal structs (Ines Qian) [RHEL-110290]
- selftests/bpf: Add tests for rejection of ALU ops with negative offsets (Ines Qian) [RHEL-110290]
- bpf: Reject negative offsets for ALU ops (Ines Qian) [RHEL-110290]
- selftests/bpf: Fix realloc size in bpf_get_addrs (Ines Qian) [RHEL-110290]
- selftests/bpf: Add test case for different expected_attach_type (Ines Qian) [RHEL-110290]
- bpf: Enforce expected_attach_type for tailcall compatibility (Ines Qian) [RHEL-110290]
- libbpf: Fix error when st-prefix_ops and ops from differ btf (Ines Qian) [RHEL-110290]
- selftests/bpf: Fix flaky bpf_cookie selftest (Ines Qian) [RHEL-110290]
- bpf: Mark kfuncs as __noclone (Ines Qian) [RHEL-110290]
- bpftool: Fix -Wuninitialized-const-pointer warnings with clang >= 21 (Ines Qian) [RHEL-110290]
- bpf, arm64: Call bpf_jit_binary_pack_finalize() in bpf_jit_free() (Ines Qian) [RHEL-110290]
- selftests/bpf: move get_ksyms and get_addrs to trace_helpers.c (Ines Qian) [RHEL-110290]
- selftests/bpf: Fix bpf_prog_detach2 usage in test_lirc_mode2 (Ines Qian) [RHEL-110290]
- libbpf: Fix USDT SIB argument handling causing unrecognized register error (Ines Qian) [RHEL-110290]
- selftests/bpf: Fix typos and grammar in test sources (Ines Qian) [RHEL-110290]
- selftests/bpf: Add test for DEVMAP reuse (Ines Qian) [RHEL-110290]
- libbpf: Fix reuse of DEVMAP (Ines Qian) [RHEL-110290]
- bpf: Remove migrate_disable in kprobe_multi_link_prog_run (Ines Qian) [RHEL-110290]
- bpf: Don't use %pK through printk (Ines Qian) [RHEL-110290]
* Fri Sep 04 2026 CKI KWF Bot <cki-ci-bot+kwf-gitlab-com@redhat.com> [5.14.0-743.el9]
- powerpc/pseries: pci - logic bug (Mamatha Inamdar) [RHEL-238393]
- powerpc/pseries: lparcfg - fix kbuf[] underflow (Mamatha Inamdar) [RHEL-238391]
- hwmon: (k10temp) Add per-CCD temperature monitoring for Zen5 Turin (Dennis Chen) [RHEL-251478]
- RDMA/vmw_pvrdma: Fix double free on pvrdma_alloc_ucontext() error path (CKI Backport Bot) [RHEL-179957] {CVE-2026-46189}
* Wed Sep 02 2026 CKI KWF Bot <cki-ci-bot+kwf-gitlab-com@redhat.com> [5.14.0-742.el9]
- net: ipv6: clear suppressed fib6 rule result (Paolo Abeni) [RHEL-246350] {CVE-2026-74581}
- KEYS: fix overflow in keyctl_pkey_params_get_2() (Bruno Meneguele) [RHEL-229620] {CVE-2026-63824}
- KEYS: fix length validation in keyctl_pkey_params_get_2() (Bruno Meneguele) [RHEL-229620] {CVE-2026-63824}
- nfsd: release layout stid on setlease failure (Scott Mayhew) [RHEL-227787] {CVE-2026-53399}
- NFSv4/flexfiles: reject zero filehandle version count (Scott Mayhew) [RHEL-229413] {CVE-2026-53392}
- nfsd: fix posix_acl leak on SETACL decode failure (Scott Mayhew) [RHEL-225523] {CVE-2026-53397}
- NFSv4: include MAY_WRITE in open permission mask for O_TRUNC (CKI Backport Bot) [RHEL-234058] {CVE-2026-64298}
- NFSv4/pNFS: reject zero-length r_addr in nfs4_decode_mp_ds_addr (CKI Backport Bot) [RHEL-228034] {CVE-2026-53391}
- pNFS: Fix use-after-free in pnfs_update_layout() (CKI Backport Bot) [RHEL-226326] {CVE-2026-63800}
- iomap: fix out-of-bounds bitmap_set() with zero-length range (CKI Backport Bot) [RHEL-240184] {CVE-2026-68145}
- iomap: hold state_lock over call to ifs_set_range_uptodate() (CKI Backport Bot) [RHEL-240184] {CVE-2026-68145}
- scsi: target: iscsi: Bound iscsi_encode_text_output() appends to rsp_buf (CKI Backport Bot) [RHEL-213196] {CVE-2026-63887}
- KVM: SVM: make svm_flush_tlb_gva do a full asid flush if NPT enabled (Paolo Bonzini) [RHEL-214433]
- KVM: x86: hyper-v: Validate all GVAs during PV TLB flush (Paolo Bonzini) [RHEL-214433]
- xen/privcmd: fix double free via VMA splitting (Vitaly Kuznetsov) [RHEL-172489] {CVE-2026-31787}
- Buffer overflow in drivers/xen/sys-hypervisor.c (Vitaly Kuznetsov) [RHEL-172511] {CVE-2026-31786}
- ALSA: virtio: Validate control metadata from the device (CKI Backport Bot) [RHEL-230137