[Info-vax] Rust as a HS language, was: Re: Quiet?

[Simon Clubley]

On 2022-04-08, Don Baccus <dhogaza at gmail.com> wrote:
> On Friday, April 8, 2022 at 2:14:33 PM UTC-7, Simon Clubley wrote:
>> On 2022-04-08, Arne Vajhøj <ar... at vajhoej.dk> wrote: 
>
>> Just this one CVE shows the borrow checker being bypassed and the 
>> eliminating data races feature of Rust also being bypassed. 
>> 
>> I also posted another example of a traditional buffer overflow issue. 
>> 
>> I would call this all memory safety being disabled, so no, it's not 
>> my imagination.
>
> The point, of course, is that while you can make this kind of error within an unsafe block (?) section (? I don't actually know much about rust), outside of these explicitly marked unsafe sections of code you are prevented from accidentally making these errors.
>
> Discounting this as being worthless is well ... uhhh ... I can't really think of any thing polite to say so I'll just sit here shaking my head.

At no point have I called the features Rust offers in safe mode worthless.

I'm just taking issue with the claims in the articles I quoted, about
still been somewhat protected in unsafe mode, by pointing to actual
CVEs that violated the basic core features of Rust (the borrow checker
and the data races protection) that its advocates say make Rust unique.

Simon.

-- 
Simon Clubley, clubley at remove_me.eisner.decus.org-Earth.UFP
Walking destinations on a map are further away than they appear.