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