From mboxrd@z Thu Jan 1 00:00:00 1970 Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: fr.comp.lang.ada,comp.lang.ada Subject: Re: Canal+ crash Date: Mon, 22 Jul 2024 08:36:08 +0200 Organization: Adalog Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 22 Jul 2024 08:35:55 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d9f0494d5e72a2406d50c0934e52f5cf"; logging-data="574312"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19nJ39Eas0Uz0wjOb7qDuRY" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:w8r5ZHsOiPu5aslQbRl4YILrM0o= Content-Language: en-US, fr In-Reply-To: Xref: news.eternal-september.org fr.comp.lang.ada:2299 comp.lang.ada:66243 List-Id: Le 21/07/2024 à 23:53, Lawrence D'Oliveiro a écrit : > On Sun, 21 Jul 2024 11:10:06 +0200, J-P. Rosen wrote: > >> Le 21/07/2024 à 10:00, Niklas Holsti a écrit : >> >>> But certainly, most attacks on SW have used functional bugs such as >>> buffer overflows. >> >> A problem that has been solved since 1983, and even before (Pascal had >> bounds checking). Sigh... > > Pascal had no checking for memory leaks or double-frees. > > Rust certainly seems to be a next-generation solution to these sorts of > memory problems. We were talking about bounds checking, that Pascal had. Nowadays, you should not use pointers directly, but containers. Pointers are necessary only for writing containers, thanks to Ada's features not found in other languages, like allocating dynamically sized arrays on the stack. Note that in Rust, containers are written using unsafe Rust, therefore Rust is not better than Ada on that aspect, it is a complicated solution to a problem that Ada doesn't have. -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX https://www.adalog.fr https://www.adacontrol.fr