Generic Static Analyzer or Abstract interpreter

Neal Wang <neal.wang@gmail.com>
25 Jan 2005 23:23:59 -0500

From comp.compilers

Related articles
*Generic Static Analyzer or Abstract interpreter neal.wang@gmail.com (Neal Wang)* (2005-01-25)**
Re: Generic Static Analyzer or Abstract interpreter gopi@sankhya.com (gopi) (2005-01-30)
Re: Generic Static Analyzer or Abstract interpreter liekweg@ipd.info.uni-karlsruhe.de (F. Liekweg) (2005-01-30)
Re: Generic Static Analyzer or Abstract interpreter neal.wang@gmail.com (Neal Wang) (2005-02-03)

| List of all articles for this month |

From:	Neal Wang <neal.wang@gmail.com>
Newsgroups:	comp.compilers
Date:	25 Jan 2005 23:23:59 -0500
Organization:	University of California, Irvine
Keywords:	analysis, question
Posted-Date:	25 Jan 2005 23:23:59 EST

Hello,

Can anyone point out a generic static analyzer or abstract interpreter if
they have ever existed. Have anyone tried to implement such systems?

Thanks in advance.
Neal

Post a followup to this message

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