Re: [PATCH v2 0/6] Fix issues and false positives from static analysis

[Stefano Brivio <sbrivio@redhat.com>]

On Thu,  9 Jul 2026 17:56:50 -0400
Jon Maloy <jmaloy@redhat.com> wrote:

> This series fixes minor issues found by static analysis tools in the
> main passt code and in documentation examples.
> 
> The core code changes add missing fd initialisations and guard unsigned
> arithmetic against potential underflow.
>                                        
> We also fix buffer handling, type mismatches, and resource leaks in
> the documentation example code.
> 
> v2: - udp_vu, tap: Use if-guards instead of assert(), to handle the
>       error paths properly and let the static checker follow the logic
>     - doc/migration: Use snprintf() instead of strncpy() for clarity
>       and guaranteed null-termination (David Gibson)
>     - Drop va_list initialisation patch (Stefano Brivio, David Gibson)   

Applied up to 2/6.

For the rest, I would rather wait for the discussion around 3/6 to come
to an end, also because I guess patches 4/6 to 6/6 aren't that much of
a priority. I haven't seen any other report of static checkers running
on documentation examples and actually it doesn't make a lot of sense
to me to do so.

-- 
Stefano