Hi! I've written a set of drafts for proposals for ISO C2y. Each of them is minimal, and they all together vastly improve the specification of function parameters (especially those declared with array type), with the purpose of increasing the safety of the C language.
Please review these proposals, and comment any feedback (including any
other related proposals you'd suggest). I'll try to incorporate
feedback before publishing these as N-documents (in a week or so). Feel
free to publicly express approval with tags such as 'Acked-by:' or
'Reviewed-by:', which I'll incorporate in the proposals, which will
signal the committee that users are interested in the changes.
This 3rd revision is posted in the linux-hardening@ mailing list
(previous iterations were offlist).
I'll send the proposals as replies to this email, as if it were a usual
patch set. List of draft proposals:
[RFC v3 1/6] alx-0077r3 - disallow function parameters of function type
[RFC v3 2/6] alx-0076r3 - incompatible array parameters
[RFC v3 3/6] alx-0078r2 - [static n] shouldn't access more than n
elements
[RFC v3 4/6] alx-0079r2 - [static n] == non-null [n]
[RFC v3 5/6] alx-0081r2 - array parameters of 0 elements
[RFC v3 6/6] alx-0080r1 - [static] without array length expression
Have a lovely day!
Alex
--
<https://www.alejandro-colomar.es>
signature.asc
Description: PGP signature
