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 --