comp.lang.ada
 help / color / mirror / Atom feed
From: Kevin Chadwick <kc-usenet@chadwicks.me.uk>
Subject: Re: US Government looking into memory safe programming
Date: Tue, 26 Sep 2023 11:23:24 -0000 (UTC)	[thread overview]
Message-ID: <ueuevc$2fpr5$1@dont-email.me> (raw)
In-Reply-To: <uetv8f$2cs2t$1@dont-email.me>


>> Or when they realize that there is only one rust compiler, and therefore
>> that a single compiler virus could ruin the whole defense system.
>
>Good point !
>
>Still some doubts about their ability to reason that far ;)

Whilst I have in the past refused to use lattice semi conductor hardware due
 to a CDN preventing secure compiler verification, whilst apparently noone
 or few noticed. 

I assume you mean trojaned compiler code inserted upstream to disable
 protections or ignore unsafe code?

Or do you mean utf-8 library code substitution aimed at a particular
 compiler?

-- 
Regards, Kc

      reply	other threads:[~2023-09-26 11:23 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-09-24 22:28 US Government looking into memory safe programming ajdude
2023-09-25  7:52 ` Luke A. Guest
2023-09-25  9:59   ` Stéphane Rivière
2023-09-25 10:38     ` J-P. Rosen
2023-09-25 15:55       ` G.B.
2023-09-25 16:21         ` Luke A. Guest
2023-09-26  6:55       ` Stéphane Rivière
2023-09-26 11:23         ` Kevin Chadwick [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox