From owner-freebsd-security Tue Jul 21 17:10:57 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id RAA18246 for freebsd-security-outgoing; Tue, 21 Jul 1998 17:10:57 -0700 (PDT) (envelope-from owner-freebsd-security@FreeBSD.ORG) Received: from adam.adonai.net (adam.adonai.net [207.8.83.2]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id RAA18131 for ; Tue, 21 Jul 1998 17:10:23 -0700 (PDT) (envelope-from leec@adam.adonai.net) Received: from localhost (leec@localhost) by adam.adonai.net (8.8.7/8.8.7) with SMTP id TAA05753; Tue, 21 Jul 1998 19:09:57 -0500 (CDT) (envelope-from leec@adam.adonai.net) Date: Tue, 21 Jul 1998 19:09:57 -0500 (CDT) From: "Lee Crites (ASC)" To: Brett Glass cc: security@FreeBSD.ORG Subject: Re: Projects to improve security (related to C) In-Reply-To: <199807211859.MAA14931@lariat.lariat.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-freebsd-security@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org 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