{"id":3243,"date":"2011-03-28T16:05:13","date_gmt":"2011-03-28T21:05:13","guid":{"rendered":"http:\/\/mjtsai.com\/blog\/?p=3243"},"modified":"2011-03-28T16:05:14","modified_gmt":"2011-03-28T21:05:14","slug":"finding-and-understanding-bugs-in-c-compilers","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2011\/03\/28\/finding-and-understanding-bugs-in-c-compilers\/","title":{"rendered":"Finding and Understanding Bugs in C Compilers"},"content":{"rendered":"<p><a href=\"http:\/\/www.cs.utah.edu\/~regehr\/papers\/pldi11-preprint.pdf\">Xuejun Yang et. al.<\/a> (via <a href=\"http:\/\/lambda-the-ultimate.org\/node\/4241\">Lambda<\/a>):<\/p>\n<blockquote cite=\"http:\/\/www.cs.utah.edu\/~regehr\/papers\/pldi11-preprint.pdf\"><p> To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to &#64257;nd compiler bugs.&#8230;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. <\/p><\/blockquote>","protected":false},"excerpt":{"rendered":"<p>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 &#64257;nd compiler bugs.&#8230;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 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"apple_news_api_created_at":"","apple_news_api_id":"","apple_news_api_modified_at":"","apple_news_api_revision":"","apple_news_api_share_url":"","apple_news_coverimage":0,"apple_news_coverimage_caption":"","apple_news_is_hidden":false,"apple_news_is_paid":false,"apple_news_is_preview":false,"apple_news_is_sponsored":false,"apple_news_maturity_rating":"","apple_news_metadata":"\"\"","apple_news_pullquote":"","apple_news_pullquote_position":"","apple_news_slug":"","apple_news_sections":"\"\"","apple_news_suppress_video_url":false,"apple_news_use_image_component":false,"footnotes":""},"categories":[4],"tags":[],"class_list":["post-3243","post","type-post","status-publish","format-standard","hentry","category-programming-category"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/3243","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/comments?post=3243"}],"version-history":[{"count":1,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/3243\/revisions"}],"predecessor-version":[{"id":3244,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/3243\/revisions\/3244"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=3243"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=3243"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=3243"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}