[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <c8630d09-0718-a274-ae6d-6ca986b4346f@mirbsd.de>
Date: Mon, 16 Feb 2026 16:12:46 +0100 (CET)
From: Thorsten Glaser <tg@...bsd.de>
To: musl@...ts.openwall.com
cc: Ayman Hanna <ayman@...ence.com>, Cesar Rodriguez <rcesar@...ence.com>,
"Mariam Flayyan [C]" <mariamf@...ence.com>
Subject: Re: Concerns about MUSL sqrt function math implementation in
Formal Verification
On Mon, 16 Feb 2026, Mahmoud Ahmad Alawneh [C] wrote:
>int main()
>{
> int arr[3] = {1, 2, 3};
> int* ptr = arr;
> ptr += 4;
> int k = *ptr;
This is a dereference beyond array bounds. This is UB.
Are you using “AI” slop to test things or what?
bye,
//mirabilos
--
<ch> you introduced a merge commit │<mika> % g rebase -i HEAD^^
<mika> sorry, no idea and rebasing just fscked │<mika> Segmentation
<ch> should have cloned into a clean repo │ fault (core dumped)
<ch> if I rebase that now, it's really ugh │<mika:#grml> wuahhhhhh
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.
