[comp.compilers] Data flow analysis tools

wagner@kong.siemens.com (Michael Wagner) (04/01/89)

We're starting a research project into support for software maintenance
and one source of information we're looking at is data and control flow 
analysis. So (surprise, surprise), we're looking to beg, borrow, steal
or even buy tools for this sort of thing. We're especially interested in
source code. We're concentrating on supporting C, and our current plans are
to steal the GCC front end and hack on that a bit. But GCC doesn't do any
inter-procedural analysis, which we consider essential. Also, we're not sure
if doing the analysis on basic blocks of RTL expressions is too low to get
any useful information relating back to the program text. So, before starting
from scratch, we'd like to hear from anybody doing anything similar.

Mike Wagner
Siemens Corporate Research, Inc.
Princeton, NJ 08540
Internet: wagner@cadillac.siemens.com
--
Send compilers articles to ima!compilers or, in a pinch, to Levine@YALE.EDU
Plausible paths are { decvax | 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