Re: Generic Static Analyzer or Abstract interpreter

Neal Wang <neal.wang@gmail.com>
3 Feb 2005 22:43:33 -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: 3 Feb 2005 22:43:33 -0500
Organization: University of California, Irvine
References: 05-01-094 05-01-104
Keywords: analysis, debug
Posted-Date: 03 Feb 2005 22:43:33 EST

Hi Gopi,


      Static analysis is the technique of symbolically executing programs and
retrieving their behaviors(primarily invariants). It is also called
abstract interpreter. Since different static analysis problems can be
modeled by a general mathematic framework, so I'm wondering if anyone has
implemented a generic static analyzer which can analyze all existing
problems.


    Regards,
Neal


gopi wrote:


> Neal Wang wrote:
>
>> Can anyone point out a generic static analyzer or abstract
> interpreter if
>> they have ever existed. Have anyone tried to implement such systems?
>
> I don't completely understand the question. We are working at Sankhya
> on a "generic simulator", "generic assembler" and "generic code
> generator". Here is more information on this work:
> http://www.sankhya.com/info/products/tools/dttf.html

Post a followup to this message

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