From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 References: In-Reply-To: From: Charles Forsyth Date: Wed, 5 Sep 2018 00:17:55 +0100 Message-ID: To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: multipart/alternative; boundary="000000000000ddbcb4057513de7e" Subject: Re: [9fans] Is Plan 9 C "Less Dangerous?" Topicbox-Message-UUID: e0dd1cb6-ead9-11e9-9d60-3106f5b1d025 --000000000000ddbcb4057513de7e Content-Type: text/plain; charset="UTF-8" Plan 9 C implements C by attempting to follow the programmer's instructions, which is surprisingly useful in systems programming. The big fat compilers work hard to find grounds to interpret those instructions as "undefined behaviour". On Sun, 2 Sep 2018 at 17:32, Chris McGee wrote: > Hi All, > > I'm reading this article about how they are going through the giant > heaping pile of Linux kernel code and trying to come up with safer > practices to avoid the "dangers" of C. The prevailing wisdom appears to be > that things should eventually be rewritten in Rust some day. > > https://lwn.net/SubscriberLink/763641/c9a04da2a33af0a3/ > > I'm curious how the Plan 9 C compiler fits into this story. I know that it > was designed to avoid many of the pitfalls of standard C. Does it try to > address some of these dangers or is it focused on making code more readable > so that problems are more apparent? > > How does everyone feel about the Plan 9/9front kernel? Have they gone > through hardening/testing exercises over the years? I'm curious what tools > are available to help discover bugs. > > Cheers, > Chris > --000000000000ddbcb4057513de7e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Plan 9 C implements C by attempting to follow the programm= er's instructions, which is surprisingly useful in systems programming.=
The big fat compilers work hard to find grounds to interpret those ins= tructions as "undefined behaviour".

On Sun, 2 Sep 2018 at 17:32, C= hris McGee <newton688@gmail.com> wrote:



I'm cu= rious how the Plan 9 C compiler fits into this story. I know that it was de= signed to avoid many of the pitfalls of standard C. Does it try to address = some of these dangers or is it focused on making code more readable so that= problems are more apparent?

How does everyone fee= l about the Plan 9/9front kernel? Have they gone through hardening/testing = exercises over the years? I'm curious what tools are available to help = discover bugs.

Cheers,
Chris
--000000000000ddbcb4057513de7e--