Blog

Back

Tag Archives: c-reduce

C-Reduce and Frama-C
Pascal Cuoq on 3 November 2013

Automatic testcase reduction for compilers: the story so far A previous post linked to a discussion of manual testcase reduction when the program being debugged is a compiler (and the input demonstrating the faulty behavior is thus a C program). Since then quite a few related events took place: In...

Read More

Bruce Dawson on compiler bugs
Pascal Cuoq on 21 October 2013

Bruce Dawson has written a superb blog post on a Visual C++ compiler bug (now fixed) covering every aspect an essay on compiler bugs should cover. I really like one section that I am going to quote in full: Security In these paranoid days of the NSA subverting every computer...

Read More