[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <bd2ba889-315b-5d73-f91f-ffaad6b12e68@adelielinux.org>
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.
