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,HEADER_SPAM, INVALID_DATE,MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Xref: utzoo comp.sources.wanted:4797 comp.compilers:301 comp.lang.ada:1422 Path: utzoo!attcan!uunet!husc6!spdcc!ima!compilers-sender From: jclark@ellington.SRC.Honeywell.COM (Jeff Clark) Newsgroups: comp.sources.wanted,comp.compilers,comp.lang.ada Subject: WANTED: Dead or Alive -- Data Flow Analyzer for Ada Message-ID: <6991@srcsip.UUCP> Date: 12 Aug 88 01:07:09 GMT Sender: compilers-sender@ima.ISC.COM Reply-To: jclark@ellington.SRC.Honeywell.COM (Jeff Clark) List-Id: A colleague of mine is engaged in a research project for which he needs a data-flow analyzer for Ada. One which uses a language-directed approach (e.g., Rosen's technique) and operates on a high-level intermediate representation of the source text (e.g., parse-trees, Diana) would be preferable to the more usual type which operates on a low-level intermediate representation (e.g., RTL, quads) and uses the standard iterative or interval analysis techniques. Does anyone know where I might obtain the sources for such a tool? Something that is public domain, freeware, shareware, etc. would be best, but free or inexpensive (i.e., < $1000) licensed software would be acceptable if the license agreement is reasonable. (My employer tends to get nervous around restrictive licensing agreements.) Although something Unix based (e.g., SunOS, Berkeley) would be best, I'm not picky --- I'll gladly take whatever you've got. I'm not too picky about the present state of the tool either (unless, of course, you're charging $$ for it -- then I expect it to work) as long as there is a good chance of making it work (student labor is cheap :-}). Please email responses directly to me; I'll summarize to the net if there is any interest. Thanks in advance for any help. Jeffrey L. Clark Honeywell Systems and Research Center Computer Sciences/Software Techology [From jclark@ellington.SRC.Honeywell.COM (Jeff Clark)] -- Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU Plausible paths are { ihnp4 | decvax | cbosgd | harvard | yale | bbn}!ima Please send responses to the originator of the message -- I cannot forward mail accidentally sent back to compilers. Meta-mail to ima!compilers-request