Abstract Interpretation

"Sungsoo Lim" <lim3@uiuc.edu>
20 Jan 2001 16:11:14 -0500

          From comp.compilers

Related articles
Abstract Interpretation lim3@uiuc.edu (Sungsoo Lim) (2001-01-20)
Abstract Interpretation wsindd@info.win.tue.nl (1991-02-06)
Abstract Interpretation ludemann@mlpvm1.iinus1.ibm.com (Peter Ludemann) (1991-02-08)
Re: Abstract Interpretation kym@bingvaxu.cc.binghamton.edu (1991-02-08)
| List of all articles for this month |

From: "Sungsoo Lim" <lim3@uiuc.edu>
Newsgroups: comp.compilers,gnu.gcc.help
Date: 20 Jan 2001 16:11:14 -0500
Organization: Excite@Home - The Leader in Broadband http://home.com/faster
Keywords: optimize, GCC, question
Posted-Date: 20 Jan 2001 16:11:14 EST


I'm considering implementing an abstract interpretation at RTL level
of GCC. Does anyone have some experiences doing static program
analysis at RTL level of GCC?

As a novice for the RTL level implementation, any information on the
possibility of various program analysis implementation would be
greatly helpful and appreciated.

Also, any pointer to program analysis using GCC's environment
is welcome.

Thanks in advance.

Sungsoo Lim,
Dept. of Computer Science,
University of Illinois.

Post a followup to this message

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