From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/13916 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: "A. Wilcox" Newsgroups: gmane.linux.lib.musl.general Subject: Re: C Annex K safe C functions Date: Mon, 4 Mar 2019 00:40:37 -0600 Organization: =?UTF-8?Q?Ad=c3=a9lie_Linux?= Message-ID: References: <20190227105050.GE21289@port70.net> Reply-To: musl@lists.openwall.com Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="kuApfsrPZt6j6ASEMAwLY8qrL3uXnZFEm" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="111650"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux ppc64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 To: musl@lists.openwall.com Original-X-From: musl-return-13932-gllmg-musl=m.gmane.org@lists.openwall.com Mon Mar 04 07:40:39 2019 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by blaine.gmane.org with smtp (Exim 4.89) (envelope-from ) id 1h0hHC-000Swt-Sa for gllmg-musl@m.gmane.org; Mon, 04 Mar 2019 07:40:38 +0100 Original-Received: (qmail 15811 invoked by uid 550); 4 Mar 2019 06:40:36 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Original-Received: (qmail 15789 invoked from network); 4 Mar 2019 06:40:35 -0000 Openpgp: preference=signencrypt In-Reply-To: Xref: news.gmane.org gmane.linux.lib.musl.general:13916 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --kuApfsrPZt6j6ASEMAwLY8qrL3uXnZFEm Content-Type: multipart/mixed; boundary="ZQ4EV6XOIQLfrWinFhQpoRCo3csv0NXXD"; protected-headers="v1" From: "A. Wilcox" To: musl@lists.openwall.com Message-ID: Subject: Re: [musl] C Annex K safe C functions References: <20190227105050.GE21289@port70.net> In-Reply-To: --ZQ4EV6XOIQLfrWinFhQpoRCo3csv0NXXD Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable 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 --=20 A. Wilcox (awilfox) Project Lead, Ad=C3=A9lie Linux https://www.adelielinux.org --ZQ4EV6XOIQLfrWinFhQpoRCo3csv0NXXD-- --kuApfsrPZt6j6ASEMAwLY8qrL3uXnZFEm Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEjNyWOYPU1SaTSMHHyynLUZIrnRQFAlx8yGUACgkQyynLUZIr nRQhOA//Uz6rvqdXF4Jui9ePMBndKhasd0J8yoB8LquOBOVYsA8eiOPrBQkQpkUq sgJP2PS6c226mRGRFqyPfF7oSbccdDOITZ7yy3wEF/BU4xTcqPgUfK4biaFppXyo kQvL944bfS/ibA8/OCJdsb4uaN+kQV/QzkgnN+LYTdHhjSDOtOZFKFMMPgNZR7AZ eJOUBoB8IR7khlcBoLwhqIviZ0Qjx9UamKyobhfjoe3ljWkMfBfWJ8S3cS+aFinw 6EROvCu/QY19GcZhH8iu46UJbU2Mbcu2A/AcG/FQ4tW/uGqaWuIjl6ZbORM8ydS3 v5LCWqwJ6QK15j6plVeaoDo2M3PMoYFYVKsL56u5hWApZjmNTy4GIdOxG3gDwr7N sE2k1Pk104QBSaX4OOHe8yRfM6SGCpyFlWsPYCrqlx/mIF0fJcOfiayxhwTHxEb/ v9N9lPOuyUZO3RrbOC87q2hL0Fjz/CBWnLGVmoqjoooOYu04AX3qxzmgYAZ+BHt7 Bz/A6r6MKw7PB/j4vVoMiLdhxiGoeFYPN0ZFub045HCNqkLyD1d4drRhZVPyFLnj hVb9Y1/U449oUj5m7E9Hm39Fq3pJXxqArSHYRl/DapiijZ9kAFJd3E1PV1t4pooz ThHMLfQaWGLun2tWmFms/76MoZh33NOKF8fWE1L29REG/kBE/us= =CTnW -----END PGP SIGNATURE----- --kuApfsrPZt6j6ASEMAwLY8qrL3uXnZFEm--