Date: Tue, 21 Jul 1998 19:09:57 -0500 (CDT) From: "Lee Crites (ASC)" <leec@adam.adonai.net> To: Brett Glass <brett@lariat.org> Cc: security@FreeBSD.ORG Subject: Re: Projects to improve security (related to C) Message-ID: <Pine.BSF.3.96.980721190837.5721C-100000@adam.adonai.net> In-Reply-To: <199807211859.MAA14931@lariat.lariat.org>
next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, 21 Jul 1998, Brett Glass wrote:
=>Well, I've looked this week at the possibility of doing a
=>mechanical translation of FreeBSD into a type-safe language
=>with range and bounds checking, then fixing the trouble spots
=>manually. Apparently, there's a company called Reasoning
=>Systems that actually has tools that can do such things.
What language(s) are you looking into or considering? I've seen
java suggested, but is it the only option?
Lee
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Lee Crites
Adonai Services Company, Round Rock, Texas
leec@adonai.net http://www.adonai.net/~leec
=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe security" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?Pine.BSF.3.96.980721190837.5721C-100000>