Blog

I discovered another blog
Pascal Cuoq on 12 April 2012

If you like this blog, then on the basis of recent posts, you will with good probability like that blog. The recent posts I have read all deal with various subtle undefined behaviors in C.

Read More

Helping the value analysis — part 3
Pascal Cuoq on 11 April 2012

Sven Mattsen is working at CEA until the summer. He is the author of this post. The post continues the series explaining how to guide the value analysis towards more precise conclusions. It starts where that one and that other left off. Problem This article is concerned with the Value...

Read More

Why do signed overflows so often do what programmers expect?
Pascal Cuoq on 29 March 2012

Semi-serious musings During the Frama-C random testing experiment described at length on this blog and this page we found a few bugs in Csmith too. John Regehr one of the Csmith developers and not entirely coincidentally a co-author of the article linked in the previous post is also a co-author...

Read More

More about integer overflows
Pascal Cuoq on 28 March 2012

It may be because I read an earlier draft that has had the time to sink in, but I find this article on the subject of integer overflows extremely clear and informative. It relates to the previous post. Key quote: integer overflow issues in C and C++ [...] are common...

Read More