Date: Mon, 4 Mar 2019 00:40:37 -0600 From: "A. Wilcox" <awilfox@...lielinux.org> To: musl@...ts.openwall.com Subject: Re: C Annex K safe C functions On 03/03/19 22:24, Jonny Grant wrote: > Could I ask, does your libc follow POSIX spec to the letter? eg not > checking pointers for NULL (where spec omits to mention checking > pointers valid) ? 2.1.1 Use and Implementation of Functions 1. If an argument to a function has an invalid value (such as a value outside the domain of the function, or a pointer outside the address space of the program, or a null pointer), the behavior is undefined. The spec never omits checking the validity of pointers unless actually specified. In this way, musl is definitely conformant. There are some non-conformant bits of musl, though some of these may be solved since the last test (which was musl 1.1.19): https://wiki.adelielinux.org/wiki/POSIX Best, --arw -- A. Wilcox (awilfox) Project Lead, Adélie Linux https://www.adelielinux.org Download attachment "signature.asc" of type "application/pgp-signature" (834 bytes)
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.