From owner-freebsd-security  Tue Jul 21 18:26:19 1998
Return-Path: <owner-freebsd-security@FreeBSD.ORG>
Received: (from majordom@localhost)
          by hub.freebsd.org (8.8.8/8.8.8) id SAA02074
          for freebsd-security-outgoing; Tue, 21 Jul 1998 18:26:19 -0700 (PDT)
          (envelope-from owner-freebsd-security@FreeBSD.ORG)
Received: from lariat.lariat.org (ppp1000.lariat.org@[206.100.185.2])
          by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id SAA01948
          for <security@FreeBSD.ORG>; Tue, 21 Jul 1998 18:26:04 -0700 (PDT)
          (envelope-from brett@lariat.org)
Received: (from brett@localhost)
	by lariat.lariat.org (8.8.8/8.8.8) id TAA21968;
	Tue, 21 Jul 1998 19:25:23 -0600 (MDT)
Message-Id: <199807220125.TAA21968@lariat.lariat.org>
X-Sender: brett@mail.lariat.org
X-Mailer: QUALCOMM Windows Eudora Pro Version 4.0.1 
Date: Tue, 21 Jul 1998 19:25:21 -0600
To: "Lee Crites (ASC)" <leec@adam.adonai.net>
From: Brett Glass <brett@lariat.org>
Subject: Translation to a safer language (Was: Projects to improve
  security)
Cc: security@FreeBSD.ORG
In-Reply-To: <Pine.BSF.3.96.980721190837.5721C-100000@adam.adonai.net>
References: <199807211859.MAA14931@lariat.lariat.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Sender: owner-freebsd-security@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

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