On Tue, 2026-03-24 at 00:35 +0530, Saish Kambali wrote: > This patch adds modeling for strnlen and __builtin_strnlen to the > analyzer. > It handles bifurcation for when the null terminator is found and when > the > limit 'n' is reached.
Hi Saish; thanks for posting this patch. Unfortunately I'm having trouble applying it to my working copy; I think the html attachment is confusing it; I get: Applying: analyzer: model strnlen error: corrupt patch at line 118 Patch failed at 0001 analyzer: model strnlen FWIW I normally use "git send-email" when sending patches. Could you try re-sending it please? There are some useful notes here: https://www.kernel.org/doc/html/latest/process/email-clients.html I see you're using gmail; you might need to send it directly to the gmail SMTP server using "git send-email", without using the gmail web UI. I tried looking at the patch itself to review it, and it looks promising, but the whitespace is coming out wrong which makes it hard for me to read, so please can you try resending it as described above. Thanks; let me know if you have further questions Dave
