From owner-freebsd-security Tue Jul 21 19:47:00 1998 Return-Path: Received: (from majordom@localhost) by hub.freebsd.org (8.8.8/8.8.8) id TAA16325 for freebsd-security-outgoing; Tue, 21 Jul 1998 19:47:00 -0700 (PDT) (envelope-from owner-freebsd-security@FreeBSD.ORG) Received: from beatrice.rutgers.edu (beatrice.rutgers.edu [165.230.209.143]) by hub.freebsd.org (8.8.8/8.8.8) with ESMTP id TAA16284 for ; Tue, 21 Jul 1998 19:46:40 -0700 (PDT) (envelope-from easmith@beatrice.rutgers.edu) Received: (from easmith@localhost) by beatrice.rutgers.edu (980427.SGI.8.8.8/970903.SGI.AUTOCF) id WAA12184; Tue, 21 Jul 1998 22:45:05 -0400 (EDT) From: "Allen Smith" Message-Id: <9807212245.ZM12182@beatrice.rutgers.edu> Date: Tue, 21 Jul 1998 22:45:04 -0400 In-Reply-To: Brett Glass "Translation to a safer language (Was: Projects to improve security)" (Jul 21, 7:25pm) References: <199807211859.MAA14931@lariat.lariat.org> <199807220125.TAA21968@lariat.lariat.org> X-Mailer: Z-Mail (3.2.3 08feb96 MediaMail) To: Brett Glass , "Lee Crites (ASC)" Subject: Re: Translation to a safer language (Was: Projects to improve security) Cc: security@FreeBSD.ORG Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-freebsd-security@FreeBSD.ORG Precedence: bulk X-Loop: FreeBSD.org On Jul 21, 7:25pm, Brett Glass (possibly) wrote: > 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? Might I suggest Perl at this point? A. it's got built-in security stuff such as tainting; B. a Perl-to-C translator/complier is under active development (indeed, as of last count the main problem was getting it to turn out highly optimizable code, not in getting it to turn out correct code); and C. it already has similarities C in quite a few ways, making porting easier. -Allen -- Allen Smith easmith@beatrice.rutgers.edu To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe security" in the body of the message