NULL pointer arithmetic and [[gnu::nonnull]] on <string.h>

[Alejandro Colomar]

Hi Martin,

> The main effect so far was that we lost a lot of non-null annotations
> that do not work anymore..  This is not clearly a security win.

As far as I can see, the annotations have not been removed in glibc.  Is
there intention to remove them in the future?  That would be nefarious
for static analysis.


Have a lovely night!
Alex

-- 
<https://www.alejandro-colomar.es/>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <https://sourceware.org/pipermail/libc-alpha/attachments/20241112/adf26147/attachment-0001.sig>