Monday, March 28, 2011 [Tweets] [Favorites]

Finding and Understanding Bugs in C Compilers

Xuejun Yang et. al. (via Lambda):

To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs.…Every compiler we tested was found to crash and also to silently generate wrong code when presented with valid input. In this paper we present our compiler-testing tool and the results of our bug-hunting study.

Comments

Stay up-to-date by subscribing to the Comments RSS Feed for this post.

Leave a Comment