linux-kernel - Re: [RFC PATCH 10/17] verification/rvgen: Add support for Hybrid Automata

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] [thread-next>] [day] [month] [year] [list]

Message-ID: <20250821123839.Gj3vCzCo@linutronix.de>
Date: Thu, 21 Aug 2025 14:38:39 +0200
From: Nam Cao <namcao@...utronix.de>
To: Gabriele Monaco <gmonaco@...hat.com>
Cc: linux-kernel@...r.kernel.org, Steven Rostedt <rostedt@...dmis.org>,
	linux-trace-kernel@...r.kernel.org,
	Tomas Glozar <tglozar@...hat.com>, Juri Lelli <jlelli@...hat.com>,
	Clark Williams <williams@...hat.com>,
	John Kacur <jkacur@...hat.com>
Subject: Re: [RFC PATCH 10/17] verification/rvgen: Add support for Hybrid
 Automata

On Thu, Aug 14, 2025 at 05:08:02PM +0200, Gabriele Monaco wrote:
> +import re

Oh no..

> +from typing import Iterator
>  
>  class Automata:
>      """Automata class: Reads a dot file and part it as an automata.
>  
> +    It supports both deterministic and hybrid automata.
> +
>      Attributes:
>          dot_file: A dot file with an state_automaton definition.
>      """
>  
>      invalid_state_str = "INVALID_STATE"
> +    # val can be numerical, uppercase (constant or macro), lowercase (parameter or function)
> +    # only numerical values should have units
> +    constraint_rule = re.compile(r"""
> +        ^
> +        (?P<env>[a-zA-Z_][a-zA-Z0-9_]+)  # C-like identifier for the env var
            ^
            My regex knowledge is not that great, but I think this is not
            standard regex syntax, right?

            I'm guessing this is Python's feature to store this group into
            "env"?

I think my brain's battery just run out, I will continue with the review
another day.

Nam