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

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
--

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