Abstract Interpretation for C

[Tim Frink]

Hi,

I'm looking for any references about Abstract Interpretation
applied to the language C. More precisely, I'm interested
in the abstract domain for C, i.e. how the full set of
C operations can be modeled as abstract operations.

Do you know any publications/books or Internet resources
concerning this topic? (I did not find anything on google.)

Best regards,
Tim

[jacob navia]

Tim Frink wrote:

Hi,

I'm looking for any references about Abstract Interpretation
applied to the language C. More precisely, I'm interested
in the abstract domain for C, i.e. how the full set of
C operations can be modeled as abstract operations.

Do you know any publications/books or Internet resources
concerning this topic? (I did not find anything on google.)

Best regards,
Tim

Interesting. Maybe you could specify for the non initiated what do you
understand by "abstract operation" ?

Thanks

[Tim Frink]

On Wed, 19 Sep 2007 09:54:45 +0200, jacob navia wrote:

>
Interesting. Maybe you could specify for the non initiated what do you
understand by "abstract operation" ?

Operations from the concrete language semantic (like C operator
"*=") transformed into an abstract semantic.

[Walter Roberson]

In article <pa****************************@yahoo.de>,
Tim Frink <pl*****@yahoo.dewrote:

>I'm looking for any references about Abstract Interpretation
applied to the language C. More precisely, I'm interested
in the abstract domain for C, i.e. how the full set of
C operations can be modeled as abstract operations.

Would you say that you are looking for a Denotational Semantics
analysis of C?
--
"law -- it's a commodity"
-- Andrew Ryan (The Globe and Mail, 2005/11/26)

[Keith Thompson]

Tim Frink <pl*****@yahoo.dewrites:

On Wed, 19 Sep 2007 09:54:45 +0200, jacob navia wrote:

>>
Interesting. Maybe you could specify for the non initiated what do you
understand by "abstract operation" ?

Operations from the concrete language semantic (like C operator
"*=") transformed into an abstract semantic.

Okay, what is an "abstract semantic"?

Don't expect everyone here to understand what you mean by "abstract",
other than its ordinary English meaning. We understand C; we don't
necessarily understand the field of study whose terminology you're
using. If you can provide a pointer to something that explains it, we
might be able to help.

--
Keith Thompson (The_Other_Keith) ks***@mib.org <http://www.ghoti.net/~kst>
San Diego Supercomputer Center <* <http://users.sdsc.edu/~kst>
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"