Detecting (some? most?) undefined behavior

[Noob]

Hello everyone,

I've just stumbled upon this compiler project from UIUC (by way of
another post which, for some reason, I cannot find at the moment).

One of the main aims of this work is the ability to detect
undefined programs.

I thought some of you may be interested (as I was).

https://code.google.com/p/c-semantics/

Regards.

 

[Shao Miller]

Hello everyone,

I've just stumbled upon this compiler project from UIUC (by way of
another post which, for some reason, I cannot find at the moment).

One of the main aims of this work is the ability to detect
undefined programs.

I thought some of you may be interested (as I was).

https://code.google.com/p/c-semantics/

Pretty cool. If only it was written in C, its source might be a bit
more grokkable.

 

[Kenny McCormack]

Pretty cool. If only it was written in C, its source might be a bit
more grokkable.

What is it written in?

--
Religion is regarded by the common people as true,
by the wise as foolish,
and by the rulers as useful.

(Seneca the Younger, 65 AD)

 

[Shao Miller]

What is it written in?

It's called "K", I believe.

http://en.wikipedia.org/wiki/K_(programming_language)

 

[Shao Miller]

It's called "K", I believe.

http://en.wikipedia.org/wiki/K_(programming_language)

Or maybe not. This seems more relevant:

http://k-framework.org/index.php/Main_Page

 

[Noob]

This seems more relevant:

http://k-framework.org/index.php/Main_Page

Right. According to the project's own description:

"[c-semantics] is a formal semantics of the C programming language,
written in the K Semantic Framework."

which points to https://code.google.com/p/k-framework/
which points to http://k-framework.org/

Regards.

 

[Ian Collins]

Pretty cool. If only it was written in C, its source might be a bit
more grokkable.

Maybe they were worried about introducing undefined behaviour.....

 

[Nick Keighley]

Pretty cool.  If only it was written in C, its source might be a bit
more grokkable.

it didn't look very do-able in C. C isn't the only or even the most
expressive language there is!

 

[Nick Keighley]

It's called "K", I believe.

   http://en.wikipedia.org/wiki/K_(programming_language)

yuk. proprietary language

 

[Nick Keighley]

Or maybe not.  This seems more relevant:

   http://k-framework.org/index.php/Main_Page

ah that makes more sense (should learn not to fire off posts without
reading the rest of the thread) I couldn't see how an array language
with APL like semantics and used for writing databases was much cop at
defining the semantics of C