Re: Generic Static Analyzer or Abstract interpreter

"F. Liekweg" <liekweg@ipd.info.uni-karlsruhe.de>
30 Jan 2005 13:42:34 -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: "F. Liekweg" <liekweg@ipd.info.uni-karlsruhe.de>
Newsgroups: comp.compilers
Date: 30 Jan 2005 13:42:34 -0500
Organization: University of Karlsruhe, Germany
References: 05-01-094
Keywords: analysis
Posted-Date: 30 Jan 2005 13:42:34 EST

Truly, Neal Wang wrote on 01/26/05 05:23:
> Can anyone point out a generic static analyzer or abstract interpreter if
> they have ever existed. Have anyone tried to implement such systems?


One such system would be PAG (http://pag.cs.uni-sb.de/), which produces
MFP analyses (http://pag.cs.uni-sb.de/mfp.html) from user-written
specifications.


Cheers,
Florian
--
=======================================================================
Florian Liekweg | Dot is a very forgiving language; it should
Universität Karlsruhe | be considered some form of religion.
================================= graphviz-interest@research.att.com ==


Post a followup to this message

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