Re: Canal+ crash

["J-P. Rosen" <rosen@adalog.fr>]

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