{"id":7593,"date":"2013-07-13T15:58:16","date_gmt":"2013-07-13T20:58:16","guid":{"rendered":"http:\/\/mjtsai.com\/blog\/?p=7593"},"modified":"2013-07-13T15:58:17","modified_gmt":"2013-07-13T20:58:17","slug":"finding-undefined-behavior-bugs-by-finding-dead-code","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2013\/07\/13\/finding-undefined-behavior-bugs-by-finding-dead-code\/","title":{"rendered":"Finding Undefined Behavior Bugs by Finding Dead Code"},"content":{"rendered":"<p><a href=\"http:\/\/blog.regehr.org\/archives\/970\">John Regehr<\/a>:<\/p>\n<blockquote cite=\"http:\/\/blog.regehr.org\/archives\/970\"><p>In summary, by adopting a solid premise (&ldquo;developers want to know when code they write can be eliminated based on exploitation of undefined behavior&rdquo;) the authors of this paper have found a way to home in on a serious class of bugs and also to avoid the false positive problems that might otherwise plague an intraprocedural static analysis tool.<\/p><\/blockquote>","protected":false},"excerpt":{"rendered":"<p>John Regehr: In summary, by adopting a solid premise (&ldquo;developers want to know when code they write can be eliminated based on exploitation of undefined behavior&rdquo;) the authors of this paper have found a way to home in on a serious class of bugs and also to avoid the false positive problems that might otherwise [&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":[45,255,56,71,48],"class_list":["post-7593","post","type-post","status-publish","format-standard","hentry","category-programming-category","tag-c","tag-compiler","tag-debugging","tag-programming","tag-security"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/7593","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=7593"}],"version-history":[{"count":0,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/7593\/revisions"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=7593"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=7593"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=7593"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}