linux-kernel - Re: [PATCH 0/5] tools/verification: Improvements to rv and rvgen

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <56b088cb60e55778132dc0cffcee7d8fa75b2115.camel@redhat.com>
Date: Wed, 30 Jul 2025 08:06:37 +0200
From: Gabriele Monaco <gmonaco@...hat.com>
To: Steven Rostedt <rostedt@...dmis.org>
Cc: linux-kernel@...r.kernel.org, Nam Cao <namcao@...utronix.de>, Tomas
 Glozar	 <tglozar@...hat.com>, Juri Lelli <jlelli@...hat.com>, Clark
 Williams	 <williams@...hat.com>, John Kacur <jkacur@...hat.com>
Subject: Re: [PATCH 0/5] tools/verification: Improvements to rv and rvgen

On Tue, 2025-07-29 at 17:18 -0400, Steven Rostedt wrote:
> 
> BTW, please make sure that the cover letter is Cc'd to
> linux-trace-kernel@...r.kernel.org along with the patches. I use
> patchwork to see the cover letter, but it's not present when it's not
> Cc'd.
> 

Uh, right, will do!

Thanks,
Gabriele

> Thanks,
> 
> -- Steve
> 
> 
> On Wed, 23 Jul 2025 18:12:35 +0200
> Gabriele Monaco <gmonaco@...hat.com> wrote:
> 
> > This series introduces various improvements to the rv/rvgen tools
> > as
> > first posted in [1]. It also adapts generated kernel files
> > accordingly.
> > 
> > Specifically:
> > 
> > Patch 1 fixes the behaviour of the rv tool with -s and idle tasks.
> > 
> > Patch 2 allows the rv tool to gracefully terminate with SIGTERM
> > 
> > Patch 3 adjusts dot2c not to create lines over 100 columns
> > 
> > Patch 4 properly orders nested monitors in the RV Kconfig file
> > 
> > Patch 5 returns the registration error in all DA monitor instead of
> > 0
> > 
> > This series is based on the linux-next tree.
> > 
> > Changes since [1]:
> > * Cleanup python code to improve PEP8 compliance
> > * Fix condition for long line in dot2c
> > 
> > [1] -
> > https://lore.kernel.org/lkml/20250721082325.71554-1-gmonaco@redhat.com
> > 
> > To: Steven Rostedt <rostedt@...dmis.org>
> > To: Nam Cao <namcao@...utronix.de>
> > Cc: Tomas Glozar <tglozar@...hat.com>
> > Cc: Juri Lelli <jlelli@...hat.com>
> > Cc: Clark Williams <williams@...hat.com>
> > Cc: John Kacur <jkacur@...hat.com>
> > 
> > Gabriele Monaco (5):
> >   tools/rv: Do not skip idle in trace
> >   tools/rv: Stop gracefully also on SIGTERM
> >   tools/dot2c: Fix generated files going over 100 column limit
> >   verification/rvgen: Organise Kconfig entries for nested monitors
> >   rv: Return init error when registering monitors
> > 
> >  kernel/trace/rv/Kconfig                       |  5 +++++
> >  kernel/trace/rv/monitors/sched/sched.c        |  3 +--
> >  kernel/trace/rv/monitors/sco/sco.c            |  3 +--
> >  kernel/trace/rv/monitors/scpd/scpd.c          |  3 +--
> >  kernel/trace/rv/monitors/sncid/sncid.c        |  3 +--
> >  kernel/trace/rv/monitors/snep/snep.c          |  3 +--
> >  kernel/trace/rv/monitors/snep/snep.h          | 14 +++++++++++--
> >  kernel/trace/rv/monitors/snroc/snroc.c        |  3 +--
> >  kernel/trace/rv/monitors/tss/tss.c            |  3 +--
> >  kernel/trace/rv/monitors/wip/wip.c            |  3 +--
> >  kernel/trace/rv/monitors/wwnr/wwnr.c          |  3 +--
> >  tools/verification/rv/src/in_kernel.c         |  4 ++--
> >  tools/verification/rv/src/rv.c                |  1 +
> >  tools/verification/rvgen/rvgen/container.py   | 10 ++++++++++
> >  tools/verification/rvgen/rvgen/dot2c.py       | 20 ++++++++++-----
> > ----
> >  tools/verification/rvgen/rvgen/generator.py   | 16 ++++++++++-----
> >  .../rvgen/rvgen/templates/container/main.c    |  3 +--
> >  .../rvgen/rvgen/templates/dot2k/main.c        |  3 +--
> >  18 files changed, 63 insertions(+), 40 deletions(-)
> > 
> > 
> > base-commit: a933d3dc1968fcfb0ab72879ec304b1971ed1b9a