From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a24b018d93ac1bc6 X-Google-Attributes: gid103376,public From: Tucker Taft Subject: Re: Ada 83 pretty printers Date: 1999/09/02 Message-ID: <37CE9949.43530154@averstar.com>#1/1 X-Deja-AN: 520205257 Content-Transfer-Encoding: 7bit Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: houdini.burl.averstar.com References: <7q4fhm$qhn@hobbes.crc.com> X-Accept-Language: en Content-Type: text/plain; charset=us-ascii Organization: AverStar (formerly Intermetrics) Burlington, MA USA Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-09-02T00:00:00+00:00 List-Id: Tony Vincent wrote: > The problem with installing GNAT (or any other) executables is simply > that the supplier is not on the list of known software sources > maintained by the security guys (they don't get out much). > It's a knee-jerk reaction to anything unknown. > > If GNAT could be built from source then it would be OK - the source > could be checked and system calls investigated (not that they ever are). > How would Gnat be built from source? I guess you would need to compile > GNAT source written in Ada'83 through DEC-Ada to produce the Gnat '95 > executables. For what it is worth, we have an Ada95 compiler that generates optimized ANSI C as its intermediate. You could perhaps run whatever program you have written in Ada (83 or 95) through this front end, and then run the generated C code by the security guys and gals. Let me know if you want to investigate this. Note that running all of GNAT sources through this compiler is probably not practical, as GNAT source presumably uses some GNAT-specific pragmas, attributes, etc. We are also amenable to making this compiler itself available on Vax/VMS. Please let us know if you are interested. > -- > Tony V -- -Tucker Taft stt@averstar.com http://www.averstar.com/~stt/ Technical Director, Distributed IT Solutions (www.averstar.com/tools) AverStar (formerly Intermetrics, Inc.) Burlington, MA USA