Date: Tue, 21 Jul 1998 19:25:21 -0600 From: Brett Glass <brett@lariat.org> To: "Lee Crites (ASC)" <leec@adam.adonai.net> Cc: security@FreeBSD.ORG Subject: Translation to a safer language (Was: Projects to improve security) Message-ID: <199807220125.TAA21968@lariat.lariat.org> In-Reply-To: <Pine.BSF.3.96.980721190837.5721C-100000@adam.adonai.net> References: <199807211859.MAA14931@lariat.lariat.org>
next in thread | previous in thread | raw e-mail | index | archive | help
Pascal, Modula-2, Modula-3, and Ada are the most obvious candidates; of course, a new language could be developed with this application in mind. (The advantage of developing something new is that it could have obvious, but safe, mappings from C constructs, facilitating machine translation.) Ideas? --Brett At 07:09 PM 7/21/98 -0500, Lee Crites (ASC) wrote: >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?199807220125.TAA21968>