Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Mon, 4 Mar 2019 00:40:37 -0600
From: "A. Wilcox" <>
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):


A. Wilcox (awilfox)
Project Lead, Adélie Linux

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.