Re: Info on software for data flow analysis of C programs

assmann@ipd.info.uni-karlsruhe.de (Uwe Assmann)
22 Jan 1997 00:15:17 -0500

          From comp.compilers

Related articles
Info on software for data flow analysis of C programs pgraham@nickel.cs.umanitoba.ca (1997-01-17)
Re: Info on software for data flow analysis of C programs yang@alcyone.cis.udel.edu (Cheer-Sun Yang) (1997-01-19)
Re: Info on software for data flow analysis of C programs assmann@ipd.info.uni-karlsruhe.de (1997-01-22)
| List of all articles for this month |

From: assmann@ipd.info.uni-karlsruhe.de (Uwe Assmann)
Newsgroups: comp.compilers
Date: 22 Jan 1997 00:15:17 -0500
Organization: Universitaet Karlsruhe
References: 97-01-146
Keywords: analysis, dataflow

pgraham@nickel.cs.umanitoba.ca (Peter C.J. Graham) writes:
|> I have an MSc student that is in need of some software to do some basic DFA
|> of C programs for a research project he is doing. Can anyone recommend such
|> software (likely as part of a PD C compiler) which is relatively easy to
|> understand and work with. What he is most interested in is getting the DF
|> graph out in some usable form (both for further manipulation and for viewing
|> using DFLO or some similar tool). Many thank in advance. Peter


You may have a look at OPTIMIX, a generator for optimizations based on
graph rewriting and DATALOG. It takes data-flow equations in the
classical style (Reaching defs, lazy code motion etc) and generates
procedures in plain C. Results of data-flow analyses can be displayed
directly with the graph display tool VCG. OPTIMIX can collaborate
with Grosch's Cocktail toolbox and ACE's CoSy compilation system. Its
home page is


http://i44www.info.uni-karlsruhe.de/~assmann/optimix.html


from where you can ftp it together with a lot of examples.


Have fun
Uwe


--------------------------------------------------------------
Dr. Uwe Assmann * University of Karlsruhe, IPD
Vincenz-Priessnitz-Str. 3 * 76128 Karlsruhe, Germany
tel: +49/721/608-6088 * mailto:assmann@ipd.info.uni-karlsruhe.de
http://i44www.info.uni-karlsruhe.de/~assmann
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.